Difference between revisions of "A set is dense if and only if every non-empty open subset contains a point of it"

From Maths
Jump to: navigation, search
(Created page with "{{Stub page|grade=A*|msg=Demote once this has been checked over. A* because that note isn't dealt with. Also move the statement into its own subpage for transclusion onto eq...")
 
m (Added note about where to find other theorems that show equivalence)
 
Line 1: Line 1:
 
{{Stub page|grade=A*|msg=Demote once this has been checked over. A* because that note isn't dealt with. Also move the statement into its own subpage for transclusion onto [[equivalent statements to a set being dense]]}}
 
{{Stub page|grade=A*|msg=Demote once this has been checked over. A* because that note isn't dealt with. Also move the statement into its own subpage for transclusion onto [[equivalent statements to a set being dense]]}}
 +
: This is one of a series of theorems:
 +
:* [[Equivalent statements to a set being dense]]
 
==Statement==
 
==Statement==
 
Let {{Top.|X|J}} be a [[topological space]] and let {{M|A\in\mathcal{P}(X)}} be an arbitrary [[subset]]. Then we claim{{rITTMJML}}:
 
Let {{Top.|X|J}} be a [[topological space]] and let {{M|A\in\mathcal{P}(X)}} be an arbitrary [[subset]]. Then we claim{{rITTMJML}}:

Latest revision as of 20:29, 28 October 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.The message provided is:
Demote once this has been checked over. A* because that note isn't dealt with. Also move the statement into its own subpage for transclusion onto equivalent statements to a set being dense
This is one of a series of theorems:

Statement

Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space and let [ilmath]A\in\mathcal{P}(X)[/ilmath] be an arbitrary subset. Then we claim[1]:

  • [ilmath]A[/ilmath] is dense in [ilmath]X[/ilmath] if and only if
    • Symbolically: [ilmath]\forall A\in\mathcal{P}(A)[(\overline{A}=X)\iff(\forall U\in\mathcal{J}[U\ne\emptyset\implies \exists a\in A[a\in U]])[/ilmath][Note 1]

See also

Notes

  1. ↑ I was tempted to write:
    • [ilmath]\forall U\in\mathcal{J}\exists a\in A[U\ne\emptyset\implies a\in U][/ilmath]
    However this might not be the same! (They actually are but there's some formality to be observed here, we must deal with both the cases of [ilmath]U=\emptyset[/ilmath] and [ilmath]A=\emptyset[/ilmath] I will deal with these in the future

References

  1. ↑ Introduction to Topological Manifolds - John M. Lee


Retrieved from "http://www.maths.kisogo.com/index.php?title=A_set_is_dense_if_and_only_if_every_non-empty_open_subset_contains_a_point_of_it&oldid=3526"