Relation vs. Abbildung < Relationen < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 19:26 Mi 23.01.2019 | | Autor: | magics |
| Aufgabe | Zitate aus der Literatur:
"Eine Relation f zwischen M und N heißt eine Abbildung von M nach N, falls sie linkstotal und rechtseindeutig ist."
und
"Eine Abbildung $f:M [mm] \to [/mm] N$" heißt injektiv, falls sie linkseindeutig ist, surjektiv, falls sie rechtstotal ist und bijektiv, falls sie injektiv und surjektiv ist. |
Hallo,
die Eigenschaften linkseindeutig und rechtstotal bedeuten offensichtlcich Bijektivität.
Wenn ich eine Funktion invertiere drehen sich diese Eigenschaften um (also ein linkseindeutiges und rechtstotales $f$ wird zu einem rechtseindeutigen und linkstotalen [mm] $f^{-1}$.
[/mm]
Bedeutet dann nicht auch, dass eine rechtseindeutige und linkstotal Abbildung bijektiv ist?
Gruß
Thomas
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 21:01 Mi 23.01.2019 | | Autor: | chrisno |
Ein entscheidendes "wenn"
> ...
> Wenn ich eine Funktion invertiere ...
Das musst Du auch können. Nicht jede Funktion ist invertierbar. Nimm $f(x) = [mm] x^2$ [/mm] zum Beispiel.
|
|
|
| |
|
| Status: |
(Antwort) fertig | | Datum: | 06:46 Do 24.01.2019 | | Autor: | fred97 |
> Zitate aus der Literatur:
>
> "Eine Relation f zwischen M und N heißt eine Abbildung von
> M nach N, falls sie linkstotal und rechtseindeutig ist."
>
> und
>
> "Eine Abbildung [mm]f:M \to N[/mm]" heißt injektiv, falls sie
> linkseindeutig ist, surjektiv, falls sie rechtstotal ist
> und bijektiv, falls sie injektiv und surjektiv ist.
> Hallo,
>
> die Eigenschaften linkseindeutig und rechtstotal bedeuten
> offensichtlcich Bijektivität.
>
> Wenn ich eine Funktion invertiere drehen sich diese
> Eigenschaften um (also ein linkseindeutiges und
> rechtstotales [mm]f[/mm] wird zu einem rechtseindeutigen und
> linkstotalen [mm]f^{-1}[/mm].
Räumen wir auf: gegeben sei also eine Abbildung $f:M [mm] \to [/mm] N$.
Dann ist $f$ linkstotal und rechtseindeutig . Ist $f$ zusätzlich auch noch bijektiv, so hat $f$ alle vier Eigenschaften:
linkstotal, rechtseindeutig , linkseindeutig unf rechtstotal.
Ist $f$ bijektiv, so ist auch [mm] $f^{-1}:N \to [/mm] M$ eine bijektive Abbildung und hat damit ebenfalls alle vier Eigenschaften:
linkstotal, rechtseindeutig , linkseindeutig unf rechtstotal.
>
> Bedeutet dann nicht auch, dass eine rechtseindeutige und
> linkstotal Abbildung bijektiv ist?.
Natürlich nicht ! Denn dann wäre ja jede(!) Abbildung bijektiv !
>
> Gruß
> Thomas
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 20:43 Do 24.01.2019 | | Autor: | magics |
Vielen Dank, das hat mir sehr geholfen! Ich ging aus irgendeinem Grund davon aus, dass sich Links- und Rechtstotalität gegenseitig ausschließen. Trotzdem noch eine kleine Rückfrage:
Ich habe überlegt, ob es Relationen geben kann, die keine der vier Eigenschaften haben. Kann es sein, dass jede Art von Relation zumindest linkstotal ist? Denn mit einer Relation muss ich quasi auch einen Definitionsraum angeben, salopp gesagt, genau die Menge an Zahlen, die bei den Relationspaaren links stehen.
Grüße
Thomas
|
|
|
| |
|
| Status: |
(Antwort) fertig | | Datum: | 21:50 Do 24.01.2019 | | Autor: | fred97 |
> Vielen Dank, das hat mir sehr geholfen! Ich ging aus
> irgendeinem Grund davon aus, dass sich Links- und
> Rechtstotalität gegenseitig ausschließen. Trotzdem noch
> eine kleine Rückfrage:
>
> Ich habe überlegt, ob es Relationen geben kann, die keine
> der vier Eigenschaften haben. Kann es sein, dass jede Art
> von Relation zumindest linkstotal ist?
Nein. Nimm [mm] M=\{1,2\} [/mm] und [mm] R=\{(2,2)\}. [/mm] R ist eine Relation, aber nicht linkstotal
Denn mit einer
> Relation muss ich quasi auch einen Definitionsraum angeben,
> salopp gesagt, genau die Menge an Zahlen, die bei den
> Relationspaaren links stehen.
>
> Grüße
> Thomas
|
|
|
|
