# Wedge sum

Template:Product notion for topospaces

## Contents

## Definition

### For two spaces

Given two based topological spaces: and , denoted as , is defined as follows:

- As a topological space: It is the quotient of their disjoint union by the identification In other words, it is the union of the spaces, identified at the points and .
- As a based topological space: It is the above topological space, and the
*identified point*is the chosen basepoint. - As a based topological space
*along with inclusions*: It is the above based topological space*along with*the maps from and to it induced by the inclusion in the disjoint union. Both these maps are injective and homeomorphisms to the image. Thus, and 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 is an indexing set, and for each , there is a based topological space . The **wedge sum** of these based topological spaces, denoted:

is defined as follows:

- As a topological space: It is the quotient of the disjoint union of the s by the equivalence relation that identifies all the 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 s.
- As a based topological space
*along with inclusions*: It is the above based topological space*along with*the maps to it from each induced by the inclusion in the disjoint union. All these maps are injective and homeomorphisms to the image. Thus, 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 , and continuous maps for some based topological space , there is a unique continuous map from the wedge sum to such that composing with the respective inclusion maps gives .

## Facts

### Wedge sum is associative

Since the wedge sum is a coproduct, it is associative in the category of based topological spaces.

However, when the wedge sum is viewed over topological spaces *without* specification of basepoint, it is not uniquely defined, and hence different ways of associating it may correspond to different interpretations.

For instance, the wedge of three circles has two different interpretations, depending on whether we think of wedging all three circles together, or whether we wedge two circles at one basepoint and then choose a different basepoint in the wedge of two circles to wedge with the third circle.