Difference between revisions of "Relatively open"

From Maths
Jump to: navigation, search
(Created page with "==Definition== Given a subspace {{M|Y\subset X}} of a topological space {{M|(X,\mathcal{J})}}, the open sets of {{M|(Y,\mathcal{J}_...")
 
m
 
(One intermediate revision by the same user not shown)
Line 2: Line 2:
 
Given a [[Subspace topology|subspace]] {{M|Y\subset X}} of a [[Topological space|topological space]] {{M|(X,\mathcal{J})}}, the open sets of {{M|(Y,\mathcal{J}_\text{subspace})}} are said to be '''relatively open'''<ref>Introduction to topology - Third Edition - Mendelson</ref> in {{M|X}}
 
Given a [[Subspace topology|subspace]] {{M|Y\subset X}} of a [[Topological space|topological space]] {{M|(X,\mathcal{J})}}, the open sets of {{M|(Y,\mathcal{J}_\text{subspace})}} are said to be '''relatively open'''<ref>Introduction to topology - Third Edition - Mendelson</ref> in {{M|X}}
  
That (more generally) given a {{M|A\subseteq X}} the family of sets:
+
Alternatively we may say given a {{M|A\subseteq X}} the family of sets:
 
* {{M|1=\{U_A\vert U_A=A\cap U\text{ for some }U\in\mathcal{J}\} }}
 
* {{M|1=\{U_A\vert U_A=A\cap U\text{ for some }U\in\mathcal{J}\} }}
are all relatively open
+
are all ''relatively open in {{M|A}}''
  
 
==See also==
 
==See also==
 
* [[Open set]]
 
* [[Open set]]
 +
* [[Relatively closed]]
  
 
==References==
 
==References==

Latest revision as of 18:42, 19 April 2015

Definition

Given a subspace [ilmath]Y\subset X[/ilmath] of a topological space [ilmath](X,\mathcal{J})[/ilmath], the open sets of [ilmath](Y,\mathcal{J}_\text{subspace})[/ilmath] are said to be relatively open[1] in [ilmath]X[/ilmath]

Alternatively we may say given a [ilmath]A\subseteq X[/ilmath] the family of sets:

  • [ilmath]\{U_A\vert U_A=A\cap U\text{ for some }U\in\mathcal{J}\}[/ilmath]

are all relatively open in [ilmath]A[/ilmath]

See also

References

  1. Introduction to topology - Third Edition - Mendelson