Professional Documents
Culture Documents
WYKADY
Z TOPOLOGII
Topologia przestrzeni
euklidesowych
Jerzy Mioduszewski
WYKADY
Z TOPOLOGII
Topologia przestrzeni
euklidesowych
Katowice 1994
Recenzenci
LECH GRNIEW ICZ, H A N N A PATKOWSKA
Publikacja dofinansowana
ze rodkw Ministerstwa Edukacji Narodowej
TRE
OD
A U T O R A ....................................................................................................................................
WYKAD W S T P N Y .....................................................................................................................11
Pocztki topologii: mosty krlewieckie Wzr Eulera Bryy platoskie Rola
twierdze o rozcinaniu
WYKAD
1.......................................................................................................................................... 21
2 . ....................................................................................................................................41
Geometria analityczna przestrzeni euklidesowych Sympleks Wsprzdne barycentryczne Podzia barycentryczny sympleksu Pewne konfiguracje i odwzorowania
wzorcowe Triangulacje Odwzorowania symplicjalne Realizacje triangulacji
w przestrzeniach euklidesowych Twierdzenie o aproksymacji symplicjalnej Spo
strzeenie Lebesguea
ANEKS.......................................................................................................................................................62
Twierdzenia o funkcjach i pokryciach Lemat Urysohna Twierdzenie Tietzego
Uoglnienie na wysze wymiary Twierdzenie Tietzego dla odwzorowa w sfery
Zmniejszanie zbiorw w pokryciach Liczby Lebesguea dla pokry Kostka Hilberta
WYKAD
3.......................................................................................................................................... 74
5..........................................................................................................................................
6..........................................................................................................................................
7................................................................. .........................................................................
8 . ....................................................................................................................................
9...........................................................................................................................................
1 0 . ....................................................................................................................................
1 1 . .....................................................................................................................................
208
WYKAD 1 3 . ....................................................................................................................................214
Twierdzenia o antypodach w dowolnym wymiarze Lemat Tuckera Twierdzenie
Lustemika-Sznirelmana Twierdzenie o nieistnieniu odwzorowa
1 zachowu
jcych antypodyzm Twierdzenie Borsuka-Ulama Kilka twierdze zwizanych
z poprzednimi
WYKAZ S Y M B O L I .....................................................................................................................221
WYKAZ N A Z W ............................................................................................................................ 223
WYKAZ T W IE R D Z E ..................................................................................................................... 226
AUTORZY
229
OD AUTORA
Obok tej gazi geometrii, ktra jest zwizana z wielkociami i ktra zawsze skupiaa uwag
badaczy, jest jeszcze inna jej ga, prawie nieznana, ktr pierwszy zauway Leibniz i nazwa
geometri pooenia.
Leonard Eulei*l
a)
Rys. 1. Czy palc za sob mosty, mona przej po wszystkich? Wzy krzywej (b) odpowiadaj
dzielnicom czonym przez mosty (a), ktre na krzywej s reprezentowane przez nie przecinajce
si uki
(2)
Jeli wszystkie wzy grafu spjnego, lub wszystkie z wyjtkiem dwu, s
rzdu parzystego, to graf jest unikursalny.
Dla objanienia: graf jest nazywany spjnym wtedy, gdy nie rozpada si na
dwa grafy rozczne; oczywicie, graf unikursalny musi by spjny, bo spjny
musi by kady graf, ktry mona przej w jakikolwiek sposb.
D o w d t w i e r d z e n i a . Jeli graf ma wolne koce a ma je wtedy
tylko dwa to czc je ze sob, dostaniemy graf bez wolnych kocw.
Znajdujc przejcie unikursalne po tak otrzymanym grafie, w oczywisty sposb
dostaniemy przejcie unikursalne po danym grafie.
Dowd wystarczy wic prowadzi dla grafw nie majcych wolnych
kocw.
Twierdzenie jest w oczywisty sposb prawdziwe dla grafw bez wzw: jest
tylko jeden tego rodzaju graf okrg.
zmieni.
Jeli uk docza si tak, e oba jego koce stykaj si z grafem, to ilo
obszarw p wzronie o 1. Liczba k zwiksza si o 1, a liczba w pozostaje bez
zmiany. Liczba w k + p bdzie taka sama.
Dow d zosta zakoczony.
W dowodzie rzecz zrozumiaa byy wykorzystane pewne wasnoci
geometryczne paszczyzny. Ju w pierwszym kroku posuylimy si tym, e ani
punkt, ani uk nie rozcinaj paszczyzny, a krzywa zamknita bez samoprzeci
rozcina paszczyzn na dwa obszary.
(6) Leonhard E u l e r , Elementa doctrinae solidorum, Novi Comm. Acad. Sc. Imp. Petr.
4 (1752/53), wyd. 1758, s. 109 140.
N a temat aspektw geometrycznych wzoru Eulera por. ksik Ju. A. S z a s z k i n a , Ejlerowa
charaktieristika, Nauka, Moskwa 1989.
Rys. 8. Jeli do koa doczy si promie (a), nie dostaniemy nowego obszaru;
dostaniemy, jeli doczymy rednic (b)
W ykady z topologii
17
ps = 2 k,
skd
(3)
w = 2/c/r
p = 2 k/s.
posta grafu determinuje posta cian bryy i posta samej bryy majcej ten graf jako konfiguracj
jej krawdzi? Odpowied jest twierdzca, ale pozostawiamy j bez dowodu; por. wszake
wzmiank przy okazji twierdzenia Schoenfliesa pod koniec wykadu 1.
s = 3,
II
s = 4,
II
u>
(9)
r =5
cn
II
(8)
cn
II
(7)
II
K.
(6)
r =3
II
(5)
19
L
pas
c:
P t r \ . . . n P k.
23
j = 0,1,..., n - 1
takich, e
/ * n l , ^ 0 o \ k - Z| < 1,
I j - i ^ h = {*/}
oraz
a0 = p i a q.
29
30
Wykady z topologii
Mamy trzy domy, gobnik, studni i brg; trzeba znale z kadego domu
cieki do gobnika, studni i brogu tak, by nie przecinay si wzajemnie. To jest
niemoliwe'.
W przestrzeni daje si to zrobi. Powstaje konfiguracja zamieszczona po
lewej stronie na rys. 28.
c/om
(9)
K K u r a t o w s k i , Sur le problme des courbes gauches en topologie, Fund. Math. 15
(1930), 271 283. D owd twierdzenia Kuratowskiego mona znale midzy innymi w ksice
F. H a r a r y e g o , Graph theory, 1969 (wyd. ros. z 1973 r , s. 133); por. take C. T h o m a s s e n ,
A link between the Jordan curve theorem and the Kuratowski planarity criterion, American
Mathematical Monthly 97 (1990), 216 218.
{^ 7*,
Vf ,
Wf ,
>
ktni
c
Rys. 33. Homeomorfizm wypychajcy AC'B poza P
fi (Aa) = (A) a,
A(a + b) = l a + Ab,
(A + fi)a = Aa + fia.
m W dalszym cigu dla oznaczenia liczb rzeczywistych bd uywane litery greckie X, n etc.,
chyba e bd to liczby 0, 1 etc. Dla oznaczenia wektorw bd uywane litery aciskie a, b etc.
Symbol 0 bdzie uywany zarwno do oznaczania liczby zero, jak i wektora zerowego. Kontekst
powinien wykluczy nieporozumienie.
Istotnie, jeli a = p.0a0 + ... + finan jest jeszcze jednym takim przedstawie
niem, to (A0 no)a0 + ... 4- (A n)a = 0, skd Xj = pj, wobec niezalenoci
wektorw.
Zbir [S ] wektorw a przestrzeni X , ktre daj si zapisa w postaci (1),
bdzie nazywany podprzestrzeni generowan przez zbir S; dziaania dodawa
nia i mnoenia przez liczb nie wyprowadzaj poza zbir [S ], dziki czemu
stanowi on przestrze wektorow. Przyjmujemy, e zbir dziedziczy norm,
a wic i topologi, z X.
Liczby Xj w przedstawieniu (1) wektora a nazwiemy wsprzdnymi barycentrycznymi wektora a wzgldem zbioru S; bd oznaczane symbolem Xj(a), jeli
chce si uwidoczni zaleno od wektora.
*
Zbir cigw
t = (to.....tn)
liczb rzeczywistych z odlegoci midzy cigami x i y dan wzorem
(2)
x + yn),
a norm |x | wzorem
Ix I max { Ix 01.....|xB|}.
Norma |x | jest odlegoci, w sensie wzoru (2), elementu x = (x0.....x) od
elementu 0 = (0,...,0) okrelonej w ten sposb przestrzeni wektorowej VH+1.
Jako zbir i jako przestrze metryczna (w rezultacie jako przestrze
topologiczna) przestrze F"+1 nie rni si niczym od poprzednio okrelonej
przestrzeni euklidesowej wzorcowej, ale jest bogatsza o dodatkow struktur
struktur wektorow.
Jeli przyj e0 = (1, 0,...,0),
- (0, I ,..., 0 ) , e = (0, 0,...,1),
x 0 + ... + x,, = 1,
7,/, a . . , o ;
(4)
(5)
Aj (a) ^ 0,
jest nazywany sympleksem wyznaczonym przez zbir S {a0, ..., a}. Wektory
aj s nazywane wierzchokami sympleksu; sympleks wyznaczony przez zbir
S bdzie oznaczany przez A (S) lub przez A {a0.... <a), jeli zechcemy uwidoczni
wierzchoki (kolejno wierzchokw w tym zapisie nie ma znaczenia).
Sympleks A (a0,...,a) jest homeomorficzny z sympleksem wzorcowym A":
odpowiednim homeomorfizmem jest poprzednio okrelony homeomorfizm
h :V n+1 -* [S ] obcity do A.
(3) A. P. R o b e r t s o n , W. R o b e r t s o n , Topological vector spaces, Cambridge University
Press 1964 (tum. ros., Mir, M oskwa 1967, s. 77).
Punkt b = (l/(n + 1)) (a0 + ... + a), majcy jednakowe wsprzdne bary
centryczne, jest nazywany barycentrum sympleksu A (S).
Nadajmy teraz znaczenie numeracji {a0.....an} wierzchokw sympleksu
A (S) i wemy pod uwag cig wstpujcy cian tego sympleksu,
A{a.0) a A(a0, a j c ... cz A(a0,...,an),
oraz ich barycentra b0, bx.... b(= b), tj. punkty
b0 cio
(6)
^ i = (l/2) (flo + f lj
=
(l/(n +
l))(fl0 +
... +
a j.
a = n0b0+ .+^nbn,
(9)
a A0 a0 + - + ^nan<
g d z ie
2 0 ^ /lx > . . . ^
> 0 i X0 +
+ ----+
= 1.
N a odwrt, kady punkt a postaci (9) naley do sympleksu A(b0,... b).
Dla dowodu wystarczy zauway, e z rwna (6) mona wyznaczy ak jako
kombinacje liniowe wektorw b0,... bn.
Mamy:
ao =
fli 2bi bo
a2 = 3b2 2bv
a = (n + 1)fc - nb_1(
skd
a = A q& o +
( 2 bt bo) + ^.2 ( ^ 2 2 /? i) + . . .
1) = (yl0 ^i) b0 + 2(Ai A2) by + ... + (n + 1) X b;
An{(n +
l) f c +
W ykady z topologii
Antypodyzm
Odwzorowanie (p: 8 A " ^ d A n, przypo
rzdkowujce punktowi x brzegu dAn
sympleksu jedynego poza x punktu
(p(x) brzegu tego sympleksu, lecego na
prostej b x , nazwiemy antypodyzmem; ma
my cp{(p{x)) = X.
R e t r a k c j a k a n o n i c z n a E" na A".
Niech r: E" -* A" bdzie retrakcj przypisujc punktowi
(10)
spoza A" (niektre spord Aj s ujemne!) punkt r(x), ktrego zapis barycentryczny, za pomoc a0.......a, powstaje z zapisu (10) przez wykrelenie wyrazw
z ujemnymi Aj i podzielenie kadej z pozostaych wsprzdnych przez ich
sum.
Retrakcj r: E" - A", ktra bdzie nazy
wana kanoniczn, mona widzie jako zoe
nie ze sob w dowolnym porzdku
n + l retrakcji rj
przestrzenie 2^(x) > 0, przyporzdkowuj
cych punktom x, w ktrych zapisie barycentrycznym (10) wsprzdna Aj(x) jest ujeaf
mna, jedynego punktu przecicia odcinka
Rys. 42. Retrakcja kanoniczna
ajX Z hiperpaszczyzn Aj(x) = 0 (na pozos
taych punktach okrelamy rj jako tosa
mo). Rys. 42 ilustruje retrakcj rj geometrycznie.
Pewne homotetie.
Niech < l/(n + l). Zbir
S = { x e E n : Aj(x) ^ , A0(x) + ... + ^(x) = l}
jest sympleksem homotetycznym z sympleksem A" poprzez homoteti o rodku
w barycentrum.
Jeli > l/(n + 1), zbir S jest pusty.
Jeli l/( n + l) , zbir Sp redukuje si do punktu barycentrum.
Jeli > 0, to SCi A"; jeli ^ 0, to Sp => A"; jest S0 = A".
Homoteti nazwijmy j h przeprowadzajc A" w S jest tylko
jedna taka homotetia ilustruje rys. 43.
Jeli r: En -* A" jest retrakcj kanoniczn na A", to odwzorowanie
h oto h *: En S
jest retrakcj E" na Sp (rozumiejc, e h jest opisan wyej homoteti caej
przestrzeni En hiperpaszczyzny x 0-(- ...-fx,, = 1 przestrzeni En+l).
52
i-------- 1 ----------
d(x,y).
Rys. 51. W dawniejszych podrcznikach analizy tego rodzaju, funkcje, a take funkcje takie
jak l / x i tgx, byy nazywane niecigymi. Obecnie nie przydajemy sensu cigoci i tym samym
niecigoci funkcji w punktach, w ktrych nie jest ona okrelona
dla x e X
i taka, e
l / W - ffWI < (2/3) c
dla x e A .
D o w d l e m a t u . Zbiory:
M = { x e A :/(x ) < (1/3) c} i N = { x e A :f{ x ) ^ (1/3) c} s domknite
w X (bo w A) i s rozczne. N a mocy lematu Urysohna istnieje funkcja ciga
g okrelona na X taka, e g(x) = (1/3) c dla x e M i g(x) = (1/3) c dla
x e N , i przy tym taka, e |g(x)| < c/3. Funkcja g spenia zapowiedziane warunki.
D o w d t w i e r d z e n i a . Przyjmijmy, e odcinkiem I jest odcinek
- 1 ^ x < 1.
Przez indukcj zbudujemy cig gt , g2,... funkcji cigych okrelonych na
X takich, e
(1)
- (1/3) (2/3)" 1
1 dla x e l
65
(2)
dla x e X
dla x e A .
= x dla
x g !
zbioru u o
B0 n ... n Bn = 0 .
: j = 1, 2^..}.
prawdziwej dla kadego j i kadej ustalonej dla danego j liczby rzeczywistej Zj.
Ta nierwno pozostaje prawdziwa po przemnoeniu stron przez l/j. Po
zastpieniu prawej strony przez kres grny po j = 1, 2,... dostajemy
|xy - zj\ < d(x, y) + d(y, z)
dla kadego j, gdzie z {zv z2,...j. Nierwno zachowa si po przejciu do
kresu grnego po lewej stronie. Dostajemy
d(x, z) < d(x, y) + d(y, z)
dla dowolnych trzech cigw x, y i z.
Okrelilimy kostk Hilberta.
Kostka Hilberta jest bezporednim uoglnieniem kostek euklidesowych
(z metryk dan przez maksimum moduw rnic wsprzdnych). Podobnie
jak kostki euklidesowe, kostka Hilberta jest przestrzeni zwart.
D o w d . Rozwamy cig qlt q2,... punktw kostki Hilberta. Punkty
qj s cigami liczb rzeczywistych ograniczonymi. Wybierzmy z cigu qv
podcig zbieny; niech N i bdzie zbiorem wskanikw tego podcigu. Z ci
gu q2, ograniczonego do wyrazw ze wskanikami w N lt wybierzmy pod
cig zbieny; niech N 2 bdzie zbiorem wskanikw tego podcigu. Jest
N l 3 N 2. Postpujc tak dalej, przez indukcj, zbudujemy cig zbiorw
nieskoczonych N l => N 2... liczb naturalnych taki, e dla kadego j cig
jest zbieny.
W zbiorze N 1 wybierzmy dowolnie liczb nlt a pniej, w zbiorze N 2, liczb
n2 tak, e nx < n2, dalej liczb n3 w zbiorze N 3 tak, e n2 < n3 itd. W ten
sposb budujemy cig
1 , - X i l ^ E ....\qnjk- X k\^ E .
/(X;)-/(x)=>X;-X
pociga
hj(f(x )) 0, jeli
A;(x) = 0,
to f{A n) 3 A".
W szczeglnoci, warunek (1) jest speniony, jeli / jest tosamoci n
brzegu, a wic jeli/(x) = x dla xedA". Z twierdzenia 1 wynika, e odwzorowa
nie cige sympleksu w siebie, bdce tosamoci na brzegu, jest odwzorowa
niem na; w szczeglnoci, obrazem nie moe by brzeg sympleksu, a wic(1):
(I) Twierdzenie o nieistnieniu retrakcji kuli euklidesowej na jej brzeg byo znane ju Bohlowi
(1904); P. B o h l , ber die Bewegung eines mechanischen Systems in der Nhe einer Gleichgewichts-
Odnotujmy,
jako
bezporedni
wniosek z twierdzenia 1, majce silniej
sze ni twierdzenie 1' brzmienie, na
stpujce
Twierdzenie 1". Niemoliwe jest od
wzorowanie cige sympleksu A" w 8An
i speniajce przy tym warunek (2), tj. nie
wyprowadzajce punktw ze cian,
w ktrych le.
Wynika ze w prosty sposb twier
dzenie 1.
Jeli bowiem odwzorowanie cige f : A n->E" spenia warunek (1), to
odwzorowanie r o f : A" -* A", gdzie r : En -> A jest jakkolwiek retrakcj,
rwnie spenia ten warunek. Niech r bdzie przy tym retrakcj przep
rowadzajc punkty spoza A" na punkty z dA".
Jeli teraz f( A n) nie pokrywa caoci sympleksu An, to samo jest prawd dla
odwzorowania r o f. Niech p bdzie punktem sympleksu A" nie nalecym do
r(f(A")). Biorc jakkolwiek retrakcj A" {p} na dAn, nakadajc j na r of,
dostaniemy odwzorowanie cige A" - 8A", speniajce warunek (1), co przeczy
twierdzeniu 1".
Dlatego wystarczy dowodzi twierdzenia 1".
D o w d t w i e r d z e n i a 1". Przypumy, e mamy odwzorowanie cige
/ : An -> dA" speniajce warunek (1).
Zbiory f ~ 1(gwg^nai) s otwarte i wszystkie razem pokrywaj sympleks A".
Jest
(2)
co wynika z (1).
Niech K bdzie iteracj podziau barycentrycznego sympleksu A" na tyle
drobn, by dla kadego wierzchoka b triangulacji K byo
(3)
dla pewnego i.
D la kadego wierzchoka b triangulacji K wybierzmy jedno i speniajce (3);
oznaczmy je przez (b). Mamy
(4)
g w \K \b ^ f 1(ffwgja<p(b).
Przyporzdkowanie b - (p(b) ma wasno:
(5)
jeli Aj(b) = 0,
to (b) =j.
cp : K -*
bdzie odwzorowaniem speniajcym warunek (5) (przez
K oznaczylimy jak zwykle zbir wierzchokw triangulacji K). Oznacz
my przez s liczb sympleksw triangulacji K majcych pen numeracj
{0,...,m}.
Niech R bdzie rodzin sympleksw (ml)-wymiarowych triangulacji K,
majcych pen numeracj { 0 ,..., m 1}. Liczba r sympleksw rodziny
R lecych na cianie A(a0, .. ., a m- x) jest nieparzysta, na mocy zaoenia
indukcyjnego.
Trzeba dowie, e s = r (mod 2).
Dla kadego sympleksu n-wymiarowego d triangulacji K oznaczmy przez
p(d) ilo cian (m l)-wymiarowych sympleksw triangulacji K majcych
pen numeracj { 0,...,m 1). Jest
(7)
p (d ) = r (mod 2).
i
Z wzorw (7) i (8) oraz z nieparzystoci liczby r wnosimy o nieparzystoci
liczby s.
W ten sposb dowd indukcyjny si koczy.
W przeprowadzonym dowodzie lemat Spernera jest naturaln prze
sank. Z sam numeracj, jaka si w nim pojawia bdziemy j nazywa
numeracj Spernera mona si spotka wszake w zupenie prostych
sytuacjach.
Niech K bdzie jakimkolwiek podziaem symplicjalnym sympleksu A".
Rozwamy aproksymacj symplicjaln tosamoci na A" dla triangulacji
K i triangulacji podstawowej sympleksu A" zoonej ze wszystkich cian tego
sympleksu. Polega ona na przyporzdkowaniu wierzchokom b triangulacji
K jednego z wierzchokw
sympleksu A" tak, by
gww b c g w ^ a ^
(istnienie j takiego, e gw\K\b c gw^n aj jest oczywiste).
\r(x)I
x
dla x ze zbioru A,
dla pozostaych x,
Wykady z topologii
(9)
dla wszystkich
oraz
(po{x) + ... + <pK(x) = 1.
(czyli
Lj(x) = 0),
to
(Pj{x)
=0
(bo
0COP 0 +
+ nPn>
co znaczy, e dla tego x jest ct} = (p/x) dla kadego j, i co por. wzr (9)
koczy dowd.
A oto drugie z zapowiedzianych twierdze.
Twierdzenie (Urbanik, 1954)<7). W kady uk mona wpisa aman majc
koce na kocach uku i ktrej odcinki maj dugoci w danej z gry proporcji.
Dokadniej: Jeli f jest odwzorowaniem cigym odcinka 0 ^ x < 1
w przestrze metryczn takim, e /(0) # /(1), to dla kadego ukadu liczb
rzeczywistych nieujemnych <x0,...,aB istnieje podzia
(10)
0 = x.
x,(x) = J W x j + i ) .A x ) )
J
I d(f(xJ+1), f(Xj))
i
(7) K. U r b a n i k , Sur un problime de J. F. Pal sur les courbes continues, Bulletin de lAcad.
83
Inne
formy
twierdzenia
o zamocowaniu.
1.
Jeli zbiory domknite F0.............Fn po
krywaj sympleks A(a0.... an) tak, e dla
kadego j ciana leca naprzeciw wierz
choka aj jest zawarta w Fjt to F0 n ...
... n Fn # (
Twierdzenie wynika z dowiedzio
nego przez prawa de Morgana.
Przejcie do innego wariantu, w kt
rym zbiory domknite pokrywaj sym
pleks z naroy, wymaga lematu Lebesguea.
2. Jeli zbiory domknite F 0.... F pokrywaj sympleks A(a0,...,an) tak, e
(16)
Fj <= gwjn aj
dla kadego j,
to F0 n ... n F = 0.
D o w d . Przypumy, e F 0 n ... n F n 0. Z lematu Lebesguea (formy
dwoistej do dowiedzionej, Aneks, s. 70) wynika istnienie liczby > 0 takiej, e
kady zbir o rednicy ^ S jest rozczny z jednym ze zbiorw Fj. Dla kadego
j wemy liczby Lebesguea j dla pokry sympleksu An zbiorami AnFj
i gwAn aj. Niech
bdzie najmniejsz spord liczb: liczby <5 i liczb Sj.
Niech Vj bdzie sum zbiorw otwartych przecinajcych zbir Fj i maj
cych rednice <(5*/2. Zbiory Vj s otwarte; mamy
FjCzVjCZ gwAn ajt
gdzie drug inkluzj dostajemy z nierwnoci 5^ < Sj.
Mamy K0 n . . . n F # 0, na mocy oryginanej formy twierdzenia o zamoco
waniu.
Dostajemy w ten sposb sprzeczno, bo punkt lecy w tym przekroju
naleaby do n + 1 zbiorw otwartych o rednicach < b j l takich, e kady ze
zbiorw Fj miaby punkt wsplny z jednym z nich. Suma tych zbiorw
otwartych miaaby rednic <
tym samym < <5, i przecinaaby przy tym
kady ze zbiorw Fjf wbrew wasnoci liczby 5.
prauj<3 d e
V organg
/
\ /
praua
d e Horgan a
le m a t
le b e s g u e
Rys. 64. Numer 0 nosi oryginalna wersja twierdzenia. Wynikania 3 => 0 nie dowodzilimy
gwm b <= Uj
h(Cj) n S , j = 0,...,n.
Dostajemy zbiory Djt dajce nadal w sumie h(A") i przy tym takie, e aden
punkt zbioru h(An) nie ley w wicej ni n zbiorach Dj.
Przeciwobrazy h~ i(Dj) tych zbiorw pokrywaj sympleks A", speniajc
zaoenia z twierdzenia o zamocowaniu (w wersji dla zbiorw domknitych
zawierajcych ciany), bo rni si od zbiorw C, jedynie na h~ 1(Q), a wic
poza brzegiem sympleksu. Ale zbiory h~1(Dj) nie speniaj tezy tego twier
dzenia, bo punkty sympleksu A" nale do nie wicej ni n spord nich
i wobec tego ich przekrj jest pusty.
Ta sprzeczno koczy dowd twierdzenia.
Twierdzenie Brouwera o zachowaniu otwartoci (1912)(18). Podzbir prze
strzeni euklidesowej homeomorficzny z podzbiorem otwartym tej przestrzeni jest
jej podzbiorem otwartym.
D o w d . Niech U bdzie podzbiorem otwartym przestrzeni En i niech
h bdzie homeomorfizmem zbioru U na podzbir V tej przestrzeni. Pokaemy,
e V jest otwarte w E".
Dla dowodu, niech qeV. Niech p = h~l{q). Jest p e U . Wobec otwartoci
U istnieje sympleks n-wymiarowy A" zawarty w U z punktem p w swoim
wntrzu. N a mocy dowiedzionego twierdzenia punkt q h(p) naley do
wntrza (wzgldem En) zbioru h(An), a w rezultacie do wntrza zbioru V.
U w a g i . 1. Nie powinna myli pozorna tautologiczno twierdzenia.
Jeliby homeomorfizm h by homeomorfizmem caej przestrzeni E" na siebie, to
otwarto zbioru F w E" wynikaaby std, e homeomorfizmy przeksztacaj
podzbiory otwarte dziedziny na podzbiory otwarte obrazu, ktrym byaby
teraz przestrze E". W przypadku kiedy obraz jest h(U) dostalibymy
jedynie to, e h(U) jest otwarte w h(U), co jest prawd nic nie znaczc.
2.
M ona by poda nastpujcy sposb uzyskania twierdzenia o za
chowaniu otwartoci. Majc homeomorfizm h : An~*h(An), A" i h(A") le w E",
przeduamy ten homeomorfizm do homeomorfizmu g :
Na mocy
oglnej wasnoci homeomorfizmw, wspomnianej w poprzedniej uwadze,
zbir g (int A") jest podzbiorem otwartym przestrzeni E", ale g\An = h, std
h (int A") jest otwarte w E". Otrzymujemy, h (int A") c= int h(A"). Majc to, na
drodze ju znanej, dostalibymy twierdzenie o zachowaniu otwartoci.
Tego rodzaju dcwd przeprowadzi dla n = 2 Schoenflies (1906)<19) pokazu
jc, e homeomorfizm krka paskiego na podzbir paszczyzny ma przed
Nie istniej odwzorowania cige wzajemnie jednoznaczne przestrzeni euklidesowej na przestrzenie euklidesowe rnice si od niej wymiarem.
Chcc tego dowie, wczeniej jest dobrze wiedzie, e:
Odwzorowanie cigle wzajemnie jednoznaczne przestrzeni euklidesowej na
przestrze euklidesow jest homeomorfizmem, czyli e odwzorowanie do od
wrotne jest cige.
Std, rwnie i w twierdzeniu o zachowaniu otwartoci, wystarczyoby
zakada zbir, e V jest obrazem cigym wzajemnie jednoznacznym zbioru U.
5.
Twierdzenie o zachowaniu otwartoci wyraa wan wasno prze
strzeni euklidesowych, ktrej na og nie maj inne przestrzenie.
Dla przykadu, pprosta y ^ a nie ma wasnoci zachowania otwartoci.
illlp
i !
Q
o
iPllDIlD
(21)
W. S i e r p i s k i, O kriwoj sodieraszczoj w siebie obrazy wsiakoj kriwoj, Matiematiczeskij
Sbomik 30 (1916), 267287; w Oeuvres choisies w t. II, s. 107 119; A. S. P a r c h o m i e n k o ,
Co to je st linia, Warszawa 1961, rozdz. III, s. 90.
S" {p} i S" {g}, q # p. Jeliby sfera Sn miaa zanurzenie w En, to obraz
kadej ze wspomnianych dwu czci byby, na mocy twierdzenia o zachowaniu
otwartoci, otwarty w ", std byby otwarty te obraz ich sumy, czyli obraz Sn.
Obraz sfery S" jest jednak zwarty, a wic domknity i ograniczony, w szczegl
noci nie wypeniajcy caoci En. Mielibymy w En podzbir niepusty
domknito-otwarty, rny od caoci, co jest sprzeczne ze spjnoci En.
2. Przez rozmaito n-wymiarow rozumie si przestrze, ktrej kady punkt
ma otoczenie homeomorliczne z En (przykad: sfera S"). Jeli M jest rozmaito
ci zwart, N rozmaitoci spjn, obie a h :M -* N jest zanurzeniem, to HM) = N.
Istotnie, istnieje pokrycie n-wymiarowe, rozmaitoci M zbiorami otwartymi
homeomorficznymi z En. Obraz h(U) kadego z nich jest podzbiorem otwartym
rozmaitoci N , co wynika z twierdzenia o zachowaniu otwartoci (zbir h(U)
jest zawarty w zbiorze homeomorficznym z En, jeli U jest dostatecznie mae).
Zbir h(M) jako suma zbiorw h(U) jest otwarty, jest natomiast domknity
jako obraz zbioru zwartego. Jeliby h(M) ^ N, to mielibymy sprzeczno ze
spjnoci N.
3. Dowiedlimy, e Ji(int An) cz int (zT), jeli h jest homeomorfizmem sym
pleksu An lecego w E" na zbir lecy w En (symbol int oznacza wntrze
wzgldem "). Pokaemy teraz, e prawdziwa jest rwno.
Pokaemy wicej: Jeli A jest podzbiorem zwartym przestrzeni En i h jest
homeomorfizmem zbioru A na podzbir przestrzeni En, to /i(int A) = int h(A).
Wyniknie ju std bezporednio, e h odwzorowuje brzeg zbioru A na brzeg
zbioru h(A); w szczeglnoci, h(A) jest rzadkie, jeli A jest rzadkie.
Dowd inkluzji /i(int A) c int h(A) jest prostym przeniesieniem dowodu
z przypadku A A.
Dla dowodu inkluzji przeciwnej wemy w zbiorze A punkt p taki, e
h(p) e int h(A). Istnieje sympleks n-wymiarowy zawarty w h(A) taki, e h(p)e
eint A. Na mocy twierdzenia o zachowaniu otwartoci punkt h(p) (warto
w punkcie p homeomorfizmu h~ l) ley w int/j_ (J), a wic w int A.
4. Mniej oczywiste s zastosowania twierdzenia o zachowaniu otwartoci
w teorii uniformizacji funkcji analitycznych, ktre byy dla Brouwera motywa
cj do poszukiwania dowodu (por. ksik G. M. G o u z i n a , Gieomietriczeskaja tieoria funkcji kompleksnogo pieriemiennogo, MoskwaLeningrad, 1952,
na s. 258, V, T 6, Tieoriema 2). Wrd swych twierdze o przestrzeniach
euklidesowych twierdzenie o zachowaniu otwartoci Brouwer uwaa za
najwaniejsze.
*
<22* Jeden z dwu opisw tej krzywej pochodzcych z pracy Sierpiskiego (1916) polega na
kontynuowaniu procedury usuwania jednego na przykad prawego grnego spord czterech
kwadratw powstaych przy rozciciu kwadratu na cztery rwne czci. W. S i e r p i s k i
O krzywej, ktrej kady punkt je st punktem rozgazienia, Prace Matematyczno-Fizyczne 27 (1916),
7786; w Oeuvres choisies, t. II, na s. 99 106.
101
102
y
f
-------- > x
2.
Jeli istnieje retrakcja r : Q"-Q", to przyporzdkowanie x-*r(x)-* r(x)
okrela odwzorowanie cige kuli w siebie nie majce punktw staych; przez
a jest oznaczona antypoda punktu a.
W twierdzeniu Brouwera o punkcie staym trzymamy si wersji z kul Q"
nie musi si zakada, e wszystkie wartoci odwzorowania le w Q \
chocia pewne ograniczenia s konieczne.
Twierdzenie. (Bohl, 1904(29)). Jeli fje s t odwzorowaniem cigym kuli Q" w E"
takim, e
(20)
dla punktw x sfery Sn~ 1 i X > 0 jest zawsze f(x ) x ^ Xx (wartoci f(x)
nie le na przedueniu wektora x, jeli x e S n~L), to f(x ) = x dla pewnego x.
y
W szczeglnoci, jeli f jest odwzorowa
niem cigym kuli Qn w En, przeksztacajcym
brzeg SH~l kuli Qn w Qn, to f(x ) = x dla
pewnego x lecego w Qn
D o w d . Niech r bdzie retrakcj En na
Qn dan wzorem r(x) = x/\x\ dla x spoza Q"
(przyjmujemy, e Q" jest kul jednostkow
|x| = 1). Odwzorowanie r o f jest odwzoro
waniem cigym Q" w Qn. Niech x bdzie
punktem staym, r(/(x)) = x, istniejcym na
mocy twierdzenia Brouwera. Warunek (20) implikuje naleenie /(x ) do Qn,
ale r jest tosamoci na Qn, wic std r(/(x)) = f(x), a w rezultacie /(x ) = x.
U w a g a . Rnica /(x ) x interpretuje si geometrycznie jako wektor
zaczepiony w x czcy punkty x i/(x ). Razem wic rnice g(x) = / ( x ) - x
okrelaj Q" pole wektorw, cige.
Twierdzenie Bohla orzeka, e pole cige wektorw na Q" zeruje si
w pewnym punkcie kuli Qn, chyba e na S'1 1 ktry z wektorw g(x) tego
pola ma kierunek wektora x.
Jeli analogiczn interpretacj zastosuje si do twierdzenia Brouwera, to
orzeka ono, e pole cige wektorw na Qn, nie majce na S"~1 wektorw
skierowanych na zewntrz Qn, zeruje si w pewnym punkcie kuli.
Nie zerujce si pole cige wektorw
jest nazywane zaczesaniem. Twierdzenie
Bohla gosi, e kula euklidesowa nie ma
zaczesania, chyba e dozwolimy, by w pe
wnym punkcie na jej sferze wektor pola
mia kierunek normalnej skierowanej na
zewntrz.
Nie naley tego twierdzenia jednak
myli ze znacznie trudniejszym twierdze
niem o niezaczesywalnoci sfer wymiaru
Rys. 76. Niezaczesywalno kuli
parzystego*30*.
(29) Praca cytowana w przypisie (1). Twierdzenie zawiera w sobie twierdzenie Brouwe
ra. Mimo to twierdzenia o punkcie staym dla kuli nie przestajemy nazywa twierdzeniem
Brouwera.
,30> Twierdzenie z pracy Brouwera cytowanej w przypisie (1). Dowd wykracza poza metody
stosowane w tych wykadach.
/ ( x) g S "-1
i
(22)
f(x )
x,
to M * ) = Q.
D o w d . Jeliby Q" /(Q n) # 0 , to biorc punkt p w Qn f(Q n) i retrakcj
r : Q" {p} - S"~1, dostalibymy odwzorowanie cige r o f : Q n->Q". Na
mocy twierdzenia Brouwera o punkcie staym jest r(f(x)) = x dla pewnego
x z kuli Qn. Ale zbir wartoci odwzorowania ro / ley w Sn~l , wic x e S n~ i ,
skd wobec (21), f(x )e S " ~ 1. Std x = r(f(x)) = f(x), wbrew (22).
Wniosek. Jeli f jest odwzorowaniem cigym Qn w Q takim, e dla x le
cych na Sn~ i jest zawsze
/(x ) = - x ,
t f ( Q K) = Qn.
Inaczej, odwzorowanie cige kuli bdce na brzegu antypodyzmem jest
odwzorowaniem na. W szczeglnoci, niemoliwe jest odwzorowanie cige Qn
w Qn~1 bdce na brzegu antypodyzmem.
Przypomnijmy, e to samo jest prawd, jeli zastpi antypodyzm to
samoci. Wsplne uoglnienie obu twierdze bdzie dowiedzione dalej
w wykadzie 5.
105
Nie wszystkie przestrzenie maj wasnoci punktu staego. Nie maj jej
przestrzenie euklidesowe, ktre wystarczy przesun po sobie, aby wszystkie
punkty zmieniy pooenie. Nie maj jej sfery. Antypodyzm, przeprowadzajcy
punkty sfery na przeciwlege, jest jednym z przykadw. Nietrudne dowody
nastpnych kilku twierdze s pozostawione bez dowodw.
Jelii3i) przestrze jest sum dwu podprzestrzeni domknitych przecinajcych
si w jednym punkcie i kada z tych podprzestrzeni ma wasno punktu staego,
to ma j rwnie przestrze.
Wynika std midzy innymi, e triody i (przez indukcj) wszelkie dendryty
skoczone (tj. grafy bez wielobokw zamknitych) maj wasno punktu staego,
co moe by punktem wyjcia dla dowodu, e wszelkie dendryty (tj. kontinua
metryczne lokalnie spjne nie zawierajce krzywych zwykych zamknitych)
maj wasno punktu staego.
Jeli f : X -* X jest odwzorowaniem cigym przestrzeni metrycznej zwartej
takim, e dla kadego e > 0 istnieje x takie, e odlego f ( x ) od x nie przekracza
e, to f ma punkty stae.
K ontinuum jest nazywane wowym podobnym do odcinka^2) jeli dla
kadego e > 0 istnieje odwzorowanie tego kontinuum na odcinek, nie iden
tyfikujce punktw bdcych w odlegoci wikszej ni e.
Kontinua wowe maj wasno punktu staego(33).
Jeli przestrze zwarta metryczna ma dla kadego e > 0 retrakcj na
podprzestrze z wasnoci punktu staego i ta retrakcja nie zmienia pooenia
punktw wicej ni o e, to przestrze ma wasno punktu staego.
Retrakcja kostki Hilberta na kostk euklidesow I" dana wzorem r({x1(
x 2...... } = {x1(. .. , xm 0,...} nie zmienia pooenia punktw wicej ni
o l/( n + l). Poniewa kostki euklidesowe maj wasno punktu staego, wic
z ostatniego twierdzenia wynika, e kostka Hilberta ma wasno punktu staego.
,31> To twierdzenie mona znale w pracy K. B o r s u k a , Einige Stze ber stetige
Streckenbilder, Fundamenta Mathematicae, 18 (1932), 198213.
106 Proceedings of the AMS 2 (1951), 173 174; inny dowd por. wykad 5.
107
matematykw
licie i kwiat,
Stoka.
barwami bia
i czarn, tak e pola w dowolnym lewym narou i grnym prawym s czarne, a wiea nie ma drogi po
biaych polach czcej pola na krawdzi szachownicy przedzielone wspomnianymi dwoma naroami,
to krl moe przej po czarnych polach od jednego do drugiego naroa.
112
ak e Uk cz gwA*ak.
(wczesne lata dwudzieste). N a temat genezy i rozwoju poj o wymiarze topologicznym mona
przeczyta w ksice R. D u d y, O pojciu wymiaru, Warszawa, PZWS, 1972, oraz w artykule tego
autora w Colloquium Mathematicum 42 (1979), 95110.
Teoria wymiaru od samego pocztku miaa dwa zasadniczo rne ujcia: oprcz po
kryciowego take ujcie indukcyjne wice wymiar wprost z wasnociami rozcinania. W zakresie
przestrzeni i zbiorw tu rozwaanych oba ujcia si pokrywaj, ale ta rwnowano nie jest
oczywista.
8
Wykady z topologii
113
Jeli U0 ,..., U jest rodzin skoczon zbiorw, to przez jej nerw rozumie si
triangulacj, ktrej wierzchokami s U0,...,U n, a sympleksami s te podrodziny Uio,...,Uik, dla ktrych U ^ n ...n JJly * 0 .
U.
115
O d w z o ro w a n i e w nerw pokrycia.
Niech P = {U 0,...,U} bdzie pokryciem skoczonym przestrzeni nor
malnej X zbiorami otwartymi. Niech N (P) bdzie nerwem pokrycia P zrealizo
wanym jako zbir pewnych cian sympleksu A" = A (a0 a j wedug pier
wszego twierdzenia o realizacji, gdzie wierzchoek Uk nerwu jest utosamiony
z wierzchokiem ak sympleksu A"; przy tym przyporzdkowaniu wierzchoki
aio,...,alk s wierzchokami sympleksu w N (P), jeli Uio n ... n Uik ^ 0Niech {V0,..., Vn} bdzie pokryciem przestrzeni X zbiorami otwartymi
takimi, e
Vk cz cl Vk cz Uk dla kadego k
(istnienie zapewnia lemat o zmniejszaniu zbiorw w pokryciach). Niech
f k : X - [0, 1] bdzie funkcj cig (istniejc na mocy lematu Urysohna)
tak, e
1 dla x g Vk
0 dla x g X Uk.
Wemy pod uwag odwzorowanie / : X -+ An dane wzorem
fix ) = (fo(x)a0 + - + f n(x)an) /( f0(x) + ...+ f n(x)),
poprawnym (bo mianownik nigdzie si nie zeruje) i zapewniajcym cigo.
Zauwamy, e / (x) e |N (P)| dla kadego X.
Istotnie, niech x e X i niech {Uio,..., Uik} bd wszystkimi zbiorami po
krycia P, do ktrych naley x. Wtedy f }(x) = 0, jeli j $ {i0,...,ik}, co
znaczy, e /(x) e A (ah,...,aik); ale sympleks A
aik) naley do N(P), bo
Uio n ... n Uik # p. Std, f( x ) e \N(P)\.
Odwzorowanie / jest wic odwzorowaniem w bry nerwu pokrycia;
nazwijmy je (ze wzgldu na sposb konstrukcji) odwzorowaniem w nerw
pokrycia.
Mamy
Odwzorowania cige przestrzeni metrycznych, dla ktrych rednice przeciwobrazw punktw s mniejsze ni e, s nazywane E-odwzorowaniami.
Jeli X jest przestrzeni metryczn zwart i dim X <n, to dla kadego
e dodatniego przestrze X ma pokrycie krotnoci ^ n + 1 zoone ze
zbiorw otwartych o rednicy < e; takie pokrycie mona znale wrd
wpisanych w pokrycie kulami o rednicy < e. Ta uwaga, wobec prze
prowadzonej konstrukcji odwzorowa w nerwy pokry, pozwala na na
stpujcy
Wniosek. Przestrze metryczna zwarta wymiaru < n ma dla kadego
dodatniego E-odwzorowanie w wielocian wymiaru < n.
* *
118
f ( x ) e f ( U u) n . . . n f ( U J ,
g(x) e gw mPio u... gw w p ik.
120
(1)
Jeli Y jest przestrzeni metryczn, to za odlego odwzorowa/ i g zbioru X w prze
strze Y uznajemy
sup
g (x)): x e X },
f ~ g i g ~ h = > f ~ h ,
przyjmujc, e supremum jest < oo. Zastrzeenie to nie jest potrzebne, np. w przypadku gdy X jest
przestrzeni zwart, a odwzorowania s cige. Wtedy zbir odwzorowa X w Y staje si
przestrzeni metryczn.
Przy ustalonym t (po obciciu do X x {t}) homotopia H: X x I -> Y jest odwzorowaniem
cigym ht: X - Y. Z cigoci homotopii H (ta cigo jest w istocie jednostajna) wynika, e dla
kadego e > 0 istnieje 5 > 0 takie, e
|t - t!\ < S = d (H (x, t), H (x, tO)
/ '
= > fg
= * / 'o
0,
/ ~ / ' => h o f h o f
123
124
<3) Klasy homotopii odwzorowa S" -* S", n > 0 s w odpowiednioci wzajemnie jedno
znacznej z liczbami cakowitymi i s zdeterminowane stopniem odwzorowania twierdze
nie Hopfa; dla n = 1 stopie odwzorowania jest omawiany w wykadzie 9; dla dowolnego
wymiaru por. np. P. H i l t o n , A n introduction to homotopy theory, Cambridge University
Press 1953.
125
gf -
1*
fo g -
Rys. 84. Wstga Mbiusa jest powierzchni powsta z prostokta paskiego przez sklejenie
dwu przeciwlegych bokw tego prostokta za pomoc homeomorfizmu zmieniajcego orientacj,
np. przez utosamienie ze sob w prostokcie 0 < x ^ 1, 0 < y < 1 par punktw (0, y) i (1, 1y).
Po sklejeniu para bokw y = 0 i y = 1 tworzy okrg brzeg wstgi Mbiusa
Ale, mniej oczywiste jest to, e okrg i wstga M biusa ^ maj ten sam typ
homotopii.
Odcinek y = 1/2 przechodzi po sklejeniu w okrg lini rodkow wstgi
dla x e A .
oraz
G(x, 0) = /(x )
dla x e X .
F(x, t)
f(x ) dla x e X i t = 0.
(6)
K. B o r s u k, Sur le prolongement des transformations continues, Fundamenta Mathematicae
28 (1937), 99 110.
Twierdzenie o przeduaniu homotopii pozostaje prawdziwe przy zaoeniu jedynie nor
malnoci przestrzeni X , czego dowid M. S t a r b i r d , Products with a compact factor, General
Topology and its Applications 6 (1976), 297303, ale dowd si utrudnia. Jeli zaoy
wicej, a mianowicie, e przestrze X x I jest normalna, to dowd jest prost adaptacj
z przypadku metrycznego. Normalno produktu X x I nie wynika z normalnoci przestrzeni X ;
M. E. R u d in, A normal space X fo r which X x 1 is not normal, Fundamenta Mathematicae 73
(1971), 179 186.
129
9
Wykady z topologii
:
X
-
[0, 1] taka, e (p(x) = 1 dla x e A
m
-M
i (p(x ) = 0 dla x e X V.
Punkty
(x,t(p(x)),
gdzie
xeX
i 0 < t < 1, le wszystkie w zbiorze
V x 1 u X x {0}, a wic w zbiorze U
bdcym dziedzin odwzorowania F'.
i k
Std, moliwo okrelenia odwzoro
Rys. 86. Wykorzystanie zwartoci
wania
odcinka
G(x,t) = F'(x, ttp(x ))
dla
x eX
i 0 < t < 1, ktre jest zapowiedzian homotopi G : X x I -* Sn. Mamy
bowiem:
dla x e X , oraz
G(x, t) = F'(x,t(p(x)), = F'(x, t) = H (x, t)
dla x e A i 0 < t
1.
dla x e X .
131
T w i e r d z e n i a o p u n k t a c h incydencji.
Jeli f i g s. odwzorowaniami okrelonymi na tej samej przestrzeni X
o wartociach w tej samej dla obu odwzorowa przestrzeni, to punkt x prze
strzeni X taki, e f(pc) = g (x), jest nazywany punktem incydencji odwzorowa
f i g . Punkty stae to punkty incydencji odwzorowania z tosamoci.
Jest atwo dowie, e
Odwzorowania cige z kontinuum na odcinek domknity prostej, z ktrych co
najmniej jedno je s t odwzorowaniem na, maj punkt incydencji.
Analogiczne stwierdzenie dla Qn, n > 2, nie jest prawdziwe.
\ \
c
Rys. 87. Konstrukcja odwzorowania /
132
(7)
W. H o l s z t y s k i , Universal mappings and fix e d point theorems. Bulletin de lAca
Polonaise des Sciences 15 (1967), 433 438.
Punkty x takie, e f(x ) g(x), mog lee na ukach C A C i C'AC , ale jeli
te uki dobra tak, by byy rozczne, to tego rodzaju punktw nie bdzie;
mogyby te lee na rednicy AA', ale f(A A ') = O A i g(AA) = OA i jeli
punkty O i O' dobra tak, by OA! i O A byy rozczne, to i tego rodzaju
punkty incydencji dla / i g rwnie si nie pojawi.
Przy spenieniu wymienionych dodatkowych warunkw jest wic zawsze
f(x ) ^ g(x).
Twierdzenie (okuciewski, 1957)(8) (por. Dugundji-Granas, s. 50). Jeli
g ' Q n -* Q " je s t odwzorowaniem takim, e g |5 'l_1 : S1"-1 -> S"-1 i g \S n~ l
je s t odwzorowaniem istotnym jako odwzorowanie S n~ 1 w S"- 1 , to g ma punkty
incydencji z kadym odwzorowaniem f : Q n -* Qn.
(8) Lemat i dalsze twierdzenia pochodz z pracy O. W. o k u c i e w s k i e g o , Odna tieorema
o niepodwinoj toczkie, Uspiechi Matiematiczeskich Nauk 12, wyp. 3 (75) (1957), 171 172.
Twierdzenia te mona znale rwnie w kilku innych pniejszych pracach: Helga S c h i r m e r ,
A Brouwer type coincidence theorem, Canadian Mathematical Bulletin 9 (1966), 443 447;
M. M. D o d s o n , A Brouwer type coincidence theorem and the jundamental theorem o f algebra.
Canadian Mathematical Bulletin 27 (1984), 478480.
133
f ( x ) ~ 9 (x) ^ A g(x)
dla
x e Sn~ i
i X > 0, to /(x) g (x) dla pewnego x,
X G QB.(9>
Przypadek Bohla: g = tosamo.
Rys. 89. Twierdzenie okuciewskiego
Odwzorowanie cige / X - Qn jest
nazywane odwzorowaniem istotnym na kul
Qn, jeli odwzorowanie
:/ - 1 (S"_1) -> S"_1 nie ma przeduenia
na X , tj. jeli nie istnieje odwzorowanie cige f ' : X - S '1 1 takie, e
f ' ( x) = f ( x) dla x
Odwzorowanie istotne f: X - Qn jest od
wzorowaniem na (w przeciwnym razie, biorc retrakcj r zbioru f ( X ) na
S"-1 , odwzorowanie r o f: X -> S"-1 byoby przedueniem odwzorowania
y V _ 1 (S A) na X).
Jeli f : X Q" je s t odwzorowaniem istotnym na Qn, to odwzorowanie
-------- T---------------1
1
-d
1
1
1
-------- i-----------------
, -------------------
1
1
- 9 fc) = 9 fd)
1
1
i-------------------
g(t>)
Qn-
Zastosowania.
Twierdzenie okuciewskiego (1957, Odna tieorema...). Jeli przestrze m et
ryczna zw arta ma dla kadego e > 0 odwzorowanie istotne na kul euklidesow,
bdce E-odwzorowaniem (wymiar kuli zaley od e), to ma wasno punktu
staego.
135
136
zatem (na mocy twierdzenia ze s. 131) przeduy na ten sympleks (jeli nie
nalea do K ). W ten sposb odwzorowanie przedua si (sympleks za
sympleksem) na cay szkielet /c-wymiarowy triangulacji K .
Jeli wymiar wielocianu X jest rwny n, to na mocy przeprowadzonego
rozumowania indukcyjnego dostajemy przeduenie odwzorowania / na
cae X , a wic pierwsz tez twierdzenia.
Jeli wymiar wielocianu X jest ^ n + 1 i A jest sympleksem (n + ^-wy
miarowym triangulacji T, to pewne przeduenie odwzorowania / jest okre
lone na brzegu sympleksu A. Mona je przeduy na sympleks A pozba
wiony jednego z jego punktw. W ten sposb, biorc pod uwag to, e
rozwaanych sympleksw jest skoczenie wiele, dostajemy drug tez twier
dzenia.
Dodajmy, e dla wielocianw wymiaru > n nie da si otrzyma lepsze
go rezultatu. Biorc bowiem w tego rodzaju wielocianie sympleks A,
(n + 1)-wymiarowy, i brzeg dA tego sympleksu, widzimy, e odwzorowania
tosamociowego na dA nie mona przeduy do odwzorowania A -> dA, tym
bardziej do odwzorowania caego wielocianu w dA. Brzeg sympleksu A to
przypomnijmy jest homeomorficzny z S".
Wniosek413). Wymiar - geom etryczny - wielocianu je st rwny n w tedy i tylko
wtedy, gdy kade odwzorowanie cigle z jego podzbioru domknitego w sfer S"
ma przeduenie na cay wielocian i gdy nie je s t to ju prawd dla odwzorowa
w sfer Sn~ l .
Wniosek. W ielociany rnice si wymiarami - geometrycznymi - nie s
homeomorficzne.
Dzieje si tak dlatego, e rni si wasnoci topologiczn sformuowan
w poprzednim wniosku.
Stwierdzenie zawarte w tym wniosku znalimy ju wczeniej: wielociany
rnice si wymiarami geometrycznymi nie s homeomorficzne, poniewa rni
si wymiarem pokryciowym (dim); wykad 4, s. 114.
138
xeA ,
je st istotne.
f(x ) = x /|x |,
xeA .
x g
A,
0 ^ t < 1.
xeA .
co przy |x| < \q'\ (przypomnijmy, e \q'\ > 1, x e A i e zbir A jest zawar
ty w kuli |x| 1) jest niemoliwe.
2. Zamy, e punkt q = 0 ley w skadowej ograniczonej, ktr oznaczy
my przez U zbioru E nA . Przypumy a contrario e odwzorowanie
/ dane wzorem (3) jest nieistotne. Na mocy twierdzenia z poprzedniego
wykadu, wniosku z twierdzenia o przeduaniu homotopii, odwzorowanie/ ma
przeduenie na zbir A u U . Poniewa O e U i brzeg zbioru A u U jest zawarty
w zbiorze A, na ktrym odwzorowanie jest okrelone wzorem (3), od
wzorowanie okrelone dotd na i u [ / mona przeduy wzorem (3), tj.
wzorem x /|x |, na reszt punktw przestrzeni E". Poniewa zbir A wraz ze
skadow U ley w kuli |x| < 1, wic przeduone odwzorowanie jest dane na
sferze |xj = 1 wzorem x /|x |, czyli jest tam tosamoci. Dostalimy zatem
odwzorowanie kuli |x| ^ 1 w sfer |x| = 1, tosamociowe na tej sferze.
Sprzeczno z twierdzeniem o niemoliwoci retrakcji kuli na brzeg.
Twierdzenie Borsuka o rozcinaniu (1932)(2). Podzbir zw arty przestrzeni
euklidesowej E n, n S5 2, rozcina E" w tedy i tylko wtedy, gdy ma odwzorowanie
istotne w
142
(2)
K. B o r s u k , tame. Twierdzenie to wynika rwie z twierdzenia Aleksandrowa
thematische Annalen, 106 (1932), s. 161238 (samo twierdzenie na s. 226); por. tum. ros.
(z komentarzem) w zbiorze prac Tieorija razmiemosti i smienyje woprosy; sta tji obszczego
charaktiera P. S. A l e k s a n d r o w a , Moskwa 1978, s. 60 154. Aleksandrw sformuowa
i dowid swego twierdzenia w konwencji teorii homologii.
144
(3)
To, e wasno rozcinania paszczyzny przez zbir zwarty zaley jedynie od typu
topologicznego zbioru, zauway pierwszy B r o u w e r w pracy Beweis des Invarianz der ge
schlossenen Kurve, Mathematische Annalen 72 (1912), s. 422425; w Collected Works, t. II,
s. 523526.
<4) L. E. 1. B r o u w e r , Beweis des Jordanschen Satzes f r n-dimensionalen Raum, M a
thematische Annalen 71 (1912), s. 314319; w Collected Works, t II, s. 489497.
(5) Na przykad poprzez wprowadzenie pojcia stopnia odwzorowania.
" - h(Sn~ 1) = G v H ,
gdzie G i H s zbiorami niepustymi, rozcznymi i otwartymi w E" h(S n~ 1);
s one otwarte rwnie w E n.
Skadniki prawej strony wzoru (4), jako spjne, zawieraj si, kady
w innym (wynika to z niepustod zbiorw G i H ), w zbiorach G i H. S rwne
tym zbiorom, bo w sumie daj G u H .
Wynika std w szczeglnoci, e zbir h(Q" S"_1), jako rwny jednemu ze
zbiorw G i H , jest otwarty. Jest to zapowiedziane otoczenie, otwarte w E",
punktu q zawarte w V.
Jeli do krzywej zwykej zamknitej doczy si uk majcy z ni jeden
punkt wsplny, to nie rozetnie on adnej skadowej dopenienia tej krzywej do
paszczyzny.
Korzystalimy z tego przy okazji wyprowadzania wzoru Eulera. W dowol
nym wymiarze (niekoniecznie 2) mamy:
Twierdzenie. Jeli zbiory zw arte A i B nie rozcinaj przestrzeni E n i ich
przekrj A n B je s t jednopunktowy, to ich suma A u B nie rozcina prze
strzeni E.
D o w d . Niech p bdzie (jedynym) punktem wsplnym zbiorw A i B.
Niech f : A u B -* Sn~ x bdzie odwzorowaniem cigym. Pokaemy, e jest
nieistotne, co zakoczy dowd.
Odwzorowanie / 1A : A - * S n_1 jest nieistotne, bo A nie rozcina E n. Roz
wamy homotopi F : A x [0,1] >S"-1 zaczynajc si (t = 0) odwzorowa
niem / 1A i koczc si odwzorowaniem staym. T homotopi przedumy
(lemat o przeduaniu homotopii) do homotopii G : (A u B ) x [0,1] - S"~l
zaczynajcej si odwzorowaniem f. Odwzorowanie g : A u B - + S " ~ l , kt
rym ta homotopi si koczy (t = 1), jest stae na A (wartoci sta
jest g(p) F(p, 1)). Odwzorowanie g \ B jest nieistotne, poniewa B nie
rozcina E". Wemy wic pod uwag homotopi H : B x [1,2] - Sn~ l zaczy
najc si (t 1) odwzorowaniem g \B i koczc si odwzorowaniem
staym. T homotopi przedumy do homotopii K : ( A u B) x [1,2] -* S n-1
okrelonej na punktach (x, t ) gdzie x e A , wzorem K (x, t) H(p, t).
Hom otopi K czy odwzorowanie g z odwzorowaniem staym w punkcie
H(p, 2). Dosztukowanie homotopii K ( 0 ^ t ^ 2 ) do homotopii F, G i H
(por. rys. 94) daje homotopi czc odwzorowanie / z odwzorowaniem
staym.
Zatem, dowolne odwzorowanie cige z A u w S " ' 1 jest nieistotne, a wic
A u B nie rozcina przestrzeni Sn.
Dla prawdziwoci twierdzenia nie wystarczyoby zaoy, e przekrj A n B
jest spjny, bo na przykad sfer S 2, rozcinajc E 3, mona przedstawi jako
146 sum dwu psfer o przekroju spjnym (rwnik sfery S 2); adna z psfer
147
U c f ~ x(gw\T\a)
dla pewnego wierzchoka a triangulacji T. Ustalmy jeden z tego rodzaju
wierzchokw. Oznaczajc ten wierzchoek symbolem a (U), mamy
g ~ l (gw\N(?)\U) c f~ '-{g w \n a{U)).
= / _ 1 few |r|a(^i))
= 3 1(3 V|w(^)|
n n 0 W|jv(.)| t/t) # 0 .
a w rezultacie
h(g(x)) = AVi(g (x)) a (U J + ... + AUk(g(x)) a (U J,
Std
prawdziwo
twierdzenia
o konfiguracji 0 (wykad 1, s. 31), rozRys. 94. Krzywa zwyka zamknita
ciga si na konfiguracje w ksztacie
zawierajca odcinek prostoliniowy
litery 6 majce na co najmniej dwu
ukach odcinki prostoliniowe (bo wte
dy kada z trzech krzywych zwykych zamknitych pojawiajca si w kon
figuracji 0 zawiera odcinek prostoliniowy, co pozwala adaptowa dowd znany
z przypadku wieloktowego). Bdziemy teraz korzysta z tak poszerzonego
twierdzenia o konfiguracji 0.
Twierdzenie. K rzyw a zw yka zamknita je s t brzegiem nie wicej ni dwch
obszarw.
Niech S i T bd punktami na W
przedzielajcymi punkty P i Q. Popro
wadmy w obszarze G aman cz
c S i T .
Idc wzdu tej amanej od S do T,
przecinamy uki A i B (twierdzenie
o krzywej 6 majcej na dwu ukach
odcinki prostoliniowe). Przymijmy, e
pierwszy jest przecity uk A. Niech S'
Rys. 96. Dowd twierdzenia Jor
bdzie pierwszym, a S" ostatnim punk
tem uku A na amanej od S
dana
do T.
Twierdzimy, e fragment amanej od S" do T przecina uk B.
Jeliby tak nie byo, to uk zoony z odcinka amanej od S do S', uku A
od S' do S" i fragmentu amanej od S" do T i czyby S i T omijajc uk B, co
przeczyoby poszerzonemu stwierdzeniu o konfiguracji 0 (t konfiguracj jest
teraz konfiguracja W vj B).
Niech wic T " bdzie pierwszym punktem na amanej od S" do T le
cym na uku B. Niech H bdzie t skadow dopenienia krzywej K , w kt
rej ley z wyjtkiem kocw odcinek S T" rozwaanej amanej.
Niech T ' bdzie ostatnim na amanej S T punktem uku B.
Pokaemy, e poza skadow H i skadow nieograniczon dopenienie
krzywej K nie ma innych skadowych.
Przypumy, e H ' jest t trzeci skadow. Rozwamy krzyw Q zoon
z wielokta W i uku czcego S i T, zoonego z odcinkw: SS', T 'T i S"T"
poprzednio rozwaanej amanej od S do T ' i ukw S'S" (na uku A) oraz T"T'
(na uku B). uk ten nie ma punktw wsplnych ze skadow H'. Dlatego
skadowa H' ley w jednej ze skadowych dopenienia rozwaanej tu krzy
wej 0 (to, e nie ma punktw wsplnych z pozostaymi dwoma ukami tej
krzywej, jest oczywiste). Std jeden z punktw, P lub Q, nie ley w domkniciu
skadowej H, a wic nie ley na jej brzegu. Sprzecznoc z twierdzeniem, wedug
ktrego krzywa K jest brzegiem kadej skadowej swego dopenienia.
Udowodnilimy w ten sposb:
Twierdzenie Jordana (1893)<2). K rzyw a zw yka zamknita rozcina paszczyzn
na dwa obszary i je s t ich wsplnym brzegiem.
M ona zapyta: Czy moliwe s na paszczynie (i w przestrzeniach
euklidesowych wyszych wymiarw) trzy obszary majce wsplny brzeg?
(2)
Camille J o r d a n , Cours d Analyse de iEcole Polytechnique I (1983). Dowd Jordana by
niewystarczajcy. Najbardziej znanym dowodem jest dowd Brouwera (1910), ktrego ide mona
odnale w G rundzge... (1914) H a u s d o r f f a. Wedug Brouwera pierwszy poprawny dowd
poda V e b 1e n (1905). Podany tu dowd jest wzorowany na dowodzie z ksiki E. E. M o i s e a,
Geometrie topology in dimensions 2 and 3, Springer 1977, s. 31 i dalsze.
Wsplny brzeg trzech lub wicej obszarw paskich musi mie osobli
w budow, czego mona si domyli z opisanego przykadu. U Brouwera
ten wsplny brzeg okazywa si kontinuum nierozkadalnym, tj. nie daj
cym si przedstawi w postaci sumy dwch kontinuw, z ktrych adne nie
jest caoci. Kontinua o prostej budowie maj na og tego rodzaju rozkad.
Ale ju kontinuum wowe (s. 137, wykad 5) jest nierozkadalne.
<3) L. E. J. B r o u w e r , Z u r Analysis Situs, Mathematische Annalen 68 (1920), s. 422434;
w Collected Works, vol. 2, s. 352370 z komentarzem. Konstrukcja Brouwera bya odpowiedzi
na bdne przypuszczenia S c h o e n f l i e s a z ksiki Die Entwicklung der Lehre von Punkt
mannigfaltigkeiten II, Leipzig 1908, co do budowy brzegw obszarw paskich. Patrz uwagi na ten
temat u Wilkosza, s. 2829.
w Kuniz Y o n e y a m a , Theory o f continuous set o f points, Thoku Mathematical Journal 12
Twierdzenie Schoenfliesa.
Punkt p paszczyzny nazwijmy osigal
nym prostoliniowo ze zbioru A , jeli ist
nieje odcinek o kocu p i zawarty,
by moe poza jednym punktem p,
w zbiorze A.
Nie wymaga dowodu
Lemat 1. Zbir punktw brzegu ob
szaru osigalnych prostoliniowo z obszaru
je s t gsty w brzegu obszaru.
158
(8)
A. S c h o e n f l i e s , Beitrge zur Theorie der Punktmengen, Mathematische Annalen 62
(1906), s. 286328. Twierdzenie Schoenfliesa mona wyprowadzi rwnie z twierdzenia Riemanna
o odwzorowaniach konforemnych koa |z| < 1; por. I. L P r i w a o w , Wwiedienije w tieoriju funkcji
kompleksnogo pieriemiennogo, MoskwaLeningrad 1948, s. 391. Sam Riemann nie dowid swego
twierdzenia. Dowd poda C a r a t h d o d o r y ( 1 9 1 3 ) : C . C a r a t h e o d o r y , ber die Begrenzung
einfach zusammenhngender Gebiete, Math. Annalen 73 (1913), s. 323 370.
Dowd twierdzenia Schoenfliesa mona znale w ksice M. H. A. N e w m a n a , Elements o f
the topology o f plane sets o f points, Cambridge University Press, 1951; dowd mona rwnie
znale w ksice H. Z i e s c h a n g a , E . V o g t a i H . D. C o l d e w e y a , Powierchnosti i razrywnyje
gruppy, Moskwa 1988 (tum. z wyda niemieckich, 1980, 1981 s. 240259).
r p
r
i \
<
G
?0
111M SI
~ZAP" >
Q' rti{(Pr)=hfp>)
)j
*0 h(q,T
Q
=
F* f 9 r )
160
S) = g(Q -
S) u g (E 2 - Q) = h(Q - S) u g (E 2 - S).
161
162
>)
164
Rys. 109. Paszczyzna z usunitym punktem (a); przestrze z usunit prost (b)
w tym wykadzie.
Zwrmy uwag na to, e drogi i ptle s obiektami skierowanymi.
W okreleniu drogi jest wany nie tylko zbir, po ktrym droga biegnie, lecz
take parametryzacja.
Ustalmy, e drogi bd miay za dziedzin odcinek jednostkowy
7 = { s : 0 ^ s ^ l } . Droga w przestrzeni X od punktu x0 do punktu x t jest
wic odwzorowaniem cigym a : I - * X takim, e <x(0) = xo i ct(1) = x 1.
Drogi a i t od x 0 od x x nazwiemy rwnowanymi piszemy wtedy
a ~ t jeli istnieje homotopia H : I x I -* X taka, e
H (s, 0)
<r(s) i H (s, 1) =
t (s)
165
fff(2s), jeli Os
| t ( 2 s 1 ),
jeli
(ff- f t )
[G(2s 1, 0, jeli
dla wszelkich t.
rwnowanych.
----- ^ ----
(1)
(2)
- a = [-o -].
<r(2s), jeli
O s s =s$ t/2,
t/2 ^ s ^ (2 t) /2,
.ff(2 - 2s), jeli (2 t)/2 < s < 1.
x l5 jeli
(1 + t)/2 ^ s ^ 1.
a + ( + y) = (a + ) + y,
(4)
a + ( - a) = ( - a) + a = 0,
oraz e
(5)
a + 0 = 0 + a = a.
169
dla a nalecych do 71! (X, x0), gdzie a jest ptl reprezentujc element a.
Twierdzenie. Odwzorowanie >+ je s t izomorfizmem.
D o w d 1. jest homomorfizmem. Niech a i t bd ptlami w x 0. Naley
wykaza, e >+ ([<r]) + <p# ([t]) = <p+ fl>] + [t]).
Wynika to z rwnoci
((-tp ) + (T+(p)) + ({-(p ) + x + (p)) S = ((-cp) + a)) + ((> + (->)) + ( t + ) =
((->) + <x)) + (t + (p) s = (-cp) + (<r + t) + cp,
w Xi
T.
i \j/. Odwzorowanie
F(3s - 2, t),
2/3 < s ^ 1.
170
<4) Zaoenie ukowej spjnoci jest rwnowane zaoeniu, e kade dwa punkty przestrzeni
daj si poczy drog (por. przypis (2) do wykadu 5).
<s> Brzeg obszaru paskiego ograniczonego, w ktrym wszystkie ptle s zerowe, ma jedn
skadow; std nazwa jednospjno. S obszary dwuspjne, np. piercie paski, ktrych brzegi
maj wicej ni jedn skadow, co wskazuje, jak rozumie n-spjno. Terminologia pochodzi
jeszcze od Riemanna. W przestrzeni ten zwizek midzy grup podstawow a budow brzegu
obszaru zatraca si.
Rys. 117. ff t
(t)
171
H( 1, t) = x 0
172 (6)
O^t^l.
i t # 0,
drugi z wzorw daje G(0, 0) x0; dziedzin homotopii G jest zbir 0 < t < 1,
0 < u ^ 1/2.
Mamy G(uO) = t](2u) = H (1/2,2u) i G(u,l) = ct(2u) dla 0 < u < 1/2. Mamy
poza tym G(0, t) x 0 i G (l/2, t) = H (1/2, 1) =
Pozostaje dowie cigoci G.
Zauwamy najpierw, e dla 2u = t wzory okrelajce G zgadzaj si:
pierwszy daje H (1/2, t), a drugi f/(t), a wic to samo, na mocy (6).
Wzory zapewniaj cigo wszdzie poza (0, 0).
Wykaemy, e H (u/t, t) -* x0, jeli u - 0 i t - 0, co zapewni cigo
w (0, 0).
Wystarczy rozway zakres 2u ^ t; jest wtedy zawsze 0 < u /t ^ 1/2 (wic
(u/t, f) naley do zakresu okrelonoci H).
Niech bdzie dane e > 0. Wobec H(s, 0) = x 0 dla wszelkich s istnieje
5 > 0 takie, e jeli 0 < t < S, to odlego punktu x 0 od H (x, t) nie prze
kracza e. Zatem odlego H (u/t,t) od x 0 zatem nie przekracza e, jeli
0 <t^S.
*
tzl(X,
a )-* n ^ Y ,m )
grup podstawowych, dane wzorem /* ([<r]) = [f o a ], dla [ct] g 7t! (X, a).
Odwzorowanie
Niech
fo (a
t)
bowiem
= fo a
+ /
je s t homomorfizmem.
a i t bd ptlami
ot.
w a. atwo widzie, e
Std ju zapowiedziane stwierdzenie dostaje si pro
stym rachunkiem:.
/ ( M + M ) = f* 0 > + t] ) = [ / o f<r + t)] = [ f o a + f o T] =
(3 /)* =
gdzie
jest homomorfizmem grupy 7^ (Y, f( a )) w grup tci(Z, 3 (/(a))).
Formalnoci jest stwierdzenie, e dla odwzorowania tosamociowego
1_y przestrzeiii X jest
(8)
(1b)* = 1 i
i fg = * U ,
175
(9)
r o i = l s i.
! o r ~ 1M,
Zapowiedzian homotopi
okrelamy wzorem
H (z, t) = q(H'{x, y), ), 0 ^ t < 1,
gdzie (x, y) jest punktem takim, e q(x, y) = z. Mog by dwa tego rodzaju
punkty dla danego z. Jeli jednym z nich jest (0, y), to drugim jest (1, 1 y),
ale H '{0, y) H '( 1, 1 y), co zapewnia poprawno okrelenia homo
topii H.
Rwno
H(*, t) = *
dla kadego t, 0 < t ^ 1, jest oczywiste.
Wobec (10), na mocy ostatniego z dowiedzionych twierdze, wnioskujemy,
e zoenie
Xl(M , *)I^
(s1, *)
'Wniosek. Wstga Mbiusa i okrg maj izomorficzne ze sob grupy pod176 stawowe (wzajemnie odwrotnymi izomorfizmami s
i rj.
12 Wykady z topologii
-1
O
1
l p
p o a a,
(2)
gdzie e0 jest danym z gry punktem w E takim, e p(e0) <r'(0); rwno (1)
ilustruje diagram
\
1
U w a g i p r z e d d o w o d e m . Droga a nazywana jest podniesieniem drogi
a, jeli spenia warunek (1). Warunek pocztkowy (2) determinuje drog a',
a w szczeglnoci jej punkt kocowy ff'(l).
179
{s : a(s) = a"(s)}
o(W )czU ,
p oH ' = H
(5)
H \0, 0) = e0,
p(e0) = u0.
U w a g i p r z e d d o w o d e m . Homotopi H' czy drogi
ff'(s) = H'(s, 0)
t (s)
= H'(s, 1),
O = s0<
*1
HfO.O)
U
r* o i* = ^(S )-
G(x, r) = \W(r)\W(re2*ix)/W(r)\W(re2*ix)\
0 < x < 1.
gdzie a(x, r) jest liczb zespolon, ktrej argument jest < n. Podniesienie G'(x, r)
ptli (10) rni si wic mniej ni o 1 od podniesienia nx ptli p(x) e2n inx
(zakadajc ten sam warunek pocztkowy 0 dla x = 0). Poniewa stopie
warto ptli dla x = 1 jest liczb cakowit, wic stopnie obu ptli s te
same i rwne liczbie n, ktra jest stopniem ptli pn.
*
I^B ^M ^S
(1) Mniej formaln argumentacj mona znale w ksice L. S. P o n t r i a g i n a, Algiebra,
Moskwa 1987, s. 73.
1)) = 2-
----------------
P 9 f
O
,\
')
---------
g(yo) = e0-
Wobec (1) warto e0 musi by taka, e p(e0) = f( y 0)Twierdzenie o jedynoci podniesienia. Jeli Y jest przestrzeni spjn,
a g i h s podniesieniami odwzorowania f takimi, e
g = h.
D o w d . Zbir {y : g(y) = h(y)} jest wobec tego, e przestrze wartoci
odwzorowa jest klasy T2, podzbiorem domknitym przestrzeni Y. Zbir ten
jest niepusty wobec (3). Dowd, wobec zaoonej spjnoci przestrzeni Y,
bdzie zakoczony, jeli wykaemy, e ten zbir jest otwarty.
Rozwamy w tym celu punkt y przestrzeni Y taki, e g(y) h(y). Niech
U bdzie otoczeniem otwartym punktu /( y) w X takim, e
rozpada si
na zbiory otwarte V nakrywajce U w sposb prosty. Wemy to spord V,
do ktrego naley wsplna warto g(y) = h(y) odwzorowa g i h. Wobec
cigoci istnieje otoczenie W punktu y takie, e g(W) c= V i h(W) c V
Pokaemy, e odwzorowania g i h s rwne na W, co zakoczy dowd.
Niech yeW . Wartoci g(y) i h(y) nale do wspomnianego wyej V. Ale
p\V jest homeomorfizmem na zbir U, wic jeliby g(y) ^ h(y), to byoby
p(d(y)) ^ P(h(y)), wbrew zaoonemu p o g = p o h.
Twierdzenie o podnoszeniu drg. Jeli a : [0,1] -* X jest drog i e0 jest
punktem przestrzeni E takim, e p (e0) = ff(0), to istnieje droga a' : [0,1] -* E
taka, e
(4)
p o f f ' = ff,
(5)
a(0) = eo.
w sposb prosty. Niech V bdzie tym spord nich, do ktrego naley punkt
e0. D la s z odcinka [a0, a x] przyjmujemy
<7'(S) = (p |F T (ff(S)),
p o H ' = H,
(7)
H '\Y x {0} = F.
( H ( y ' , t)).
191
i
f' (yo) = eo-
ff (1) = y.
f ' ( y ) = ( f o a Y 0 ) dla y e Y
Zgodno p o f = f jest
= (/o ff)(l)= /(ff(l))= /(y ).
zapewniona,
bo
i(E. eo))-
Ze wzgldu na wspomnian jedyno podniesienia ptla jest zesztukowaniem podniesienia ( f o a)' drogi f o a pierwszego skadnika we wzorze na
(p koczcego si w (fo a )' (1), z zaczynajcym si w tym samym ( fo a ) (1)
podniesieniem ((fo z))' = (fo z)' drogi (fo z ) (rwno wynika z jedynoci
podniesienia), ktre koczy si w e0. Wnioskujemy std, e podniesienie ( /o t) '
drogi fo z , jeli zacznie si w e0, bdzie si koczy w (foa)' (i). Bdzie wic (10).
13 Wykady z topologii
194
(3) Torus jest lokalnie izometryczny z paszczyzn: dostatecznie may zbir otwarty na
powierzchni torusa daje si rozprostowa na paszczynie bez zmiany odlegoci liczonych wzdu
najkrtszych ukw czcych punkty. Powierzchnia kuli nie ma tej wasnoci.
(o,y)
( x ,0 )
Rys. 126. Torus jako wynik sklejania bokw pros
tokta
(,i) Jeli p i q s odwzorowaniami, to przez p
( P M ) (x, y) = (p(x), q(y)).
y n,
\(P * P )\K
s e i, te .
Mamy
G(0, 0 = G(l, t) = (0, 0),
bo
H (0, t) = H ( 1, t) = (0, 0), a r(0, 0) = (0, 0),
oraz
G(s, 0) = r(H(s, 0)) = r(>(s)),
gdzie jest parametryzacj ptli OABCO, oraz
G(s, 1) = r(H(s, 1)) = r(0, 0) = (0, 0).
Odwzorowanie G jest wic homotopi czc w figurze OABCO ptl
OABCO z ptl zerow (0, 0), co jest niemoliwe.
Niezerowo ptli OABCO w K ma wane nastpstwo. Jeli (p jest jej
parametryzacj, to (p x p)ocp jest tym samym, co ptla h + a + (h) + ( a)
w M zaczepiona w punkcie * = (p x p) (0, 0). Poniewa ({p x p)|K)# jest
monomorfizmem (twierdzenie ze s. 191), z niezerowoci (p wynika niezerowo
obrazu ptli OABCO, tzn. nierwno
a + b + (a) + (b) ^ 0,
a wic nierwno
a + b + ((b + a)) ^ 0,
czyli nierwno
a + b ^ b + a.
Pokazalimy w ten sposb, e grupa n^M ,*) jest nieprzemienna(6\
<6> Nieprzemienne s grupy dopenie do E3 okrgw, jeli te okrgi maj pooenia
nierwnowane ze zwykym, z = 0, x 2 + y 2 0; D e h n (1910).
Jeli na sferze S2 zostan zidentyfikowane pary {x, x} punktw antypodycznych, to powstanie przestrze nazywana powierzchni rzutow. Jest to
przestrze zwarta z baz przeliczaln, a wic metryzowalna, co wynika
z oglnych twierdze topologii mnogociowej. Dlatego jest nazywana powierz
chni, e podobnie jak punkty na sferze, kady jej punkt ma otoczenie
homeomorficzne z krkiem bez brzegu, bdce obrazem przez odwzorowanie
ilorazowe odpowiednich dwch krkw na sferze (patrz rys. 129). Poniewa
punkty powierzchni rzutowej maj swoich reprezentantw na kadej z psfer,
ktre s homeomorficzne z krkami, wic na powierzchni rzutow mona
patrze jak na przestrze powsta z krka przez identyfikacj par punktw
antypodycznych lecych na jego brzegu (rys. 130).
199
Rys. 131. Powierzchnia rzutowa jako suma sklejonych brzegami wstgi Mbiusa i krka
(
Rys. 133. Powierzchnia walca (a) i sklejona z niego powierzchnia Kleina (b)
Sklejamy dwa okrgi stanowice brzegi walca, tak jak si je skleja wtedy,
kiedy chce si dosta powierzchni torusa, ale z t rnic, e sklejamy je po
ustawieniu ich naprzeciw siebie z przeciwn orientacj (patrz cz (b)
rysunku), co sprowadzaoby si do czynnoci fizycznej, jeliby dopuci
rozcicie powierzchni w jednym miejscu.
Na mocy samego okrelenia sfera jest nakryciem powierzchni rzutowej
odwzorowanie nakrywajce stanowi wystpujce w tym okreleniu odwzoro
wanie ilorazowe. Jest to nakrycie dwukrotne.
Oznaczmy przez P 2 powsta powierzchni rzutow, a przez q: S2 -* P2
odwzorowanie ilorazowe. Wyrnijmy punkt a na powierzchni P2 oraz punkt
b na S2 taki, e q (b) a.
Niech a i t bd ptlami w P 2 zaczepionymi w a i niech a' i x' bd ich
podniesieniami takimi, e <r'(0) = t'(0) = b. Z twierdzenia o podnoszeniu
homotopii wynika, e jeli a ~ t , to er' (1 ) = t ' ( 1 ) (wzr (7 ) na s. 1 8 1 ); wsplna
warto drg a' i t ' w 1 jest przy tym b lub b.
Ta uwaga pozwala na okrelenie odwzorowania h grupy 7c1(P2, a) w zbir
dwuelementowy {0, 1} wedug nastpujcej umowy: jeli ocen^P2, a) i a jest
reprezentowane przez ptl a, to przyjmujemy
201
0, jeli o-'(l) = b,
1, jeli ct'(1) = b.
Odwzorowanie h przyjmuje obie wartoci O i l .
Warto 0 przyjmuje na elemencie a = 0 (jeli bowiem zaprezentujemy
0 w 7r1(P2, a) przez ptl zerow w a, to jej podniesienie cr' jest ptl
zerow w b i <r'(1) = b). Warto 1 przyjmuje na elemencie a reprezentowanym
przez ptl oa', gdzie a' jest drog w S2 o pocztku w b i kocu cr'(l)
pokrywajcym si z punktem b.
Odwzorowanie h jest rnowartociowe.
Niech bowiem a i bd elementami grupy ti1(P2, a) takimi, e h(tx) = h(fl).
Niech a = [cr] i = [ i] . Jest <r'(0) = t'(0) dla podniesie a' i i' ptli a i r.
Poniewa h(a) h(), wic jest take cr' (1) = t'(1). Sfera S2 jest jednospjna,
wic istnieje homotopi H' czca drogi a' i x', zachowujca koce drg
(twierdzenie z wykadu 8 na s. 172). Zaoenie q o H ' jest homotopi realizujc
rwnowano cr ~ x. Dostajemy wic a = .
Traktujmy zbir {0, 1} jako grup Z 2, nadajc symbolom 0 i 1 charakter
liczb cakowitych dodawanych jak reszty mod 2.
Twierdzenie!1). Odwzorowanie h: 7c1(P2, a)izomorfizmem.
D o w d . Niech a i x bd ptlami w P 2
zaczepionymi w a. Niech a = [cr] i = [ t ] .
Niech c' i t ' bd ich podniesieniami zaczynaj
cymi si w b.
Jeli cr'(l) = b, to podniesienie (cr + r)' ptli
a + z jest zesztukowaniem a' + t' drg a' i r'. Std
(cr + t ) ' ( 1 ) = t '( 1 ) , co dowodzi wzoru h(x + ) =
= h(o) + h(fl) w przypadku h(a) = 0.
Jeli h(a) = 1, a wic jeli ct'(1) = b, to pod
niesieniem ptli a + x jest zesztukowanie a' + x'
drg a i t ', gdzie x' jest odbiciem antypodycznym
drogi t'; droga ? ' jest podniesieniem ptli x spe
niajcym warunek pocztkowy t ' ( 0 ) = b. Jest
wic (cr + t)'(1) rwne b, jeli t'( l) b, i jest
rwne b, jeli t'(1) = b, co tumaczy si na
h(oc + ) = 1, jeli h() = 0, i h(a + ) = 0, jeli
h() 1, i co dowodzi wzoru h(<x + ) =
h(a) + h() w rozwaanym przypadku.
(1) Obliczenia grupy podstawowej powierzchni rzutowej mona dokona, posugujc si
twierdzeniem Seiferta-van Kampena, wykorzystujc sposb, w jaki ta powierzchnia powstaje
z prostszych przez czenie w tzw. sum spjn; patrz np. K o s n i o w s k i, A first course in
algebraic topology, Cambridge University Press, 1980, rozdz. 23.
o f=
g o q,
co ilustruje diagram
P 2
^ S 1
( f o ff)'(l) - ( f o cr)'(0) =
(1 /2 )
mod
2,
-X---------------------- *
ffe fO )
0
fo <r .
Rys. 135. Podniesienie drogi f o a
1 dla x e D
0 dla x e S 2 - U,
1 dla x e F
0 dla x e S 2 - W,
ktrych istnienie zapewnia lemat Urysohna (Aneks, s. 63).
Rozwamy funkcje cige okrelone dla x ze sfery S2 wzorami
f(x) = a (x) (x) i g(x) = (x)y(x), ktre razem skadaj si na odwzoro
wanie h = (f, g):S2 -> E 2. Na mocy twierdzenia Borsuka-Ulama istnieje
a takie, e
(4)
h(a) = h (-a ).
(i)
L. L u s t e r n i k , L. S z n i r e l m a n , Topoiogiczeskije mietody w wariacjonnych zadaczach,
Issl. Inst. Mat. i Mech. M.G.U., Moskwa 1930 (cyt za B o r s u k i e m , 1933); Topoiogiczeskije
mietody w wariacjonnych zadaczach i ich priloiemja k differencjalnoj gieomietrii powierchnostiej;
206
w Twierdzenie o kanapce byo ogoszone w 1933 r. jako wsplna nota kilku autorw
w Mathesis Polskiej. Dowd jest w pracy H. S t e i n h a u s a , Sur la division des ensembles de
Iespace par les plans et des ensembles planes par les circles, Fundamenta Mathematicae 33 (1945),
245263. gdzie mona znale rwnie twierdzenie o istnieniu okrgu na paszczynie tncego
na p trzy dane obszary; patrz te wzmianka w Kalejdoskopie matematycznym, Warszawa 1989,
s. 140, rys. 160.
(5)
Miar rozumie si w sensie Lebesguea. Czci odcite pprzestrzeniami ze zbiorw
mierzalnych w sensie Lebesguea s nadal mierzalne w sensie Lebesguea. Cigo zalenoci miary
odcitej czci od parametrw okrelajcych pprzestrze jest twierdzeniem teorii miary;
por. przypis (5) w wykadzie 3.
M - x ) = - h D(x),
co jest oczywiste.
D o w d t w i e r d z e n i a o k a n a p c e . Niech A, B i C bd bryami
pooonymi w E3. Rozwamy funkcje <pAB i cpBC okrelone dla x ze sfery
S2 wzorami
(Pa b (x ) = hA (x) - hB(x),
V
b c
(x )
= hB(x) - hc (x),
Obie funkcje razem okrelaj odwzorowanie cige (p = (cpAB, BC) : S2 -*E 2. Z wasnoci (5) funkcji hD dla D rwnego A, B i C wynika, e jest
stale cp(x) = (p{x). N a mocy lematu istnieje punkt a na S2 taki, e
(a) = 0. D la tego punktu jest hA (a) = hB(a) = hc (a). Znaczy to, e paszczy
zna prostopada do wektora a i przechodzca przez punkt ta, gdzie t jest
wspln wartoci funkcji hA, hB i hc w punkcie a, tnie bryy A, B i C
na p co do objtoci.
p ,
x 9s
S ;^ t X
f
Jest tak, poniewa homotopi H czca odwzorowanie g ze sta (wszyst
kie odwzorowania w prost s homotopijnie stae) wyznacza homotopi p o H
czc / ze sta.
W zr/ p o g nie znaczy nic innego ni stwierdzenie, e/(x) = e2Kig(x) dla
kadego x ze zbioru X . Oczy wicie, jeli g jest podniesieniem dla f to pozostaje
208 podniesieniem dla / po dodaniu dowolnej staej cakowitej.
/(x) = e2*>{x), x e X ,
b :B -* E
(2)
f[x) = e2Kia{x)
dla x e A
(3)
f[x) = e2ltlbix)
dla x e B ,
takie, e
(4)
f(x ) =
jeii
xeA,
e - 2 m<p(x)' jgli x e B ,
jeli x e A
\p(x) + (x) = l,
jeli x e B ,
\D = 1/2.
212
(4)
G. T. W h y b u r n, Analytic topology, Providence 1942, s. 228; systematyczny wykad t
jednosprzgoci, s. 219238.
214
0X0 + ...+
EX
= 1,
0.
Lemat Tuckera (Tucker 1945; patrz Lefschetz 1949, s. 135). Niech T ' b
dzie triangulacj symetryczn prawidow sfery S" bdc podziaem jej trian
gulacji podstawowej T. Niech <p bdzie odwzorowaniem zbioru wierzchokw
triangulacji T ' w zbir wierzchokw triangulacji T (tj. w zbir {e0 ,..., e;
-e0 ....-ej) takim, e
(2)
(3)
<p(-a) = - ( a ) .
en}>
gdzie i0 < it < ... < ik. Jeli ten zbir wartoci, przy tej samej umowie co do
216 porzdku wrd ij, jest postaci
Std,
gw\T'\a = V.
*j
Rys. 140. Jeden ze zbiorw konfigu
racji na S"-1
fr(x), jeli x e S n+
{ r ( x), jeli x e S n,
gdzie S n jest doln psfer sfery S n, jest cige (wzory zgadzaj si na czci
wsplnej Sn_1 psfer S+ i S"). Odwzorowanie / zachowuje w oczywisty
sposb antypodyzm. Sprzeczno z twierdzeniem 1.
Innym twierdzeniem rwnowanym twierdzeniom 13 jest:
Twierdzenie 4. Jeli f : S "~1 -> S"_1 jest odwzorowaniem nieistotnym, to
fix) f ( x) dla pewnego x.
D o w d . Jako odwzorowanie n ie isto tn e/m a przeduenie g: S+ - S"_1.
Odwzorowanie g moe przeduy do odwzorowania h: Sn - * Q n, przyj
mujc h(x) = |x| g(x), dla x e S 1L, gdzie x jest punktem symetrycznym
rwnikowo do x, a x rzutem punktu x na Q". Na mocy twierdzenia 3
(Borsuka-Ulama) istnieje x na S n takie, e h (x) = h ( x) (odwzoro
wanie h traktujemy jako odwzorowanie w E n, zakadajc, e Qn a E").
Istniejcy punkt x ley na Sn_1, bo dla x spoza S"~1, jeli zaoymy (co ze
wzgldu na symetri nie ma znaczenia), e x e S +, mielibymy \h(x)| = 1
i \ h ( - x ) \ = |x | |<?(x ) I < 1.
Majc twierdzenie 4, atwo dostaje si twierdzenie 1.
D la dowodu przypumy, wbrew twierdzeniu I, e istnieje odwzorowanie
/ : S" - S"_1 zachowujce antypodyzm. Jako odwzorowanie w S " odwzorowa
nie / jest nieistotne, bo f ( S n) ^ S n. Wobec twierdzenia 4, / ( x ) = / ( x) dla
pewnego x. Ale / zachowuje antypodyzm, wic /(x) = / ( x) dla tego x.
Sprzeczno.
Ostatnie twierdzenie jest w atwy sposb rwnowane z nastpujcym
twierdzeniem Borsuka(2):
Twierdzenie 5. Jeli f : S n- * S n jest odwzorowaniem zachowujcym an
typodyzm, to jest istotne.
m K. B o r s u k , Drei Stze ber n-dimensionale euklidische Sphre, Fundamenta M a
thematicae 20 (1933), 177 190; Satz I.
6
Vn+l
E"
A"
gwA, aj
A(a0,...,an)
Aj (a)
dA"
K
gww <ij
\g\
I"
Q"
S"
AR
f:X -> Y
diam A
|K|
221
A nty p o d y zm 131
aproksymacja symplicjalna 59
B a ry centrum 47
brya triangulacji 54
bryy platoskie 17
brzeg (geometryczny) sympleksu 46
brzeg (topologiczny) zbioru 26
D eform acja 122
dugo wektora 42
dodawanie drg 165
dodawanie klas drg rwnowanych 166
droga 164
dywan Sierpiskiego 96
Jkstensor absolutny AE 67
e-odwzorowanie 177
G r a f 12
gwiazda wierzchoka sympleksu 45
gwiazda wierzchoka triangulacji 58
grupa podstawowa 169
223
P tla
224
165
podniesienie drogi 179
podniesienie odwzorowania 188
podzia barycentryczny 50
podzia przestrzeni E" na sektory 53
podzia symplicjalny patrz trianguiacja
pooenie oglne 56
powierzchnia Kleina 200
powierzchnia rzutowa 199
przeduenie odwzorowania 65
przestrze euklidesowa n-wymiarowa E" 43
przestrze jednospjna 170
przestrze lokalnie spjna 25
przestrze cigalna 122
przestrze wektorowa 41
punkt stay odwzorowania 102
punkt incydencji pary odwzorowa 132
Retrakt, retrakcja, retrakt absolutny AR 68
rozcinanie, rozspajanie przestrzeni E" 140
rzut stereograficzny 15
Skadowa 25
sympleks wzorcowy -wymiarowy 44
sympleks A(a0 a j 45
ciana sympleksu 46
T orus 194
triangulacja 53
typ homotopii 126
W ielocian (brya triangulacji) 57
wasno punktu staego 102
wsprzdne barycentryczne 43
wstga Mbiusa 127 (rys. 84)
wymiar pokryciowy 112
wymiar triangulacji 55
O b io ry jednakowo pooone pooone inaczej 161-162
zbir wypuky 46
powierzchnia rzutowa jako rezultat sklejenia brzegami krka i wstgi Mbiusa 200
grupa podstawowa powierzchni rzutowej jest izomorficzna z Z 2 202
nieistnienie odwzorowa S2 -> S 1 zachowujcych antypodyzm 202
twierdzenie Borsuka-Ulama 204
twierdzenie Lustemika-Sznirelmana 205
twierdzenie o kanapce 206
pierwsze twierdzenie Janiszewskiego 210
drugie twierdzenie Janiszewskiego 211
o jednosprzgoci sfer S", n > 2, 213
lemat Tuckera 216
twierdzenia o antypodach w dowolnych wymiarach 219
AUTORZY
Blankenship W. A. 163
Bogomoowa W. 63
Bohl P. 74, 104
Bolzano B. 75
Borsuk K. 67, 75, 81, 106, 128, 129, 141,
142, 144, 204, 220
Brouwer L. E. J. 27, 61, 64, 75, 85, 88, 94,
102, 104, 112, 121, 144, 145, 154
Brown M. 39, 109
C a irn s S. S. 12, 16, 109
Cantor G. 87
Cararatheodory C. 158
Cauchy A. 75
Chandler B. 169
Charaziszwili A. B. 105
Coldewey H.-D. 57, 158
Connel E. H. 107
Courant R. 1, 28
Crowell R. H. 171
D a u b e n J. W. 87
Dawidowiczowa A. 108
Dehn M. 27, 162, 198
Denjoy A. 162
Dbski W. 98, 109
Dodson M. M. 133
Duda E. 99
Duda R. 113
Dugundji J. 105, 107, 110, 135, 214
F a r y I. 1, 35
Flores A. 2, 4, 57, 117
Fox R. H. 171
Franz W. 110
G a le D. 108
Giblin P. J. 1, 35
Goubiew W. W. 163
Gouzin G. M. 92, 97
Gorelik G. E. 115
Granas A. 105, 107, 110, 135, 214
Greenberg M. J. 171
Griffiths H. B. 84
H a d w ig e r H. 109, 214
Hahn H. 64
Hamilton O. H. 106, 136
H arary F. 34, 35
Hausdorff F. 27, 153
Henderson D. W. 114
Hewitt E. 82
Hierholzer C. 12
Hilbert D. 22
Hilton P. J. 56, 124, 169, 183
Holsztyski W. 132, 135
Hopf H. 155
Hurewicz W. 109, 118
Janiszew ski Z. 137, 147, 210, 211
Jaworowski J. 61
Jordan C. 27, 153
Jiirgens E. 87
Juszkiewicz P. 11, 15
K elley J. L. 22
Kerekjart B., on 64, 121, 123, 161, 163
Kiedysz L. 95
K irkor A. 163
Kline 162
K naster B. 102, 137, 155
Knebusch M. 214
Knill R. 107
Komogorow N. 15
Kosniowski C. 171, 202
Krasnosielski M. A. 214
Kuhn W. H. 108
Kuratowski K. 34, 68, 81, 102, 105, 115, 117,
118, 137, 147, 150, 155, 161, 163, 210
Ky Fan 214
L ebesgue H. 61, 112
Lefschetz S. 110, 214
Lelek A. 95, 108
Levy P. 155
Lietzmann W. 12
Listing J.
Lubaski
Liiroth J.
Lustemik
B. 15
M. 155
87
L. 109, 155, 156, 205
Seifert H. 121
Semadeni Z. 175
Sierpiski W. 72, 96, 98, 101
Sitnikow K. A. 99
Smart D. R. 110
Spanier E. 190
Spemer E. 77, 88, 92
Starbird M. 129
Staudt C., von 11
Steenrod N. 148, 175, 183
Steinhaus H. 33, 81, 84, 105, 108, 206
Stoilow S. 92, 94, 101
Stoek W. 108
Straszewicz S. 211
Stromberg 82
Surwka W. 108
Szaszkin Ju. A. 3, 16, 109
Sznirelman L. 84, 205
U f a m S. 204
Urbanik K. 83
Urysohn P. 63, 64, 149, 155
V eblen 27, 153
Vogt E. 2, 57, 158
W a llm a n H. 109, 118
Walt T., van der 107, 110
Waraszkiewicz Z. 136
Weiss B. 214
Whybum G. T. 123, 212
Wilkosz W. 151, 210
Wiweger A. 62, 175
Wylie S. 56
Y oneyam a K. 154
T hom assen C. 34
ThrelfaU W. 121
Tietze H. 63, 64
Toeplitz O. 14
Tostowa G. 117
Tucker A. W. 214
Z ee m an E. G. 61, 171
Zieschang H. 57, 158
Redaktor
GRAYNA WOJDAA
Redaktor techniczny
ALICJA ZAJCZKOWSKA
Korektor
WODZIMIERZ DOBRZASKI
Copyright 1994
by Wydawnictwo Uniwersytetu lskiego
Wszelkie prawa zastrzeone
Wydawca
od
gry
13
16
32
podpis pod
rys. 24
38
6/7
39
3/4
51
51
13/14
59
Jest
od
dou
11
59
106
14/15
K i b
K i L
i h(y)0 przeduamy
retrakcj przypisujc
odwzorowaniem przypisujcym
Retrakcj r:
ktra
bdzie nazywana kanoniczn,
mona
Odwzorowanie r:
ktre bdzie nazywane retrak
cj kanoniczn, mona
K -* K
(skreli)
K w L.
K '-* L .
wikszej ni e.
Kontinua wowe...
163
163
215
230
10/13
podpis pod
rys. 108
Powinno by
Zbir Antoinea
ono
on
Magus W.
Magnus W.