1.053
Bearbeitungen
Baustelle:Funktion: Unterschied zwischen den Versionen
K
keine Bearbeitungszusammenfassung
KKeine Bearbeitungszusammenfassung |
KKeine Bearbeitungszusammenfassung |
||
| Zeile 85: | Zeile 85: | ||
::: aus <math>xR{{y}_{1}}\wedge xR{{y}_{2}}</math> folgt stets <math>{{y}_{1}}={{y}_{2}}</math>. | ::: aus <math>xR{{y}_{1}}\wedge xR{{y}_{2}}</math> folgt stets <math>{{y}_{1}}={{y}_{2}}</math>. | ||
|| '''Jedem''' Element aus der Ausgangsmenge <math>A</math> '''wird höchstens ein''' Element aus der Zielmenge <math>B</math> [[Zuordnung|zugeordnet]].<br /> | || '''Jedem''' Element aus der Ausgangsmenge <math>A</math> '''wird höchstens ein''' Element aus der Zielmenge <math>B</math> [[Zuordnung|zugeordnet]].<br /> | ||
Oder: Die [[Zuordnung]] verläuft von links nach rechts eindeutig. | Oder: Die [[Zuordnung]] verläuft von links nach '''rechts''' eindeutig. | ||
|- | |- | ||
| (2) <math>R</math> ist genau dann '''linkseindeutig''', wenn für alle <math>{{x}_{1}},{{x}_{2}},y</math> gilt: | | (2) <math>R</math> ist genau dann '''linkseindeutig''', wenn für alle <math>{{x}_{1}},{{x}_{2}},y</math> gilt: | ||
::: aus <math>{{x}_{1}}Ry\wedge {{x}_{2}}Ry</math> folgt stets <math>{{x}_{1}}={{x}_{2}}</math>. | ::: aus <math>{{x}_{1}}Ry\wedge {{x}_{2}}Ry</math> folgt stets <math>{{x}_{1}}={{x}_{2}}</math>. | ||
|| '''Jedes''' Element aus der Zielmenge <math>A</math> '''ist höchstens einem''' Element aus der Ausgangsmenge <math>B</math> [[Zuordnung|zugeordnet]].<br /> | || '''Jedes''' Element aus der Zielmenge <math>A</math> '''ist höchstens einem''' Element aus der Ausgangsmenge <math>B</math> [[Zuordnung|zugeordnet]].<br /> | ||
Oder: Die ''inverse'' [[Zuordnung]] verläuft von rechts nach links eindeutig. | Oder: Die ''inverse'' [[Zuordnung]] verläuft von rechts nach '''links''' eindeutig. | ||
|- | |- | ||
| (3) <math>R</math> ist genau dann '''injektiv''', wenn <math>R</math> sowohl rechtseindeutig als auch linkseindeutig ist. | | (3) <math>R</math> ist genau dann '''injektiv''', wenn <math>R</math> sowohl rechtseindeutig als auch linkseindeutig ist. | ||