04.05.2013 Views

Predavanja iz predmeta Algebarska topologija - Prirodno

Predavanja iz predmeta Algebarska topologija - Prirodno

Predavanja iz predmeta Algebarska topologija - Prirodno

SHOW MORE
SHOW LESS

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]

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

Saved successfully!

Ooh no, something went wrong!