matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenLineare Algebra SonstigesAffine Geometrie, Translation
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Deutsch • Englisch • Französisch • Latein • Spanisch • Russisch • Griechisch
Forum "Lineare Algebra Sonstiges" - Affine Geometrie, Translation
Affine Geometrie, Translation < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Affine Geometrie, Translation: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:33 Do 01.11.2012
Autor: sissile

Aufgabe
[mm] v_0 \in [/mm] V
[mm] \tau_{v_0} [/mm] : V->V
[mm] \tau_{v_0} [/mm] (v) := v + [mm] v_0 [/mm] (Verschiebung um [mm] v_0) [/mm] affin



Hallo
Meine Frage, wieso gilt [mm] \tau_{v_0 + v_1} [/mm] = [mm] \tau_{v_0} \circ \tau_{v_1} [/mm] = [mm] \tau_{v_1} \circ \tau_{v_0} [/mm]
Also wenn ich um [mm] v_0 [/mm] + [mm] v_1 [/mm] translatiere ist es dasselbe wie wenn ich zuerst um [mm] v_0 [/mm] translatiere und dann um [mm] v_1 [/mm] bzw andersrum. Anschaulich ist mir das klar, aber wie zeigt man das mathematisch?

        
Bezug
Affine Geometrie, Translation: Antwort
Status: (Antwort) fertig Status 
Datum: 17:39 Do 01.11.2012
Autor: leduart

Hallo
warum wendest du die eine fkt nicht einfach auf die andere an?
gruss leduart

Bezug
        
Bezug
Affine Geometrie, Translation: Antwort
Status: (Antwort) fertig Status 
Datum: 17:41 Do 01.11.2012
Autor: tobit09

Hallo sissile,

zeige [mm] $\tau_{v_0+v_1}(v)=\tau_{v_0}\circ\tau_{v_1}(v)=\tau_{v_1}\circ\tau_{v_0}(v)$ [/mm] für alle [mm] $v\in [/mm] V$.

Viele Grüße
Tobias


Bezug
                
Bezug
Affine Geometrie, Translation: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:44 Do 01.11.2012
Autor: Marcel

Hallo,

> Hallo sissile,
>  
> zeige
> [mm]\tau_{v_0+v_1}(v)=\tau_{v_0}\circ\tau_{v_1}(v)=\tau_{v_1}\circ\tau_{v_0}(v)[/mm]
> für alle [mm]v\in V[/mm].

reicht's nicht
[mm] $$\tau_{v_0+v_1}(v)=(\tau_{v_0}\circ\tau_{v_1})(v)$$ [/mm]
für alle [mm]v\in V[/mm] zu zeigen?

Die (Vektor-)Addition ist ja eh kommutativ!

Gruß,
  Marcel

Bezug
                        
Bezug
Affine Geometrie, Translation: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:49 Do 01.11.2012
Autor: tobit09

Hallo Marcel,

> reicht's nicht
>  [mm]\tau_{v_0+v_1}(v)=(\tau_{v_0}\circ\tau_{v_1})(v)[/mm]
>  für alle [mm]v\in V[/mm] zu zeigen?
>  
> Die (Vektor-)Addition ist ja eh kommutativ!

Natürlich.
(Ich wollte aus Einfachheitsgründen auf diese Symmetrieüberlegung verzichten und zeigen, wie man stumpf das zu Zeigende nachrechnen kann.)

Viele Grüße
Tobias

Bezug
                
Bezug
Affine Geometrie, Translation: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:52 Do 01.11.2012
Autor: sissile

Okay ist nun klar.
Noch eine Frage dazu:
ZuZeigen [mm] :\tau_{-v_0} [/mm] = [mm] (\tau_{v_0})^{-1} [/mm]
[mm] \tau_{-v_0} [/mm] (v) = v - [mm] v_0 [/mm]
id= [mm] \tau_{v_0} \circ \tau_{- v_0 } [/mm] = [mm] \tau_{v_0} [/mm] ( v - [mm] v_0 [/mm]  ) = [mm] v_0 [/mm] + v - [mm] v_0 [/mm] = v
-> Da Inverse eindeutig gilt: [mm] \tau_{-v_0} [/mm] = [mm] (\tau_{v_0})^{-1} [/mm]
Passt das so?

Eine andere allgemeine Frage noch :
Wenn eine affine Abbildung invertierbar ist, ist dass der lineare Teil auch invertierbar, bzw. wie sieht man das?

Bezug
                        
Bezug
Affine Geometrie, Translation: Antwort
Status: (Antwort) fertig Status 
Datum: 18:59 Do 01.11.2012
Autor: tobit09


>  Noch eine Frage dazu:
>  ZuZeigen [mm]:\tau_{-v_0}[/mm] = [mm](\tau_{v_0})^{-1}[/mm]
> [mm]\tau_{-v_0}[/mm] (v) = v - [mm]v_0[/mm]

Zu zeigen:

> id= [mm]\tau_{v_0} \circ \tau_{- v_0 }[/mm]

Es gilt für alle [mm] $v\in [/mm] V$: [mm] $\tau_{v_0}\circ\tau_{-v_0}(v)$ [/mm]

> = [mm]\tau_{v_0}[/mm] ( v - [mm]v_0[/mm]  
> ) = [mm]v_0[/mm] + v - [mm]v_0[/mm] = v

$=id(v)$.

>  -> Da Inverse eindeutig gilt: [mm]\tau_{-v_0}[/mm] =

> [mm](\tau_{v_0})^{-1}[/mm]

Warum genügt es, nur [mm] $\tau_{v_0}\circ\tau_{-v_0}=id$ [/mm] und nicht auch [mm] $\tau_{-v_0}\circ\tau_{v_0}=id$ [/mm] nachzuprüfen?


> Eine andere allgemeine Frage noch :
> Wenn eine affine Abbildung invertierbar ist, ist dass der
> lineare Teil auch invertierbar, bzw. wie sieht man das?

Ist eine affine Abbildung bei euch eine Abbildung [mm] $f\colon V\to [/mm] W$ zwischen $K$-Vektorräumen V und W, die

     [mm] $f(v)=g(v)+w_0$ [/mm]

für alle [mm] $v\in [/mm] V$ für eine lineare Abbildung [mm] $g\colon V\to [/mm] W$ und einen Vektor [mm] $w_0\in [/mm] W$ erfüllt? Und die (eindeutig bestimmte) lineare Abbildung g heißt linearer Teil von f?

Zur Injektivität von g: Zu zeigen ist ker g=0.
Sei also [mm] $v\in [/mm] V$ mit $g(v)=0$. Zu zeigen ist v=0.
Zeige dazu f(v)=f(0) und wende die Injektivität von f an.

Zur Surjektivität von g: Sei [mm] $w\in [/mm] W$. Zu zeigen ist die Existenz eines [mm] $v\in [/mm] V$ mit g(v)=w.
Betrachte mal [mm] $v:=f^{-1}(w)-f^{-1}(0)$. [/mm]

Bezug
                                
Bezug
Affine Geometrie, Translation: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:10 Do 01.11.2012
Autor: sissile


> Warum genügt es, nur $ [mm] \tau_{v_0}\circ\tau_{-v_0}=id [/mm] $ und nicht auch $ [mm] \tau_{-v_0}\circ\tau_{v_0}=id [/mm] $ nachzuprüfen?

Weil jedes linksinverse auch ein rechtsinverses ist in einer assoziativen verknüpfung.

Die Injektivität ist mir nun klar.
Bei der Surjektivität bin ich leider mit deinen Hinweis nicht klar gekommen:

> Betrachte mal $ [mm] v:=f^{-1}(w)-f^{-1}(0) [/mm] $.

[mm] g(v)=g(f^{-1}(w)-f^{-1}(0))= g(f^{-1}(w)) [/mm] - [mm] g(f^{-1}(0)) [/mm]

Bezug
                                        
Bezug
Affine Geometrie, Translation: Antwort
Status: (Antwort) fertig Status 
Datum: 20:48 Do 01.11.2012
Autor: tobit09


> > Warum genügt es, nur [mm]\tau_{v_0}\circ\tau_{-v_0}=id[/mm] und
> nicht auch [mm]\tau_{-v_0}\circ\tau_{v_0}=id[/mm] nachzuprüfen?
> Weil jedes linksinverse auch ein rechtsinverses ist in
> einer assoziativen verknüpfung.

Das stimmt so nicht. Wenn du möchtest, kann ich dir ein Gegenbeispiel nennen.


>  Bei der Surjektivität bin ich leider mit deinen Hinweis
> nicht klar gekommen:
>  > Betrachte mal [mm]v:=f^{-1}(w)-f^{-1}(0) [/mm].

> [mm]g(v)=g(f^{-1}(w)-f^{-1}(0))= g(f^{-1}(w))[/mm] - [mm]g(f^{-1}(0))[/mm]  

Beachte [mm] $f(v')=g(v')+w_0$ [/mm] für alle [mm] $v'\in [/mm] V$. Also gilt jeweils [mm] $g(v')=f(v')-w_0$. [/mm]

Du kannst also deine Gleichungskette fortsetzen mit:

     [mm] $\ldots=(f(f^{-1}(w))-w_0)-(f(f^{-1}(0)) -w_0)=\ldots$. [/mm]

Bezug
                                                
Bezug
Affine Geometrie, Translation: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 21:18 Do 01.11.2012
Autor: sissile

Ja danke, hab die Surjektivität nun hinbekommen.

> > Warum genügt es, nur $ [mm] \tau_{v_0}\circ\tau_{-v_0}=id [/mm] $ und
> nicht auch $ [mm] \tau_{-v_0}\circ\tau_{v_0}=id [/mm] $ nachzuprüfen?
> Weil jedes linksinverse auch ein rechtsinverses ist in
> einer assoziativen verknüpfung.

> Das stimmt so nicht. Wenn du möchtest, kann ich dir ein Gegenbeispiel nennen.

Okay ich dachte nur, da wir in der vorlesung von Gruppentheorie hatten, dass in einer Gruppe ein linksinverses auch immer ein rechtsinverses ist und umgekehrt.
Müsste man hier nun also beide richtungen überprüfen , oder wolltest du auf eine andere richtige Erklärung hinaus?

Bezug
                                                        
Bezug
Affine Geometrie, Translation: Antwort
Status: (Antwort) fertig Status 
Datum: 21:37 Do 01.11.2012
Autor: tobit09


> > > Warum genügt es, nur [mm]\tau_{v_0}\circ\tau_{-v_0}=id[/mm] und
>  > nicht auch [mm]\tau_{-v_0}\circ\tau_{v_0}=id[/mm] nachzuprüfen?

>  > Weil jedes linksinverse auch ein rechtsinverses ist in

>  > einer assoziativen verknüpfung.

>  
> > Das stimmt so nicht. Wenn du möchtest, kann ich dir ein
> Gegenbeispiel nennen.
> Okay ich dachte nur, da wir in der vorlesung von
> Gruppentheorie hatten, dass in einer Gruppe ein
> linksinverses auch immer ein rechtsinverses ist und
> umgekehrt.

In Gruppen stimmt das auch.


>  Müsste man hier nun also beide richtungen überprüfen ,
> oder wolltest du auf eine andere richtige Erklärung
> hinaus?

Man könnte z.B. wegen [mm] $-(-v_0)=v_0$ [/mm] mit einem Symmetrieargument arbeiten:

Wenn [mm] $\tau_{v_0}\circ\tau_{-v_0}=id$ [/mm] für alle [mm] $v_0\in [/mm] V$ nachgewiesen ist, so insbesondere für [mm] $-v_0\in [/mm] V$. Wir erhalten also

     [mm] $\tau_{-v_0}\circ\tau_{v_0}=\tau_{-v_0}\circ\tau_{-(-v_0)}=id$. [/mm]

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]