| Fundamental Group |
Article Index for Fundamental |
Website Links For Fundamental |
Information AboutFundamental Group |
| CATEGORIES ABOUT FUNDAMENTAL GROUP | |
| algebraic topology | |
| homotopy theory | |
|
In Mathematics , the fundamental group is one of the basic concepts of Algebraic Topology . Associated with every point of a Topological Space there is a fundamental Group that conveys information about the 1-dimensional structure of the portion of the space surrounding the given point. The fundamental group is the first Homotopy Group . INTUITION AND DEFINITION Before giving a precise definition of the fundamental group, we try to describe the general idea in non-mathematical terms. Take some space, and some point in it, and consider all the loops at this point -- paths which start at this point, wander around as much as they like and eventually return to the starting point. Two loops can be combined together in an obvious way: travel along the first loop, then along the second. The set of all the loops with this method of combining them is the fundamental group, except that for technical reasons it is necessary to consider two loops to be the same if one can be deformed into the other without breaking. For the precise definition, let ''X'' be a topological space, and let ''x''0 be a point of ''X''. We are interested in the set of are called homotopy classes. The product ''f'' ∗ ''g'' of two loops ''f'' and ''g'' is defined by setting (''f'' ∗ ''g'')(t) = ''f''(2''t'') if ''t'' is in and (''f'' ∗ ''g'')(t) = ''g''(2''t'' − 1) if ''t'' is in [1/2,1 . The loop ''f'' ∗ ''g'' thus first follows the loop ''f'' with "twice the speed" and then follows ''g'' with twice the speed. The product of two homotopy classes of loops and [''g'' is then defined as ∗ ''g'' , and it can be shown that this product does not depend on the choice of representatives. With the above product, the set of all homotopy classes of loops with base point ''x''0 forms the fundamental group of ''X'' at the point ''x''0 and is denoted : or simply π(''X'',''x''0). The identity element is the constant map at the basepoint, and the inverse of a loop ''f'' is the loop ''g'' defined by ''g''(t) = ''f''(1 − ''t''). That is, ''g'' follows ''f'' backwards. Although the fundamental group in general depends on the choice of base point, it turns out that, Up To Isomorphism , this choice makes no difference if the space ''X'' is Path-connected . For path-connected spaces, therefore, we can write π1(''X'') instead of π1(''X'',''x''0) without ambiguity whenever we care about the Isomorphism Class only. EXAMPLES In many spaces, such as R''n'', or any Convex Subset of R''n'', there is only one homotopy class of loops, and the fundamental group is therefore trivial, i.e. ({0},+). A path-connected space with a trivial fundamental group is said to be Simply Connected . A more interesting example is provided by the Circle . It turns out that each homotopy class consists of all loops which wind around the circle a given number of times (which can be positive or negative, depending on the direction of winding). The product of a loop which winds around ''m'' times and another that winds around ''n'' times is a loop which winds around ''m'' + ''n'' times. So the fundamental group of the circle is Isomorphic to , the additive group of Integer s. This fact can be used to give proofs of the Brouwer Fixed Point Theorem and the Borsuk–Ulam Theorem in dimension 2. Since the fundamental group is a homotopy invariant, the theory of the Winding Number for the complex plane minus one point is the same as for the circle. Unlike the of ''G''. A somewhat more sophisticated example of a space with a non-abelian fundamental group is the complement of a Trefoil Knot in R3. FUNCTORIALITY If ''f'' : ''X'' → ''Y'' is a continuous map, ''x''0∈''X'' and ''y''0∈''Y'' with ''f''(''x''0) = ''y''0, then every loop in ''X'' with base point ''x''0 can be composed with ''f'' to yield a loop in ''Y'' with base point ''y''0. This operation is compatible with the homotopy equivalence relation and with composition of loops. The resulting Group Homomorphism , called the Induced Homomorphism , is written as π(''f'') or, more commonly,
We thus obtain a Functor from the Category Of Topological Spaces with base point to the Category Of Groups .
: The fundamental group functor takes Products to Products and Coproduct s to coproducts. That is, if ''X'' and ''Y'' are path connected, then : and
RELATIONSHIP TO FIRST HOMOLOGY GROUP The fundamental groups of a topological space ''X'' are related to its first singular Homology Group , because a loop is also a singular 1-cycle. Mapping the homotopy class of each loop at a base point ''x''0 to the homology class of the loop gives a homomorphism from the fundamental group π(''X'',''x''0) to the homology group ''H''1(''X''). If ''X'' is path-connected, then this homomorphism is Surjective and its Kernel is the Commutator Subgroup of π(''X'',''x''0), and ''H''1(''X'') is therefore isomorphic to the abelianization of π(''X'',''x''0). This is a special case of the Hurewicz Theorem of algebraic topology. REALIZABILITY Every group can be realized as the fundamental group of a Connected CW-complex of dimension 2 (or higher). As noted above, though, only free groups can occur as fundamental groups of 1-dimensional CW-complexes (that is, graphs). Every Finitely Presented Group can be realized as the fundamental group of a Compact , connected, Smooth Manifold of dimension 4 (or higher). But there are severe restrictions on which groups occur as fundamental groups of low-dimensional manifolds. For example, no Free Abelian Group of rank 4 or higher can be realized as the fundamental group of a manifold of dimension 3 or less. RELATED CONCEPTS The fundamental group measures the 1-dimensional hole structure of a space. For studying "higher-dimensional holes", the Homotopy Group s are used. The elements of the ''n''-th homotopy group of ''X'' are homotopy classes of (basepoint-preserving) maps from ''S''''n'' to ''X''. The set of loops at a particular base point can be studied without regarding homotopic loops as equivalent. This larger object is the Loop Space . Fundamental groupoid Rather than singling out one point and considering the loops based at that point up to homotopy, one can also consider ''all'' paths in the space up to homotopy (fixing the initial and final point). This yields not a group but a Groupoid , the fundamental groupoid of the space. SEE ALSO There is also a similar notion of Fundamental Group of Algebraic Varieties . REFERENCES
|
|
|