Difference between revisions of "Dense"

From Maths
Jump to: navigation, search
(Created page with "{{Stub page|grade=B|msg=Revise page, add some links to propositions or theorems using the dense property. Also more references, then demote}} ==Definition== Let {{Top.|X|J}} b...")
 
m (Typo in closure link)
Line 2: Line 2:
 
==Definition==
 
==Definition==
 
Let {{Top.|X|J}} be a [[topological space]] and let {{M|A\in\mathcal{P}(X)}} be an arbitrary [[subset]] of {{M|X}}. We say "''{{M|A}} is dense in {{M|X}}'' if{{rITTMJML}}:
 
Let {{Top.|X|J}} be a [[topological space]] and let {{M|A\in\mathcal{P}(X)}} be an arbitrary [[subset]] of {{M|X}}. We say "''{{M|A}} is dense in {{M|X}}'' if{{rITTMJML}}:
* {{M|1=\overline{A}=X}} - that is to say that the {{link|closure|topology}} of {{M|A}} is the entirety of {{M|X}} itself.
+
* {{M|1=\overline{A}=X}} - that is to say that the {{link|closure|set, topology}} of {{M|A}} is the entirety of {{M|X}} itself.
 
==See also==
 
==See also==
 
* [[Equivalent statements to a set being dense]]
 
* [[Equivalent statements to a set being dense]]

Revision as of 10:08, 28 September 2016

Stub grade: B
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.The message provided is:
Revise page, add some links to propositions or theorems using the dense property. Also more references, then demote

Definition

Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space and let [ilmath]A\in\mathcal{P}(X)[/ilmath] be an arbitrary subset of [ilmath]X[/ilmath]. We say "[ilmath]A[/ilmath] is dense in [ilmath]X[/ilmath] if[1]:

  • [ilmath]\overline{A}=X[/ilmath] - that is to say that the closure of [ilmath]A[/ilmath] is the entirety of [ilmath]X[/ilmath] itself.

See also

References

  1. Introduction to Topological Manifolds - John M. Lee