|
|
|
|
Van Kampen's theorem
|
(Theorem)
|
|
|
Van Kampen's theorem for fundamental groups may be stated as follows:
Usually the morphisms induced by inclusion in this theorem are not themselves injective, and the more precise version of the statement is in terms of pushouts of groups.
The notion of pushout in the category of groupoids allows for a version of the theorem for the non path connected case, using the fundamental groupoid
 on a set  of base points, [1]. This groupoid consists of homotopy classes rel end points of paths in  joining points of  . In particular, if  is a contractible space, and  consists of two distinct points of  , then
 is easily seen to be isomorphic to the groupoid often written
 with two vertices and exactly one morphism between any two vertices. This groupoid plays a role in the theory of groupoids analogous to that of the group of integers in the theory of groups.
Theorem 2 Let the topological space  be covered by the interiors of two subspaces  and let  be a set which meets each path component of  and
 . Then  meets each path component of  and the following diagram of morphisms induced by inclusion
is a pushout diagram in the category of groupoids.
The interpretation of this theorem as a calculational tool for fundamental groups needs some development of `combinatorial groupoid theory', [2,4]. This theorem implies the calculation of the fundamental group of the circle as the group of integers, since the group of integers is obtained from the groupoid
 by identifying, in the category of groupoids, its two vertices.
There is a version of the last theorem when  is covered by the union of the interiors of a family
 of subsets, [3]. The conclusion is that if  meets each path component of all 1,2,3-fold intersections of the sets  , then A meets all path components of  and the diagram
of morphisms induced by inclusions is a coequaliser in the category of groupoids.
- 1
- R. Brown, ``Groupoids and Van Kampen's theorem'', Proc. London Math. Soc. (3) 17 (1967) 385-401.
- 2
- R. Brown, Topology and Groupoids, Booksurge PLC (2006).
- 3
- R. Brown and A. Razak, ``A van Kampen theorem for unions of non-connected spaces'', Archiv. Math. 42 (1984) 85-88.
- 4
- P.J. Higgins, Categories and Groupoids, van Nostrand, 1971, Reprints of Theory and Applications of Categories, No. 7 (2005) pp 1-195.
|
"Van Kampen's theorem" is owned by RonaldBrown. [ full author list (3) | owner history (2) ]
|
|
(view preamble)
| Other names: |
Seifert-Van Kampen theorem |
|
|
Cross-references: coequaliser, intersections, conclusion, subsets, circle, implies, development, interpretation, pushout diagram, diagram, path component, meets, integers, group, groupoids, theory, vertices, isomorphic, contractible, points, paths, end points, classes, homotopy, groupoid, base points, fundamental groupoid, category of groupoids, pushout, pushouts of groups, terms, injective, free product, isomorphism, morphism, inclusions, induced, subspaces, path connected, interiors, union, topological space, fundamental groups
There are 3 references to this entry.
This is version 6 of Van Kampen's theorem, born on 2003-01-30, modified 2008-06-17.
Object id is 3947, canonical name is VanKampensTheorem.
Accessed 11871 times total.
Classification:
| AMS MSC: | 55Q05 (Algebraic topology :: Homotopy groups :: Homotopy groups, general; sets of homotopy classes) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
![$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ {\pi_1(X_0,A)}\ar [r]^{\pi_1(i_1... ...^{\pi_1(j_1)} \ {\pi_1(X_2,A)}\ar [r]_{\pi_1(j_2)}& {\pi_1(X,A)} } } \end{xy}$](http://images.planetmath.org:8080/cache/objects/3947/l2h/img30.png "$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ {\pi_1(X_0,A)}\ar [r]^{\pi_1(i_1... ...^{\pi_1(j_1)} \ {\pi_1(X_2,A)}\ar [r]_{\pi_1(j_2)}& {\pi_1(X,A)} } } \end{xy}$")
