Wedge sum

Definition

For two spaces

Given two based topological spaces: $(X, x_{0})$ and $(Y, y_{0})$ , denoted as $(X, x_{0}) \lor (Y, y_{0})$ , is defined as follows:

As a topological space: It is the quotient of their disjoint union by the identification $x_{0} \sim y_{0}$ In other words, it is the union of the spaces, identified at the points $x_{0}$ and $y_{0}$ .
As a based topological space: It is the above topological space, and the identified point $x_{0} \sim y_{0}$ is the chosen basepoint.
As a based topological space along with inclusions: It is the above based topological space along with the maps from $(X, x_{0})$ and $(Y, y_{0})$ to it induced by the inclusion in the disjoint union. Both these maps are injective and homeomorphisms to the image. Thus, $(X, x_{0})$ and $(Y, y_{0})$ both look like subspaces of the wedge sum with the subspace topology.

Note that the homeomorphism type of the wedge sum in general depends on the choice of basepoint for both spaces. The exception is when both spaces are homogeneous spaces. In this case, the homeomorphism type of the wedge sum does not depend on the choice of basepoint. An example is the case of the wedge of two circles.

For multiple spaces

Suppose $I$ is an indexing set, and for each $i \in I$ , there is a based topological space $(X_{i}, x_{i})$ . The wedge sum of these based topological spaces, denoted:

$⋁_{i \in I} (X_{i}, x_{i})$

is defined as follows:

As a topological space: It is the quotient of the disjoint union of the $X_{i}$ s by the equivalence relation that identifies all the $x_{i}$ s with each other and makes no other identifications.
As a based topological space: It is the above topological space, with the basepoint chosen as the single point obtained after identifying all the $x_{i}$ s.
As a based topological space along with inclusions: It is the above based topological space along with the maps to it from each $(X_{i}, x_{i})$ induced by the inclusion in the disjoint union. All these maps are injective and homeomorphisms to the image. Thus, $(X_{i}, x_{i})$ all look like subspaces of the wedge sum with the subspace topology.

As a coproduct

The wedge sum is the (unique in the usual sense) coproduct in the category of based topological spaces. In other words, given a bunch of topological spaces $(X_{i}, x_{i}), i \in I$ , and continuous maps $f_{i} : (X_{i}, x_{i}) \to (Z, z)$ for some based topological space $(Z, z)$ , there is a unique continuous map $f$ from the wedge sum to $(Z, z)$ such that composing $f$ with the respective inclusion maps gives $f_{i}$ .