Wsrtjtyk

This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (August 2018) (Learn how and when to remove this template message)

In algebraic topology, a branch of mathematics, singular homology refers to the study of a certain set of algebraic invariants of a topological space X, the so-called homology groups Hn(X).{displaystyle H_{n}(X).} Intuitively, singular homology counts, for each dimension n, the n-dimensional holes of a space. Singular homology is a particular example of a homology theory, which has now grown to be a rather broad collection of theories. Of the various theories, it is perhaps one of the simpler ones to understand, being built on fairly concrete constructions.

In brief, singular homology is constructed by taking maps of the standard n-simplex to a topological space, and composing them into formal sums, called singular chains. The boundary operation – mapping each n-dimensional simplex to its (n-1)-dimensional boundary – induces the singular chain complex. The singular homology is then the homology of the chain complex. The resulting homology groups are the same for all homotopy equivalent spaces, which is the reason for their study. These constructions can be applied to all topological spaces, and so singular homology can be expressed in terms of category theory, where homology is expressible as a functor from the category of topological spaces to the category of graded abelian groups.

Singular simplices

The standard 2-simplex Δ² in R³

A singular n-simplex in a topological space X is a continuous function (also called a map) σ{displaystyle sigma } from the standard n-simplex Δn{displaystyle Delta ^{n}} to X, written σ:Δn→X.{displaystyle sigma :Delta ^{n}to X.} This map need not be injective, and there can be non-equivalent singular simplices with the same image in X.

The boundary of σ,{displaystyle sigma ,} denoted as ∂nσ,{displaystyle partial _{n}sigma ,} is defined to be the formal sum of the singular (n − 1)-simplices represented by the restriction of σ{displaystyle sigma } to the faces of the standard n-simplex, with an alternating sign to take orientation into account. (A formal sum is an element of the free abelian group on the simplices. The basis for the group is the infinite set of all possible singular simplices. The group operation is "addition" and the sum of simplex a with simplex b is usually simply designated a + b, but a + a = 2a and so on. Every simplex a has a negative −a.) Thus, if we designate σ{displaystyle sigma } by its vertices

[p0,p1,⋯,pn]=[σ(e0),σ(e1),⋯,σ(en)]{displaystyle [p_{0},p_{1},cdots ,p_{n}]=[sigma (e_{0}),sigma (e_{1}),cdots ,sigma (e_{n})]}

corresponding to the vertices ek{displaystyle e_{k}} of the standard n-simplex Δn{displaystyle Delta ^{n}} (which of course does not fully specify the singular simplex produced by σ{displaystyle sigma }), then

∂nσ=∑k=0n(−1)k[p0,⋯,pk−1,pk+1,⋯pn]{displaystyle partial _{n}sigma =sum _{k=0}^{n}(-1)^{k}[p_{0},cdots ,p_{k-1},p_{k+1},cdots p_{n}]}

is a formal sum of the faces of the simplex image designated in a specific way. (That is, a particular face has to be the restriction of σ{displaystyle sigma } to a face of Δn{displaystyle Delta ^{n}} which depends on the order that its vertices are listed.) Thus, for example, the boundary of σ=[p0,p1]{displaystyle sigma =[p_{0},p_{1}]} (a curve going from p0{displaystyle p_{0}} to p1{displaystyle p_{1}}) is the formal sum (or "formal difference") [p1]−[p0]{displaystyle [p_{1}]-[p_{0}]}.

Singular chain complex

The usual construction of singular homology proceeds by defining formal sums of simplices, which may be understood to be elements of a free abelian group, and then showing that we can define a certain group, the homology group of the topological space, involving the boundary operator.

Consider first the set of all possible singular n-simplices σn(X){displaystyle sigma _{n}(X)} on a topological space X. This set may be used as the basis of a free abelian group, so that each singular n-simplex is a generator of the group. This set of generators is of course usually infinite, frequently uncountable, as there are many ways of mapping a simplex into a typical topological space. The free abelian group generated by this basis is commonly denoted as Cn(X){displaystyle C_{n}(X)}. Elements of Cn(X){displaystyle C_{n}(X)} are called singular n-chains; they are formal sums of singular simplices with integer coefficients.

The boundary ∂{displaystyle partial } is readily extended to act on singular n-chains. The extension, called the boundary operator, written as

∂n:Cn→Cn−1,{displaystyle partial _{n}:C_{n}to C_{n-1},}

is a homomorphism of groups. The boundary operator, together with the Cn{displaystyle C_{n}}, form a chain complex of abelian groups, called the singular complex. It is often denoted as (C∙(X),∂∙){displaystyle (C_{bullet }(X),partial _{bullet })} or more simply C∙(X){displaystyle C_{bullet }(X)}.

The kernel of the boundary operator is Zn(X)=ker⁡(∂n){displaystyle Z_{n}(X)=ker(partial _{n})}, and is called the group of singular n-cycles. The image of the boundary operator is Bn(X)=im⁡(∂n+1){displaystyle B_{n}(X)=operatorname {im} (partial _{n+1})}, and is called the group of singular n-boundaries.

It can also be shown that ∂n∘∂n+1=0{displaystyle partial _{n}circ partial _{n+1}=0}. The n{displaystyle n}-th homology group of X{displaystyle X} is then defined as the factor group

Hn(X)=Zn(X)/Bn(X).{displaystyle H_{n}(X)=Z_{n}(X)/B_{n}(X).}

The elements of Hn(X){displaystyle H_{n}(X)} are called homology classes.

Homotopy invariance

If X and Y are two topological spaces with the same homotopy type (i.e. are homotopy equivalent), then

Hn(X)≅Hn(Y){displaystyle H_{n}(X)cong H_{n}(Y),}

for all n ≥ 0. This means homology groups are topological invariants.

In particular, if X is a connected contractible space, then all its homology groups are 0, except H0(X)≅Z{displaystyle H_{0}(X)cong mathbb {Z} }.

A proof for the homotopy invariance of singular homology groups can be sketched as follows. A continuous map f: X → Y induces a homomorphism

f♯:Cn(X)→Cn(Y).{displaystyle f_{sharp }:C_{n}(X)rightarrow C_{n}(Y).}

It can be verified immediately that

∂f♯=f♯∂,{displaystyle partial f_{sharp }=f_{sharp }partial ,}

i.e. f_# is a chain map, which descends to homomorphisms on homology

f∗:Hn(X)→Hn(Y).{displaystyle f_{*}:H_{n}(X)rightarrow H_{n}(Y).}

We now show that if f and g are homotopically equivalent, then f_* = g_*. From this follows that if f is a homotopy equivalence, then f_* is an isomorphism.

Let F : X × [0, 1] → Y be a homotopy that takes f to g. On the level of chains, define a homomorphism

P:Cn(X)→Cn+1(Y){displaystyle P:C_{n}(X)rightarrow C_{n+1}(Y)}

that, geometrically speaking, takes a basis element σ: Δⁿ → X of C_n(X) to the "prism" P(σ): Δⁿ × I → Y. The boundary of P(σ) can be expressed as

∂P(σ)=f♯(σ)−g♯(σ)−P(∂σ).{displaystyle partial P(sigma )=f_{sharp }(sigma )-g_{sharp }(sigma )-P(partial sigma ).}

So if α in C_n(X) is an n-cycle, then f_#(α ) and g_#(α) differ by a boundary:

f♯(α)−g♯(α)=∂P(α),{displaystyle f_{sharp }(alpha )-g_{sharp }(alpha )=partial P(alpha ),}

i.e. they are homologous. This proves the claim.

Functoriality

The construction above can be defined for any topological space, and is preserved by the action of continuous maps. This generality implies that singular homology theory can be recast in the language of category theory. In particular, the homology group can be understood to be a functor from the category of topological spaces Top to the category of abelian groups Ab.

Consider first that X↦Cn(X){displaystyle Xmapsto C_{n}(X)} is a map from topological spaces to free abelian groups. This suggests that Cn(X){displaystyle C_{n}(X)} might be taken to be a functor, provided one can understand its action on the morphisms of Top. Now, the morphisms of Top are continuous functions, so if f:X→Y{displaystyle f:Xto Y} is a continuous map of topological spaces, it can be extended to a homomorphism of groups

f∗:Cn(X)→Cn(Y){displaystyle f_{*}:C_{n}(X)to C_{n}(Y),}

by defining

f∗(∑iaiσi)=∑iai(f∘σi){displaystyle f_{*}left(sum _{i}a_{i}sigma _{i}right)=sum _{i}a_{i}(fcirc sigma _{i})}

where σi:Δn→X{displaystyle sigma _{i}:Delta ^{n}to X} is a singular simplex, and ∑iaiσi{displaystyle sum _{i}a_{i}sigma _{i},} is a singular n-chain, that is, an element of Cn(X){displaystyle C_{n}(X)}. This shows that Cn{displaystyle C_{n}} is a functor

Cn:Top→Ab{displaystyle C_{n}:mathbf {Top} to mathbf {Ab} }

from the category of topological spaces to the category of abelian groups.

The boundary operator commutes with continuous maps, so that ∂nf∗=f∗∂n{displaystyle partial _{n}f_{*}=f_{*}partial _{n}}. This allows the entire chain complex to be treated as a functor. In particular, this shows that the map X↦Hn(X){displaystyle Xmapsto H_{n}(X)} is a functor

Hn:Top→Ab{displaystyle H_{n}:mathbf {Top} to mathbf {Ab} }

from the category of topological spaces to the category of abelian groups. By the homotopy axiom, one has that Hn{displaystyle H_{n}} is also a functor, called the homology functor, acting on hTop, the quotient homotopy category:

Hn:hTop→Ab.{displaystyle H_{n}:mathbf {hTop} to mathbf {Ab} .}

This distinguishes singular homology from other homology theories, wherein Hn{displaystyle H_{n}} is still a functor, but is not necessarily defined on all of Top. In some sense, singular homology is the "largest" homology theory, in that every homology theory on a subcategory of Top agrees with singular homology on that subcategory. On the other hand, the singular homology does not have the cleanest categorical properties; such a cleanup motivates the development of other homology theories such as cellular homology.

More generally, the homology functor is defined axiomatically, as a functor on an abelian category, or, alternately, as a functor on chain complexes, satisfying axioms that require a boundary morphism that turns short exact sequences into long exact sequences. In the case of singular homology, the homology functor may be factored into two pieces, a topological piece and an algebraic piece. The topological piece is given by

C∙:Top→Comp{displaystyle C_{bullet }:mathbf {Top} to mathbf {Comp} }

which maps topological spaces as X↦(C∙(X),∂∙){displaystyle Xmapsto (C_{bullet }(X),partial _{bullet })} and continuous functions as f↦f∗{displaystyle fmapsto f_{*}}. Here, then, C∙{displaystyle C_{bullet }} is understood to be the singular chain functor, which maps topological spaces to the category of chain complexes Comp (or Kom). The category of chain complexes has chain complexes as its objects, and chain maps as its morphisms.

The second, algebraic part is the homology functor

Hn:Comp→Ab{displaystyle H_{n}:mathbf {Comp} to mathbf {Ab} }

which maps

C∙↦Hn(C∙)=Zn(C∙)/Bn(C∙){displaystyle C_{bullet }mapsto H_{n}(C_{bullet })=Z_{n}(C_{bullet })/B_{n}(C_{bullet })}

and takes chain maps to maps of abelian groups. It is this homology functor that may be defined axiomatically, so that it stands on its own as a functor on the category of chain complexes.

Homotopy maps re-enter the picture by defining homotopically equivalent chain maps. Thus, one may define the quotient category hComp or K, the homotopy category of chain complexes.

Coefficients in R

Given any unital ring R, the set of singular n-simplices on a topological space can be taken to be the generators of a free R-module. That is, rather than performing the above constructions from the starting point of free abelian groups, one instead uses free R-modules in their place. All of the constructions go through with little or no change. The result of this is

Hn(X,R) {displaystyle H_{n}(X,R) }

which is now an R-module. Of course, it is usually not a free module. The usual homology group is regained by noting that

Hn(X,Z)=Hn(X){displaystyle H_{n}(X,mathbb {Z} )=H_{n}(X)}

when one takes the ring to be the ring of integers. The notation H_n(X, R) should not be confused with the nearly identical notation H_n(X, A), which denotes the relative homology (below).

Relative homology

For a subspace A⊂X{displaystyle Asubset X}, the relative homology H_n(X, A) is understood to be the homology of the quotient of the chain complexes, that is,

Hn(X,A)=Hn(C∙(X)/C∙(A)){displaystyle H_{n}(X,A)=H_{n}(C_{bullet }(X)/C_{bullet }(A))}

where the quotient of chain complexes is given by the short exact sequence

0→C∙(A)→C∙(X)→C∙(X)/C∙(A)→0.{displaystyle 0to C_{bullet }(A)to C_{bullet }(X)to C_{bullet }(X)/C_{bullet }(A)to 0.}

Cohomology

By dualizing the homology chain complex (i.e. applying the functor Hom(-, R), R being any ring) we obtain a cochain complex with coboundary map δ{displaystyle delta }. The cohomology groups of X are defined as the homology groups of this complex; in a quip, "cohomology is the homology of the co [the dual complex]".

The cohomology groups have a richer, or at least more familiar, algebraic structure than the homology groups. Firstly, they form a differential graded algebra as follows:

• the graded set of groups form a graded R-module;


• this can be given the structure of a graded R-algebra using the cup product;


• the Bockstein homomorphism β gives a differential.

There are additional cohomology operations, and the cohomology algebra has addition structure mod p (as before, the mod p cohomology is the cohomology of the mod p cochain complex, not the mod p reduction of the cohomology), notably the Steenrod algebra structure.

Betti homology and cohomology

Since the number of homology theories has become large (see Category:Homology theory), the terms Betti homology and Betti cohomology are sometimes applied (particularly by authors writing on algebraic geometry) to the singular theory, as giving rise to the Betti numbers of the most familiar spaces such as simplicial complexes and closed manifolds.

Extraordinary homology

If one defines a homology theory axiomatically (via the Eilenberg–Steenrod axioms), and then relaxes one of the axioms (the dimension axiom), one obtains a generalized theory, called an extraordinary homology theory. These originally arose in the form of extraordinary cohomology theories, namely K-theory and cobordism theory. In this context, singular homology is referred to as ordinary homology.

See also

• Derived category


• Excision theorem


• Hurewicz theorem


• Simplicial homology


• Cellular homology

References

• Allen Hatcher, Algebraic topology. Cambridge University Press, .mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
  ISBN 0-521-79160-X and
  ISBN 0-521-79540-0
  


• J.P. May, A Concise Course in Algebraic Topology, Chicago University Press
  ISBN 0-226-51183-9
  


• Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag,
  ISBN 0-387-96678-1