Difference between revisions of "Subspace topology"

From Maths
Jump to: navigation, search
m
m (Definition: Added stuff about inclusion map that comes "free" with definition)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 +
{{Refactor notice|grade=A|msg=Needed urgently, ready to plough on with it now though!}}
 +
__TOC__
 +
==Definition==
 +
Let {{Top.|X|J}} be a [[topological space]] and let {{M|S\in\mathcal{P}(X)}}<ref group="Note">Recall {{M|\mathcal{P}(X)}} denotes the [[power set]] of {{M|X}} and {{M|S\in\mathcal{P}(X)\iff S\subseteq X}}, so it's another way of saying let {{M|S}} be a subset of {{M|X}}, possibly empty, possibly equal to {{M|X}} itself</ref> be given. We can construct a new topological space, {{M|(S,\mathcal{J}_S)}} where the [[topology]] {{M|\mathcal{J}_S}} is known as {{nowrap|"the ''subspace topology''}} on {{M|S}}"{{rITTMJML}} ({{AKA}}: ''relative topology'' on {{M|S}}<ref name="ITTMJML"/>) and is defined as follows:
 +
* {{M|1=\mathcal{J}_S:=\{U\cap S\ \vert\ U\in\mathcal{J}\} }} - the open sets of {{M|(S,\mathcal{J}_S)}} are precisely the intersection of open sets of {{Top.|X|J}} with {{M|S}}
 +
** '''Claim 1: ''' this is indeed a [[topology]]<ref name="ITTMJML"/>
 +
Alternatively:
 +
* '''Claim 2: ''' {{M|1=\forall U\in\mathcal{P}(S)\big[U\in\mathcal{J}_S\iff\exists V\in\mathcal{J}[U=S\cap V]\big]}}<ref name="ITTMJML"/>
 +
We get with this a map, called the ''[[canonical injection of the subspace topology]]'', often denoted {{M|i_S:S\rightarrow X}} or {{M|\iota_S:S\rightarrow X}} given by {{M|i_S:s\mapsto s}}. This is an example of an [[inclusion map]], and it is [[continuous]].
  
 +
Note that if one proves {{M|i_S}} is continuous then the [[characteristic property of the subspace topology|characteristic property]] boils down to little more than [[the composition of continuous maps is continuous]], if one proves the characteristic property first, then continuity of {{m|i_S}} comes from it as a [[corollary]]
 +
 +
==Terminology==
 +
* Let {{M|U\in\mathcal{P}(S)}} be given. For clarity rather than saying {{M|U}} is [[open set|open]], or {{M|U}} is [[closed set|closed]] (which is surprisingly ambiguous when using subspaces) we instead say:
 +
*# {{M|U}} is ''[[relatively open]]''<ref name="ITTMJML"/> - indicating we mean open in the subspace, or
 +
*# {{M|U}} is ''[[relatively closed]]''<ref name="ITTMJML"/> - indicating we mean closed in the subspace
 +
{{Todo|Closed and open subspace terminology, For example if {{M|S\in\mathcal{P}(X)}} is ''closed'' with respect to the topology {{M|\mathcal{J} }} on {{M|X}}, then we call {{M|S}} imbued with the subspace topology a ''closed subspace''}}
 +
==[[Characteristic property of the subspace topology|Characteristic property]]==
 +
{{:Characteristic property of the subspace topology/Statement}}
 +
==Proof of claims==
 +
===Claim 1: {{M|\mathcal{J}_S}} is a [[topology]]===
 +
{{Requires proof|grade=C|msg=Really easy, hence low importance|easy=true}}
 +
===Claim 2: Equivalent formulation of the relatively open sets===
 +
{{Requires proof|grade=C|msg=Really easy, hence low importance|easy=true}}
 +
==See next==
 +
{{Todo|Theorems and propositions involving subspaces}}
 +
==See also==
 +
* [[Topological embedding]]
 +
{{Todo|Link to more things}}
 +
==Notes==
 +
<references group="Note"/>
 +
==References==
 +
<references/>
 +
{{Topology navbox|plain}}
 +
{{Definition|Topology}}
 +
 +
=OLD PAGE=
 
==Definition==
 
==Definition==
We define the subspace [[Topological space|topology]] as follows.
+
Given a [[Topological space|topological space]] {{M|(X,\mathcal{J})}} and given a {{M|Y\subset X}} ({{M|Y}} is a subset of {{M|X}}) we define the ''subspace topology'' as follows:<ref name="Topology">Topology - Second Edition - Munkres</ref>
 +
* {{M|(Y,\mathcal{K})}} is a topological space where the [[Open set|open sets]], {{M|\mathcal{K} }}, are given by {{M|1=\mathcal{K}:=\{Y\cap V\vert\ V\in\mathcal{J}\} }}
 +
We may say any one of:
 +
# Let {{M|Y}} be a subspace of {{M|X}}
 +
# Let {{M|Y}} be a subspace of {{M|(X,\mathcal{J})}}
 +
and it is taken implicitly to mean {{M|Y}} is considered as a topological space with the ''subspace topology'' inherited from {{M|(X,\mathcal{J})}}
 +
 
 +
==Proof of claims==
 +
{{Begin Theorem}}
 +
Claim 1: The subspace topology is indeed a topology
 +
{{Begin Proof}}
 +
Here {{M|(X,\mathcal{J})}} is a topological space and {{M|Y\subset X}} and {{M|\mathcal{K} }} is defined as above, we will prove that {{M|(Y,\mathcal{K})}} is a topology.
 +
 
 +
 
 +
Recall that to be a topology {{M|(Y,\mathcal{K})}} must have the following properties:
 +
# {{M|\emptyset\in\mathcal{K} }} and {{M|Y\in\mathcal{K} }}
 +
# For any {{M|U,V\in\mathcal{K} }} we must have {{M|U\cap V\in\mathcal{K} }}
 +
# For an [[Indexing set|arbitrary family]] {{M|\{U_\alpha\}_{\alpha\in I} }} of open sets (that is {{M|\forall\alpha\in I[U_\alpha\in\mathcal{K}]}}) we have:
 +
#* {{MM|\bigcup_{\alpha\in I}A_\alpha\in\mathcal{K} }}
 +
 
 +
 
 +
'''Proof:'''
 +
# First we must show that {{M|\emptyset,Y\in\mathcal{K} }}
 +
#: Recall that {{M|\emptyset,X\in\mathcal{J} }} and notice that:
 +
#:* {{M|1=\emptyset\cap Y=\emptyset}}, so by the definition of {{M|\mathcal{K} }} we have {{M|\emptyset\in\mathcal{K} }}
 +
#:* {{M|1=X\cap Y=Y}}, so by the definition of {{M|\mathcal{K} }} we have {{M|Y\in\mathcal{K} }}
 +
# Next we must show...
 +
 
 +
{{Todo|Easy work just takes time to write!}}
 +
{{End Proof}}{{End Theorem}}
  
Given a topological space <math>(X,\mathcal{J})</math> and any <math>Y\subset X</math> we can define a topology on <math>Y,\ (Y,\mathcal{J}_Y)</math> where <math>\mathcal{J}_Y=\{Y\cap U|U\in\mathcal{J}\}</math>
+
==Terminology==
 +
* A '''closed subspace''' (of {{M|X}}) is a subset of {{M|X}} which is closed in {{M|X}} and is imbued with the subspace topology
 +
* A '''open subspace''' (of {{M|X}}) is a subset of {{M|X}} which is open in {{M|X}} and is imbued with the subspace topology
 +
{{Todo|Find reference}}
 +
* A set {{M|U\subseteq X}} is '''open relative to {{M|Y}}''' (or [[Relatively open|''relatively open'']] if it is obvious we are talking about a subspace {{M|Y}} of {{M|X}}) if {{M|U}} is open in {{M|Y}}
 +
** This implies that {{M|U\subseteq Y}}<ref name="Topology"/>
 +
* A set {{M|U\subseteq X}} is '''closed relative to {{M|Y}}''' (or [[Relatively closed|''relatively closed'']] if it is obvious we are talking about a subspace {{M|Y}} of {{M|X}}) if {{M|U}} is [[Closed set|closed]] in {{M|Y}}
 +
** This also implies that {{M|U\subseteq Y}}
  
We may say "<math>Y</math> is a subspace of <math>X</math> (or indeed <math>(X,\mathcal{J})</math>" to implicitly mean this topology.
+
==Immediate theorems==
 +
{{Begin Theorem}}
 +
Theorem: Let {{M|Y}} be a subspace of {{M|X}}, if {{M|U}} is open in {{M|Y}} and {{M|Y}} is open in {{M|X}} then {{M|U}} is open in {{M|X}}<ref name="Topology"/>
 +
{{Begin Proof}}
 +
This may be easier to read symbolically:
 +
* if {{M|U\in\mathcal{K} }} and {{M|Y\in\mathcal{J} }} then {{M|U\in\mathcal{J} }}
  
==Closed subspace==
 
If {{m|Y}} is a "closed subspace" of {{m|(X,\mathcal{J})}} then it means that {{M|Y}} is [[Closed set|closed]] in {{M|X}} and should be considered with the subspace topology.
 
  
==Open subspace==
+
'''Proof:'''
{{Todo|same as closed, but with the word "open"}}
+
: Since {{M|U}} is open in {{M|Y}} we know that:
 +
:* {{M|1=U=Y\cap V}} for some {{M|V}} open in {{M|X}} (for some {{M|V\in\mathcal{J} }})
 +
: Since {{M|Y}} and {{M|V}} are both open in {{M|X}} we know:
 +
:* {{M|Y\cap V}} is open in {{M|X}}
 +
: it follows that {{M|U}} is open in {{M|X}}
 +
{{End Proof}}{{End Theorem}}
  
==Open sets in open subspaces are open==
+
==References==
{{Todo|easy}}
+
<references/>
  
 
{{Definition|Topology}}
 
{{Definition|Topology}}

Latest revision as of 23:04, 25 September 2016

Grade: A
This page is currently being refactored (along with many others)
Please note that this does not mean the content is unreliable. It just means the page doesn't conform to the style of the site (usually due to age) or a better way of presenting the information has been discovered.
The message provided is:
Needed urgently, ready to plough on with it now though!

Definition

Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space and let [ilmath]S\in\mathcal{P}(X)[/ilmath][Note 1] be given. We can construct a new topological space, [ilmath](S,\mathcal{J}_S)[/ilmath] where the topology [ilmath]\mathcal{J}_S[/ilmath] is known as "the subspace topology on [ilmath]S[/ilmath]"[1] (AKA: relative topology on [ilmath]S[/ilmath][1]) and is defined as follows:

  • [ilmath]\mathcal{J}_S:=\{U\cap S\ \vert\ U\in\mathcal{J}\}[/ilmath] - the open sets of [ilmath](S,\mathcal{J}_S)[/ilmath] are precisely the intersection of open sets of [ilmath](X,\mathcal{ J })[/ilmath] with [ilmath]S[/ilmath]

Alternatively:

  • Claim 2: [ilmath]\forall U\in\mathcal{P}(S)\big[U\in\mathcal{J}_S\iff\exists V\in\mathcal{J}[U=S\cap V]\big][/ilmath][1]

We get with this a map, called the canonical injection of the subspace topology, often denoted [ilmath]i_S:S\rightarrow X[/ilmath] or [ilmath]\iota_S:S\rightarrow X[/ilmath] given by [ilmath]i_S:s\mapsto s[/ilmath]. This is an example of an inclusion map, and it is continuous.

Note that if one proves [ilmath]i_S[/ilmath] is continuous then the characteristic property boils down to little more than the composition of continuous maps is continuous, if one proves the characteristic property first, then continuity of [ilmath]i_S[/ilmath] comes from it as a corollary

Terminology

  • Let [ilmath]U\in\mathcal{P}(S)[/ilmath] be given. For clarity rather than saying [ilmath]U[/ilmath] is open, or [ilmath]U[/ilmath] is closed (which is surprisingly ambiguous when using subspaces) we instead say:
    1. [ilmath]U[/ilmath] is relatively open[1] - indicating we mean open in the subspace, or
    2. [ilmath]U[/ilmath] is relatively closed[1] - indicating we mean closed in the subspace

TODO: Closed and open subspace terminology, For example if [ilmath]S\in\mathcal{P}(X)[/ilmath] is closed with respect to the topology [ilmath]\mathcal{J} [/ilmath] on [ilmath]X[/ilmath], then we call [ilmath]S[/ilmath] imbued with the subspace topology a closed subspace


Characteristic property

[ilmath]\xymatrix{ Y \ar[r]^f \ar[dr]_{i_S\circ f} & S \ar@{^{(}->}[d]^{i_S}\\ & X}[/ilmath]
Diagram
Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space and let [ilmath](S,\mathcal{J}_S)[/ilmath] be any subspace of [ilmath](X,\mathcal{ J })[/ilmath][Note 2]. The characteristic property of the subspace topology[1] is that:
  • Given any topological space [ilmath](Y,\mathcal{ K })[/ilmath] and any map [ilmath]f:Y\rightarrow S[/ilmath] we have:
    • [ilmath](f:Y\rightarrow S [/ilmath] is continuous[ilmath])\iff(i_S\circ f:Y\rightarrow X [/ilmath] is continuous[ilmath])[/ilmath]

Where [ilmath]i_S:S\rightarrow X[/ilmath] given by [ilmath]i_S:s\mapsto s[/ilmath] is the canonical injection of the subspace topology (which is itself continuous)[Note 3]

Proof of claims

Claim 1: [ilmath]\mathcal{J}_S[/ilmath] is a topology

Grade: C
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
Really easy, hence low importance

This proof has been marked as an page requiring an easy proof

Claim 2: Equivalent formulation of the relatively open sets

Grade: C
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
Really easy, hence low importance

This proof has been marked as an page requiring an easy proof

See next


TODO: Theorems and propositions involving subspaces


See also


TODO: Link to more things


Notes

  1. Recall [ilmath]\mathcal{P}(X)[/ilmath] denotes the power set of [ilmath]X[/ilmath] and [ilmath]S\in\mathcal{P}(X)\iff S\subseteq X[/ilmath], so it's another way of saying let [ilmath]S[/ilmath] be a subset of [ilmath]X[/ilmath], possibly empty, possibly equal to [ilmath]X[/ilmath] itself
  2. This means [ilmath]S\in\mathcal{P}(X)[/ilmath], or [ilmath]S\subseteq X[/ilmath] of course
  3. This leads to two ways to prove the statement:
    1. If we show [ilmath]i_S:S\rightarrow X[/ilmath] is continuous, then we can use the composition of continuous maps is continuous to show if [ilmath]f[/ilmath] continuous then so is [ilmath]i_S\circ f[/ilmath]
    2. We can show the property the "long way" and then show [ilmath]i_S:S\rightarrow X[/ilmath] is continuous as a corollary

References

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

OLD PAGE

Definition

Given a topological space [ilmath](X,\mathcal{J})[/ilmath] and given a [ilmath]Y\subset X[/ilmath] ([ilmath]Y[/ilmath] is a subset of [ilmath]X[/ilmath]) we define the subspace topology as follows:[1]

  • [ilmath](Y,\mathcal{K})[/ilmath] is a topological space where the open sets, [ilmath]\mathcal{K} [/ilmath], are given by [ilmath]\mathcal{K}:=\{Y\cap V\vert\ V\in\mathcal{J}\}[/ilmath]

We may say any one of:

  1. Let [ilmath]Y[/ilmath] be a subspace of [ilmath]X[/ilmath]
  2. Let [ilmath]Y[/ilmath] be a subspace of [ilmath](X,\mathcal{J})[/ilmath]

and it is taken implicitly to mean [ilmath]Y[/ilmath] is considered as a topological space with the subspace topology inherited from [ilmath](X,\mathcal{J})[/ilmath]

Proof of claims

Claim 1: The subspace topology is indeed a topology


Here [ilmath](X,\mathcal{J})[/ilmath] is a topological space and [ilmath]Y\subset X[/ilmath] and [ilmath]\mathcal{K} [/ilmath] is defined as above, we will prove that [ilmath](Y,\mathcal{K})[/ilmath] is a topology.


Recall that to be a topology [ilmath](Y,\mathcal{K})[/ilmath] must have the following properties:

  1. [ilmath]\emptyset\in\mathcal{K} [/ilmath] and [ilmath]Y\in\mathcal{K} [/ilmath]
  2. For any [ilmath]U,V\in\mathcal{K} [/ilmath] we must have [ilmath]U\cap V\in\mathcal{K} [/ilmath]
  3. For an arbitrary family [ilmath]\{U_\alpha\}_{\alpha\in I} [/ilmath] of open sets (that is [ilmath]\forall\alpha\in I[U_\alpha\in\mathcal{K}][/ilmath]) we have:
    • [math]\bigcup_{\alpha\in I}A_\alpha\in\mathcal{K} [/math]


Proof:

  1. First we must show that [ilmath]\emptyset,Y\in\mathcal{K} [/ilmath]
    Recall that [ilmath]\emptyset,X\in\mathcal{J} [/ilmath] and notice that:
    • [ilmath]\emptyset\cap Y=\emptyset[/ilmath], so by the definition of [ilmath]\mathcal{K} [/ilmath] we have [ilmath]\emptyset\in\mathcal{K} [/ilmath]
    • [ilmath]X\cap Y=Y[/ilmath], so by the definition of [ilmath]\mathcal{K} [/ilmath] we have [ilmath]Y\in\mathcal{K} [/ilmath]
  2. Next we must show...



TODO: Easy work just takes time to write!



Terminology

  • A closed subspace (of [ilmath]X[/ilmath]) is a subset of [ilmath]X[/ilmath] which is closed in [ilmath]X[/ilmath] and is imbued with the subspace topology
  • A open subspace (of [ilmath]X[/ilmath]) is a subset of [ilmath]X[/ilmath] which is open in [ilmath]X[/ilmath] and is imbued with the subspace topology

TODO: Find reference


  • A set [ilmath]U\subseteq X[/ilmath] is open relative to [ilmath]Y[/ilmath] (or relatively open if it is obvious we are talking about a subspace [ilmath]Y[/ilmath] of [ilmath]X[/ilmath]) if [ilmath]U[/ilmath] is open in [ilmath]Y[/ilmath]
    • This implies that [ilmath]U\subseteq Y[/ilmath][1]
  • A set [ilmath]U\subseteq X[/ilmath] is closed relative to [ilmath]Y[/ilmath] (or relatively closed if it is obvious we are talking about a subspace [ilmath]Y[/ilmath] of [ilmath]X[/ilmath]) if [ilmath]U[/ilmath] is closed in [ilmath]Y[/ilmath]
    • This also implies that [ilmath]U\subseteq Y[/ilmath]

Immediate theorems

Theorem: Let [ilmath]Y[/ilmath] be a subspace of [ilmath]X[/ilmath], if [ilmath]U[/ilmath] is open in [ilmath]Y[/ilmath] and [ilmath]Y[/ilmath] is open in [ilmath]X[/ilmath] then [ilmath]U[/ilmath] is open in [ilmath]X[/ilmath][1]


This may be easier to read symbolically:

  • if [ilmath]U\in\mathcal{K} [/ilmath] and [ilmath]Y\in\mathcal{J} [/ilmath] then [ilmath]U\in\mathcal{J} [/ilmath]


Proof:

Since [ilmath]U[/ilmath] is open in [ilmath]Y[/ilmath] we know that:
  • [ilmath]U=Y\cap V[/ilmath] for some [ilmath]V[/ilmath] open in [ilmath]X[/ilmath] (for some [ilmath]V\in\mathcal{J} [/ilmath])
Since [ilmath]Y[/ilmath] and [ilmath]V[/ilmath] are both open in [ilmath]X[/ilmath] we know:
  • [ilmath]Y\cap V[/ilmath] is open in [ilmath]X[/ilmath]
it follows that [ilmath]U[/ilmath] is open in [ilmath]X[/ilmath]


References

  1. 1.0 1.1 1.2 Topology - Second Edition - Munkres