WEDGE SUM

In topology, the 'wedge sum' is a "one-point union" of a family of topological spaces. Specifically, if ''X'' and ''Y'' are pointed spaces (i.e. topological spaces with distinguished basepoints ''x''₀ and ''y''₀) the wedge sum of ''X'' and ''Y'' is the quotient of the disjoint union of ''X'' and ''Y'' by the identification ''x''₀ ∼ ''y''₀:
:
More generally, suppose (''X''_''i'')_{''i''∈''I''} is a family of pointed spaces with basepoints {''p''_''i''}. The wedge sum of the family is given by:
:
In other words, the wedge sum is the joining of several spaces at a single point. This definition of course depends on the choice of {''p''_''i''} unless the spaces {''X''_''i''} are homogeneous.

Contents

Examples

Categorical description

Properties

See also

Examples

The wedge sum of two circles is homeomorphic to a figure-eight space. The wedge sum of ''n''-circles is often called a ''bouquet of circles'', while a wedge product of arbitrary spheres is often called a 'bouquet of spheres'.
A common construction in homotopy is to identify all of the points along the equator of an ''n''-sphere $S^n$. Doing so results in two copies of the sphere, joined at the point that was the equator:
:
Let $Psi$ be the map , that is, of identifying the equator down to a single point. Then addition of two elements $f,ginpi\_n(X,x\_0)$ of the ''n''-dimensional homotopy group $pi\_n(X,x\_0)$ of a space ''X'' at the distinguished point $x\_0in\; X$ can be understood as the composition of $f$ and $g$ with $Psi$:
:
Here, $f$ and $g$ are understood to be maps, $f:S^n\; o\; X$ and similarly for $g$, which take a distinguished point $s\_0in\; S^n$ to a point $x\_0in\; X$. Note that the above defined the wedge sum of two functions, which was possible because $f(s\_0)=g(s\_0)=x\_0$, which was the point that is equivalenced in the wedge sum of the underlying spaces.

Categorical description

The wedge sum can be understood as the coproduct in the category of pointed spaces. Alternatively, the wedge sum can be seen as the pushout of the diagram ''X'' ← {•} → ''Y'' in the category of topological spaces (where {•} is any one point space).

Properties

Van Kampen's theorem gives certain conditions (which are usually fulfilled for well-behaved spaces, such as CW complexes) under which the fundamental group of the wedge sum of two spaces ''X'' and ''Y'' is the free product of the fundamental groups of ''X'' and ''Y''.

See also

★ Smash product