Matroids Matheplanet Forum Index
Moderiert von mire2 StrgAltEntf
Logik, Mengen & Beweistechnik » Relationen und Abbildungen » Bijektive Abbildung gesucht
Druckversion
Druckversion
Seite 1   [1 2]   2 Seiten
Autor
Universität/Hochschule J Bijektive Abbildung gesucht
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Themenstart: 2018-11-04


Hallo zusammen!

Folgende Aufgabe ist zu lösen:

Sei X eine Menge und sei $Z =\{0, 1\}$. Sei Abb(A,B) die Menge aller Abbildungen von der Menge A in die Menge B (dies ist eine Teilmenge von $P(A \times B).$) Gebe eine bijektive Abbildung $ F: Abb(X,Z) \to P(X)$ an und zeige, dass diese Abbildung tatsächlich bijektiv ist.

Nun denn, wenn ich das richtig verstehe, muss eine bijektive Abbildung F gefunden werden, welche der Menge der Abbildungen von $X \to \{0, 1\}$ die Potenzmenge von X zuordnet?

Könnt ihr mir helfen, dass ich erst einmal solch eine Abbildung finde?
Ich habe ja dann eine Abbildung von $P(X x \{0,1\}) \to P(X)$?

Wie immer wäre ich für jede Hilfe dankbar!


Viele Grüße,
X3nion



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.1, eingetragen 2018-11-04


Hallo,

ich denke ein Beispiel hilft.

Nimm mal $X=\{1,2\}$.

Wie viele Abbildungen $f: \{1,2\}\to\{0,1\}$ gibt es und wie sehen diese aus?
Schreibe $\mathcal{P}(X)$ aus.
Nun überlege dir, welche Abbildung du sinnvollerweise auf welche Menge abbildest und warum.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.2, vom Themenstarter, eingetragen 2018-11-04


Hallo PrinzessinEinhorn und vielen Dank für deine Antwort!

Hmm also es ist $P(X) = \{\emptyset, \{0\}, \{1\}, \{0,1\}\}$

Ich komme aber immer noch nicht so ganz mit den Abbildungen klar.

$f_{1}$ wäre ja z.B. $f_{1}(1) = 1, f_{1}(2) = 2, f_{1}(\{1,2\} = \{0,1\}$, oder liege ich falsch?

Viele Grüße,
X3nion



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.3, eingetragen 2018-11-04


2018-11-04 12:37 - X3nion in Beitrag No. 2 schreibt:


es ist $P(X) = \{\emptyset, \{0\}, \{1\}, \{0,1\}\}$

Das ist $\mathcal{P}(\{0,1\})$.


Ich komme aber immer noch nicht so ganz mit den Abbildungen klar.

$f_{1}$ wäre ja z.B. $f_{1}(1) = 1, f_{1}(2) = 2, f_{1}(\{1,2\} = \{0,1\}$, oder liege ich falsch?

Hier schreibst du eine Abbildung $f_1: \{1,2\}\to\{1,2\}$ hin.
Aber du möchtest ja Abbildungen $\{1,2\}\to\{0,1\}$, oder allgemeiner $X\to\{0,1\}$.

Du kommst also etwas durcheinander. Aber das ist natürlich kein großer Fehler.
Ansonsten hast du ja recht.

Schreibe mal alle solche Abbildungen hin.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.4, vom Themenstarter, eingetragen 2018-11-04



Dankeschön für deine Antwort!

$f_{1}$ wäre ja z.B. $f_{1}(1) = 1, f_{1}(2) = 2, f_{1}(\{1,2\} = \{0,1\}$

$f_{2}(1) = 2, f_{1}(2) = 1, f_{1}(\{1,2\} = \{0,1\}$

Wären die beiden Abbildungen bis hierhin korrekt?

Aber wie mache ich nun weiter? Wird nun bei $f_{3}$ die 1 auf $\{0,1\} abgebildet?

Dann hätte ich aber mehr als 4 Möglichkeiten, das ganze zu permutieren.


Viele Grüße,
X3nion



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
supermonkey
Senior Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 27.10.2018
Mitteilungen: 314
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.5, eingetragen 2018-11-04


Du liegst falsch. Machen wir uns erstmal die Situation klar. Alexander Grothendieck hat sinngemäß einmal gesagt, dass wenn man das Problem nur gut genug versteht, kommt die Lösung wie von selbst. :)

Also versuchen wir das mal gemeinsam zu tun.

Nehmen wir $X=\{1,2\}$, so ist $P(X)=\{\emptyset,\{1\},\{2\},\{1,2\}\}$
Die Abbildungen von X nach $Z=\{0,1\}$ sind

f(1)=0, f(2)=0
g(1)=0 g(2)=1
h(1)=1 g(2)=0
i(1)=1 i(2)=1

Das heißt wir haben $4=2^2$ Abbildungen. Das ist schonmal gut, denn für endliche Mengen gilt für die Mächtigkeit von P(X), $|P(X)|=2^{|X|}$.

Jetzt sollen wir jeder dieser Abbildungen eine Teilmenge von X, also ein Element von P(X), zuordnen. Was passiert, wenn wir $f$ auf $f^{-1}(0)$ abbilden?

[Die Antwort wurde nach Beitrag No.2 begonnen.]



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.6, eingetragen 2018-11-04


Du machst hier den gleichen Fehler wie oben und schreibst Abbildungen von $\{1,2\}\to\{1,2\}$ hin.

Wie gesagt suchen wir aber welche von $\{1,2\}\to\{0,1\}$.

Dann ist etwa $f_1(1)=0$ und $f_1(2)=1$ und $f_2(1)=1$ und $f_2(2)=0$.
Wenn ich das mal anpasse.


Aber wie mache ich nun weiter? Wird nun bei $f_3$ die 1 auf $\{0,1\}$ abgebildet?

Dann hätte ich aber mehr als 4 Möglichkeiten, das ganze zu permutieren.

Du hast bisher nur bijektive Abbildungen hingeschrieben.
Aber es sind allgemeine Abbildungen gesucht.
Insbesondere bilden diese Abbildungen nicht auf Mengen ab.
Das macht $F$ und die wollen wir ja gerade konstruieren. :)

[Die Antwort wurde nach Beitrag No.4 begonnen.]



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
supermonkey
Senior Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 27.10.2018
Mitteilungen: 314
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.7, eingetragen 2018-11-04


2018-11-04 12:53 - X3nion in Beitrag No. 4 schreibt:


$f_{2}(1) = 2, f_{1}(2) = 1, f_{1}(\{1,2\} = \{0,1\}$



Du bildest nach $\{0,1\}$ ab, da kann 2 kein Bild sein!

[Die Antwort wurde nach Beitrag No.5 begonnen.]



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.8, eingetragen 2018-11-04


@supermonkey:

Ganz nach dem Motto "viele Köche verderben den Brei", ist es für einen Fragesteller oftmals verwirrend, wenn ihm von mehreren Personen gleichzeitig geholfen wird, die dann möglicherweise andere Erklärungen, oder Ansätze verfolgen.

:)



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.9, vom Themenstarter, eingetragen 2018-11-04


Hmm dann wäre ich aber überfragt wie $f_{3}, f_{4}$ ausschauen :-D

Ist dann $f_{3}(1) = f_{3}(2) = 1$
und $f_{4}(1) = f_{4}(2) = 2$ ?


Viele Grüße,
X3nion



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.10, eingetragen 2018-11-04


Ja, wenn du eben auf $\{0,1\}$ und nicht auf $\{1,2\}$ abbildest.

$f_{3}(1) = f_{3}(2) = 0$
$f_{4}(1) = f_{4}(2) = 1$


Und jetzt überlege dir mal was $F(f_3)$ sein könnte.
Und was $F(f_4)$ dann sein sollte.

Worauf werden dann $f_1$ und $f_2$ abgebildet?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
supermonkey
Senior Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 27.10.2018
Mitteilungen: 314
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.11, eingetragen 2018-11-04


2018-11-04 13:03 - PrinzessinEinhorn in Beitrag No. 8 schreibt:
@supermonkey:

Ganz nach dem Motto "viele Köche verderben den Brei", ist es für einen Fragesteller oftmals verwirrend, wenn ihm von mehreren Personen gleichzeitig geholfen wird, die dann möglicherweise andere Erklärungen, oder Ansätze verfolgen.

:)

Ich verstehe, was du allgemein sagen willst. Aber hier bin ich ja genau auf dein Beispiel eingegangen.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.12, eingetragen 2018-11-04


Ja, aber das sollte ja der Fragesteller machen. ^-^

Ich nehme dir das natürlich nicht übel oder so, ich hatte nur befürchtet, dass sich hier in dem Thread dann Erklärungen doppeln. Und dann wird es für einen Fragesteller schwierig auf die Fragen der Helfer einzugehen und muss sich möglicherweise alles zweimal durchlesen. :)



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
supermonkey
Senior Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 27.10.2018
Mitteilungen: 314
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.13, eingetragen 2018-11-04


Aus eigener Erfahrung weiß ich, dass wenn jemand so weit weg selbst vom Verständnis der Aufgabenstellung ist, wie es hier offensichtlich der Fall ist, es sehr hilfreich sein kann, einfach mal ein ausgeführtes Beispiel zu sehen. Klar, wenn du die Geduld hast, kannst du einen Beitrag um den anderen Versuchen, den Fragesteller die Lösung finden zu lassen. Das kann aber letzlich auch mehr verwirren, als wenn man es eben einmal gezeigt bekommt.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.14, eingetragen 2018-11-04


Ich kann durchaus sehr geduldig sein.
Wenn ich merke, dass nichts geht, dann rechne ich auch ausführlich vor.
Hier war es meiner Meinung nach noch nicht der Fall.
X3nion konnte mit dem Beispiel ja erstmal arbeiten.

Dann wurden hier ja auch weitere Verständnisprobleme ans Licht gebracht, dass etwa erst nur bijektive Funktionen beachtet wurden.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.15, vom Themenstarter, eingetragen 2018-11-04


Ahh sorry, ich verwechsle die 1 und 2 mit 0 und 1, sorry 😁
Und ich finde es toll, dass du so gefuldig bist, PrinzessinEinhorn, und auch toll von dir supermonkey, dass du dir auch im vorherigen Beitrag so viel Zeit genommen hast! 😄

ich fasse zusammen:

Es ist

$f_{1}(1) = 1, f_{1}(2) = 0$

$f_{2}(1) = 0, f_{2}(2) = 1$

$f_{3}(1) = f_{3}(2) = 1$

$f_{4}(1) = f_{4}(2) = 0$


Nun welchen Tipp habt ihr?
PrinzessinEinhorn fragte mich, auf was denn $f_{3}, f_{4}$ abgebildet wird.
Da tue ich mir echt schwer, einen Zusammenhang zu erkennen.
Ich sehe nur, dass $f_{3}, f_{4}$ nicht injektiv sind, die anderen beiden aber schon.


Viele Grüße,
X3nion


[Die Antwort wurde nach Beitrag No.10 begonnen.]



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.16, eingetragen 2018-11-04



Ich sehe nur, dass $f_3,f_4$ nicht injektiv sind, die anderen beiden aber schon.

Das ist richtig, hilft uns hier aber eigentlich nicht weiter.

Wir wollen ja nun eine Bijektion $F: \operatorname{Abb}(\{1,2\}, \{0,1\})\to \mathcal{P}(\{1,2\})$

angeben.
Für ein konkretes (endliches) Beispiel ist das kein Problem, weil die Mengen ja die selbe Anzahl Elemente enthalten.
Wir wollen das aber verallgemeinern, also irgendwie geschickt machen und uns etwas dabei denken.

Zu erst wollen wir uns überlegen, welche Funktion auf die leere Menge abgebildet wird.
Welche Menge sollte auf $X=\{1,2\}$ abgebildet werden?




Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.17, vom Themenstarter, eingetragen 2018-11-04


Puh ich könnte jetzt echt nur raten, da mir der Zusammenhang nicht ersichtlich ist.

Wird evtl. $f_{4}$ auf die leere Menge abgebildet, weil die Funktionswerte beider Elemente 0 ergeben?


Viele Grüße,
X3nion



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.18, eingetragen 2018-11-04


2018-11-04 16:28 - X3nion in Beitrag No. 17 schreibt:

Wird evtl. $f_{4}$ auf die leere Menge abgebildet, weil die Funktionswerte beider Elemente 0 ergeben?


Ja, das ist sicherlich eine sinnvolle Wahl.
Worauf sollte man dann $f_3$ abbilden?

Und wie gesagt, hier kann man erstmal nur "raten".
Es ist aber wichtig sinnvolle Wahlen zu treffen, wenn man es verallgemeinern möchte.




Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.19, vom Themenstarter, eingetragen 2018-11-04


$f_{3}$ wird dann auf $\{1,2\}$ abgebildet nehme ich an? ^^

Und bei $f_{1}, f_{2}$ wüsste ich nicht, was jetzt auf $\{1\}$ und auf $\{2\}$ abgebildet werden soll.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.20, eingetragen 2018-11-04


Richtig.

Und das ist jetzt genau die Frage.
Was wäre denn kohärent zu dem, was wir bisher gemacht haben.

Wir bilden die Funktion, welche Konstant Null ist, auf die leere Menge ab.
Die Funktion, die Konstant 1 ist, wird auf die ganze Menge abgebildet.
Null bedeutet also ...
Und eins bedeutet ...

Wir haben $f_1(1)=1$ und $f_1(2)=0$.

Was sollte $F(f_1)$ nun sein?

Wie supermonkey vorgeschlagen hatte, ist es vielleicht sogar sinnvoller sich zu erst die Umkehrfunktion zu überlegen.
Daher einer Menge einer Funktion zuzuordnen.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.21, vom Themenstarter, eingetragen 2018-11-04


Hmm das ist echt tricky :-D

Die Funktion $f_{1}$ auf die $\{1\}$ und $f_{2}$ auf die $\{2\}$ ?

Hier stehe ich echt auf dem Schlauch



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.22, vom Themenstarter, eingetragen 2018-11-04


Moment ich hab‘s! (Glaub^^)

Die Bijektion besteht wie folgt:

$f_{1}(1) = f_{1}(2) = 0 => f_{1}$ wird $ \emptyset$ zugeordnet.

$f_{2}(1) = f_{2}(2) = 1 => f_{1}$ wird $ \{1,2\}$ zugeordnet.

$f_{3}(1) = 1, f_{3}(2) = 0 => f_{1}$ wird $\{1, \emptyset\} = \{1\}$ zugeordnet.

$f_{4}(1) = 0, f_{4}(2) = 1 => f_{1}$ wird $ \{\emptyset, 2\} = \{2\} $ zugeordnet.


Das sollte doch die Logik dahinter sein oder?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.23, eingetragen 2018-11-04


Ja, das ist richtig.

Aber $\{1,\emptyset\}\neq\{1\}$. Für die andere Menge gilt das gleiche.
Die linke Menge hat zwei Elemente und die rechte Menge hat ein Element.
Die leere Menge ist Teilmenge jeder Menge. Sie ist aber nicht Element jeder Menge.

Und was wäre die "Regel" nach der die Funktion $F$ agiert?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.24, vom Themenstarter, eingetragen 2018-11-04


Sie schaut sich die Urbildabbildung $f^{-1}$ an und „spuckt“ die Menge $f^{-1}(1)$ aus! 😄



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.25, eingetragen 2018-11-04


Nicht schlecht. :)

Ich hätte jetzt gesagt,

$F(f)=\{x\in X|f(x)=1\}$

Aber $F(f)=f^{-1}(1)$ geht auch.

Jetzt müssen wir zeigen, dass $F$ eine Bijektion ist.
Das geht wohl am besten indem wir eine Umkehrabbildung $F^{-1}$ angeben.
Also einer Menge eine Funktion zuordnen.
Das geht ganz ähnlich zu dem, was wir bisher getan haben.




Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
xiao_shi_tou_
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 12.08.2014
Mitteilungen: 1245
Aus: Bonn
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.26, eingetragen 2018-11-04

\(\begingroup\)\(\DeclareMathOperator{\mer}{mer} \DeclareMathOperator{\Sht}{Sht} \newcommand{\rk}{\o{rk}} \newcommand{\FibC}{\mathcal{F}\!\mathit{ib}_{\c{C}}} \newcommand{\grps}{\mathbf{Grp}} \newcommand{\grpds}{\mathbf{Grpd}} \newcommand{\g}{\arr{Y}{g}{Z}} \newcommand{\cF}{\c{F}} \newcommand{\elX}{\abs{X}} \newcommand{\elT}{\abs{T}} \newcommand{\elS}{\abs{S}} \newcommand{\elY}{\abs{Y}} \newcommand{\cG}{\c{G}} \newcommand{\cX}{\c{X}} \newcommand{\cY}{\c{Y}} \newcommand{\cZ}{\c{Z}} \newcommand{TT}{T'\to T} \newcommand{\fS}{\arr{X}{f}{S}} \newcommand{\sets}{\mathbf{Set}} \newcommand{\f}{\arr{X}{f}{Y}} \newcommand{\fppfsch}{(\mathbf{Sch})_{fppf}} \newcommand{\fppfschS}{(\mathbf{Sch}/S)_{fppf}} \DeclareMathOperator{\Ann}{Ann} \DeclareMathOperator{\Et}{\acute{E}t} \DeclareMathOperator{\et}{\acute{e}t} \DeclareMathOperator{\etaleness}{\acute{e}taleness} \newcommand{\h}{\o{h}} \newcommand{\vp}{\varphi} \newcommand{\unr}[1]{#1^{\o{un}}} \renewcommand{\H}{\o{H}} \DeclareMathOperator{\ind}{ind} \DeclareMathOperator{\etale}{\acute{e}tale} \DeclareMathOperator{\Coker}{Coker} \DeclareMathOperator{\Div}{Div} \DeclareMathOperator{\Gl}{GL} \DeclareMathOperator{\PGL}{PGL} \DeclareMathOperator{\dom}{dom} \DeclareMathOperator{\PSL}{PSL} \DeclareMathOperator{\SL}{SL} \DeclareMathOperator{\Res}{Res} \DeclareMathOperator{\equi}{equi} \DeclareMathOperator{\Hecke}{Hecke} \DeclareMathOperator{\Aut}{Aut} \DeclareMathOperator{\Jac}{Jac} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\HF}{HF} \DeclareMathOperator{\HS}{HS} \DeclareMathOperator{\Ker}{Ker} \DeclareMathOperator{\trdeg}{trdeg} \DeclareMathOperator{\mod}{mod} \DeclareMathOperator{\codim}{codim} \DeclareMathOperator{\log}{log} \DeclareMathOperator{\Log}{Log} \DeclareMathOperator{\Nm}{Nm} \DeclareMathOperator{\Con}{Con} \DeclareMathOperator{\coker}{coker} \DeclareMathOperator{\Ob}{Ob} \DeclareMathOperator{\Emb}{Emb} \DeclareMathOperator{\Tr}{Tr} \DeclareMathOperator{\Sym}{Sym} \DeclareMathOperator{\scale}{scale} \DeclareMathOperator{\Sper}{Sper} \DeclareMathOperator{\Sp}{Sp} \DeclareMathOperator{\vol}{vol} \DeclareMathOperator{\Cl}{Cl} \DeclareMathOperator{\Ét}{Ét} \DeclareMathOperator{\Zar}{Zar} \DeclareMathOperator{\lcm}{lcm} \DeclareMathOperator{\ord}{ord} \newcommand{\End}{\mathop{\mathrm{End}}\nolimits} \newcommand{\cEnd}{\mathop{\mathcal{E}\!\mathit{nd}}\nolimits} \newcommand{\cIsom}{\mathop{\mathcal{I}\!\mathit{som}}\nolimits} \DeclareMathOperator{\supp}{supp} \newcommand{\cPic}{\mathop{\mathcal{P}\!\mathit{ic}}\nolimits} \DeclareMathOperator{\rad}{rad} \DeclareMathOperator{\lim}{lim} \DeclareMathOperator{\char}{char} \DeclareMathOperator{\Proj}{Proj} \DeclareMathOperator{\proj}{proj} \DeclareMathOperator{\length}{length} \DeclareMathOperator{\locArt}{locArt} \DeclareMathOperator{\Ass}{Ass} \DeclareMathOperator{\id}{id} \DeclareMathOperator{\im}{im} \DeclareMathOperator{\Pic}{Pic} \DeclareMathOperator{\Spec}{Spec} \DeclareMathOperator{\Gal}{Gal} \DeclareMathOperator{\Hom}{Hom} \DeclareMathOperator{\ker}{ker} \DeclareMathOperator{\ht}{ht} \DeclareMathOperator{\Frob}{Frob} \DeclareMathOperator{\Frac}{Frac} \DeclareMathOperator{\det}{det} \newcommand{\AA}{\sc{A}} \newcommand{\Rem}{\gudl{\sc{R}\!emark}} \newcommand{\Def}{\color{orange}{\underline{\color{black}{\sc{D}\!efinition}}}} \newcommand{\Defn}[1]{\color{orange}{\underline{\color{black}{\sc{D}\!efinition\tx{}#1}}}} \newcommand{\Prop}{\color{orange}{\underline{\color{black}{\sc{P}\!roposition}}}} \newcommand{\Propn}[1]{\color{orange}{\underline{\color{black}{\sc{P}\!roposition\tx{}#1}}}} \newcommand{\Claim}{\gudl{\sc{C}\!laim\colon}} \newcommand{\Claimn}[1]{\gudl{\sc{C}\!laim \tx{}#1}} \newcommand{\Thm}{\color{orange}{\underline{\color{black}{\sc{T}\!heorem}}}} \newcommand{\Thmn}[1]{\gudl{\sc{T}\!heorem\tx{}#1}} \newcommand{\O}{\c{O}} \DeclareMathOperator{\Ouv}{Ouv} \newcommand{\Cor}{\color{orange}{\underline{\color{black}{\sc{C}\!orollary}}}} \newcommand{\Corn}[1]{\color{orange}{\underline{\color{black}{\sc{C}\!orollary\tx{}#1}}}} \newcommand{\Fct}{\color{orange}{\underline{\color{black}{\sc{F}\!act}}}} \newcommand{\Fctn}[1]{\color{orange}{\underline{\color{black}{\sc{F}\!act\tx{}#1}}}} \newcommand{\Lem}{\color{orange}{\underline{\color{black}{\sc{L}\!emma}}}} \newcommand{\Lemn}[1]{\color{orange}{\underline{\color{black}{\sc{L}\!emma\tx{}#1}}}} \newcommand{\Exp}{\color{orange}{\underline{\color{black}{\sc{E}\!xample}}}} \newcommand{\Expn}[1]{\color{orange}{\underline{\color{black}{\sc{E}\!xample\tx{}#1}}}} \newcommand{\Rem}{\gudl{\sc{R}\!emark\colon}} \newcommand{\Remn}[1]{\gudl{\sc{R}\!emark #1\colon}} \newcommand{\brc}[1]{[\![#1]\!]} \newcommand{\qst}{{}^{\color{red}{[?]}}} \newcommand{\qstn}[1]{{}^{\color{red}{[?,#1]}}} \newcommand{\sto}{\overset{\sim}{\to}} \newcommand{\srj}{\twoheadrightarrow} \newcommand{\Ga}{\mathbb{G}_a} \newcommand{\G}{\mathbb{G}} \newcommand{\B}{\mathbb{B}} \newcommand{\Gm}{\G_m} \newcommand{\d}[1]{_{#1}} \newcommand{\nz}{\not=0} \newcommand{\x}{(x)} \newcommand{\y}{(y)} \newcommand{\r}[1]{\mid_{#1}} \newcommand{\ij}{(i,j)} \newcommand{\o}[1]{\operatorname{#1}} \newcommand{\ne}{\not=\emptyset} \newcommand{\ISLn}{\mathbb{S}\mathbb{L}_n} \newcommand{\tfae}{\textbf{T.F.A.E.}} \newcommand{\ndownlong}[2]{#1\ -\!\!\!\rightharpoonup\!\leftharpoondown\!\to\! #2} \newcommand{\OC}{\c{O}_C} \newcommand{\OF}{\c{O}_F} \newcommand{\gsp}[1]{\udl{\Spec}_S(#1)} \newcommand{\shso}{\udl{\text{Sheaves on}}} \newcommand{\shs}{\udl{\text{Sheaves}}} \newcommand{\ush}[1]{\udl{\text{Sheaf}}(#1)} \newcommand{\sh}{\udl{\text{Sheaf}}} \newcommand{\rr}{/\!\!/} \newcommand{\EE}{\mathscr{E}} \newcommand{\V}{\mathbb{V}} \newcommand{\ddd}{(d,d_1,d_2)} \newcommand{\Vd}{V_{d,d_1,d_2}} \newcommand{\xy}{(x,y)} \newcommand{\OX}{\c{O}_X} \newcommand{\Ox}{\c{O}_{X,x}} \newcommand{\Oy}{\c{O}_{Y,y}} \newcommand{\KK}{\mathbb{K}} \newcommand{\lims}{\limsup_{n\to \infty}} \newcommand{\proof}{\gudl{\mathscr{P}\!roof}\colon} \newcommand{\proofofprop}[1]{\underline{\color{orange}{\mathscr{P}\!roof\tx{}of\tx{}\sc{P}\!roposition\tx{}#1}\colon}} \newcommand{\proofofcor}[1]{\underline{\color{orange}{\mathscr{P}\!roof\tx{}of\tx{}\sc{C}\!orollary\tx{}#1}\colon}} \newcommand{\proofofthm}{\gudl{\sc{P}\!roof\tx{}of\tx{}\sc{T}\!heorem\colon}} \newcommand{\proofofthmn}[1]{\gudl{\sc{P}\!roof\tx{}of\tx{}\sc{T}\!heorem\tx{}#1\colon}} \newcommand{\Bew}{\underline{\color{orange}{\mathscr{B}\!eweis}\colon}} \newcommand{\defeq}{\overset{\mathscr{D}\mathscr{e}\mathscr{f}.}{=\!=}} \newcommand{\set}[2]{\{#1\mid #2\}} \newcommand{\SS}{\mathscr{S}} \newcommand{\FF}{\mathscr{F}} \newcommand{\dyadksum}[1]{\sum_{I\in \DD_k,I\sube J}#1} \newcommand{\noem}{\not=\emptyset} \newcommand{\DD}{\sc{D}} \newcommand{\BB}{\mathscr{B}} \newcommand{\KK}{\sc{K}} \newcommand{\Pr}{\ff{P}} \newcommand{\exact}[3]{0\to #1\to #2\to#3\to 0} \newcommand{\qed}{\gudl{\ff{Q}.\ff{E}.\ff{D}.}} \newcommand{\wt}[1]{\widetilde{#1}} \newcommand{\wh}[1]{\widehat{#1}} \newcommand{\spr}[1]{\Sper(#1)} \newcommand{\LL}{\mathscr{L}} \newcommand{\sp}[1]{\Spec(#1)} \newcommand{\nuplong}[2]{#1\ -\!\!\!\rightharpoondown\!\leftharpoonup\!\to\! #2} \newcommand{\ndownloong}[2]{#1 -\!\!\!-\!\!\!\rightharpoonup\!\leftharpoondown\!\!\!\longrightarrow \!#2} \newcommand{\bop}{\bigoplus} \newcommand{\eps}{\epsilon} \newcommand{\K}{\mathbb{K}} \newcommand{\lxen}{\langle x_1\cos x_n\rangle} \newcommand{\Xen}{[X_1\cos X_n]} \newcommand{\xen}{[x_1\cos x_n]} \newcommand{\ip}{\langle -,- \rangle} \newcommand{\ipr}[2]{\langle #1,#2 \rangle} \newcommand{\vth}{\vartheta} \newcommand{\pprod}{\prod_{v\in\ff{M}_\K}} \newcommand{\pfam}[1]{(#1)_{v\in\ff{M}_\K}} \newcommand{\pl}[1]{\ff{S}(#1)} \newcommand{\plf}[1]{\ff{S}_{\o{fin}}(#1)} \newcommand{\pli}[1]{\ff{S}_{\infty}(#1)} \newcommand{\finfam}[1]{(#1)_{i=1}^n} \newcommand{\fam}[1]{(#1)_{i\in I}} \newcommand{\jfam}[1]{(#1)_{j\in J}} \newcommand{\kfam}[1]{(#1)_{k\in K}} \newcommand{\nfam}[1]{(#1)_{i=1}^n} \newcommand{\nifam}[1]{(#1)_{n=0}^\infty} \newcommand{\udl}[1]{\underline{#1}} \newcommand{\Uij}{U_i\cap U_j} \newcommand{\vpi}{\varphi_i} \newcommand{\vpj}{\varphi_j} \newcommand{\vph}{\varphi} \newcommand{\psij}{\psi_{i,j}} \newcommand{\CC}{\c{C}} \newcommand{\nsum}{\sum_{n\in\N}} \newcommand{\twist}[1]{\c{O}_{\mathbb{P}_k^n}(#1)} \newcommand{\prj}[1]{\Proj (#1)} \newcommand{\part}[2]{\frac{\partial #1}{\partial #2}} \newcommand{\kxn}{k[x_0,\pts,x_n]} \newcommand{\ques}{\gudl{\c{Q}\!uestion\colon}} \newcommand{\quesn}[1]{\gudl{\c{Q}\!uestion\tx{}#1\colon}} \newcommand{\answ}{\gudl{\sc{A}\!nswer\colon}} \newcommand{\cons}{\color{orange}{\udl{\color{black}{\sc{C}\!onsiderations:}}}} \newcommand{\ka}{\kappa} \newcommand{\pr}{\mathfrak{p}} \newcommand{\abs}[1]{\left| #1\right|} \newcommand{\ab}{\left|-\right|} \newcommand{\eps}{\epsilon} \newcommand{\N}{\mathbb{N}} \newcommand{\KX}{K[X]} \newcommand{\cov}{\c{U}} \newcommand{\ff}[1]{\mathfrak{#1}} \newcommand{\legendre}[2]{\left(\frac{#1}{#2}\right)} \newcommand{\half}{\frac{1}{2}} \newcommand{\ANF}{K/\Q} \newcommand{\GFF}{F/{\F_p(t)}} \newcommand{\Os}{\mathcal{O}_{S,s}} \newcommand{\lineb}{\sc{L}} \newcommand{\cyclm}{\Q(\sqrt[m]{1})} \newcommand{\cyclmK}{K(\sqrt[m]{1})} \newcommand{\LX}{L[X]} \newcommand{\GG}{\sc{G}} \newcommand{\OS}{\mathcal{O}_S} \newcommand{\OK}{\c{O}_K} \newcommand{\OF}{\c{O}_F} \newcommand{\OL}{\c{O}_L} \newcommand{\Ok}{\c{O}_k} \newcommand{\OZ}{\c{O}_Z} \newcommand{\O}{\c{O}} \newcommand{\bb}[1]{\textbf{#1}} \newcommand{\OY}{\mathcal{O}_Y} \newcommand{\vdp}{\sc{V}\!an\text{ }der\text{ }\sc{P}\!ut} \newcommand{\weierstrass}{\sc{W}\!eierstraß} \newcommand{\runge}{\sc{R}\!unge} \newcommand{\laurent}{\sc{L}\!aurent} \newcommand{\grothendieck}{\sc{G}\!rothendieck} \newcommand{\noether}{\sc{N}\!oether} \newcommand{\glX}{\Gamma(X,\mathcal{O}_X)} \newcommand{\glY}{\Gamma(Y,\mathcal{O}_Y)} \newcommand{\finKX}{f\in K[X]} \newcommand{\ser}[1]{\sm{n=0}{\infty}{#1}} \newcommand{\sm}[3]{\underset{#1}{\overset{#2}{\sum}} #3} \newcommand{\cl}[1]{\overline{#1}} \newcommand{\sube}{\subseteq} \newcommand{\hk}{\hookrightarrow} \newcommand{\OYy}{\mathcal{O}_{Y,y}} \newcommand{\supe}{\supseteq} \newcommand{\resy}{\kappa(y)} \newcommand{\LK}{L/K} \newcommand{\isom}[3]{#1\overset{#2}{\iso}#3} \newcommand{\kn}{k^n} \newcommand{\kvec}{\textbf{vect}(k)} \newcommand{\fkvec}{\textbf{vect}_{<\infty}(k)} \newcommand{\fz}{f(X)=0} \newcommand{\KIsom}{L\underset{K}{\overset{\sim}{\to}} L} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\L}{\mathbb{L}} \newcommand{\C}{\mathbb{C}} \newcommand{\F}{\mathbb{F}} \newcommand{\A}{\mathbb{A}} \newcommand{\ad}{\A_k} \newcommand{\Deft}[1]{\Defn{\tx{(#1)}}} \newcommand{\qgal}[1]{\Gal(#1/\Q)} \newcommand{\P}{\mathbb{P}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Zp}{\mathbb{Z}_p} \newcommand{\Qp}{\mathbb{Q}_p} \newcommand{\Qq}{\mathbb{Q}_q} \newcommand{\Fp}{\mathbb{F}_p} \newcommand{\I}{[0,1]} \newcommand{\In}{[0,1]^n} \newcommand{\Fpn}{\mathbb{F}_{p^n}} \newcommand{\Fpm}{\mathbb{F}_{p^m}} \newcommand{\Zn}{\mathbb{Z}/{n\mathbb{Z}}} \newcommand{\Zx}[1]{\mathbb{Z}/{#1\mathbb{Z}}} \newcommand{\md}[3]{#1\equiv #2\pmod{#3}} \newcommand{\ga}{\Gal(L/K)} \newcommand{\exactn}[5]{0\to #1\overset{#4}{\to}#2\overset{#5}{\to}#3\to 0} \newcommand{\aga}[1]{\Gal(\overline{#1}/#1)} \newcommand{\sga}[1]{\Gal(#1^{sep}/{#1})} \newcommand{\gal}[2]{\Gal(#1/{#2})} \newcommand{\c}[1]{\mathcal{#1}} \newcommand{\skw}{\{\tau\}} \newcommand{\limes}[1]{\underset{i\in I}{\varprojlim{#1_i}}} \newcommand{\IGLn}{\mathbb{G}\mathbb{L}_n} \newcommand{\IGL}{\mathbb{G}\mathbb{L}} \newcommand{\Co}[2]{H^p(#1,#2)} \newcommand{\OK}{\mathcal{O}_K} \newcommand{\OL}{\mathcal{O}_L} \newcommand{\res}[1]{\kappa(#1)} \newcommand{\resx}{\kappa(x)} \newcommand{\lTen}{\langle T_1\cos T_n\rangle} \newcommand{\lXen}{\langle X_1\cos X_n\rangle} \newcommand{\Te}{[T]} \newcommand{\Tee}{[T_1,T_2]} \newcommand{\Teee}{[T_1,T_2,T_3]} \newcommand{\Ten}{[T_1\cos T_n]} \newcommand{\Tem}{[T_1\cos T_m]} \newcommand{\pts}{\dotsc} \newcommand{\pt}{\cdot} \newcommand{\hm}[3]{\Hom_{#1}(#2,#3)} \newcommand{\hom}{\Hom} \newcommand{\dash}{\dashrightarrow} \newcommand{\schemes}{\bb{(Sch)}} \newcommand{\groups}{\bb{(Grp)}} \newcommand{\rings}{\bb{(Ring)}} \newcommand{\tx}[1]{\text{ #1 }} \newcommand{\mm}{\ff{m}} \newcommand{\zkinfsum}{\sum_{k=0}^\infty} \newcommand{\ziinfsum}{\sum_{i=0}^\infty} \newcommand{\zjinfsum}{\sum_{j=0}^\infty} \newcommand{\asum}[1]{\sum_{\a\in\N^n}#1 X^\a} \newcommand{\arr}[3]{#1\overset{#2}{\to} #3} \newcommand{\nrm}[1]{\left\|#1\right\|} \newcommand{\nr}{\nrm{-}} \newcommand{\ext}[2]{#1/{#2}} \newcommand{\lam}{\lambda} \newcommand{\a}{\alpha} \newcommand{\be}{\beta} \newcommand{\gam}{\gamma} \newcommand{\de}{\delta} \newcommand{\vp}{\varphi} \newcommand{\p}{\phi} \newcommand{\bul}{\bullet} \newcommand{\t}{\tau} \newcommand{\s}{\sigma} \newcommand{\ze}{\zeta} \newcommand{\T}{\mathbb{T}} \newcommand{\tm}{\times} \newcommand{\tms}{\times\pts\times} \newcommand{\ot}{\otimes} \newcommand{\ots}{\otimes\pts\otimes} \newcommand{\pls}{+\pts +} \newcommand{\cos}{,\pts,} \newcommand{\op}{\oplus} \newcommand{\ops}{\oplus\pts\oplus} \newcommand{\cr}{\circ} \newcommand{\crs}{\circ\pts\circ} \newcommand{\sc}[1]{\mathscr{#1}} \newcommand{\scal}[2]{\sc{#1}{\!#2}} \newcommand{\ov}[2]{\begin{matrix}#1 \\ #2\end{matrix}} \newcommand{\viele}{\color{orange}{\udl{\color{black}{\sc{V}\!iele\tx{}\sc{G}\!r\overset{{}_{,,\!}}{u}\textit{ß}e}}}} \newcommand{\xst}{\color{orange}{\udl{\color{black}{X.S.T.\sim 小石头}}}} \newcommand{\gudl}[1]{\color{orange}{\udl{\color{black}{#1}}}} \newcommand{\Task}{\gudl{\sc{T}\!ask:}} \newcommand{\Exer}{\gudl{\sc{E}\!exercise:}} \newcommand{\Drinfeld}{\gudl{\sc{D}\!rinfeld:}} \newcommand{\Goss}{\gudl{\sc{G}\!oss}} \newcommand{\CK}{C/K} \newcommand{\CS}{C/S} \newcommand{\Ck}{C/k} \newcommand{\Om}{\Omega} \newcommand{\J}{\Jac_{\CS}^{g-1}} \newcommand{\Fact}{\gudl{\sc{F}\!act\colon}} \newcommand{\Factn}[1]{\gudl{\sc{F}\!act\tx{}#1\colon}} \newcommand{\sep}[1]{#1^{\o{sep}}} \newcommand{\abel}[1]{#1^{\o{ab}}} \newcommand{\corres}[2]{\{#1\}\leftrightarrows\{#2\}} \newcommand{\units}[1]{#1^{\tm}} \newcommand{\line}{\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!} \newcommand{\fin}[1]{#1^{\o{fin}}} \newcommand{\infin}[1]{#1^{\infty}} \newcommand{\Ql}{\Q_{\ell}} \newcommand{\dbquot}[3]{{}_{#2}\backslash#1/_{#3}} \)
Hi.
Wie kann man sich eine Funktion \(X\to \{0,1\}\) anschaulich vorstellen?
Jedem Element \(x\in X\) wird genau einer von zwei verschiedenen Werten zugeordnet.

Ich stelle mir das so vor wie das einfaerben der Elemente in \(X\),
\(0\) fuer \(blau\) und \(1\) fuer rot zum Beispiel.

Angenommen du hast eine solche "Einfaerbung von \(X\)" gegeben, also eine Funktion \(X\to \{0,1\}\). Mit welcher Teilmenge \(S\subseteq X\) wuerdest du diese Funktion identifizieren?

Gruesse




-----------------
”己所不欲,勿施于人“(Konfuzius)
PS: Falls ich plötzlich aufhöre in einem Thread zu antworten, dann kann es sein, dass ich es vergessen habe. Ihr könnt mir in diesem Fall eine Private Nachricht schicken.
\(\endgroup\)


Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.27, vom Themenstarter, eingetragen 2018-11-04


Hmm dann würde ich doch so etwas bekommen:


$F^{-1}(f^{-1}(1))=
\begin{cases}
1 & \text{für } x \in f^{-1}(1) \\
0 & \text{für} x \in X \backslash f^{-1}(1)
\end{cases}$

Wäre das die Umkehrfunktion?
Mir fällt keine Möglichkeit ohne Fallunterscheidung ein.


Also in unserem Beispiel:

$F^{-1}(\emptyset)=
\begin{cases}
1 & \text{für } x \in \emptyset \\
0 & \text{für}x \in X \backslash \emptyset
\end{cases}$,
also $f(1) = f(2) = 0$


$F^{-1}(\{1\})=
\begin{cases}
1 & \text{für } x \in \{1\} \\
0 & \text{für} x \in X \backslash \{1\} = \{2\}
\end{cases}$,
also $f(1) = 1, f(2) = 0$

usw..


Viele Grüße,
X3nion



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.28, eingetragen 2018-11-04


Ja, das ist genau richtig. Sehr gut.

Nun musst du nur noch nachrechnen, dass dies tatsächlich die Umkehrfunktion ist.

Du musst nur vielleicht eine sorgfältigere Notation wählen.
Denn $F^{-1}$ hängt von der Menge $M$ ab und von den Elementen dieser Menge.
Du kannst also schreiben $F^{-1}(M)(x)$, oder vielleicht weniger verwirrend $F^{-1}_M(x)$.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.29, vom Themenstarter, eingetragen 2018-11-04


Okay perfekt, das schaut ja schon mal nicht schlecht aus! :-)

Hm also müsste ich zeigen $F(F_{M}^{-1}) = F_{M}^{-1}(F) = id$?


Viele Grüße,
X3nion



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.30, eingetragen 2018-11-04


Ja, das ist zu zeigen.
Also das die angegebenen Funktionen zueinander inverse Bijektionen sind.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.31, vom Themenstarter, eingetragen 2018-11-04


Okay Moment, ich muss das erst einmal sauber notieren!

Kann ich schreiben:

Für $M \in P(X) gilt$:

$F_{M}^{-1}(x)=
\begin{cases}
1 & \text{für } x \in M \\
0 & \text{für} x \in X \backslash M
\end{cases}$ ?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.32, eingetragen 2018-11-04


Ja, so kannst du das schreiben.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.33, vom Themenstarter, eingetragen 2018-11-04


Hmm okay, dann wird der letzte Schritt noch der Beweis der inversen Bijektion sein.

Wenn ich nun deine Variante von $F(f) = \{x \in X| f(x) = 1\}$ nehme, so komme ich auf

$F(F_{M}^{-1}) = \{x \in X: F_{M}^{-1}(x) = 1\}$

Wie vereinfache ich dies nun weiter, dass die Identität herauskommt?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.34, eingetragen 2018-11-04


Was wäre in diesem Fall denn die Identität?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.35, vom Themenstarter, eingetragen 2018-11-04


Die Identität sollte $F_{M}^{-1}$ sein, richtig?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.36, eingetragen 2018-11-04


Leider nicht.
$F$ bildet ja auf Elemente der Potenzmenge von $X$ ab. Also auf Mengen.
$F^{-1}_M$ ist jedoch eine Funktion.




Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.37, vom Themenstarter, eingetragen 2018-11-04


Hmm müsste dann $x \in M \in P(X)$ als Identität herauskommen?
Wegen $F(F_{M}^{-1}(x)) = x$ ?
Die Identität gibt doch das Argument heraus mit was sie gefüttert wurde dachte ich?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PrinzessinEinhorn
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 23.01.2017
Mitteilungen: 2452
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.38, eingetragen 2018-11-04


$x$ ist leider auch keine Menge, sondern ein einzelnes Element.

Ja, die Notation ist hier eben so ein Knackpunkt.
Wie gesagt wissen wir, dass $F$ auf Mengen abbildet.
Und $F^{-1}_M(x)$ hängt ja eigentlich von $M$ ab und prüft dann die Elemente $x$.

Und $\{x\in X| F^{-1}_M(x)=1\}=M$.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
X3nion
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 17.04.2014
Mitteilungen: 605
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.39, vom Themenstarter, eingetragen 2018-11-04


Ja die Notation ist wirklich ein Knackpunkt!

$F(F_{M}^{-1}) = \{x \in X: F_{M}^{-1}(x) = 1\} = \{x \in X: x \in M\}$ (wegen $f_{M}^{-1}(x) = 1$ für $x \in M)$
Und somit $\{x \in X: x \in M\}$ = M

Wäre die Begründungskette so in Ordnung?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
-->> Fortsetzung auf der nächsten Seite -->>
Seite 1Gehe zur Seite: 1 | 2  
Neues Thema [Neues Thema]  Druckversion [Druckversion]

 


Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2020 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]