www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 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 "Lineare Abbildungen" - Orthogonale Abbildung
Orthogonale Abbildung < Abbildungen < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Abbildungen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Orthogonale Abbildung: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:10 Di 02.12.2014
Autor: mr-reddot

Aufgabe
Sei V ein endlichdimensionaler [mm] \IR [/mm] -Vektorraum mit Skalarprodukt. Es seien U, W [mm] \subset [/mm] V endlichdimensionale Untervektorräume und Phi  : V [mm] \to [/mm] V eine orthogonale Abbildung mit Phi(U) = W.

Beweisen Sie, dass Phi das orthogonale Komplement von U auf das orthogonale Komplement von W abbildet, d.h. Phi [mm] (U^{\perp}) [/mm] = [mm] (W)^{\perp}. [/mm]

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

Wie lautet der Ansatz der Aufgabe? Ich stehe auf dem Schlauch.

        
Bezug
Orthogonale Abbildung: Antwort
Status: (Antwort) fertig Status 
Datum: 15:25 Di 02.12.2014
Autor: fred97

Wir bez. das Skalarprodukt auf V mit $<*,*>$  und , wenn Du gestattest schreibe ich f statt [mm] \phi. [/mm]

f orthogonal bedeutet:


    (*)  <f(u),f(v)>=<u,v>  für alle  u, v [mm] \in [/mm] V.

Ich zeige Dir mal, wie man die Inklusion [mm] $f(U^{\perp}) \subseteq W^{\perp} [/mm] $ zeigt. (Du darfst dann die umgekehrte Inklusion beweisen)

Zu zeigen ist: <f(x),w>=0  für alle x [mm] \in U^{\perp} [/mm] und alle w [mm] \in [/mm] W

Sei also  x [mm] \in U^{\perp} [/mm] und w [mm] \in [/mm] W =f(U). Es gibt also ein u [mm] \in [/mm] U mit f(u)=w.

Damit folgt ,mit (*):

  <f(x),w>=<f(x),f(u)>=<x,u>.

Da x [mm] \in U^{\perp} [/mm] und u [mm] \in [/mm] U , haben wir <x,u>=0, also wie gewünscht:  <f(x),w>=0

FRED

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


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]