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 - Skalarprodukteantikommutative Produktregel
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Lineare Algebra - Skalarprodukte" - antikommutative Produktregel
antikommutative Produktregel < Skalarprodukte < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra - Skalarprodukte"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

antikommutative Produktregel: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 22:03 Fr 03.01.2014
Autor: nbt

Aufgabe
Sei $V$ ein [mm] $\mathbb{K}$-Vektorraum, $\omega\in\Lambda^pV'$ [/mm] eine alternierende Multilinearform mit [mm] $p\in\mathbb{N}$ [/mm] und [mm] $v\in [/mm] V$. Dann definieren wir
[mm] $i_v\omega:V^{p-1}\to\mathbb{K},i_v\omega(w_1,\cdots,w_{p-1})=\omega(v,w_1,\cdots,w_{p-1})$. [/mm]
Zeigen Sie für [mm] $v\in V,\omega\in\Lambda^pV'$ [/mm] und [mm] $\chi\in\Lambda^qV'$: [/mm]
[mm] $i_v(\omega\wedge\chi)=(i_v\omega)\wedge\chi+(-1)^p\omega\wedge(i_v\chi)$ [/mm]
(antikommutative Produktregel)

Hi,
das Dachprodukt zwischen zwei alternierenden Multilinearformen vom Grad $p$ bzw. $q$ ist folgendermaßen definiert:
[mm] $\omega\wedge\chi(v_1,\cdots v_{p+q})=\frac{1}{p!q!}\sum_{\sigma\in S_{p+q}}\text{sign}(\sigma)\omega(v_{\sigma(1)},\cdots,v_{\sigma(p)})\chi(v_{\sigma(p+1)},\cdots,v_{\sigma(p+1)})$, [/mm]
wobei [mm] $S_{p+q}$ [/mm] die Menge aller Permutationen von [mm] $\{1,\cdots,p+q\}\to\{1,\cdots,p+q\}$ [/mm] ist.
Dieses Dachprodukt ist wieder eine alternierende Multilinearform. Sie ist insbesondere bilinear.
So, dann nenn ich $v$ erstmal in [mm] $v_0$ [/mm] um.
[mm] $i_{v_0}(\omega\wedge\chi)(v_1,\cdots,v_{p+q})=$ [/mm]
[mm] $=(\omega\wedge\chi)(v_0,\cdots,v_{p+q-1})=$ [/mm]
[mm] $=\frac{1}{p!q!}\sum_{\sigma\in S_{p+q}}\text{sign}(\sigma)\omega(\cdots$ [/mm]
So wie gehts das weiter? Von welchem Grad sind die einzelnen Multilinearformen [mm] $\omega,\chi$? [/mm] Denn durch das Einsetzen von [mm] $v_0$ [/mm] in die Multilinearform [mm] $(\omega\wedge\chi)$ [/mm] ist ja ein Grade "verloren" gegangen; sie ist vom Grad $(p+q-1)$.

Vielen Dank für Anregungen,
nbt

        
Bezug
antikommutative Produktregel: Antwort
Status: (Antwort) fertig Status 
Datum: 12:00 Sa 04.01.2014
Autor: hippias


> Sei [mm]V[/mm] ein [mm]\mathbb{K}[/mm]-Vektorraum, [mm]\omega\in\Lambda^pV'[/mm] eine
> alternierende Multilinearform mit [mm]p\in\mathbb{N}[/mm] und [mm]v\in V[/mm].
> Dann definieren wir
> [mm]i_v\omega:V^{p-1}\to\mathbb{K},i_v\omega(w_1,\cdots,w_{p-1})=\omega(v,w_1,\cdots,w_{p-1})[/mm].
>  Zeigen Sie für [mm]v\in V,\omega\in\Lambda^pV'[/mm] und
> [mm]\chi\in\Lambda^qV'[/mm]:
>  
> [mm]i_v(\omega\wedge\chi)=(i_v\omega)\wedge\chi+(-1)^p\omega\wedge(i_v\chi)[/mm]
>  (antikommutative Produktregel)
>  Hi,
>  das Dachprodukt zwischen zwei alternierenden
> Multilinearformen vom Grad [mm]p[/mm] bzw. [mm]q[/mm] ist folgendermaßen
> definiert:
>  [mm]\omega\wedge\chi(v_1,\cdots v_{p+q})=\frac{1}{p!q!}\sum_{\sigma\in S_{p+q}}\text{sign}(\sigma)\omega(v_{\sigma(1)},\cdots,v_{\sigma(p)})\chi(v_{\sigma(p+1)},\cdots,v_{\sigma(p+1)})[/mm],
>  
> wobei [mm]S_{p+q}[/mm] die Menge aller Permutationen von
> [mm]\{1,\cdots,p+q\}\to\{1,\cdots,p+q\}[/mm] ist.
> Dieses Dachprodukt ist wieder eine alternierende
> Multilinearform. Sie ist insbesondere bilinear.
>  So, dann nenn ich [mm]v[/mm] erstmal in [mm]v_0[/mm] um.
>  [mm]i_{v_0}(\omega\wedge\chi)(v_1,\cdots,v_{p+q})=[/mm]
>  [mm]=(\omega\wedge\chi)(v_0,\cdots,v_{p+q-1})=[/mm]
>  [mm]=\frac{1}{p!q!}\sum_{\sigma\in S_{p+q}}\text{sign}(\sigma)\omega(\cdots[/mm]

Ich glaube, Dir ist hier ein kleiner Fehler unterlaufen:
[mm] $(i_{v_0}(\omega\wedge\chi))(v_1,\cdots,v_{p+q-1})= (\omega\wedge\chi)(v_0,v_1,\cdots,v_{p+q-1})$ [/mm] nach Definition von [mm] $i_{v_0}$. $\omega\wedge\chi$ [/mm] operiert auf einem $p+q$ Tupel, waehrend [mm] $(i_{v_0}(\omega\wedge\chi))$ [/mm] auf einem $p+q-1$-Tupel operiert. Jetzt die Definition des [mm] $\wedge$-Produktes [/mm] anwenden und so umformen, dass die gewuenschte rechte Seite herauskommt. Sollte sich dies als schwierig erweisen, koenntest Du auch die rechte Seite aufloesen und mit der aufgeloesten linken Seite versuchen zu vergleichen.

>  
> So wie gehts das weiter? Von welchem Grad sind die
> einzelnen Multilinearformen [mm]\omega,\chi[/mm]? Denn durch das
> Einsetzen von [mm]v_0[/mm] in die Multilinearform [mm](\omega\wedge\chi)[/mm]
> ist ja ein Grade "verloren" gegangen; sie ist vom Grad
> [mm](p+q-1)[/mm].
>
> Vielen Dank für Anregungen,
>  nbt


Bezug
                
Bezug
antikommutative Produktregel: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 11:25 So 05.01.2014
Autor: nbt

Hi,
danke für die Antwort.
Für mich ist genau das Problem, wie ich die Definition des Dachprodukts für Multilinearformen anwende, wenn davor die Einsetzfunktion angewendet wurde.
Also [mm] $\omega\in\Lambda^pV',\chi\in\Lambda^qV'$, [/mm] dann ist
[mm] $\omega\wedge\chi\in\Lambda^{p+q}V'$. [/mm] Wenn ich die Einsetzoperation anwende wird der Grad um eins "verjüngt":
[mm] $i_{v_0}(\omega\wedge\chi)(w_1,\cdots,w_{p+q})=(\omega\wedge\chi)(v_0,w_1,\cdots,w_{p+q-1})\in\Lambda^{p+q-1}V'$. [/mm]
Jetzt weiß ich leider nicht, wie ich die Definition des Dachprodukts genau anwenden muss. Denn [mm] $\omega$ [/mm] nimmt sich immer noch Vektoren aus [mm] $V^p$ [/mm] und [mm] $\chi$ [/mm] nimmt sich immer noch Vektoren aus [mm] $V^q$, [/mm] es stehen aber in [mm] $\omega\wedge\chi$ [/mm] nur $p+q-1$ variable Vektoren. Ich kanns mir nur folgendermaßen vorstellen:
[mm] $(\omega\wedge\chi)(v_0,w_1,\cdots,w_{p+q-1})=\frac{1}{p!q!}\sum_{\sigma\in S_{p+q}}\text{sign}(\sigma)\omega(v_{\sigma(0)},w_{\sigma(1)},\cdots,w_{\sigma(p-1)})\chi(w_{\sigma(p)},\cdots,w_{\sigma(p+q-1})$ [/mm]

Herzlichen Dank für die Hilfe,
nbt

Bezug
                        
Bezug
antikommutative Produktregel: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 12:20 Di 07.01.2014
Autor: matux

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


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