Dissurĵeto
| Matematikaj funkcioj |
|---|
| fonta aro, cela aro • bildo, malbildo • bildaro, argumentaro |
| Fundamentaj funkcioj |
| Algebraj funkcioj: konstanta • lineara • kvadrata • polinoma • racionala • Transformo de Möbius Aliaj funkcioj: trigonometriaj • inversa trigonometria • hiperbola • eksponenta • logaritma • potenca |
| Specialaj funkcioj |
| erara • β • Γ • ζ • η • W de Lambert • de Bessel |
| Nombroteoriaj funkcioj: |
| τ • σ • de Möbius • φ • π • λ |
| Ecoj: |
| totaleco kaj parteco • pareco kaj malpareco • monotoneco • bariteco • periodeco • disĵeteco • surĵeteco • dissurĵeteco kontinueco • derivaĵeco • integralebleco |
Matematika funkcio nomiĝas dissurĵeto, se ĝi estas kaj disĵeto, kaj surĵeto.
Ĉie difinita dissurĵeto (priskribebla ankaŭ kiel reciproke unuvalora rilato) nomiĝas bijekcio aŭ inversigebla funkcio. La karakterizon inversigebla pravigas tio, ke la inverso de ĉie difinita dissurĵeta funkcio (konsiderata kiel duvalenta rilato) estas duvalenta funkcia rilato (kiu mem estas ĉie difinita dissurĵeta funkcio).
Formala difino redakti
Oni povas difini dissurĵetan funkcion kaj bijekcion ankaŭ rekte, sen mencii la nociojn disĵeto kaj surĵeto:
- Estu funkcio ("ĵeto") de al , t.e. .
- estas dissurĵeto, se por ĉiu el ekzistas unu kaj nur unu tia el , ke .
- estas bijekcio aŭ inversigebla funkcio, se por ĉiu el ekzistas unu kaj nur unu el tia, ke kaj por ĉiu el ekzistas tia el , ke .