| Autor |
  Linksinverse |
|
sina1357
Aktiv 
Dabei seit: 14.11.2020
Mitteilungen: 77
 |
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!
|
 Notiz  Profil
 Quote
 Link |
Nuramon
Senior 
Dabei seit: 23.01.2008
Mitteilungen: 2517
|      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\)
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| 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
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| Beitrag No.3, eingetragen 2020-11-24
|
Was ist denn die Definition einer Linksinversen?
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| Beitrag No.4, vom Themenstarter, eingetragen 2020-11-24
|
Eine Linksinverse ist Abbildung von h:Y->X mit h verkettet f= idx
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| 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\)
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| Beitrag No.6, vom Themenstarter, eingetragen 2020-11-24
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| 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
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| 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 ...
2020-11-24 16:05 - sina1357 in Beitrag No. 7 schreibt:
ok, wenn ich es richtig verstanden habe, dann ist ein Linksinverses wiederum 1->1 und das andere 2->2 1->1 ist keine Abbildung.
Um eine Abbildung $N\to M$ anzugeben, musst du für jedes Element von $N$ den Funktionswert angeben.\(\endgroup\)
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| 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?
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| Beitrag No.10, vom Themenstarter, eingetragen 2020-11-24
|
Oder ist h(1)=1 und h(2)=2 dann meine Linksinverse?
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| 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\)
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| 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
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| 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\)
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| 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
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| Beitrag No.15, vom Themenstarter, eingetragen 2020-11-24
|
Dann gibt es zwei mögliche Linksinverse.
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| Beitrag No.16, eingetragen 2020-11-24
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| 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.]
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| Beitrag No.18, eingetragen 2020-11-24
|
Ich habe keine Lust auf Rateversuche einzugehen.
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| 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
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| Beitrag No.20, eingetragen 2020-11-24
|
Der Ansatz ist gut, die Formel falsch.
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| 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
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| 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\)
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| 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?
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| Beitrag No.24, vom Themenstarter, eingetragen 2020-11-24
|
Wenn X,Y endliche Mengen sind, muss es m^n Abbildungen geben
|
Notiz Profil
Quote
Link |
Diophant
Senior
Dabei seit: 18.01.2019
Mitteilungen: 5764
Herkunft: 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\)
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| 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}}\)
2020-11-24 17:31 - sina1357 in Beitrag No. 24 schreibt:
Wenn X,Y endliche Mengen sind, muss es m^n Abbildungen geben Je nachdem, was du hier mit $m$ bzw. $n$ meinst, kann das sowohl richtig als auch falsch sein.\(\endgroup\)
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| 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
|
Notiz Profil
Quote
Link |
Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 2517
| 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.
|
Notiz Profil
Quote
Link |
Diophant
Senior
Dabei seit: 18.01.2019
Mitteilungen: 5764
Herkunft: 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,
2020-11-24 17:55 - sina1357 in Beitrag No. 27 schreibt:
Also wenn f:M->N gilt dann müsste es m^(n-m) Möglichkeiten geben
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\)
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| Beitrag No.30, vom Themenstarter, eingetragen 2020-11-24
|
Dann müsste ich die Positionen von m und n vertauschen..
|
Notiz Profil
Quote
Link |
Diophant
Senior
Dabei seit: 18.01.2019
Mitteilungen: 5764
Herkunft: 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,
2020-11-24 18:12 - sina1357 in Beitrag No. 30 schreibt:
Dann müsste ich die Positionen von m und n vertauschen..
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\)
|
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 77
| Beitrag No.32, vom Themenstarter, eingetragen 2020-11-24
|
Ok, vielen Dank für eure Hilfe
|
Notiz Profil
Quote
Link |
Home / Seite ohne Frame
Wie unterstütze ich den Matheplaneten mit Geld?
