- Source: Reduced homology
In mathematics, reduced homology is a minor modification made to homology theory in algebraic topology, motivated by the intuition that all of the homology groups of a single point should be equal to zero. This modification allows more concise statements to be made (as in Alexander duality) and eliminates many exceptional cases (as in the homology groups of spheres).
If P is a single-point space, then with the usual definitions the integral homology group
H0(P)
is isomorphic to
Z
{\displaystyle \mathbb {Z} }
(an infinite cyclic group), while for i ≥ 1 we have
Hi(P) = {0}.
More generally if X is a simplicial complex or finite CW complex, then the group H0(X) is the free abelian group with the connected components of X as generators. The reduced homology should replace this group, of rank r say, by one of rank r − 1. Otherwise the homology groups should remain unchanged. An ad hoc way to do this is to think of a 0-th homology class not as a formal sum of connected components, but as such a formal sum where the coefficients add up to zero.
In the usual definition of homology of a space X, we consider the chain complex
⋯
⟶
∂
n
+
1
C
n
⟶
∂
n
C
n
−
1
⟶
∂
n
−
1
⋯
⟶
∂
2
C
1
⟶
∂
1
C
0
⟶
∂
0
0
{\displaystyle \dotsb {\overset {\partial _{n+1}}{\longrightarrow \,}}C_{n}{\overset {\partial _{n}}{\longrightarrow \,}}C_{n-1}{\overset {\partial _{n-1}}{\longrightarrow \,}}\dotsb {\overset {\partial _{2}}{\longrightarrow \,}}C_{1}{\overset {\partial _{1}}{\longrightarrow \,}}C_{0}{\overset {\partial _{0}}{\longrightarrow \,}}0}
and define the homology groups by
H
n
(
X
)
=
ker
(
∂
n
)
/
i
m
(
∂
n
+
1
)
{\displaystyle H_{n}(X)=\ker(\partial _{n})/\mathrm {im} (\partial _{n+1})}
.
To define reduced homology, we start with the augmented chain complex
⋯
⟶
∂
n
+
1
C
n
⟶
∂
n
C
n
−
1
⟶
∂
n
−
1
⋯
⟶
∂
2
C
1
⟶
∂
1
C
0
⟶
ϵ
Z
→
0
{\displaystyle \dotsb {\overset {\partial _{n+1}}{\longrightarrow \,}}C_{n}{\overset {\partial _{n}}{\longrightarrow \,}}C_{n-1}{\overset {\partial _{n-1}}{\longrightarrow \,}}\dotsb {\overset {\partial _{2}}{\longrightarrow \,}}C_{1}{\overset {\partial _{1}}{\longrightarrow \,}}C_{0}{\overset {\epsilon }{\longrightarrow \,}}\mathbb {Z} \to 0}
where
ϵ
(
∑
i
n
i
σ
i
)
=
∑
i
n
i
{\displaystyle \epsilon \left(\sum _{i}n_{i}\sigma _{i}\right)=\sum _{i}n_{i}}
. Now we define the reduced homology groups by
H
~
n
(
X
)
=
ker
(
∂
n
)
/
i
m
(
∂
n
+
1
)
{\displaystyle {\tilde {H}}_{n}(X)=\ker(\partial _{n})/\mathrm {im} (\partial _{n+1})}
for positive n and
H
~
0
(
X
)
=
ker
(
ϵ
)
/
i
m
(
∂
1
)
{\displaystyle {\tilde {H}}_{0}(X)=\ker(\epsilon )/\mathrm {im} (\partial _{1})}
.
One can show that
H
0
(
X
)
=
H
~
0
(
X
)
⊕
Z
{\displaystyle H_{0}(X)={\tilde {H}}_{0}(X)\oplus \mathbb {Z} }
; evidently
H
n
(
X
)
=
H
~
n
(
X
)
{\displaystyle H_{n}(X)={\tilde {H}}_{n}(X)}
for all positive n.
Armed with this modified complex, the standard ways to obtain homology with coefficients by applying the tensor product, or reduced cohomology groups from the cochain complex made by using a Hom functor, can be applied.
References
Hatcher, A., (2002) Algebraic Topology Cambridge University Press, ISBN 0-521-79540-0. Detailed discussion of homology theories for simplicial complexes and manifolds, singular homology, etc.
Kata Kunci Pencarian:
- Protein
- Fosforilasi oksidatif
- SIM1
- Daftar masalah matematika yang belum terpecahkan
- Reduced homology
- Singular homology
- Homology (mathematics)
- Relative homology
- Reduction
- Simplicial homology
- Mayer–Vietoris sequence
- Graph homology
- Mapping cone (topology)
- Homology (biology)
