www.vorkurse.de
Ein Projekt von vorhilfe.de
Die Online-Kurse der Vorhilfe

E-Learning leicht gemacht.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Teams · Forum · Wissen · Kurse · Impressum
Forenbaum
^ Forenbaum
Status Mathe-Vorkurse
  Status Organisatorisches
  Status Schule
    Status Wiederholung Algebra
    Status Einführung Analysis
    Status Einführung Analytisc
    Status VK 21: Mathematik 6.
    Status VK 37: Kurvendiskussionen
    Status VK Abivorbereitungen
  Status Universität
    Status Lerngruppe LinAlg
    Status VK 13 Analysis I FH
    Status Algebra 2006
    Status VK 22: Algebra 2007
    Status GruMiHH 06
    Status VK 58: Algebra 1
    Status VK 59: Lineare Algebra
    Status VK 60: Analysis
    Status Wahrscheinlichkeitst

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Schul-Analysis" - Beweise zu Kompositionen
Beweise zu Kompositionen < Analysis < Oberstufe < Schule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Schul-Analysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweise zu Kompositionen: Aufgaben
Status: (Frage) beantwortet Status 
Datum: 17:22 Mi 20.10.2004
Autor: TheKite

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

Hallo zusammen,
ich habe folgende Übungsaufgaben bekommen und gar keine Ahnung:

Beweisen Sie für Abbildungen f : M  [mm] \to [/mm]  N und g : N  [mm] \to [/mm]  P :
(a) Sind f und g injektiv, so ist auch (g o f) injektiv
(b) Sind f und g surjektiv, so ist auch (g o f) surjektiv
(a) Sind f und g bijektiv, so ist auch (g o f) bijektiv und es gilt (g o f)^(-1) = f^(-1) o g^(-1)


Wäre sehr dankbar für Lösungsansätze, bzw die Beweise (sind ja "nur" Einzeiler)!

MfG
Philip

        
Bezug
Beweise zu Kompositionen: Antwort
Status: (Antwort) fertig Status 
Datum: 17:56 Mi 20.10.2004
Autor: Julius

Hallo TheKite!

Sind dir die Definitionen denn nicht klar? Denn wenn sie einem klar sind, sind dir Aufgaben wirklich nicht schwierig.


> Beweisen Sie für Abbildungen f : M  [mm]\to[/mm]  N und g : N  [mm]\to[/mm]  
> P :
>  (a) Sind f und g injektiv, so ist auch (g o f) injektiv

Du musst zeigen, dass für alle [mm] $p_1,p_2 \in [/mm] P$ aus

(*) $(g [mm] \circ [/mm] f)(p) = (g [mm] \circ [/mm] f)(p')$

die Beziehung

$p=p'$

folgt.

Nun bedeutet (*) aber:

$g(f(p)) = g(f(p'))$.

Was kann man nun (unter Zuhilfenahme der Injektivität von $g$) folgern?

Und was kann man dann anschließend aus der Injektivität von $f$ folgern?

>  (b) Sind f und g surjektiv, so ist auch (g o f)
> surjektiv

Es sei also $p [mm] \in [/mm] P$ beliebig gewählt. Zu zeigen ist: Es gibt ein $m [mm] \in [/mm] M$ mit

$(g [mm] \circ [/mm] f)(m) = p$.

Da $g$ surjektiv ist, gibt es ein $n [mm] \in [/mm] N$ mit $g(n)=p$. Da $f$ surjektiv ist, gibt es ein $m [mm] \in [/mm] M$ mit...

Wie kann man das jetzt beenden? Versuche es mal. :-)

>  (c) Sind f und g bijektiv, so ist auch (g o f) bijektiv
> und es gilt (g o f)^(-1) = f^(-1) o g^(-1)

Die erste Behauptung folgt aus (a) und (b).  

Für die zweite Gleichheit musst du

$(g [mm] \circ [/mm] f) [mm] \circ [f^{-1} \circ g^{-1}] [/mm] = [mm] id_P$ [/mm]

und

[mm] $[f^{-1} \circ g^{-1}] \circ [/mm] (g [mm] \circ [/mm] f) = [mm] id_M$ [/mm]

zeigen.

Beides folgt aber aus der Assoziativität bei der Kompositon von Abbildungen:

$(g [mm] \circ [/mm] f) [mm] \circ [f^{-1} \circ g^{-1}] [/mm] = [(g [mm] \circ [/mm] f) [mm] \circ f^{-1}] \circ g^{-1} [/mm] = [g [mm] \circ [/mm] (f [mm] \circ f^{-1})] \circ g^{-1} [/mm] = [g [mm] \circ id_N] \circ g^{-1} [/mm] = g [mm] \circ g^{-1} [/mm] = [mm] id_P$. [/mm]

Die zweite Gleichung solltest du (ähnlich) selber hinkriegen.

Melden dich mal mit deinen Vorschlägen. :-)

Liebe Grüße
Julius


Bezug
                
Bezug
Beweise zu Kompositionen: Rückfrage
Status: (Frage) beantwortet Status 
Datum: 20:27 Mi 20.10.2004
Autor: TheKite

Vielen Dank ersteinmal,

also,  ich habe noch ein paar Probleme mit a und b:
mir ist klar das das auch sur, bzw. injektiv sein muss. Ich habe so einen Beweis aber noch nie geführt und hab keine Ahnung wie ich Meine Gedanken diesbezüglich formulieren kann.

Zu Aufgabe c:

ich habe aber  folgendes Heraus bekommen, wo ist mein Fehler?

[ [mm] f^{-1} [/mm] o [mm] g^{-1} [/mm] ] o ( g o f ) = [mm] [(f^{-1} [/mm] o [mm] g^{-1}) [/mm] o g ] o f = [mm] [f^{-1} [/mm] o (g o [mm] g^{-1})] [/mm] o f [mm] =[f^{-1} [/mm] o [mm] id_{P} [/mm] ] o f [mm] =f^{-1} [/mm] o f = [mm] id_{N} [/mm]

MfG
Philip


Bezug
                        
Bezug
Beweise zu Kompositionen: Antwort
Status: (Antwort) fertig Status 
Datum: 22:14 Mi 20.10.2004
Autor: Julius

Hallo!

> also,  ich habe noch ein paar Probleme mit a und b:
>  mir ist klar das das auch sur, bzw. injektiv sein muss.
> Ich habe so einen Beweis aber noch nie geführt und hab
> keine Ahnung wie ich Meine Gedanken diesbezüglich
> formulieren kann.

Dann musst das dringend trainieren. Schreibe deine Gedanken dazu doch einfach mal auf. Wir sagen dir dann schon, ob es so okay ist oder wie man es vielleicht besser aufschreibt.

> [ [mm]f^{-1}[/mm] o [mm]g^{-1}[/mm] ] o ( g o f ) = [mm][(f^{-1}[/mm] o [mm]g^{-1})[/mm] o g ]

> o f = [mm][f^{-1}[/mm] o [mm]\red{(g o g^{-1})}][/mm] o f [mm]=[f^{-1}[/mm] o [mm]id_{P}[/mm] ] o f
> [mm]=f^{-1}[/mm] o f = [mm]id_{N} [/mm]

Ich habe den Fehler markiert. Richtig geht es so:

[mm] $[f^{-1} \circ g^{-1}] \cdot [/mm] (g [mm] \circ [/mm] f) = [mm] [(f^{-1} \circ g^{-1}) \circ [/mm] g] [mm] \circ [/mm] f  = [mm] [f^{-1} \circ (g^{-1} \circ [/mm] g)] [mm] \circ [/mm] f = [mm] [f^{-1} \circ id_N] \circ [/mm] f = [mm] f^{-1} \circ [/mm] f = [mm] id_M$. [/mm]

Liebe Grüße
Julius

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Schul-Analysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.vorkurse.de
[ Startseite | Mitglieder | Teams | Forum | Wissen | Kurse | Impressum ]