30.01.2015 Views

1 Pierścienie i ich homomorfizmy. Ideał, pierścień ilorazowy. Ide- ały ...

1 Pierścienie i ich homomorfizmy. Ideał, pierścień ilorazowy. Ide- ały ...

1 Pierścienie i ich homomorfizmy. Ideał, pierścień ilorazowy. Ide- ały ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Twierdzenie 3.7. Niech będą dane dwie przestrzenie liniowe E i E ′ nad ciałem K, przy czym<br />

dim E = n < ∞. Jeśli e 1 , . . . e n jest bazą przestrzeni E i g 1 , . . . , g n jest dowolnym układem n-elementowym<br />

wektorów przestrzeni E ′ , to istnieje dokładnie jedno odwzorowanie liniowe T : E → E ′ takie, że T (e i ) = g i<br />

dla i = 1, . . . n. Ponadto, odwzorowanie T jest izomorfizmem wtedy i tylko wtedy, gdy wektory g 1 , . . . , g n<br />

są liniowo niezależne.<br />

Dowód. Dla x = a 1 x 1 + . . . a n x n ∈ E określamy T : E → E ′ wzorem: T (x) = x 1 g 1 + . . . + x n g n .<br />

Stąd w szczególności wynika, że jeżeli na przestrzeni skończenie wymiarowej mamy dwie bazy: e 1 , . . . e n<br />

oraz e ′ 1, . . . e ′ n, to odwzorowanie T : E → E dane wzorem T (x) = x 1 e ′ 1 + . . . + x n e ′ n dla x = a 1 x 1 + . . . a n x n<br />

jest jedynym odwzorowaniem liniowym takim, że T (e i ) = e ′ i . Macierz tego przekształcenia nazywamy<br />

macierzą przejścia i oznaczamy ją S.<br />

Twierdzenie 3.8. Niech E będzie przestrzenią liniową oraz niech e = (e 1 , . . . e n ), e ′ = (e ′ 1, . . . e ′ n) będą<br />

dwoma bazami tej przestrzeni oraz niech T : E → E będzie odwzorowaniem liniowym. Jeżeli odwzorowanie<br />

T ma w bazie e macierz A oraz w bazie e ′ ma macierz B, to B = S −1 AS.<br />

4 Układy równań liniowych i metody <strong>ich</strong> rozwiązywania<br />

Przez c<strong>ały</strong> rozdział zakładamy, że K jest ustalonym ciałem oraz wszystkie skalary należą do tego ciała.<br />

Układ ⎧⎪ ⎨<br />

⎪ ⎩<br />

a 11 x 1 + a 12 x 2 + . . . + a 1n x n = b 1<br />

a 21 x 1 + a 22 x 2 + . . . + a 2n x n = b 2<br />

. (2)<br />

.<br />

. .. . .<br />

a m1 x 1 + a m2 x 2 + . . . + a mn x n = b m<br />

nazywamy liniowym układem m równań z n niewiadomymi (nad ciałem K), skalary a ij - współczynnikami<br />

przy niewiadomych, a b i - wyrazami wolnymi. Ciąg skalarów (r 1 , r 2 , . . . , r n ) nazywamy rozwiązaniem układu<br />

(2), jeśli zachodzą równości:<br />

⎧<br />

a 11 r 1 + a 12 r 2 + . . . + a 1n r n = b 1<br />

⎪⎨ a 21 r 1 + a 22 r 2 + . . . + a 2n r n = b 2<br />

.<br />

.<br />

. .. . .<br />

⎪⎩<br />

a m1 r 1 + a m2 r 2 + . . . + a mn r n = b m<br />

Mówimy wówczas, że skalary r 1 , r 2 , . . . , r n spełniają układ (2).<br />

Macierz<br />

⎡<br />

⎤<br />

a 11 a 12 · · · a 1n<br />

a 21 a 22 · · · a 2n<br />

A = ⎢<br />

⎣<br />

.<br />

. . ..<br />

⎥<br />

. ⎦<br />

a m1 a m2 · · · a mn<br />

nazywamy macierzą główną układu (1) zaś macierz<br />

⎡<br />

∣ ⎤<br />

a 11 a 12 · · · a 1n ∣∣∣∣∣∣∣∣ b 1<br />

a 21 a 22 · · · a 2n b 2 U = ⎢<br />

⎣<br />

.<br />

. . ..<br />

⎥<br />

. . ⎦<br />

a m1 a m2 · · · a mn b m<br />

nazywamy macierzą rozszerzoną (uzupełnioną) układu (2).<br />

(3)<br />

(4)<br />

10

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!