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 Algebrainverse einer oberen dreiecksm
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Uni-Lineare Algebra" - inverse einer oberen dreiecksm
inverse einer oberen dreiecksm < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Lineare Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

inverse einer oberen dreiecksm: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:47 Fr 20.10.2006
Autor: Riley

Hallo!
ich würde gerne beweisen, dass das das inverse einer (invertierbaren) oberen dreiecksmatrix wieder eine obere dreiecksmatrix ist.
meine frage dazu: kann man das mit hilfe von determinanten zeigen? oder geht es nur über den eher "direkten" weg mit hilfe von gauß-algo oder indem man hier AX=I spalte für spalte betrachtet'?

viele grüße
riley

ps: schon gefragt: www.matheboard.de

        
Bezug
inverse einer oberen dreiecksm: Antwort
Status: (Antwort) fertig Status 
Datum: 18:58 Sa 21.10.2006
Autor: Bastiane

Hallo Riley,

> Hallo!
>  ich würde gerne beweisen, dass das das inverse einer
> (invertierbaren) oberen dreiecksmatrix wieder eine obere
> dreiecksmatrix ist.
>  meine frage dazu: kann man das mit hilfe von determinanten
> zeigen? oder geht es nur über den eher "direkten" weg mit
> hilfe von gauß-algo oder indem man hier AX=I spalte für
> spalte betrachtet'?

Ehrlich gesagt weiß ich nicht, wie du das mit Determinanten zeigen willst. Das Einzige, was mir in Bezug auf Determinanten da einfällt ist, dass die Determinante einer Dreiecksmatrix das Produkt der Diagonalelemente ist. Aber das ist auch bei einer unteren Dreiecksmatrix der Fall und auch bei Diagonalmatrizen. Wie wolltest du es denn damit zeigen?
Und das andere, was du vorschlägst, ist mir auch nicht ganz klar. Ich würde ansetzen mit:

[mm] \pmat{a&b&c\\0&d&e\\0&0&f}*\pmat{g&h&i\\j&k&l\\m&n&o}=\pmat{1&0&0\\0&1&0\\0&0&1} [/mm]

Weiß allerdings gerade auch nicht, ob das so hinhaut und es kann durchaus sein, dass es eleganter geht. Nur wüsste ich gerade nicht, wie...

viele Grüße
Bastiane
[cap]


Bezug
                
Bezug
inverse einer oberen dreiecksm: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:19 Sa 21.10.2006
Autor: Riley

Hi Bastiane!
hatte mir das so überlegt:
[mm] \begin{pmatrix} a_{11} &a_{12} & a_{13} \\0& a_{22} & a_{23} \\ 0 & 0& a_{33} \end{pmatrix} [/mm]  * X = [mm] \begin{pmatrix} 1 & 0 & 0 \\0& 1 & 0 \\ 0 & 0& 1 \end{pmatrix} [/mm]

eine obere dreiecksmatrix kann ja nur invertierbar sein, wenn auf der diagonalen keine nuller stehen, oder?

auf jeden fallbekommt man dann mit der matrixmulti, falls ich das so richtig gemacht habe:

[mm] a_{11} x_{11} [/mm] + [mm] a_{12} x_{21}+a_{13} x_{31} [/mm] =1
0* [mm] x_{11} [/mm] + [mm] a_{22} x_{21} [/mm] + [mm] a_{23} x_{31} [/mm] = 0
[mm] 0*x_{11} [/mm] + [mm] 0*x_{21} [/mm] + [mm] a_{33}x_{31} [/mm] = 0

d.h.  [mm] a_{33} [/mm] = 0 oder  [mm] x_{31} [/mm] =0
wenn man davon ausgeht dass die [mm] a_{ii} \not= [/mm] 0erhält man weiter: [mm] x_{21} [/mm] = 0
und  [mm] x_{11} [/mm] = [mm] \frac{1}{a_{11}} [/mm]

damit erhält man als erste spalte von x: [mm] \begin{pmatrix} \frac{1}{a_{11}} \\ 0 \\ 0 \end{pmatrix} [/mm]
... usw halt, wobei mir nicht klar ist, wie ich das dann für nxn aufschreiben sollte... ?

wegen der determinanten, ich weiß leider auch nict wie genau, aber in der VL hat meine professorin das erwähnt, dass man das diese baehaputung ja vielleicht mit der cramerschen regel zeigen könnte. nur wie genau, keine ahnung...

viele grüße
riley



edit: ... das hat sich mit ullims hilfe dann eigentlich erledigt!


Bezug
        
Bezug
inverse einer oberen dreiecksm: Antwort
Status: (Antwort) fertig Status 
Datum: 20:14 Sa 21.10.2006
Autor: ullim

Hi Riley,

ich würde das mit Hilfe des Kästchenmultiplikationssatz für Matrizen beweisen.

I) n=2

[mm] X=\pmat{ a & b \\ 0 & c }, [/mm] da X regulär ist, ist [mm] a,c\ne0 [/mm] und

[mm] X^{-1}=\bruch{1}{ac}\pmat{ c & -b \\ 0 & a } [/mm] also eine Oberedreiecksmatrix.

II) Sei X jetzt eine (n+1)x(n+1) Oberedreiecksmatrix. X kann zerlegt werden in eine Matrix mit folgendem Aussehen.

[mm] X=\pmat{ A & B \\ C & D } [/mm] und

A ist nxn Oberedreiecksmatrix

C ist 1xn Nullmatrix

D ist eine 1x1 Matrix ungleich Null (als eine reele Zahl)

Gesucht ist eine Matrix Y mit X*Y=I

Sei [mm] Y=\pmat{ E & F \\ G & H } [/mm]

[mm] X*Y=\pmat{ AE+BG & AF+BH \\ CE+DG & CF+DH } [/mm] nach dem Kästchenmultiplikationssatz für Matrizen.

Wenn [mm] Y=X^{-1} [/mm] gelten soll, muss gelten

CE+DG=0, da C=0 gilt folgt DG=0. Mit [mm] D\ne0 [/mm] folgt G=0.

Da A schon Oberedreiecksmatrix ist und G=0 gilt, ist Y Oberedreiecksmatrix.

mfg ullim

Bezug
                
Bezug
inverse einer oberen dreiecksm: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:35 Sa 21.10.2006
Autor: Riley

Hi Ullim!
sorry, hab dein eintrag grad erst entdeckt, das ist cool, vielen dank für deine erklärungen, that's great!! =)
hab aber noch ein paar fragen dazu:
B ist dann eine nx1 -matrix, damit es passt, oder?
und wie sehen die kästchen von Y aus, haben sie die gleiche größe wie die von X, nur weiß man die einträge am anfang noch nicht ?
aber wie haut das dann mit der multiplikation von X und Y hin, dass man jeweils die kästchen multiplizieren kann?

und warum braucht man am ende nochmal das argument, dass A schon obere dreiecksmatrix ist?'? also wieso langt es nicht zu sagen G=0 ?

viele grüße
riley







Bezug
                        
Bezug
inverse einer oberen dreiecksm: Antwort
Status: (Antwort) fertig Status 
Datum: 21:21 Sa 21.10.2006
Autor: ullim


> Hi Ullim!
>  sorry, hab dein eintrag grad erst entdeckt, das ist cool,
> vielen dank für deine erklärungen, that's great!! =)
>  hab aber noch ein paar fragen dazu:
>  B ist dann eine nx1 -matrix, damit es passt, oder?

Genau.

>  und wie sehen die kästchen von Y aus, haben sie die
> gleiche größe wie die von X, nur weiß man die einträge am
> anfang noch nicht ?

Genau.

>  aber wie haut das dann mit der multiplikation von X und Y
> hin, dass man jeweils die kästchen multiplizieren kann?
>  

Durch überprüfen der einzelnen Matrizenprodukte von X*Y sieht man, dass die Dimensionen bei der Multiplikazion immer stimmen, wenn man die Zerlegung von Y so wählt, wie Du festgestellt hast.

> und warum braucht man am ende nochmal das argument, dass A
> schon obere dreiecksmatrix ist?'? also wieso langt es nicht
> zu sagen G=0 ?
>  

Es könnte ja sein, dass [mm] Y_{11}=E [/mm] in Y nicht obere Dreicksmatrix ist.

Da G=0 gilt folgt, es muss glten AE=I, und hier kann man als Induktionsschritt folgern [mm] E=A^{-1} [/mm] ist obere Dreicksmatrix.

> viele grüße
>  riley
>  
>
>
>
>
>  

Bezug
                                
Bezug
inverse einer oberen dreiecksm: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 22:02 Sa 21.10.2006
Autor: Riley

hm, okay, aber das letzte mit dem induktionsschritt ist mir noch nicht klar.

dass AE = I gelten muss seh ich jetzt auch, aber warum kann man dann als induktionsschritt folgern, dass [mm] A^{-1} [/mm] = E obere Dreiecksmatrix ist? denn
da benutze ich doch dann eigentlich das was ich zeigen will, oder?

viele grüße

Bezug
                                        
Bezug
inverse einer oberen dreiecksm: Antwort
Status: (Antwort) fertig Status 
Datum: 06:58 So 22.10.2006
Autor: ullim

Hi Reley,

für n=2 haben wir gezeigt das [mm] X^{-1} [/mm] eine obere Dreiecksmatrix ist.

Die Induktionsannahme ist, das [mm] X^{-1} [/mm] für n beliebig ebenfalls eine obere Dreiecksmatrix ist.

Die Induktionsbehauptung ist, das daraus für die (n+1)x(n+1) Matrix X folgt, das [mm] Y=X^{-1} [/mm] auch eine obere Dreiecksmatrix ist.

Für den Induktionsschluss haben wir die (n+1)x(n+1) Matrix X in Kästchenmatrizen zerlegt und gezeigt, das für die Teilmatrix E aus [mm] Y=X^{-1}, E=A^{-1} [/mm] gelten muss. Die Inverse existiert, weil alle Diagonalelemente der Matrix [mm] A\ne0 [/mm] sind. Weil A eine nxn obere Dreiecksmatrix ist, folg aus der Induktionsannahme , das [mm] E=A^{-1} [/mm] ist eine obere Dreiecksmatrix ist. Zusätzlich haben wir gezeigt das G=0 ist. Für H gilt, [mm] H=\bruch{1}{D}, D\ne0. [/mm] Deshalb ist Y eine obere Dreiecksmatrix mit Diagonalelemente alle [mm] \ne0. [/mm]

mfg ullim

Bezug
                                                
Bezug
inverse einer oberen dreiecksm: danke
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 09:38 So 22.10.2006
Autor: Riley

HI Ullim!

besten dank für deine erklärung, jetzt hab ichs verstanden!! :)

vielen dank!
gruß riley´

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


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