Predavanja iz predmeta Algebarska topologija - Prirodno
Predavanja iz predmeta Algebarska topologija - Prirodno
Predavanja iz predmeta Algebarska topologija - Prirodno
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
I.9. PRIRODNO PODIZANJE ɛA I REDUKOVANA HOMOLOGIJA. GRUPE H0(A) I H0(A)41<br />
Da je ovo tačno vidi se <strong>iz</strong> (I) i (II) koji slede.<br />
(I) Neka je i0 ∈ {1, . . . , l}, B ∈ An} tako da B ⊆ Si0 i b ∈ Bij(n, B).<br />
[b] = 0. Ako je xi0 = 0 onda <strong>iz</strong> B = Ui0,j ⊆ Si0 za svako<br />
Ako je xi0 = 0 onda je naravno xi0<br />
j = 1, pi sledi<br />
za svako j = 1, pi te je ponovo xi0<br />
Ako je yi0 = 0 onda je naravno yi0<br />
j = 1, qi sledi<br />
svako s = 1, qi te je ponovo yi0<br />
U svakom slučaju je xi0<br />
[b] = 0.<br />
[b] = 0.<br />
[b] = yi0<br />
〈ui0,j〉 [b] = 0<br />
[b] = 0. Ako je yi0 = 0 onda <strong>iz</strong> B = Vi0,j ⊆ Si0 za svako<br />
[b] .<br />
〈vi0,s〉 [b] = 0<br />
(II) Ako je i0 ∈ {1, . . . , l} i B ∈ An} tako da je B ⊆ Si0 i b ∈ Bij(n, B). Tada je B ⊆ Si za svako<br />
i ∈ {1, . . . , l} \ {i0} pa je na osnovu dela pod (I)<br />
<br />
xi [b] = yi [b] = 0<br />
za svako i ∈ {1, . . . , l} \ {i0}; otuda je<br />
<br />
l<br />
⎛<br />
[b] <br />
xi = xi0 [b] + ⎝<br />
i<br />
Iz<br />
l<br />
xi =<br />
i=1<br />
i=1<br />
l<br />
i=1<br />
yi<br />
⎛<br />
<br />
[b] <br />
= yi0 [b] + ⎝<br />
<br />
i∈{1,...,l}\{i0}<br />
<br />
i∈{1,...,l}\{i0}<br />
l<br />
<br />
yi sada sledi xi0 [b] = yi0 [b] .<br />
i=1<br />
§<br />
xi<br />
yi<br />
⎞<br />
⎠ [b] = xi0<br />
⎞<br />
⎠ [b] = yi0<br />
[b] + 0 = xi0<br />
[b] + 0 = yi0<br />
Neka je A a-kompleks. Na skupu A definiˇsemo relaciju A, i piˇsemo nadalje “” umesto<br />
toga kad god znamo o kom se a-kompleksu radi, na sledeći način:<br />
ako v, w ∈ A onda v w akko v = w ili postoje n ∈ N i a0, . . . , an ∈ A tako da je a0 =<br />
v, an = w i {ai, ai−1} ∈ A 1} za 1 ≤ i ≤ n.<br />
Jasno je da je ovim definisana relacija ekvivalencije na skupu A. Sa [v] označimo klasu<br />
ekvivalencije temena v ∈ A u odnosu na relaciju . Takod¯e je jasno da je v w akko postoje<br />
n ∈ N0 i A0, . . . , An ∈ A tako da je v ∈ A0, w ∈ An i, ako n > 0, Ai ∩ Ai−1 = ∅ za 1 ≤ i ≤ n.<br />
Ako je A puna relacija A × A (drugim rečima ako je graf A, A 1} povezan) za akompleks<br />
A reći ćemo da je povezan.<br />
Jedno zapaˇzanje: ako su s ∈ A i A ∈ A pro<strong>iz</strong>voljni onda je ili A ⊆ [s] ili A ∩ [s] = ∅; ovo<br />
sledi <strong>iz</strong> A ⊆ [a] za svako a ∈ A.<br />
[b] <br />
[b]