## You are here

Homeadjunction space

## Primary tabs

# adjunction space

Let $X$ and $Y$ be topological spaces, and let $A$ be a subspace of $Y$. Given a continuous function $f:A\rightarrow X,$ define the space $Z:=X\cup_{f}Y$ to be the quotient space $X\amalg Y/\sim,$ where the symbol $\amalg$ stands for disjoint union and the equivalence relation $\sim$ is generated by

$y\sim f(y)\quad\text{for all}\quad y\in A.$ |

$Z$ is called an adjunction of $Y$ to $X$ along $f$ (or along $A$, if the map $f$ is understood). This construction has the effect of gluing the subspace $A$ of $Y$ to its image in $X$ under $f.$

###### Remark 1.

Though the definition makes sense for arbitrary $A$, it is usually assumed that $A$ is a closed subspace of $Y$. This results in better-behaved adjunction spaces (e.g., the quotient of $X$ by a non-closed set is never Hausdorff).

###### Remark 2.

The adjunction space construction is a special case of the pushout in the category of topological spaces. The two maps being pushed out are $f$ and the inclusion map of $A$ into $Y$.

## Mathematics Subject Classification

54B17*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

## Comments

## Two comments on adjunction space

1. I have seen in some books this definition with the assumption that A is closed subspace. (Walker: Stone-Cech compactification, p.267; Engelking: General Topology)

I wasn't able to find a reference, where this assumption is relaxed. (But I would say, whenever I've used this notion, the condition of closedness wasn't necessary.)

Do you know about a book where adjunction space is used without this assumption?

2. Perhaps it could be mentioned in the article, that the adjunction space is pushout in the category of topological spaces.