0 Daumen
519 Aufrufe

Aufgabe:

Sei X → Y eine Abbildung zwischen endlichen Mengen X und Y.

Zeigen Sie:

(i) Ist f injektiv und |X| = |Y|, so ist f bereits bijektiv.

(ii) Ist f surjektiv und |X| = |Y|, so ist f bereits bijektiv.

(iii) Ist f bijektiv, so gilt |X| = |Y|.


Problem/Ansatz:

Ich habe leider noch keinen wirklichen Ansatz, da ich nicht wirklich weiß, wie ich bei solch einer Aufgabe anfangen muss.

Es wäre sehr nett, wenn mir trotzdem jemand dabei helfen könnte.

Avatar von

kleine Korrektur:

(ii)  "subjektiv"  →  "surjektiv"

Stimmt, habe ich geändert.

1 Antwort

0 Daumen
 
Beste Antwort

Benutze z.B. folgende Tatsache:

Sind \(A\) und \(B\) endliche Mengen mit \(A\subseteq B\),

dann gilt \(|A|=|B|\Rightarrow A=B\).

Avatar von 29 k

Danke für die Antwort, aber ich komme leider trotzdem noch nicht weiter.

Wenn \(f\) injektiv ist, dann gilt (da Verschiedenes auf Verschiedenes

abgebildet wird): \(|f(X)|=|X|\), andererseits gilt \(f(X)\subseteq Y\).

Damit solltest du (i) hinbekommen.

Also verstehe ich es richtig, da ∣f(X)∣=∣X∣ gilt und wie in der Aufgabenstellung beschrieben |X| = |Y| gilt, ist f auch surjektiv?

Oder kann man sagen, wenn der Definitionsbereich genauso groß ist, wie der Bildbereich, dann wird jeder Wert einmal getroffen, wenn f injektiv ist?

Und wie wäre es dann bei (ii) und (iii)?

Verstehe deine "Unsicherheit" nicht.

Aus \(|f(X)|=|X|=|Y|\) und \(f(X)\subseteq Y\) folgt doch

sofort \(f(X)=Y\), also \(f\) surjektiv.

Vielen Dank. Meine Unsicherheit kommt schlichtweg daher, dass ich offensichtlich nicht sonderlich gut in Mathematik bin. Es ist für mich ein Fach, welches ich nur bestehen muss. Da ich Molekulare und angewandte Pflanzenwissenschaften studiere, interessiere ich mich auch eher für meine anderen Fächer, würde Mathematik aber dennoch gerne besser verstehen.

Bedeutet das jetzt, dass bei (ii) aus der Surjektivität von f folgt, dass f(x) = X (also injektiv), da f(x) = Y und |X| = |Y| gelten?

Und bei (iii) da f bijektiv ist, gelten f(x) = X und f(x) = Y, also |X| = |Y|?

Und bei (iii) da f bijektiv ist, gelten f(x) = X und f(x) = Y, also |X| = |Y|?

Nein, nicht \(f(X)=X\), sondern \(|Y|=|f(X)|=|X|\)

Da ich Molekulare und angewandte Pflanzenwissenschaften studiere

Hört sich sehr interessant an!

Okay, vielen Dank!

Ja, hab mich schon immer sehr für Biologie und besonders Pflanzen und Pilze interessiert.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community