Predavanja iz predmeta Algebarska topologija - Prirodno
Predavanja iz predmeta Algebarska topologija - Prirodno
Predavanja iz predmeta Algebarska topologija - Prirodno
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)