„Függvények relációalgebrája” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
Nincs szerkesztési összefoglaló |
||
33. sor:
:<math>(\forall y\in B)(\exists x\in A)(\,f(x)=y\,)</math>
Ha a függvény az (''A'', ''B'', ''f'') [[függvény (matematika)#algebrai szemlélet|algebrai szemléletű definíció]] szerint van definiálva, akkor még azt is mondják, hogy '''
Röviden mindez azt jelenti, hogy ''B'' = Ran(''f''). Szokás még használni az ''f'':''A''<math> \rightarrow</math> ''B'' ráképez ''H''-ra kijelentést is arra az esetre, ha ''H'' ⊆ Ran(''f'').
61. sor:
=== Identitásfüggvény ===
Minden ''H'' halmaz esetén van egy kitüntetett
:<math>\mathrm{id}_H:H\rightarrow H;\;x\mapsto x</math>
függvény, melyet a ''H''-n értelmezett ''identitásfüggvény''nek nevezünk. Minden ''f'' : ''A'' <math>\rightarrow</math> ''B'' függvényre
|