|
|
|
|
Van Kampen's theorem
|
(Theorem)
|
|
|
Van Kampen's theorem is usually stated as follows:
There is also a “basepoint-free” version about fundamental groupoids:
Notice that in the basepoint-free version it is not required that the spaces are connected.
- 1
- R. Brown, Topology and Groupoids, Booksurge PLC (2006).
|
"Van Kampen's theorem" is owned by RonaldBrown. [ full author list (2) | owner history (2) ]
|
|
(view preamble)
| Other names: |
Seifert-Van Kampen theorem |
|
|
Cross-references: groupoids, category, induced, maps, commutative diagram, pushouts, preserves, functor, fundamental groupoids, subgroup, free product, fundamental group, inclusions, subspaces, topological space, connected
There are 2 references to this entry.
This is version 4 of Van Kampen's theorem, born on 2003-01-30, modified 2008-05-07.
Object id is 3947, canonical name is VanKampensTheorem.
Accessed 10580 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{ &{X_1}\ar[dr]^{j_1}&\ {X_0}\ar[ur]^{i_1}\ar[dr]_{i_2} & & {X}\ &{X_2}\ar[ur]_{j_2}& } } \end{xy}$](http://images.planetmath.org:8080/cache/objects/9967/l2h/img15.png "$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ &{X_1}\ar[dr]^{j_1}&\ {X_0}\ar[ur]^{i_1}\ar[dr]_{i_2} & & {X}\ &{X_2}\ar[ur]_{j_2}& } } \end{xy}$")
![$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ &{\Pi_1(X_1)}\ar[dr]^{\Pi_1(j_1)... ...{\Pi_1(i_2)} & & {\Pi_1(X)}\ &{\Pi_1(X_2)}\ar[ur]_{\Pi_1(j_2)} & } } \end{xy}$](http://images.planetmath.org:8080/cache/objects/9967/l2h/img16.png "$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ &{\Pi_1(X_1)}\ar[dr]^{\Pi_1(j_1)... ...{\Pi_1(i_2)} & & {\Pi_1(X)}\ &{\Pi_1(X_2)}\ar[ur]_{\Pi_1(j_2)} & } } \end{xy}$")