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
StartseiteMatheForenUni-Lineare Algebrainverse einer oberen dreiecksm
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
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.matheraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]