GAL I - grupa 11

Transkrypt

GAL I - grupa 11
GAL I - grupa 11
Piotr Suwara
10 grudnia 2010
Zaczynamy od zbioru
Zadanie 1.
przez
0, 6a − 0, 8b i 0, 8a + 0, 6b.
{3, 4, 12}
i mo»emy dowolne dwa elementy
Czy mo»emy w ko«cu otrzyma¢
a, b
zast¡pi¢
{4, 6, 12}?
Udowodni¦, »e wspomniana operacja nie zwi¦ksza sumy kwadratów elementów
zbioru. Mianowicie (0, 6a − 0, 8b)2 + (0, 8a + 0, 6b)2 = a2 + b2 , wi¦c je±li zbiór po operacji si¦
nie zmniejszy, to oczywi±cie suma kwadratów pozostanie staªa, a je±li si¦ zmniejszy, to suma
kwadratów w oczywisty sposób (najpierw wykonujemy operacj¦, suma si¦ nie zmienia, potem
usuwamy duplikaty, suma nie wzrasta) nie wzro±nie. Ale na pocz¡tku mamy 32 + 42 + 122 ,
a na ko«cu suma kwadratów jest wi¦ksza: 42 + 62 + 122 . Czyli si¦ nie da.
Rozwi¡zanie.
Zadanie 2.
Na tablicy ±wieci si¦ pewna liczba »arówek. Obok tablicy s¡ przyciski, naci±ni¦cie
na przycisk zmienia stan »arówek poª¡czonych z tym przyciskiem (gasi te, które s¡ zapalone a
zapala te, które s¡ zgaszone). Wiadomo, »e dla ka»dego zbioru »arówek istnieje przycisk poª¡czony z nieparzyst¡ liczb¡ »arówek z tego zbioru. Wyka», »e odpowiednio naciskaj¡c przyciski
mo»na wyª¡czy¢ wszystkie »arówki.
Rozwi¡zanie. Je±li zapalonej »arówce odpowiada liczba 0, a zgaszonej liczba 1, to mo»emy
przestrze« wszystkich stanów »arówek identykowa¢ z przestrzeni¡ Zn2 , gdzie n to liczba »arówek. Przycisk mo»emy identykowa¢ z wektorem w tej przestrzeni posiadaj¡cym 1 na tych
wspóªrz¦dnych, które »arówki przeª¡cza w przeciwny stan oraz 0 na innych wspóªrz¦dnych;
istotnie, je±li wektor v przedstawia pewien stan »arówek, to po naci±ni¦ciu przycisku uto»samianego z wektorem u otrzymamy stan opisywany przez wektor v + u. Oznaczmy wektory
uto»samiane z przyciskami jako u1 , u2 , . . . , um . Je±li udowodnimy, »e te wektory rozpinaj¡
Zn2 , to oczywi±cie b¦dzie daªo si¦ otrzyma¢ za ich pomoc¡ wektor (1, 1, . . . , 1), czyli zgasi¢
wszystkie »arówki.
Wystarczy wi¦c pokaza¢, »e wymiar przestrzeni rozpi¦tej przez u1 , u2 , . . . , um jest równy
n. Zaªó»my, »e jest równy k < n. Niech ui = (ui,1 , ui,2 , . . . , ui,n ). Rozpatrzmy ukªad równa«
w Z2 :

U:
u1,1 x1




 u2,1 x1





..
.
+u1,2 x2
+u2,2 x2
+ . . . +u1,n xn
+ . . . +u2,n xn
..
.
...
..
.
=0
=0
..
.
um,1 x1 +um,2 x2 + . . . +um,n xn = 0
1
którego przestrze« rozwi¡za« ma oczywi±cie wymiar równy n − dim lin(u1 , u2 , . . . , um ) =
n − k > 0, czyli istnieje niezerowe rozwi¡zanie tego ukªadu równa«. Wobec tego istnieje
wektor x = (x1 , x2 , . . . , xn ) wyznaczaj¡cy pewien niepusty podzbiór »arówek (i-ta »arówka
jest w tym podzbiorze wtedy i tylko wtedy, gdy xi = 1). Ten podzbiór ma t¦ ciekaw¡
wªasno±¢, »e iloczyn skalarny x oraz ui jest równy 0 dla ka»dego i, czyli dla ka»dego i ten
podzbiór ma parzy±cie wiele wspólnych elementów ze zbiorem »aróweczek przeª¡cznych przez
i-ty przeª¡cznik. Co jest sprzeczne z zaªo»eniami. Co ko«czy dowód.
Zadanie 3.
AB = 0,
Niech
AiB
b¦d¡ macierzami kwadratowymi stopnia
to przynajmniej jedna z macierzy
A + AT , B + B T
n = 2011.
Wyka», »e je±li
jest osobliwa.
Macierze A i B o elementach z ciaªa K wyznaczaj¡ przeksztaªcenia liniowe
odpowiednio ϕ, ψ : K n → K n takie, »e ϕ ◦ ψ = 0. Niech r = dim ker ψ , p = dim ker ϕ.
Wtedy dim ψ(K n ) = n − r. Ale ϕ(ψ(K n )) = {0}, czyli ψ(K n ) ⊂ ker ϕ, czyli p = dim ker ϕ ­
dim ψ(K n ) = n − r. Wobec tego mamy p + r ­ n. Ale 2 - n, czyli zachodzi 2p > n lub 2r > n.
Zaªó»my bez utraty ogólno±ci, »e 2p > n.
Macierz AT wyznacza przeksztaªcenie liniowe γ : K n → K n . Poniewa» r(AT ) = r(A), to
dim ker γ = dim ker ϕ = p. Z kolei macierz A + AT wyznacza przeksztaªcenie σ : K n → K n
takie, »e σ = ϕ + γ . Ale wobec tego σ(K n ) ⊂ ϕ(K n ) + γ(K n ), co daje nam dim σ(K n ) ¬
dim(ϕ(K n ) + γ(K n )) ¬ dim ϕ(K n ) + dim γ(K n ) = n − p + n − p = 2n − 2p < n, wobec czego
dim ker σ = n − dim σ(K n ) > 0, czyli rz¡d macierzy A + AT musi by¢ mniejszy ni» n, wi¦c
ta macierz jest osobliwa. Co ko«czy dowód.
Rozwi¡zanie.
Zadanie 4.
Niech
rz¡d macierzy
A
b¦dzie macierz¡
m×n
rz¦du
n,
a
B
macierz¡
n×p
rz¦du
p.
Oblicz
AB .
Macierz A wyznacza pewne przeksztaªcenie liniowe ϕ : K m → K n , gdzie K
to ciaªo, do którego nale»¡ elementy macierzy. Poniewa» jest ona rz¦du n, to ϕ jest na.
Analogicznie B wyznacza pewne przeksztaªcenie liniowe ψ : K n → K p , które jest na. Czyli
ich zªo»enie ϕ ◦ ψ : K m → K p jest na, ale macierz tego przeksztaªcenia to AB , czyli rz¡d
AB to dim K p = p.
No jasne. Przecie» elementy macierzy nie musz¡ nale»e¢ do ciaªa, ale mog¡ nale»e¢ do
pier±cienia, nazwijmy go R. Je±li R ma dzielniki zera, to nie wiem, co zrobi¢. Ale gdy takowych
nie ma, to mo»na wzi¡¢ jako K ciaªo uªamków pier±cienia R, czyli Q(R). I powinno dziaªa¢.
Mimo wszystko chyba jeszcze si¦ tym nie zajmujemy.
Rozwi¡zanie.
10-wymiarow¡ przestrzeni¡ liniow¡, a U ⊂ W jej
niami wymiarów odpowiednio 3 i 6. Niech E ⊂ L(V, V ) b¦dzie zbiorem tych
liniowych f : V → V , »e f (U ) ⊂ U , f (W ) ⊂ W . Oblicz dim E .
Zadanie 5.
Niech
V
b¦dzie
podprzestrzeprzeksztaªce«
Niech wektory a1 , a2 , a3 b¦d¡ baz¡ U , a4 , a5 , a6 jej dopeªnieniem do bazy W
oraz a7 , a8 , a9 , a10 dopeªnieniem bazy W do bazy V . We¹my pewne f ∈ E i rozpatrzmy
macierz przeksztaªcenia f w tej bazie. Poniewa» f (U ) ⊂ U , to ka»dy z a1 , a2 , a3 musi przechodzi¢ na kombinacj¦ liniow¡ tych wªa±nie wektorów, czyli ta macierz w pierwszych trzech
Rozwi¡zanie.
2
kolumnach nie mo»e mie¢ niezerowych warto±ci w wierszach poni»ej trzeciego. Podobnie,
poniewa» f (W ) ⊂ W , to w czwartej, pi¡tej i szóstej kolumnie wiersze od siódmego w dóª
musz¡ by¢ zerowe. Czyli ta macierz musi wygl¡da¢ tak:

x1,1 x1,2 x1,3

x2,1 x2,2 x2,3

x3,1 x3,2 x3,3


0
0
 0

 0
0
0

 0
0
0


 0
0
0

 0
0
0


0
0
 0
0
0
0
x1,4
x2,4
x3,4
x4,4
x5,4
x6,4
0
0
0
0
x1,5
x2,5
x3,5
x4,5
x5,5
x6,5
0
0
0
0

x1,6 x1,7 x1,8 x1,9 x1,10

x2,6 x2,7 x2,8 x2,9 x2,10 

x3,6 x3,7 x3,8 x3,9 x3,10 

x4,6 x4,7 x4,8 x4,9 x4,10 


x5,6 x5,7 x5,8 x5,9 x5,10 

x6,6 x6,7 x6,8 x6,9 x6,10 


0
x7,7 x7,8 x7,9 x7,10 

0
x8,7 x8,8 x8,9 x8,10 

0
x9,7 x9,8 x9,9 x9,10 

0 x10,7 x10,8 x10,9 x10,10
i jasne jest, »e dowolna macierz tak wygl¡daj¡ca (czyli zera tam, gdzie s¡ zera i warto±ci
xi,j ∈ K , K - ciaªo, nad którym przestrzeni¡ jest V ) wyznacza przeksztaªcenie liniowe ze
zbioru E . Wiemy te», »e takie przyporz¡dkowanie macierzom przeksztaªce« jest wzajemnie
jednoznaczne, czyli dim E jest równy wymiarowi przestrzeni rozpi¦tej przez macierze tego
typu. A poniewa» s¡ to macierze o 67 wyrazach, które mog¡ by¢ dowolne z tego ciaªa, to
wymiar tej przestrzeni jest równy 67.
3