www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenDeterminantenLeibniz Signaturformel
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Determinanten" - Leibniz Signaturformel
Leibniz Signaturformel < Determinanten < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Determinanten"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Leibniz Signaturformel: obere/ untere Dreiecksmatrizen
Status: (Frage) beantwortet Status 
Datum: 12:27 Mo 07.01.2013
Autor: Milchschelle

Aufgabe
Beweisen Sie das folgende Lemma mit Hilfe der Signaturformel von Leibniz.

Lemma. Seien R ein kommutativer Ring mit Eins, n [mm] \in \IN, \lambda \in [/mm] R, [mm] A_{12} \in R^{1,n} [/mm] und [mm] A_{22} \in R^{n,n}. [/mm] Dann gilt

det ( [mm] \pmat{ \lambda & A_{12} \\ 0_{n,1} & A_{22} } [/mm] ) = [mm] \lambda [/mm] det ( [mm] A_{22} [/mm] )

Folgern Sie, dass mit den gleichen Voraussetzungen (und [mm] A_{21} \in R^{n,1}) [/mm]   auch gilt

det ( [mm] \pmat{ \lambda & 0_{1,n} \\ A_{21} & A_{22} } [/mm] ) = [mm] \lambda [/mm] det ( [mm] A_{22} [/mm] )

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

Hallo =),

eigentlich ist es ganz klar, dass das gelten muss, aber mit dem Beweis tue ich mich schwer.

Erst einmal die Definition der Leibnizformel: det: [mm] R^{n,n} [/mm] -> R , A = [mm] [a_{ij}] \mapsto [/mm] det(A) := [mm] \summe_{\partial \in S_{n} }^{} [/mm] sgn ( [mm] \partial [/mm] ) [mm] \produkt_{i=1}^{n} a_{i,\partial(i)} [/mm]

So nun ist ja für n=2, was ja in diesem Fall der Fall ist, da beide Matrizen quadratische  2 x 2 Matrizen sind:

det (C) =  det ( [mm] \pmat{ c_{11} & c_{12} \\ c_{21} & A_{22} } [/mm] )  = sgn([12])  * [mm] c_{11} [/mm] * [mm] c_{22} [/mm] + sgn([21]) * [mm] c_{12} [/mm] * [mm] c_{21} [/mm] = [mm] c_{11} [/mm] * [mm] c_{22} [/mm] - [mm] c_{12} [/mm] * [mm] c_{21} [/mm]

Also: det(C) = det ( [mm] \pmat{ \lambda & A_{12} \\ 0_{n,1} & A_{22} } [/mm] ) =  det ( [mm] \pmat{ c_{11} & c_{12} \\ c_{21} & A_{22} } [/mm] ) = [mm] c_{11} [/mm] * [mm] c_{22} [/mm] - [mm] c_{12} [/mm] * [mm] c_{21} [/mm] = [mm] \lambda [/mm] * [mm] A_{22} [/mm] - [mm] A_{12} [/mm] * [mm] 0_{n,1} [/mm] = [mm] \lambda [/mm] * [mm] A_{22} [/mm]

und det(C) = det ( [mm] \pmat{ \lambda & 0_{1,n} \\ A_{21} & A_{22} } [/mm] ) =  det ( [mm] \pmat{ c_{11} & c_{12} \\ c_{21} & A_{22} } [/mm] ) = [mm] c_{11} [/mm] * [mm] c_{22} [/mm] - [mm] c_{12} [/mm] * [mm] c_{21} [/mm] = [mm] \lambda [/mm] * [mm] A_{22} [/mm] - [mm] 0_{1,n} [/mm] * [mm] A_{21} [/mm] = [mm] \lambda [/mm] * [mm] A_{22} [/mm]

Das kann aber nicht stimmen, da [mm] \lambda [/mm] * [mm] A_{22} [/mm] eine Matrix der Größe n x n wäre und die Determinante ist ein Wert.

Das waren bisher meine Ansätze. Ich hoffe auf Tipps.

Liebe Grüße

Milchschelle






        
Bezug
Leibniz Signaturformel: Korrektur
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 12:31 Mo 07.01.2013
Autor: Milchschelle

Ich habe oben einen Fehler natürlich ist C = [mm] \pmat{ c_{11} & c_{12} \\ c_{21} & c_{22} } [/mm] und nicht [mm] \pmat{ c_{11} & c_{12} \\ c_{21} & A_{22} } [/mm]

Bezug
        
Bezug
Leibniz Signaturformel: Antwort
Status: (Antwort) fertig Status 
Datum: 12:39 Mo 07.01.2013
Autor: reverend

Hallo Milchschelle,

ganz kurz: überleg mal, was die Leibnizsche Formel liefert, wenn man statt der Determinante der Originalmatrix diejenige der Transponierten berechnet.

Grüße
reverend


Bezug
                
Bezug
Leibniz Signaturformel: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:03 Mo 07.01.2013
Autor: Milchschelle

Naja wenn man mit der Leibnizformel nicht die Determinante der Originalmatrix sondern die Determinante der Transponierten berechnen will, dann kommt das gleiche raus, also ist es auf jeden Fall klar, dass det ( [mm] \pmat{ \lambda & A_{12} \\ 0_{n,1} & A_{22} } [/mm] ) = det ( [mm] \pmat{ \lambda & 0_{1,n} \\ A_{21} & A_{22} } [/mm] ) , aber das erklärt ja nun trotzdem nicht, warum das gleich [mm] \lambda [/mm] * det ( [mm] A_{22} [/mm] ) ist ?

Bezug
                        
Bezug
Leibniz Signaturformel: Antwort
Status: (Antwort) fertig Status 
Datum: 13:24 Mo 07.01.2013
Autor: reverend

Hallo nochmal,

> Naja wenn man mit der Leibnizformel nicht die Determinante
> der Originalmatrix sondern die Determinante der
> Transponierten berechnen will, dann kommt das gleiche raus,
> also ist es auf jeden Fall klar, dass det ( [mm]\pmat{ \lambda & A_{12} \\ 0_{n,1} & A_{22} }[/mm]
> ) = det ( [mm]\pmat{ \lambda & 0_{1,n} \\ A_{21} & A_{22} }[/mm] ) ,

Mehr war doch nicht zu zeigen, wenn ich die Aufgabe richtig lese. Oder übersehe ich etwas?

> aber das erklärt ja nun trotzdem nicht, warum das gleich
> [mm]\lambda[/mm] * det ( [mm]A_{22}[/mm] ) ist ?

Das ist doch als Lemma gegeben. Ansonsten ist es ebenfalls mit der Leibnizformel leicht herzuleiten. Nachschlagen kannst Du das unter "Laplace-Entwicklung".

Grüße
reverend




Bezug
                                
Bezug
Leibniz Signaturformel: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 13:37 Mo 07.01.2013
Autor: Milchschelle

Die Aufgabe lautet doch: "Beweisen Sie dass folgende Lemma." Also soll man genau das Lemma beweisen und das ist ja auch mein eigentliches Problem, dass ich eben nicht weiß, wie ich dieses Lemma beweisen kann?

Aber ich werde jetzt erstmal unter Laplace nachschlagen. Ich hab sonst schon in Büchern nachgeschlagen und viel im Internet recherchiert und eigentlich nichts wirklich Passendes gefunden.  Habe bisher unter Laplace nicht geguckt, da wir das ja mit der Leibnizformel beweisen sollen...



Bezug
                                        
Bezug
Leibniz Signaturformel: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 10:20 Di 08.01.2013
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
                                
Bezug
Leibniz Signaturformel: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 13:58 Mo 07.01.2013
Autor: Milchschelle

Also ich kenne ja nun den Laplace - Entwicklungssatz, habe jetzt auch noch mal nachgelesen, aber was das alles mit meiner Aufgabe konkret und vor allem mit der Leibnizformel zu tun haben soll, das weiß ich nicht.

Du meintest , dass es so leicht wäre mit der Leibnizformel nachzuweisen, könntest du mir vielleicht einen Tipp geben, wie ich das konkret tun kann?

Bezug
                                        
Bezug
Leibniz Signaturformel: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 10:20 Di 08.01.2013
Autor: matux

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


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]