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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

I.7. C-KOMPLEKSI 35<br />

I.7 C-kompleksi<br />

I.7.1 Grupe homologije C-komplekasa<br />

Definicija I.7.1 Svaki n<strong>iz</strong> G = <br />

(Gn, dn+1) : n ∈ N0 , gde su Gn, za n ∈ N0, Abelove grupe<br />

a dn : Gn → Gn−1, za n ∈ N, homomorf<strong>iz</strong>mi tako da je dn ◦ dn+1 : Gn+1 → Gn−1 trivijalan<br />

homomorf<strong>iz</strong>am za svako n ∈ N, nazivamo C-kompleks (“chain complex”). ✷<br />

Za Gn kaˇzemo da je grupa n-lanaca C-kompleksa G.<br />

Iz Definicije I.7.1 sledi da je, za n ∈ N, Bn(G) : df<br />

= ran(dn+1) podgrupa grupe Zn(G) : df<br />

=<br />

ker(dn); faktor grupu Hn(G) : df<br />

= ker(dn)/ran(dn+1) nazivamo n-ta grupa homologije C-kompleksa<br />

G. Definiˇsemo i Z0(G) : df<br />

= C0(G) kao i nultu grupu homologije H0(G) : df<br />

= G0/ran(d1) C-kompleksa<br />

G.<br />

Ako je A a-kompleks onda za GA := <br />

(Cn(A), ∂n+1,A) : n ∈ N0 kaˇzemo da je C-kompleks<br />

lanaca a-kompleksa A. Jasno: Zn(A) = Zn(GA), Bn(A) = Bn(GA) i Hn(A) = Hn(GA) za svako<br />

n ∈ N0.<br />

Definicija I.7.2 Pod pod<strong>iz</strong>anjem C-kompleksa G = <br />

(Gn, dn+1) : n ∈ N0 podrazumevamo bilo<br />

koji epimorf<strong>iz</strong>am e : G0 → Z takav da je e ◦ d1 : G1 → Z trivijalan homomorf<strong>iz</strong>am. ✷<br />

Ako je e pod<strong>iz</strong>anje C-kompleksa G onda definiˇsemo grupu H0(G) = H0,e(G) : df<br />

= ker(e)/ran(d1)<br />

i stavljamo Hn(G) : df<br />

= Hn(G) za n ∈ N. Ovo su e-redukovane grupe homologije (nulta, prva, druga<br />

itd.) C-kompleksa G.<br />

I.7.2 Morf<strong>iz</strong>mi C-komplekasa<br />

Definicija I.7.3 Pod morf<strong>iz</strong>mom C-komplekasa (skraćeno: C-morf<strong>iz</strong>mom)<br />

<strong>iz</strong> C-kompleksa G = <br />

(Gn, dn+1) : n ∈ N0<br />

ka C-kompleksu G ′ = (G ′ n, d ′ <br />

n+1) : n ∈ N0<br />

podrazumevamo svaki n<strong>iz</strong> (hn : n ∈ N0) homomorf<strong>iz</strong>ama hn : Gn → G ′ n za koji vaˇzi d′ n+1 ◦ hn+1 =<br />

hn ◦ dn+1 za svako n ∈ N0. ✷<br />

Definicija I.7.4 Ako su e i e ′ pod<strong>iz</strong>anja C-komplekasa G = <br />

′ (Gn, dn+1) : n ∈ N0<br />

<br />

i G =<br />

′ (G n, d ′ <br />

n+1) : n ∈ N0 , tim redom, za C-morf<strong>iz</strong>am (hn : n ∈ N0) <strong>iz</strong> G ka G ′ kaˇzemo da poˇstuje<br />

pod<strong>iz</strong>anja e i e ′ ako vaˇzi e ′ ◦ h0 = e. ✷<br />

I.7.3 Indukovani homomorf<strong>iz</strong>mi grupa homologija: (hn)⋆<br />

Neka je h = (hn : n ∈ N0) C-morf<strong>iz</strong>am <strong>iz</strong> C-kompleksa G = <br />

(Gn, dn+1) : n ∈ N0 ka C-kompleksu<br />

G ′ = (G ′ n, d ′ <br />

n+1) : n ∈ N0 .<br />

Neka je n ∈ N0 pro<strong>iz</strong>voljno. Ako su x, y ∈ Gn tako da je b := x − y ∈ Bn(G) = ran(dn+1).<br />

Tada imamo b = dn+1(c), za neko c ∈ Gn+1, te je hn(x) − hn(y) = hn(b) = (hn ◦ dn+1)(c) =<br />

d ′ n+1 (hn+1(b)) ∈ Bn(G ′ ). Dakle<br />

i sa<br />

(hn) ⇀ (x ⊕ Bn(G)) ⊆ hn(x) ⊕ Bn(G ′ )<br />

(hn) ⋆ (S) = hn(x) ⊕ Bn(G ′ ), gde je x ∈ S pro<strong>iz</strong>voljno, za S ∈ Gn/Bn(G)

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

Saved successfully!

Ooh no, something went wrong!