Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Beweis einer injektiven Abbildung bzw. Funktion

Beweis einer injektiven Abbildung bzw. Funktion

Universität / Fachhochschule

Lineare Abbildungen

Tags: Linear Abbildung

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
m0shp3

m0shp3 aktiv_icon

21:44 Uhr, 02.05.2024

Antworten
Hallo zusammen,

ich bräuchte einen Beweis für die Injektivität der folgenden Abbildung:

Eine Abbildung f:XY ist injektiv genau dann wenn es eine Abbildung g:YX
gibt mit gf=1X

Könnt Ihr mit dort weiterhelfen?

Vielen Dank im Voraus
VG Moritz

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich benötige bitte nur das Ergebnis und keinen längeren Lösungsweg."
Hierzu passend bei OnlineMathe:
Funktion (Mathematischer Grundbegriff)
Online-Nachhilfe in Mathematik
Antwort
michaL

michaL aktiv_icon

22:42 Uhr, 02.05.2024

Antworten
Hallo,

eine Äquivalenz "AB" kann man (wenn einem nichts besseres einfällt) zerlegen in die beiden Implikationen "AB" und "BA".

In deinem Fall:
f:XY ist injektiv es gibt eine Abbildung g:YX mit gf=1X

Wenn eine Existenz behauptet wird, ist der einfachste Beweis, so ein Ding herzuzeigen. (Das geht nicht immer, gerade am Anfang aber eher schon.)

Wir müssen die Bilder unter g für alle Elemente yY erklären (angeben).
Damit alles klappt, müssen die Elemente aus dem Bild von f, also yf(X)={f(x)xX}, wieder auf ihr Urbild abgebildet werden:
Sei yf(X), d.h. es gibt ein xX mit y=f(x). Dann definiere g(y)=x.
Für alle anderen Elemente ist das Bild nicht (so) wichtig. X wird ja als nicht leer definiert sein, d.h. es gibt irgendein xX. Definiere für alle xY\f(X): g(y)=x

Nun musst du nachweisen, dass g wohldefiniert ist (hier kommt die Injektivität ins Spiel) und dass gf=idX folgt.

Nun die andere Richtung: es gibt eine Abbildung g:YX mit gf=1Xf injektiv
Dazu nehmen wir uns ganz nach Vorlesung zwei Elemente a,bX her mit f(a)=f(b).

Wende nun auf die "Gleichung" die Abbildung g an und schließe so, dass a=b gilt, was ja genau die Injektivität bedeutet (vgl. Vorlesung!).

Mfg Michael
Antwort
HAL9000

HAL9000

14:22 Uhr, 03.05.2024

Antworten
> Definiere für alle xY\f(X):g(y)=x.

Kleiner Verschreiber im Eifer des Gefechts - gemeint ist selbstredend "für alle yY\f(X)" .

Antwort
korbinian

korbinian aktiv_icon

13:27 Uhr, 04.05.2024

Antworten
zu spät

Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.