Szerkesztő:Mozo/Linalg gyakorló 1.

A MathWikiből
< Szerkesztő:Mozo
A lap korábbi változatát látod, amilyen Mozo (vitalap | szerkesztései) 2009. március 12., 18:33-kor történt szerkesztése után volt.

Alterek

1. Igazolja, hogy ha W1 és W2 altér V-ben, akkor

W_1\cap W_2 altér

Ugyanis, ha u,v ∈ W1W2, akkor u,v ∈W1 és u,v ∈ W2, de ezek zártak az összeadásra és a számmal való szorzásra, ezért: u+v ∈ W1 és u+v ∈ W2,, azaz u+v ∈ W1W2 és λ.u ∈ W1 és λ.u ∈ W2, azaz λ.u∈ W1W2,.

2. Igazoljuk, hogy ha W1 és W2 altér V-ben és W1W2, ≠ {0}, akkor

\dim \langle W_1,W_2 \rangle < \dim W_1 +\dim W_2

Először belátjuk, hogy

\dim \langle W_1,W_2 \rangle \leq \dim W_1 +\dim W_2

ha B bázis W1-ben és C bázis W2-ben BUC generátorrendszere \langle W_1,W_2 \rangle-nek, de nem nagyobb a számossága, mint |B|+|C|

\dim\langle W_1,W_2\rangle\leq |BUC|\leq |B|+|C|

Most belátjuk, a szigorú egyenlőtlenséget. W1W2 altér mindkét altérben, ezért ha a metszet nem 0, akkor egy D ⊆ W1W2 bázis kiegészíthető W1 bázisává és W2 bázisává: B'UD és DUC'-vel. Feltehető, hogy B' elemei különböznek C' elemeitől, mert ha nem, akkor különbözőkkémeg nyújthatók.

\dim \langle W_1,W_2 \rangle\leq|B'\cup D\cup C'|=|B'\cup D\cup D\cup C'|<|B'|+|D|+|D|+|C'|=\dim W_1 +\dim W_2

hiszen D elemeit kétszer számoltuk.

Személyes eszközök