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 Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

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
StartseiteMatheForenUni-Lineare Algebraallg. Vektorraum-Endomorphimen
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Uni-Lineare Algebra" - allg. Vektorraum-Endomorphimen
allg. Vektorraum-Endomorphimen < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Lineare Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

allg. Vektorraum-Endomorphimen: Aufgabe zu allg. Gesetzen
Status: (Frage) beantwortet Status 
Datum: 16:37 Mi 29.12.2004
Autor: junkx

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt

hi, folgende aufgabe:
stellen sie fest, welche aussagen für beliebige untervektorräume U1, U2 eines R-Vektorraums V und beliebige lineare abbildungen f: V -> V richtig sind:

(i)  f(U1 + U2) = f(U1) + f(U2)
(ii) f(U1 [mm] \cap [/mm] U2) = f(U1) [mm] \cap [/mm]  f(U2)
(iii)  f^(-1) (U1 + U2) = f^(-1) (U1) + f^(-1) (U2)
(iv)  f^(-1) (U1 [mm] \cap [/mm]  U2) = f^(-1) (U1) [mm] \cap [/mm]  f^(-1) (U2)

f^(-1) sei das volle urbild des untervektorraums

zu (i): meiner ansicht nach sollte das richtig sein, da man U1, U2 als linearkombinationen einer gewähleten basis schreiben kann und dann die linearität von f ausnutzen kann. oder?!

zu (ii): mein übungsleiter meinte aus dem bauch herraus es wäre wahr, ich bin aber anderer meinung da man als beispiel V=R³ wählen kann und U1 bzw U2 so als ebenen wählen kann, dass die schnittgerade zb die x-achse ergibt. als f wähle ich nun die parallelprojektion in die x-y-ebene und die aussage wäre widerlegt, oder?!

zu (iii)/(iv): welchen ansatz wählt man da?

danke schonmal, hoffe dass mir jemand helfen kann...

        
Bezug
allg. Vektorraum-Endomorphimen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:51 Mi 29.12.2004
Autor: Hanno

Hallo!

> (i)  f(U1 + U2) = f(U1) + f(U2)

> zu (i): meiner ansicht nach sollte das richtig sein, da man U1, U2 als linearkombinationen einer gewähleten basis schreiben kann und dann die linearität von f ausnutzen kann. oder?!

Es ist richtig, was du gesagt hast, jedoch bin ich mir nicht sicher, ob es so gemeint war. Du hast gezeigt, dass die Behauptung gilt, wenn du für $U1$ bzw. $U2$ beliebige Elemente aus $U1$ bzw. $U2$ einsetzt. Dann folgt die Behauptung direkt aus der Definition von $f$. Es gäbe aber auch folgende Möglichkeit: wenn nämlich das $+$ als Vereinigungsoperator gedacht ist, müsstest du meines Erachtens nach über beidseitige Inklusion ran, was allerdings auch kein Problem ist. Du kannst es ja zur Kontrolle nochmals versuchen.x

> (ii) f(U1 $ [mm] \cap [/mm] $ U2) = f(U1) $ [mm] \cap [/mm] $  f(U2)

Ich denke, dass die Behauptung richtig ist. Versuches es mal über beidseitige Inklusion:
Als erstes zeigst du, dass [mm] $f(U1\cap U2)\subseteq f(U1)\cap [/mm] f(U2)$ gilt. Das sieht man relativ einfach ein. Sei nämlich [mm] $u\in (U1\cap [/mm] U2)$ ein Element des Schnittes von U1 und U2, dann gilt [mm] $f(u)\in [/mm] f(U1)$ und [mm] $f(u)\in [/mm] f(U2)$ und somit auch [mm] $f(u)\in (f(U1)\cap [/mm] f(U2))$. Damit ist die Inklusion abgeschlossen. Nun musst du zeigen, dass, wenn zwei Bilder [mm] $f(v_1)$ [/mm] und [mm] $f(v_2)$ [/mm] übereinstimmen [mm] ($u_1,u_2\in [/mm] V$), sofort [mm] $v_1=v_2$ [/mm] folgt. Dies folgt allerdings aus der Definition von $f$, da $f$ ein Endomorphismus und somit injektiv ist. Daher muss [mm] $v_1$ [/mm] in [mm] $U_1\cap U_2$ [/mm] liegen, da [mm] $f(v_1)$ [/mm] sonst nur in einem der beiden Bilder $f(U1)$ oder $f(U2)$ enthalten wäre. Damit folgt die Behauptung.
Ich hoffe ich habe mich nirgendwo verhaspelt.

> (iii)  f^(-1) (U1 + U2) = f^(-1) (U1) + f^(-1) (U2)
> (iv)  f^(-1) (U1 $ [mm] \cap [/mm] $  U2) = f^(-1) (U1) $ [mm] \cap [/mm] $  f^(-1) (U2)

Auch hier würde ich dir raten, es über beidseitige Inklusion zu versuchen. Probier's einfach mal, ein kleines Beispiel habe ich dir ja schon gepostet.

Liebe Grüße,
Hanno

Bezug
                
Bezug
allg. Vektorraum-Endomorphimen: Gegenbeispiel zu (ii)
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 23:35 Mo 03.01.2005
Autor: mki

ein Vektorraum-Endomorphismus ist nicht notwendig linear.

Die Aussage (ii) ist im allgemeinen falsch, Gegenbeispiel:

Sei [m]K[/m] ein beliebiger Körper, [m]V:=K^2[/m], [m]U_1:=K\times\{0\}[/m], [m]U_2:=\{0\}\times K[/m] und [m]f:V\rightarrow V,(a,b)\mapsto(a+b,0)[/m]

Man rechnet leicht nach, dass die Voraussetzungen erfüllt sind und es gilt:
[m]f(U_1)\cap f(U_2) = U_1\cap U_1 = U_1[/m] und [m]f(U_1\cap U_2) = f(\{0\}) = \{0\}[/m]
Also
[m]f(U_1)\cap f(U_2)\neq f(U_1\cap U_2)[/m]

Bezug
        
Bezug
allg. Vektorraum-Endomorphimen: vollständige Antwort
Status: (Antwort) fertig Status 
Datum: 18:21 Di 04.01.2005
Autor: holy_diver_80

(i) gilt wegen Linearität

(ii) Sei [mm] V=\IR^2, [/mm] U1=<(1,0)>, U2=<(1,1)>, f : V->V ; (x,y)->(x,0)
Dann gilt: U1 [mm] \cap [/mm] U2 = 0, also auch f(U1 [mm] \cap [/mm] U2) = 0
Aber f(U1)=U1 und f(U2)=U1, also f(U1 [mm] \cap [/mm] U2)=U1 [mm] \not= [/mm] 0

(iii) Hier geht man so vor:
v [mm] \in [/mm] f^(-1)(U1) + f^(-1)(U2) <=>
v=v1+v2 [mm] \in [/mm] f^(-1) (U1) + f^(-1) U2) (mit vi [mm] \in [/mm] f^(-1)(Ui) <=>
f(v1) +f(v2) [mm] \in [/mm] U1 + U2 <=>
f(v) = f(v1) + f(v2) [mm] \in [/mm] U1 + U2 <=>
v in f^(-1)(U1 + U2)

(iv) Das gilt sogar für beliebige Abblidungen f : X -> Y
x [mm] \in [/mm] f^(-1)(X [mm] \cap [/mm] Y) <=>
f(x) [mm] \in [/mm] X [mm] \cap [/mm] Y <=>
f(x) [mm] \in [/mm] X und f(x) [mm] \in [/mm] Y <=>
x [mm] \in [/mm] f^(-1)(X) und x [mm] \in [/mm] f^(-1)(Y) <=>
x [mm] \in [/mm] f^(-1)(X) [mm] \cap [/mm] f^(-1)(Y)

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


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