Wyk lad 12 Przestrzen afiniczna E

Wyklad 12
Przestrzeń afiniczna En
1
Przestrzeń afiniczna
n
Niech n bedzie
dowolna, liczba, naturalna.
n, Oznaczmy przez E zbiór wszystkich ciagów
,
,
n
elementowych (a1 , . . . , an ) liczb rzeczywistych. Elementy zbioru E bedziemy
nazywali punk,
tami, zaś elementy przestrzeni liniowej Rn bedziemy
nazywali
wektorami
swobodnymi.
,
n
Punktowi a = (a1 , . . . , an ) ∈ E można jednoznacznie przyporzadkować
wektor swobodny
,
n
α = [a1 , . . . , an ]. Ponadto każdej parze punktów a, b ∈ E można przyporzadkować
wektor
,
→
−
swobodny ab za pomoca, wzoru:
→
−
ab = β − α.
(1)
Zatem dla a = (a1 , . . . , an ) i b = (b1 , . . . , bn ) mamy, że
→
−
ab = [b1 − a1 , . . . , bn − an ].
(2)
Latwo zauważyć, że wówczas zachodza, warunki:
(i) dla każdego punktu p ∈ En oraz dla każdego wektora α ∈ Rn istnieje dokladnie jeden
punkt q ∈ En taki, że
→
−
pq = α,
(ii) (równość trójkata)
dla dowolnych punktów p, q, r ∈ En
,
→
−
−
−
pq + →
qr = →
pr.
W ten sposób otrzymujemy tzw. rzeczywista, n-wymiarowa, przestrzeń afiniczna, wspólrzednych,
,
n.
która, bedziemy
oznaczali
przez
E
,
Punkt q w (i) nazywamy suma, punktu p i wektora α i oznaczamy przez p + α. Zatem dla
p = (p1 , . . . , pn ) oraz α = [a1 , . . . , an ]
p + α = (p1 + a1 , . . . , pn + an ).
(3)
Liczby rzeczywiste a1 , . . . , as nazywamy ukladem wag, jeżeli
a1 + . . . + as = 1
n
Niech p1 = (p11 , p12 , . . . , p1n ), . . . , ps = (ps1 , ps2 , . . . , psn ) bed
, a, punktami przestrzeni E i
niech liczby a1 , . . . , as bed
ukladu punktów
, a, ukladem wag. Wówczas środkiem cieżkości
,
(p1 , . . . , ps ) o wagach (a1 , . . . , as ) nazywamy punkt
a1 p1 + . . . + as ps = (a1 p11 + . . . + as ps1 , . . . , a1 p1n + . . . + as psn ).
(4)
Latwo wykazać, że a1 p1 + . . . + as ps jest dokladnie jednym punktem p ∈ En takim, że
→ + ... + a ◦ −
→
a1 ◦ −
pp
1
s pps = Θ.
1
Przyklad 12.1. Środkiem cieżkości
ukladu (p1 , p2 , p3 ) punktów p1 = (0, 1, 0), p2 = (1, 1, 1),
,
3
p3 = (2, 0, 1) przestrzeni E o wagach (2, −2, 1) jest punkt 2p1 + (−2)p2 + 1p3 = (0 − 2 + 2, 2 −
2 + 0, 0 − 2 + 1) = (0, 0, −1).2
2
Podprzestrzenie afiniczne
Niepusty podzbiór H przestrzeni afinicznej En nazywamy podprzestrzenia, afiniczna,
, gdy
dla każdych dwóch punktów p, q ∈ H i dla każdego a ∈ R środek cieżkości
ap + (1 − a)q należy
,
do H.
Można wykazać, że jeżeli H jest podprzestrzenia, afiniczna, przestrzeni En , to każdy środek
cieżkości
dowolnego ukladu punktów należacych
do H należy do H.
,
,
Przyklad 12.2. Niech p ∈ En . Wówczas zbiór {p} zlożony tylko z jednego punktu jest
podprzestrzenia, afiniczna, przestrzeni En .2
Przyklad 12.3. Niech p ∈ En i α ∈ Rn \ {Θ}. Wtedy zbiór {p + t ◦ α : t ∈ R} jest podprzestrzenia, afiniczna, przestrzeni En . Nazywamy ja, prosta, afiniczna, w postaci parametrycznej
p + t ◦ α.2
Przyklad 12.4. Niech p ∈ En i α, β ∈ Rn bed
, a, wektorami liniowo niezależnymi. Wtedy
zbiór {p + t ◦ α + s ◦ β : t, s ∈ R} jest podprzestrzenia, afiniczna, przestrzeni En . Nazywamy ja,
plaszczyzna, afiniczna, w postaci parametrycznej p + t ◦ α + s ◦ β.2
Przyklad 12.5. Rozważmy


a11 x1



 a21 x1
..

.



 a x
m1 1
uklad m-równań liniowych z n-niewiadomymi nad cialem R:
+
+
..
.
a12 x2
a22 x2
..
.
+ am2 x2
+ . . . + a1n xn = b1
+ . . . + a2n xn = b2
.. . .
.
..
..
.. .
. ..
.
.
.
.
+ . . . + amn xn = bm
(5)
Rozwiazania
tego ukladu można w naturalny sposób utożsamiać z punktami przestrzeni afi,
n
nicznej E . Jeżeli uklad (5) posiada rozwia-zanie,
to zbiór jego wszystkich rozwiazań
jest
,
,
n
podprzestrzenia, afiniczna, przestrzeni E . Rzeczywiście, niech a ∈ R i niech p = (p1 , . . . , pn )
oraz q = (q1 , . . . , qn ) bed
tego ukladu. Wtedy
,
, a, rozwiazaniami
ap + (1 − a)q = (ap1 + (1 − a)q1 , . . . , apn + (1 − a)qn ) oraz dla i = 1, . . . , m: ai1 (ap1 + (1 − a)q1 ) +
. . .+ain (apn +(1−a)qn ) = a(ai1 p1 +. . .+ain pn )+(1−a)(ai1 q1 +. . .+ain qn ) = abi +(1−a)bi = bi ,
czyli ap + (1 − a)q też jest rozwiazaniem
ukladu (5). 2
,
Twierdzenie 12.6. Niech H bedzie
podzbiorem przestrzeni afinicznej En i niech p ∈ H .
,
Wówczas nastepuj
ace
warunki sa, równoważne:
,
,
(a) H jest podprzestrzenia, afiniczna;
,
(b) istnieje taka podprzestrzeń liniowa V przestrzeni Rn , że H = p + V , gdzie p + V = {p + α :
α ∈ V }.
2
Uwaga 12.7. Podprzestrzeń liniowa V z (b) jest wyznaczona jednoznacznie przez podprzestrzeń afiniczna, H. Oznaczamy ja, przez S(H). Można wykazać, że dla każdego p ∈ H jest
S(H) = {ω(p, q) : q ∈ H}. Wymiarem podprzestrzeni afinicznej H nazywamy wymiar podprzestrzeni liniowej S(H). Zatem prosta afiniczna jest podprzestrzenia, afiniczna, wymiaru 1,
zaś plaszczyzna afiniczna jest podprzestrzenia, afiniczna, wymiaru 2.
Przyklad 12.8. Niech H bedzie
niepustym zbiorem rozwiazań
ukladu (5). Wtedy S(H) jest
,
,
zbiorem wszystkich rozwiazań
uk
ladu
jednorodnego
,


a11 x1 + a12 x2 + . . . + a1n xn = 0



 a21 x1 + a22 x2 + . . . + a2n xn = 0
(6)
..
..
..
.. . .
.
..
.. .. .

. ..
.
.
.
.
.
. .



 a x + a x + ... + a x = 0
m1 1
m2 2
mn n
W szczególności, jeżeli p = (p1 , . . . , pn ) jest jakimkolwiek rozwiazaniem
ukladu (5), to każde
,
rozwiazanie
ukladu (5) ma postać: p + α, gdzie α = [a1 , . . . , an ] jest rozwiazaniem
ukladu
,
,
jednorodnego (6). 2
Twierdzenie 12.9. Każda podprzestrzeń afiniczna H wymiaru k przestrzeni afinicznej En
jest zbiorem rozwiazań
ukladu n−k, ale nie mniejszej liczby równań liniowych z n-niewiadomymi
,
nad cialem R.
Przyklad 12.10. Znajdziemy uklad równań, którego rozwiazania
tworza, prosta, o postaci
,
parametrycznej (1, 1, 1) + t ◦ [1, 2, 3]. W tym celu znajdujemy najpierw uklad jednorodny,
którego przestrzeń rozwiazań
jest generowana przez wektor [1, 2, 3]. Uzupelniamy ten wektor
,
do bazy przestrzeni R3 wektorami [0, 1, 0] i [0, 0, 1] z bazy kanonicznej. Nastepnie
wyznaczamy
,
3
2
przeksztalcenie liniowe f : R → R takie,
że f ([1, 2, 3]) = [0, 0], f ([0, 1, 0]) = [1, 0] i f ([0, 0, 1]) = [0, 1]. Ale
f ([1, 0, 0]) = f ([1, 2, 3]) − 2 ◦ f ([0, 1, 0]) − 3 ◦ f ([0, 0, 1]) = [0, 0] − [2, 0] − [0, 3] = [−2, −3], wiec
,
f ([x1 , x2 , x3 ]) = x1 ◦f ([1, 0, 0])+x2 ◦f ([0, 1, 0])+x3 ◦f ([0, 0, 1]) = [−2x1 , −3x1 ]+[x2 , 0]+[0, x3 ] =
[−2x1 + x2 , −3x1 + x3 ]. Ponieważ szukana, podprzestrzenia, liniowa, jest jadro
f , wiec
,
, uklad
jednorodny ma postać:
(
−2x1 + x2
= 0
.
−3x1
+ x3 = 0
Aby znaleźć uklad niejednorodny należy tylko wyznaczyć wyrazy wolne. W tym celu w równaniach
ukladu podstawiamy x1 = 1, x2 = 1, x3 = 1 i uzyskujemy szukany uklad:
(
−2x1 + x2
= −1
.2
−3x1
+ x3 = −2
Twierdzenie 12.11. Cześć
wspólna dowolnej niepustej rodziny podprzestrzeni afinicznych
,
przestrzeni afinicznej En jest albo zbiorem pustym albo podprzestrzenia, afiniczna.
,
3
Podprzestrzenie przestrzeni wektorowej Rn wymiaru n − 1 nazywamy hiperplaszczyznami
liniowymi; sa, one dokladnie zbiorem rozwiazań
równania postaci:
,
a1 x1 + a2 x2 + . . . + an xn = 0,
(7)
w którym co najmniej jedna z liczb ai jest różna od 0.
Podprzestrzenie afiniczne przestrzeni En wymiaru n − 1 nazywamy hiperplaszczyznami afinicznymi: sa, one dokladnie zbiorem rozwiazań
równania postaci:
,
a1 x1 + a2 x2 + . . . + an xn = b,
(8)
w którym co najmniej jedna z liczb ai jest różna od 0.
Z twierdzenia 12.9 mamy zatem natychmiast nastepuj
ace
,
,
Twierdzenie 12.12. Każda podprzestrzeń afiniczna wymiaru k przestrzeni En jest cześci
a,
,
wspólna, n − k, ale nie mniejszej liczby hiperplaszczyzn afinicznych.
Twierdzenie 12.13. Niech (p1 , . . . , ps ) bedzie
ukladem punktów przestrzeni En . Wówczas
,
zbiór af (p1 , . . . , ps ) wszystkich środków cieżkości
tego ukladu jest podprzestrzenia, afiniczna,
,
n
przestrzeni E . Podprzestrzeń ta jest najmniejsza, podprzestrzenia, afiniczna, zawierajac
, a, wszystkie punkty p1 , . . . , ps . Ponadto S(af (p1 , . . . , ps )) = L(ω(p1 , p2 ), ω(p1 , p3 ), . . . , ω(p1 , ps )) = V
oraz af (p1 , . . . , ps ) = p1 + V .
Przyklad 12.14. Dla dowolnych dwóch różnych punktów p1 = (x1 , . . . , xn ), p2 = (y1 , . . . , yn )
przestrzeni En mamy, że af (p1 , p2 ) jest prosta, afiniczna, przechodzac
, a, przez te punkty. Jej
przedstawienie parametryczne ma postać:
(x1 , . . . , xn ) + t ◦ [y1 − x1 , . . . , yn − xn ].2
(9)
Twierdzenie 12.15. Niech p = (x1 , . . . , xn ), p1 = (x11 , . . . , x1n ),..., ps = (xs1 , . . . , xsn ) bed
, a,
n
punktami przestrzeni E .
Wówczas p ∈ af (p1 , . . . , ps ) wtedy, i tylko wtedy, gdy
[1, x1 , . . . , xn ] ∈ L([1, p11 , . . . , p1n ], . . . , [1, ps1 , . . . , psn ]).
Przyklad 12.16. Sprawdzimy, czy punkt (0, 1, 1) należy do podprzestrzeni afinicznej H =
af ((1, 0, 0), (0, 1, 0), (0, 0, 1)) przestrzeni E3 . Mamy, że V = L([1, 1, 0, 0], [1, 0, 1, 0], [1, 0, 0, 1]) =
L([1, 1, 0, 0], [0, −1, 1, 0], [0, −1, 0, 1]) = L([1, 1, 0, 0], [0, −1, 1, 0], [0, 0, −1, 1]). Ponadto wektory
[1, 1, 0, 0], [0, −1, 1, 0], [0, 0, −1, 1] sa, liniowo niezależne, wiec
, z twierdzenia 8.16, [1, 0, 1, 1] ∈ V
wtedy i tylko wtedy, gdy wektory [1, 0, 1, 1], [1, 1, 0, 0], [0, −1, 1, 0], [0, 0, −1, 1] sa, liniowo zależne.
Ale wykonujac
, operacje elementarne na tych wektorach możemy sie, latwo przekonać, że te
wektory nie sa, liniowo zależne. Zatem z twierdzenia 12.15 mamy, że punkt (0, 1, 1) nie należy
do H.2
3
Zadania do samodzielnego rozwiazania
,
Zadanie 12.17. Znajdź środek cieżkości
ukladu (p1 , p2 , p3 ) punktów p1 = (1, −1, 2), p2 =
,
(−1, 1, 3), p3 = (2, 5, 1) przestrzeni E3 o wagach (3, −4, 2).
4
Odp. (11, 3, −4).
Zadanie 12.18. Udowodnij, że w przestrzeni E3 :
(x1 , x2 , x3 ) ∈ af ((1, 1, 1), (0, 1, 1), (0, 0, 1)) ⇔ x3 = 1.
Zadanie 12.19. W przestrzeni E3 znajdź równanie liniowe hiperplaszczyzny afinicznej
af ((1, −1, 2), (−1, 1, 3), (2, 5, 1)).
Odp. 8x1 + x2 + 14x3 = 35.
Zadanie 12.20. Uzasadnij, że w przestrzeni E3 :
af ((1, 1, 1), (0, 1, 2)) ∩ af ((1, 1, 1), (1, 2, 3), (2, 1, 2)) = {(1, 1, 1)}.
Zadanie 12.21. Uzasadnij, że w przestrzeni E3 punkt (0, 0, 0) jest środkiem cieżkości
ukladu
,
punktów {(1, 0, 0), (1, 1, 1), (0, 1, 0), (0, 0, 1)}.
Odp. Uklad wag: 21 , − 21 , 21 , 12 .
Zadanie 12.22.
W przestrzeni E5 znajdź punkt wspólny prostych afinicznych
af ((2, 1, 1, 3, −3), (2, 3, 1, 1, −1)) i af ((1, 1, 2, 1, 2), (1, 2, 1, 0, 1)).
Odp. (−2, −5, −1, 1, −1).
Zadanie 12.23. Znajdź uklad równań liniowych, którego przestrzenia, rozwiazań
jest prosta
,
(1, −1, 3) + t ◦ [0, 5, 7].
Odp. Równania ukladu: x1 = 1, 5x3 − 7x2 = 22.
Zadanie 12.24. Znajdź uklad równań liniowych, którego przestrzenia, rozwiazań
jest
,
af ((1, 2, 3, 4), (2, −1, 3, 1), (6, −4, 2, 2)).
Odp. Równania ukladu: 3x1 + x2 + 9x3 = 32, 12x1 + 13x2 − 9x4 = 2.
5