Difference between revisions of "Algebraic topology"
| Line 1: | Line 1: | ||
| − | '''Algebraic topology''' is a branch of mathematics that uses [[abstract algebra]] to understand [[topological space]]s. | + | '''Algebraic topology''' is a branch of mathematics that uses [[abstract algebra]] to understand [[topological space]]s, and [[topology]] to understand [[abstract algebra]]. |
| + | |||
| + | The primary method of algebraic topology is to identify some kind of relation between a [[group|Group (mathematics)]] (or a [[ring|Ring (mathematics)]] or other structure) and a [[topological space]]. Once such a relation is established, known results in one field can yield results in the other field. | ||
| + | |||
| + | Important results in this field include the Poincare conjecture, the unclassifiable nature of four-dimensional manifolds, and the proof that subgroups of free groups are necessarily free themselves. | ||
| + | |||
| + | == The Homotopy Groups == | ||
| + | |||
| + | One of the most elementary tools in algebraic topology is the [[fundamental group]], which is symbolized by <math>\pi_{1}(X) \ </math> for a given topological space <math>X \ </math>. Some details must be ironed out: for example, the investigation of loops which are very similar gives no insight into the structure of the space, so we work instead with sets of loops called homotopy classes. | ||
<br /><br /> | <br /><br /> | ||
| − | + | The formal definition is as follows: Let <math>p \ </math> be a fixed point in <math>X \ </math>. | |
| − | if there exists a [[mapping]] <math>H:[0,1]\times[0,1]\rightarrow X</math> with <math>H(t,0) = \gamma_1(t)</math> and <math>H(t,1) = \gamma_2(t)</math>. We can define an group structure on the resulting [[equivalence class]] of curves by declaring <math>\gamma_1\cdot\gamma_2</math> to be the curve <math>\gamma_2</math> followed by <math>\gamma_1</math>, and rescaled so that the resulting curve still has domain <math>[0,1]</math>. This group is called the fundamental group of <math>X</math> | + | Consider the space of all [[curve]]s <math>\gamma:[0,1]\rightarrow X \ </math> which begin and end at <math>p \ </math>. |
| + | We consider two such curves to be ([[homotopy|homotopically]]) equivalent if we can [[continuous]]ly deform the first curve into the second; that is to say, we consider <math>\gamma_1 \ </math> to be equivalent to <math>\gamma_2 \ </math> | ||
| + | if there exists a [[mapping]] <math>H:[0,1]\times[0,1]\rightarrow X \ </math> with <math>H(t,0) = \gamma_1(t) \ </math> and <math>H(t,1) = \gamma_2(t) \ </math>. We can define an group structure on the resulting [[equivalence class]] of curves by declaring <math>\gamma_1\cdot\gamma_2 \ </math> to be the curve <math>\gamma_2 \ </math> followed by <math>\gamma_1 \ </math>, and rescaled so that the resulting curve still has domain <math>[0,1]</math>. This group is called the fundamental group of <math>X \ </math>. | ||
| + | |||
| + | Higher homotopy groups can be defined, and are written as <math>\pi_n(X) \ </math>. These are defined in just the same way, except we consider maps <math>\gamma:[0,1]^n \rightarrow X \ </math> instead. | ||
<br /><br /> | <br /><br /> | ||
| − | + | A very important example is the topological space <math>\mathbb{S}^1 \ </math>, the circle. It can be shown that the fundamental group of <math>\mathbb{S}^1 \ </math> is isomorphic to the additive group of [[integer]]s <math>\mathbb{Z}</math>. Other examples include the torus, <math>\pi_1(\mathbb{T}^n) \ </math>, which is the free group on <math>n \ </math> generators, the sphere | |
| + | |||
| + | <math>\pi_m(\mathbb{S}^n) = \begin{cases} \left\{{e}\right\}, & \mbox{if } m< n \\ \mathbb{Z}, & \mbox{if } m=n \end{cases} \ </math> | ||
| + | |||
| + | where the former is the group with one element. | ||
| + | |||
| + | ==The Homology Groups== | ||
| + | |||
| + | Homology groups, while lacking the simple definition of the homotopy groups, tend to be more studied and more useful for classification of topological spaces. There are two approaches to the study of homology: simplicial, which forms groups out of chain complexes, and de Rham, which forms groups from differential forms. | ||
| − | |||
[[Category:Topology]] | [[Category:Topology]] | ||
[[Category:Algebra]] | [[Category:Algebra]] | ||
Revision as of 03:55, July 6, 2009
Algebraic topology is a branch of mathematics that uses abstract algebra to understand topological spaces, and topology to understand abstract algebra.
The primary method of algebraic topology is to identify some kind of relation between a Group (mathematics) (or a Ring (mathematics) or other structure) and a topological space. Once such a relation is established, known results in one field can yield results in the other field.
Important results in this field include the Poincare conjecture, the unclassifiable nature of four-dimensional manifolds, and the proof that subgroups of free groups are necessarily free themselves.
The Homotopy Groups
One of the most elementary tools in algebraic topology is the fundamental group, which is symbolized by 
for a given topological space 
. Some details must be ironed out: for example, the investigation of loops which are very similar gives no insight into the structure of the space, so we work instead with sets of loops called homotopy classes.
The formal definition is as follows: Let 
be a fixed point in .
Consider the space of all curves 
which begin and end at .
We consider two such curves to be (homotopically) equivalent if we can continuously deform the first curve into the second; that is to say, we consider 
to be equivalent to 
if there exists a mapping 
with 
and 
. We can define an group structure on the resulting equivalence class of curves by declaring 
to be the curve followed by , and rescaled so that the resulting curve still has domain 
. This group is called the fundamental group of .
Higher homotopy groups can be defined, and are written as 
. These are defined in just the same way, except we consider maps 
instead.
A very important example is the topological space 
, the circle. It can be shown that the fundamental group of is isomorphic to the additive group of integers 
. Other examples include the torus, 
, which is the free group on 
generators, the sphere
where the former is the group with one element.
The Homology Groups
Homology groups, while lacking the simple definition of the homotopy groups, tend to be more studied and more useful for classification of topological spaces. There are two approaches to the study of homology: simplicial, which forms groups out of chain complexes, and de Rham, which forms groups from differential forms.
