Difference between revisions of "Open set"

From Maths
Jump to: navigation, search
m
m
Line 19: Line 19:
 
* <math>\exists U\in\mathcal{J}:p\in U\wedge U\subset N</math>
 
* <math>\exists U\in\mathcal{J}:p\in U\wedge U\subset N</math>
 
==See also==
 
==See also==
 +
* [[Relatively open|Relatively open set]]
 
* [[Closed set]]
 
* [[Closed set]]
 +
* [[Relatively closed|Relatively closed set]]
  
 
==References==
 
==References==

Revision as of 20:30, 24 April 2015


Here [math](X,d)[/math] denotes a metric space, and [math]B_r(x)[/math] the open ball centred at [math]x[/math] of radius [math]r[/math]

Metric Space definition

"A set [math]U[/math] is open if it is a neighborhood to all of its points"[1] and neighborhood is as you'd expect, "a small area around".

Neighbourhood

A set [math]N[/math] is a neighborhood to [math]a\in X[/math] if [math]\exists\delta>0:B_\delta(a)\subset N[/math]

That is if we can puff up any open ball about [ilmath]x[/ilmath] that is entirely contained in [ilmath]N[/ilmath]

Topology definition

In a topological space the elements of the topology are defined to be open sets

Neighbourhood

A subset [ilmath]N[/ilmath] of a Topological space [ilmath](X,\mathcal{J})[/ilmath] is a neighbourhood of [ilmath]p[/ilmath][2] if:

  • [math]\exists U\in\mathcal{J}:p\in U\wedge U\subset N[/math]

See also

References

  1. Bert Mendelson, Introduction to Topology - definition 6.1, page 52
  2. Introduction to topology - Third Edition - Mendelson