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" - Transponierte Abbildungen
Transponierte Abbildungen < Abbildungen < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Abbildungen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Transponierte Abbildungen: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 10:43 Di 09.12.2008
Autor: MartinW

Aufgabe
Beweisen Sie: (1) Sind g [mm] \in [/mm] L(V,W), v [mm] \in [/mm] V und eine Basis [mm] (bi)_{i \in I} [/mm] von W gegeben, dann gilt: [mm]
(2) Die lin. Abbildung L(V,W) [mm] \to [/mm] L(W*,V*) g [mm] \mapsto g^{T} [/mm] ist injektiv und genau dann surjektiv, wenn V = 0 oder dim W < [mm] \infty. [/mm]

Hallo. Kann mir bei dem Beispiel mit einer Beweisidee helfen? Ich habe ehrlich gesagt keine Ahnung wie ich den Beweis angehen sollte.

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

        
Bezug
Transponierte Abbildungen: Antwort
Status: (Antwort) fertig Status 
Datum: 13:41 Di 09.12.2008
Autor: SEcki


> Beweisen Sie: (1) Sind g [mm]\in[/mm] L(V,W), v [mm]\in[/mm] V und eine Basis
> [mm](bi)_{i \in I}[/mm] von W gegeben, dann gilt: [mm]
> 0 für fast alle i [mm]\in[/mm] I.

Wie habt ihr [m]^t[/m] genau definiert? Das hilft als erstes. Ist der letzte Ausdruck (wo kommt denn hier das Skalarprodukt auf einmal her? Ist es eins? Sind die [m]b_i[/m] dann eine ONB?) äquivalent zu [m]g^{T}[/mm] (bi*)(v)=0=b_i*(g(v))[/m]? Dann hilft ja, dass [m]g(v)=\sum_i^n\alpha_ib_i[/m], also eine endliche Summe ist.

> (2) Die lin. Abbildung L(V,W) [mm]\to[/mm] L(W*,V*) g [mm]\mapsto g^{T}[/mm]
> ist injektiv und genau dann surjektiv, wenn V = 0 oder dim
> W < [mm]\infty.[/mm]

Injektiv: Zeige der Kern ist Null! [m]g^t:(w\mapsto l(w))\mapsto (v\mapsto l(g(v)))[/m] (ist das eure Definiton - oder ähnlich?). Falls nun aber [m]g^t = 0[/m] sein soll, musst du nur [m]g=0[/m] folgern.

Surjektiv: V=0 ist ganz klar. Beim Rest: hm. Stimmen da die Vorraussetzungen genau so? Oder muss auch V endlich dimensional sein?

SEcki

Bezug
        
Bezug
Transponierte Abbildungen: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 11:20 Do 11.12.2008
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Abbildungen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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