Lineær algebra - bevis

Her kan du stille spørsmål vedrørende problemer og oppgaver i matematikk på høyskolenivå. Alle som har kunnskapen er velkommen med et svar. Men, ikke forvent at admin i matematikk.net er spesielt aktive her.

Moderators: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Post Reply
drgz
Fermat
Fermat
Posts: 757
Joined: 24/12-2008 23:22

Skal prøve å bevise at [tex]\left(\mathbf{H}^T\mathbf{H}\right)^{-1}[/tex] eksisterer kun hvis alle kolonnene i [tex]\mathbf{H}[/tex], som er en vilkårlig [tex]m\times n[/tex] matrise, er lineært uavhengige.

Slik jeg tenker så er selve teoremet ganske greit grunnet det faktum at hvis det er noen kolonner i [tex]\mathbf{H}[/tex] som er lineært avhengige, så vil det i resultant-matrisen [tex]\mathbf{H}^T\mathbf{H}[/tex] være en nullvektor (radvektor) som vil føre til at det[tex]\left(\mathbf{H}^T\mathbf{H}\right)=\mathbf{0}[/tex], og den inverse vil ikke eksistere.

Men så er det det med å vise dette med et fint bevis da ;)

Ellers tenker jeg at for matrisen [tex]\mathbf{H}[/tex] må følgende være tilfredsstilt:

- [tex]m > n[/tex]. (Hvis [tex]m < n[/tex] så eksisterer ikke [tex]\left(\mathbf{H}^T\mathbf{H}\right)^{-1}[/tex]).
- [tex]\text{rank}\left(\mathbf{H}\right) \leq \text{min}\left(m,n\right)=n[/tex]. Dvs at [tex]\mathbf{H}[/tex] har full rank.

Hvis dette stemmer vil [tex]\text{rank}\left(\mathbf{H}^T\mathbf{H}\right)\leq \text{min}\left\{\text{rank}\left(\mathbf{H}\right),\text{rank}\left(\mathbf{H}^T\right)\right\}=n[/tex],

og dermed vil vel [tex]\left(\mathbf{H}^T\mathbf{H}\right)[/tex] være inverterbar (?).

Noen tips til forenkling / forbedring / etc? :)
Gustav
Tyrann
Tyrann
Posts: 4563
Joined: 12/12-2008 12:44

La oss si at

[tex]H=\begin{array}{ccc}a&b&c\\d&e&f\end{array}[/tex]


[tex]H^T=\begin{array}{cc}a&d\\b&e\\c&f\end{array}[/tex]

[tex]H^TH[/tex] er da en 3x3 matrise og [tex]HH^T[/tex] en 2x2

At m>n eller motsatt spiller ingen rolle. begge muligheter går an.
FredrikM
Poincare
Poincare
Posts: 1367
Joined: 28/08-2007 20:39
Location: Oslo
Contact:

Poenget var at om [tex]n > m[/tex], så vil søylene være lineært avhengige.
Cube - mathematical prethoughts | @MatematikkFakta
Med forbehold om tullete feil. (både her og ellers)
Gustav
Tyrann
Tyrann
Posts: 4563
Joined: 12/12-2008 12:44

FredrikM wrote:Poenget var at om [tex]n > m[/tex], så vil søylene være lineært avhengige.
Ja, jeg misforsto litt av hva som var problemet:)
Markonan
Euclid
Euclid
Posts: 2136
Joined: 24/11-2006 19:26
Location: Oslo

Slenger ut et forslag, uten at jeg har sett så nærme på oppgaven.

Beviset er jo:
Kolonnene i H lineært uavhengige [tex]\Rightarrow[/tex] [tex](H^TH)^{-1}[/tex] eksisterer

Kan det være det er enklere å bevise den (logisk ekvivalente) kontrapositive?
[tex](H^TH)^{-1}[/tex] eksisterer ikke [tex]\Rightarrow[/tex] Kolonnene i H er lineært avhengige.
An ant on the move does more than a dozing ox.
Lao Tzu
FredrikM
Poincare
Poincare
Posts: 1367
Joined: 28/08-2007 20:39
Location: Oslo
Contact:

Forslag:

La [tex]H*[/tex] være en utvidelse av [tex]H[/tex] slik at [tex]H*[/tex] er kvadratisk. Vi kan anta n < m (for hvis ikke er [tex]H^TH[/tex] uansett ikke inverterbar). Føy til enhetsvektorer [tex]e_{n+1},...e_{m}[/tex] slik at [tex]H*=[v_1,...,v_n, e_{n+1},...,e_m][/tex] der [tex]H=[v_1,...v_n][/tex].

Anta nå at [tex]{v_1,...,v_n}[/tex] (søylene i H) er lineært uavhengige. Da er [tex]\det(H*)\neq 0[/tex], og dermed også [tex]\det(H*^TH*)\neq 0[/tex]. Dermed er [tex]H*^TH*[/tex] inverterbar.

[tex]H*^TH*[/tex] er nå en symmetrisk mxm-matrise. Den er inverterbar, så kolonnene er lineært uavhengige. Legg merke til at om vi fjerner de [tex]m-n-1[/tex] siste kolonnene og radene endres ikke lineær uavhengighet, og vi står igjen med matrisen [tex]H^TH[/tex]. Siden den lineære uavhengigheten i søylene ikke er endret, er [tex]H^TH[/tex] inverterbar.
Cube - mathematical prethoughts | @MatematikkFakta
Med forbehold om tullete feil. (både her og ellers)
drgz
Fermat
Fermat
Posts: 757
Joined: 24/12-2008 23:22

Takker for tips og hint :)
Gustav
Tyrann
Tyrann
Posts: 4563
Joined: 12/12-2008 12:44

Man kan vise at [tex]H[/tex] og [tex]H^TH[/tex] har samme nullrom. Da følger beviset ved Rank nullity teoremet
drgz
Fermat
Fermat
Posts: 757
Joined: 24/12-2008 23:22

plutarco wrote:Man kan vise at [tex]H[/tex] og [tex]H^TH[/tex] har samme nullrom. Da følger beviset ved Rank nullity teoremet
Virker som at det skal være greit å gjøre beviset med det teoremet - takk for tipset. :)
Post Reply