Difference between revisions of "Adjunction topology"

From Maths
Jump to: navigation, search
(Created page with "{{Stub page|grade=A}} ==Definition== Suppose {{Top.|X|J}} and {{Top.|Y|K}} are topological spaces, {{M|A\in\mathcal{P}(Y)}} is a closed topological subspace|closed subsp...")
 
m (Alec moved page Adjunction space (topology) to Adjunction topology: No need for space, or brackets. 54 views)
 
(No difference)

Latest revision as of 00:12, 7 August 2016

Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.

Definition

Suppose [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] are topological spaces, [ilmath]A\in\mathcal{P}(Y)[/ilmath] is a closed subspace of [ilmath]Y[/ilmath] and [ilmath]f:A\rightarrow X[/ilmath] is a continuous map, then:

  • The adjunction space[1] formed by attaching [ilmath]Y[/ilmath] to [ilmath]X[/ilmath] along [ilmath]f[/ilmath][1], denoted [ilmath]X\cup_f Y[/ilmath] is given by[1]:
    • [math]X\cup_f Y=\frac{X\coprod Y}{\langle a\sim f(a)\rangle}[/math][Note 1]
      where [ilmath]X\coprod Y[/ilmath] denotes the disjoint union of [ilmath]X[/ilmath] and [ilmath]Y[/ilmath] and [ilmath]\langle a\sim f(a)\rangle[/ilmath] denotes the equivalence relation generated by the relation that relates [ilmath]a[/ilmath] to the image of [ilmath]a[/ilmath] under [ilmath]f[/ilmath], considered with the quotient topology.

[ilmath]f[/ilmath] is called the attaching map[1]

Notes

  1. Some authors use [ilmath]\frac{X\coprod Y}{a\sim f(a)} [/ilmath] or simply just [ilmath]\frac{X\coprod Y}{\sim} [/ilmath] where the relation is understood. I use [ilmath]\langle\cdot\rangle[/ilmath] in line with common notation for generators here.

References

  1. 1.0 1.1 1.2 1.3 Introduction to Topological Manifolds - John M. Lee