Back to the index. Or to the chambers

This article has 59 links. View as Cloud or List.

Abelian Group Mapping Addition Subgraph Measure Functor Line Segment Point First Order Theories Homeomorphism Set Euclidean Transformation Group Quantifier Triangle Basic Polynomial Topological Space Even Number Simple Algebraic System Obvious Finite Function Ring Representation Lie Algebra Similarity In Geometry Continuous Fix Relation Quotient Group Number Integer Real Number Graph Direct Image Counting Compositions Of An Integer Algebraic Topology Boundary In Topology Path Connected Endpoint Face Of A Convex Set Polytope Linear Combination Singular Simplicial Complex Chain Complex Lie Algebra Cohomology Homology Chain Complex Projective Space Homotopy Groups Regular Category Computable Number Tetrahedron Topological Invariant Orientation Spectral Sequence Homotopy Invariance Cellular Homology Mayer Vietoris Sequence Morse Homology

1	Functor
1	Triangle
1	Point
1	Similarity In Geometry
1	Euclidean Transformation
1	Measure
1	Homeomorphism
1	Topological Space
1	Continuous
1	Basic Polynomial
1	Real Number
1	Simple Algebraic System
1	Obvious
1	Direct Image
1	Relation
1	Function
1	Finite
1	Set
1	First Order Theories
1	Mapping
1	Fix
1	Even Number
1	Line Segment
1	Integer
1	Number
1	Quantifier
1	Ring
1	Graph
1	Subgraph
1	Addition
1	Quotient Group
1	Abelian Group
1	Group
1	Representation Lie Algebra
2	Algebraic Topology
2	Boundary In Topology
2	Path Connected
2	Endpoint
2	Counting Compositions Of An Integer
3	Polytope
3	Face Of A Convex Set
3	Linear Combination
4	Chain Complex
4	Singular
4	Simplicial Complex
4	Lie Algebra Cohomology
5	Homology Chain Complex
5	Projective Space
6	Regular Category
6	Homotopy Groups
7	Computable Number
8	Tetrahedron
8	Orientation
9	Topological Invariant
11	Spectral Sequence
12	Homotopy Invariance
14	Mayer Vietoris Sequence
19	Cellular Homology
21	Morse Homology

Loading ...

Planetmath Browser (2008—2009)

BSD licence | A django site

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

→ The original article on PlanetMath.org

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Homology Topological Space

Homology is the general name for a number of functors from topological spaces to abelian groups (or more generally modules over a fixed ring). It turns out that in most reasonable cases a large number of these (singular homology, cellular homology, Morse homology, simplicial homology) all coincide. There are other generalized homology theories, but I won't consider those. There are also related cohomology theories which serve the same purpose with slightly different machinery.

In an intuitive sense, homology measures “holes” in topological spaces. The idea is that we want to measure the topology of a space by looking at sets which have no boundary, but are not the boundary of something else. These are things that have wrapped around “holes” in our topological space, allowing us to detect those “holes.” Here I don't mean boundary in the formal topological sense, but in an intuitive sense. Thus a loop has no boundary as I mean here, even though it does in the general topological definition. You will see the formal definition below.

Perhaps the simplest form of homology to visualize, and to work with in practice, is simplicial homology. It is based on computing the homology groups of a simplicial complex (generally a finite one). However, it is generally nontrivial to show that a space of interest is homeomorphic to a simplicial complex, and it can also be difficult to apply more advanced methods such as spectral sequences when working with simplicial homology. Singular homology is similar: it is in some sense a continuous version of simplicial homology, and it does not suffer from these problems.

Singular homology is defined as follows: We define the standard -simplex to be the subset

$\displaystyle \Delta_n=\{(x_1,\ldots,x_n)\in\mathbb{R}^n\vert x_i\geq 0, \sum_{i=1}^n x_i\leq 1\}$

of $\mathbb{R}^n$ . The 0-simplex is a point, the

-simplex a line segment, the 2-simplex, a triangle, and the 3-simplex, a tetrahedron.

A singular -simplex in a topological space is a continuous map $f:\Delta_n\to X$ . A singular -chain is a formal linear combination (with integer coefficients) of a finite number of singular -simplices. The -chains in form a group under formal addition, denoted $C_n(X,\mathbb{Z})$ .

Next, we define a boundary operator $\partial_n:C_n(X,\mathbb{Z})\to C_{n-1}(X,\mathbb{Z})$ . Intuitively, this is just taking all the faces of the simplex, and considering their images as simplices of one lower dimension with the appropriate sign to keep orientations correct. Formally, we let $v_0,v_1,\ldots,v_n$ be the vertices of $\Delta_n$ , pick an order on the vertices of the simplex, and let $[v_0,\ldots,\hat{v}_i,\ldots,v_n]$ be the face spanned by all vertices other than , identified with the -simplex by mapping the vertices $v_0,\ldots,v_n$ except for , in that order, to the vertices of the -simplex in the order you have chosen. Then if $\varphi :\Delta_n\to X$ is an -simplex, $\varphi ([v_0,\ldots,\hat{v}_i,\ldots,v_n])$ is the map $\varphi$ , restricted to the face $[v_0,\ldots,\hat{v}_i,\ldots,v_n]$ , made into a singular -simplex by the identification with the standard -simplex I defined above. Then

$\displaystyle \partial_n(\varphi )=\sum_{i=0}^n(-1)^i\varphi ([v_0,\ldots,\hat{v}_i,\ldots,v_n]).$

It is a simple exercise in reindexing to check that $\partial_n\circ\partial_{n+1}=0$ .

For example, if $\varphi$ is a singular -simplex (that is a path), then $\partial(\varphi )=\varphi (1)-\varphi (0)$ . That is, it is the difference of the endpoints (thought of as 0-simplices).

Now, we are finally in a position to define homology groups. Let $H_n(X,\mathbb{Z})$ , the homology group of be the quotient

$\displaystyle H_n(X,\mathbb{Z})=\frac{\mathrm{ker}\,\partial_{n}}{\mathrm{im}\partial_{n+1}}.$

The association $X\mapsto H_n(X,\mathbb{Z})$ is a functor from topological spaces to abelian groups, and the maps $f_*:H_n(X,\mathbb{Z})\to H_n(Y,\mathbb{Z})$ induced by a map $f:X\to Y$ are simply those induced by composition of an singular -simplex with the map .

From this definition, it is not at all clear that homology is at all computable. But, in fact, homology is often much more easily computed than homotopy groups or most other topological invariants. Important tools in the calculation of homology are long exact sequences, the Mayer-Vietoris sequence, cellular homology, spectral sequences, and homotopy invariance.

Some examples of homology groups:

$\begin{displaymath} H_m(\mathbb{R}^n,\mathbb{Z})= \begin{cases} \mathbb{Z}& m=0\\ 0 & m> 0. \end{cases}\end{displaymath}$

This reflects the fact that $\mathbb{R}^n$ has “no holes”

Consider the space $\mathbb{R}P^n$ , real projective space, which is $\mathbb{R}^{n+1}\setminus\{0\}$ modulo the relation that $(x_0,\ldots,x_n)\equiv \lambda(x_0,\ldots,x_n)$ for every nonzero $\lambda$ . For even,

$\displaystyle H_m(\mathbb{R}P^n,\mathbb{Z})=\begin{cases} \mathbb{Z}& m=0\\ \m... ...t{ or } n>m>0\\ 0 & m\equiv 0\pmod 2,\, n>m>0 \text{ or } m\geq n, \end{cases}$

and for

odd,

$\begin{displaymath} H_m(\mathbb{R}P^n,\mathbb{Z})= \begin{cases} \mathbb{Z}& m=0... ...>0\\ 0 & m\equiv 0\pmod 2,\,n>m>0 \text{ or } m>n. \end{cases}\end{displaymath}$