| Autor |
  Linksinverse |
|
sina1357
Aktiv 
Dabei seit: 14.11.2020
Mitteilungen: 188
 |  Themenstart: 2020-11-24
|
Hallo zusammen,
ich komme bei folgender Aufgabe nicht weiter:
Sei g: M -> N eine injektive Abbildung zwischen endlichen Mengen M und N mit m:= Kardinalität M <= n:= Kardinalität N.
Wie viele Linksinverse hat g ?
Mein Ansatz:
Als erstes habe ich n Möglichkeiten für die Wahl von m.
Dann ist das erste ausgewählte Element belegt und mir bleiben (n-1) Möglichkeiten... usw.
n(n-1)...(n-m+1)
Ich freue mich über Tipps jeglicher Art!
Danke!
|
 Profil
|
Nuramon
Senior 
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.1, eingetragen 2020-11-24
|
\(\begingroup\)\(\newcommand{\End}{\operatorname{End}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\GL}{\operatorname{GL}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\d}{{\rm d}}
\newcommand{\rg}{\operatorname{rg}}
\newcommand{\spur}{\operatorname{spur}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\tr}{\operatorname{tr}}\)
Hallo,
Ich glaube du versuchst die Anzahl aller injektiven Abbildungen $M\to N$ zu bestimmen, was aber nicht gefragt ist.
$g$, $m$ und $n$ sind fest vorgegeben, da hast du also gar keine Wahl.
Überlege dir stattdessen für jedes $x\in N$ welche Werte $h(x)\in M$ ein Linksinverses $h$ zu $g$ annehmen kann. Tipp: Es gibt zwei Fälle.
[Verschoben aus Forum 'Lineare Algebra' in Forum 'Relationen und Abbildungen' von Nuramon]\(\endgroup\)
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.2, vom Themenstarter, eingetragen 2020-11-24
|
Vielen Dank für deine Hilfe!
Jedes n kann m Werte annehmen, aber weiter komme ich irgendwie gerade nicht
|
Profil
|
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.3, eingetragen 2020-11-24
|
Was ist denn die Definition einer Linksinversen?
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.4, vom Themenstarter, eingetragen 2020-11-24
|
Eine Linksinverse ist Abbildung von h:Y->X mit h verkettet f= idx
|
Profil
|
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.5, eingetragen 2020-11-24
|
\(\begingroup\)\(\newcommand{\End}{\operatorname{End}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\GL}{\operatorname{GL}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\d}{{\rm d}}
\newcommand{\rg}{\operatorname{rg}}
\newcommand{\spur}{\operatorname{spur}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\tr}{\operatorname{tr}}\)
Wenn du nicht weiterkommst, aber die Definitionen verstanden hast, dann betrachte am besten mal ein Beispiel:
Sei $M=\{1,2\}$ und $N=\{1,2,3\}$ und $g:M\to N, 1\mapsto 1, 2\mapsto 2$. Wie viele Linksinverse hat $g$ in diesem Fall?
[Die Antwort wurde nach Beitrag No.3 begonnen.]\(\endgroup\)
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.6, vom Themenstarter, eingetragen 2020-11-24
|
Profil
|
sina1357
Aktiv 
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.7, vom Themenstarter, eingetragen 2020-11-24
|
ok, wenn ich es richtig verstanden habe, dann ist ein Linksinverses wiederum 1->1 und das andere 2->2
|
Profil
|
Nuramon
Senior 
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.8, eingetragen 2020-11-24
|
\(\begingroup\)\(\newcommand{\End}{\operatorname{End}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\GL}{\operatorname{GL}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\d}{{\rm d}}
\newcommand{\rg}{\operatorname{rg}}
\newcommand{\spur}{\operatorname{spur}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\tr}{\operatorname{tr}}\)
Eine Linksinverse der Abbildung $g:M\to N$ ist eine Abbildung $h:N\to M$ mit $h\circ g = \id_M$.
Schreibe aus, was die Gleichung $h\circ g = \id_M$ bedeutet: Für jedes $x\in ?$ gilt ...
\quoteon(2020-11-24 16:05 - sina1357 in Beitrag No. 7)
ok, wenn ich es richtig verstanden habe, dann ist ein Linksinverses wiederum 1->1 und das andere 2->2
\quoteoff
1->1 ist keine Abbildung.
Um eine Abbildung $N\to M$ anzugeben, musst du für jedes Element von $N$ den Funktionswert angeben.\(\endgroup\)
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.9, vom Themenstarter, eingetragen 2020-11-24
|
Also, wenn ich h und g verkette und die Identität erhalten will, muss folgendes gelten:
h(g(x))=h(g(1))=h(1)=1
h(g(x))=h(g(2))=h(2)=2
Also h(1)=1 und h(2)=2, aber was mache ich mit der 3?
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.10, vom Themenstarter, eingetragen 2020-11-24
|
Oder ist h(1)=1 und h(2)=2 dann meine Linksinverse?
|
Profil
|
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.11, eingetragen 2020-11-24
|
\(\begingroup\)\(\newcommand{\End}{\operatorname{End}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\GL}{\operatorname{GL}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\d}{{\rm d}}
\newcommand{\rg}{\operatorname{rg}}
\newcommand{\spur}{\operatorname{spur}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\tr}{\operatorname{tr}}\)
Gut. In dem Beispiel ist eine Abbildung $h:N\to M$ genau dann eine Linksinverse zu $g$, wenn $h(1)=1$ und $h(2)=2$ gilt. (Über $h(3)$ wird keine Aussage getroffen.)
Kannst du alle Abbildungen $h:N\to M$ angeben, die diese Bedingungen erfüllen?
[Die Antwort wurde nach Beitrag No.9 begonnen.]\(\endgroup\)
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.12, vom Themenstarter, eingetragen 2020-11-24
|
Ich glaube, ich stehe gerade auf dem Schlauch.. ich sehe nämlich nur die eine Möglichkeit
|
Profil
|
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.13, eingetragen 2020-11-24
|
\(\begingroup\)\(\newcommand{\End}{\operatorname{End}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\GL}{\operatorname{GL}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\d}{{\rm d}}
\newcommand{\rg}{\operatorname{rg}}
\newcommand{\spur}{\operatorname{spur}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\tr}{\operatorname{tr}}\)
Was meinst du mit nur einer Möglichkeit? Bisher hast du gar keine angegeben.
Um eine Abbildung $h:N\to M$ anzugeben, musst du für jedes $n\in N$ angeben, was $h(n)$ sein soll. In dem Beispiel musst du also $h(1),h(2)$ und $h(3)$ angeben.
Damit $h$ linksinvers zu $g$ ist, muss $h(1)=1$ und $h(2)=2$ gelten. Wie viele Möglichkeiten gibt es $h(3)$ zu definieren?\(\endgroup\)
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.14, vom Themenstarter, eingetragen 2020-11-24
|
Ah, ok für h(3) kann ich entweder h(3)=1 oder h(3)=2 wählen
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.15, vom Themenstarter, eingetragen 2020-11-24
|
Dann gibt es zwei mögliche Linksinverse.
|
Profil
|
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.16, eingetragen 2020-11-24
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.17, vom Themenstarter, eingetragen 2020-11-24
|
Wäre eine Verallgemeinerung dann (n-m)*m
[Die Antwort wurde nach Beitrag No.15 begonnen.]
|
Profil
|
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.18, eingetragen 2020-11-24
|
Ich habe keine Lust auf Rateversuche einzugehen.
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.19, vom Themenstarter, eingetragen 2020-11-24
|
Schon einmal vielen Dank für deine Hilfe.
Die Verallgemeinerung habe ich mir so hergeleitet:
(n-m) für die Elemente, für die ich keine Auswahlmöglichkeit habe
dieses dann multipliziert mit m, da ich so die Elemente mit Auswahlmöglichkeit abdecke
|
Profil
|
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.20, eingetragen 2020-11-24
|
Der Ansatz ist gut, die Formel falsch.
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.21, vom Themenstarter, eingetragen 2020-11-24
|
Wenn ich für mehrere Elemente Auswahlmöglichkeiten habe, muss ich n! berechnen,
z.B. {1,2}->{1,2,3,4} mit f(1)=1 und f(2)=2
Für das Linksinverse ergibt sich {1,2,3,4}->{1,2}:
h(1)=1 und h(2)=2
und weiter
- h(3)=1 h(4)=1
- h(3)=1 und h(4)=2
- h(3)=2 und h(4)=1
- h(3)=2 und h(4)=2
somit 4 Linksinverse
Mit der Verallgemeinerung: (n-m)n! ergibt sich (4-2)*2!=2*2=4
|
Profil
|
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.22, eingetragen 2020-11-24
|
\(\begingroup\)\(\newcommand{\End}{\operatorname{End}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\GL}{\operatorname{GL}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\d}{{\rm d}}
\newcommand{\rg}{\operatorname{rg}}
\newcommand{\spur}{\operatorname{spur}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\tr}{\operatorname{tr}}\)
Auch die Formel stimmt nicht allgemein.
Überlege dir folgendes: Wenn $X,Y$ endliche Mengen sind. Wie viele Abbildungen $X\to Y$ gibt es dann?\(\endgroup\)
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.23, vom Themenstarter, eingetragen 2020-11-24
|
Muss ich in diesem Fall mit dem Kartesischen Produkt argumentieren?
Stimmt denn der Ansatz für (n-m) oder habe ich einen Denkfehler dadrin?
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.24, vom Themenstarter, eingetragen 2020-11-24
|
Wenn X,Y endliche Mengen sind, muss es m^n Abbildungen geben
|
Profil
|
Diophant
Senior
Dabei seit: 18.01.2019
Mitteilungen: 10921
Wohnort: Rosenfeld, BW
 | Beitrag No.25, eingetragen 2020-11-24
|
\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}}
\newcommand{\ea}{\end{aligned}}
\newcommand{\bpm}{\begin{pmatrix}}
\newcommand{\epm}{\end{pmatrix}}
\newcommand{\bc}{\begin{cases}}
\newcommand{\ec}{\end{cases}}
\newcommand{\on}{\operatorname}
\newcommand{\ds}{\displaystyle}\)
Hallo,
deine Fragen sind sprachlich missverständlich formuliert.
Soweit bist du ja offensichtlich gekommen: es gibt \(n-m\) Elemente in \(N\), die nicht von \(g\) getroffen werden. Ein Linksinverses von \(g\) kann jedem dieser Elemente ein beliebiges Element aus \(M\) zuordnen. Wie viele Möglichkeiten gibt es dafür (wie viele Elemente hat \(M\))?
Falls du dich mit elementarer Kombinatorik auskennst: das ist ein Variationsproblem.
Nachtrag: mit deinem Beitrag #24 bist du jetzt auf dem richtigen Weg.
Gruß, Diophant
[Die Antwort wurde nach Beitrag No.23 begonnen.]\(\endgroup\)
|
Profil
|
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.26, eingetragen 2020-11-24
|
\(\begingroup\)\(\newcommand{\End}{\operatorname{End}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\GL}{\operatorname{GL}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\d}{{\rm d}}
\newcommand{\rg}{\operatorname{rg}}
\newcommand{\spur}{\operatorname{spur}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\tr}{\operatorname{tr}}\)
\quoteon(2020-11-24 17:31 - sina1357 in Beitrag No. 24)
Wenn X,Y endliche Mengen sind, muss es m^n Abbildungen geben
\quoteoff
Je nachdem, was du hier mit $m$ bzw. $n$ meinst, kann das sowohl richtig als auch falsch sein.\(\endgroup\)
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.27, vom Themenstarter, eingetragen 2020-11-24
|
Also wenn f:M->N gilt dann müsste es m^(n-m) Möglichkeiten geben
|
Profil
|
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3738
| Beitrag No.28, eingetragen 2020-11-24
|
Da deine Formulierungen unpräzise sind und du die Notationen von mehreren Beispielen miteinander vermischt, wäre es gut, wenn du noch einmal klar aufschreibst, was du gerade behauptest.
|
Profil
|
Diophant
Senior
Dabei seit: 18.01.2019
Mitteilungen: 10921
Wohnort: Rosenfeld, BW
| Beitrag No.29, eingetragen 2020-11-24
|
\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}}
\newcommand{\ea}{\end{aligned}}
\newcommand{\bpm}{\begin{pmatrix}}
\newcommand{\epm}{\end{pmatrix}}
\newcommand{\bc}{\begin{cases}}
\newcommand{\ec}{\end{cases}}
\newcommand{\on}{\operatorname}
\newcommand{\ds}{\displaystyle}\)
Hallo nochmals,
\quoteon(2020-11-24 17:55 - sina1357 in Beitrag No. 27)
Also wenn f:M->N gilt dann müsste es m^(n-m) Möglichkeiten geben
\quoteoff
noch nicht wirklich. Das Problem daran: die Linksinverse bildet von \(N\) nach \(M\) ab.
Nachtrag: aber das Resultat stimmt.
Gruß, Diophant
[Die Antwort wurde nach Beitrag No.27 begonnen.]\(\endgroup\)
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.30, vom Themenstarter, eingetragen 2020-11-24
|
Dann müsste ich die Positionen von m und n vertauschen..
|
Profil
|
Diophant
Senior
Dabei seit: 18.01.2019
Mitteilungen: 10921
Wohnort: Rosenfeld, BW
| Beitrag No.31, eingetragen 2020-11-24
|
\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}}
\newcommand{\ea}{\end{aligned}}
\newcommand{\bpm}{\begin{pmatrix}}
\newcommand{\epm}{\end{pmatrix}}
\newcommand{\bc}{\begin{cases}}
\newcommand{\ec}{\end{cases}}
\newcommand{\on}{\operatorname}
\newcommand{\ds}{\displaystyle}\)
Hallo,
\quoteon(2020-11-24 18:12 - sina1357 in Beitrag No. 30)
Dann müsste ich die Positionen von m und n vertauschen..
\quoteoff
nein, sondern sauber formulieren. Dein Resultat ist richtig, aber das mit der Abbildung von \(M\) nach \(N\) ist die falsche Begründung. Zumindest kann ich es nur so verstehen.
Gruß, Diophant\(\endgroup\)
|
Profil
|
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 188
| Beitrag No.32, vom Themenstarter, eingetragen 2020-11-24
|
Ok, vielen Dank für eure Hilfe
|
Profil
|
Home / Seite ohne Frame
Wie unterstütze ich den Matheplaneten mit Geld?
