Difference between revisions of "Dense"
From Maths
m (Typo in closure link) |
(Added references, added metric space definition) |
||
| Line 3: | Line 3: | ||
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|set, 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. | ||
| + | Some authors give the following equivalent definition to {{M|A}} being dense{{rFAVIDMH}}: | ||
| + | * [[A set is dense if and only if every non-empty open subset contains a point of it|{{M|1=\forall U\in\mathcal{J}\exists a\in A[U\ne\emptyset\implies y\in U]}}]], which is obviously equivalent to: {{M|1=\forall U\in\mathcal{J}[U\ne\emptyset \implies A\cap U\ne\emptyset]}} (see '''''Claim 1''''' below) | ||
| + | ** In words: | ||
| + | *** [[A set is dense if and only if every non-empty open subset contains a point of it]] | ||
| + | *** Which can be found in "''[[equivalent statements to a set being dense]]''". | ||
| + | ===[[Metric spaces]] definition=== | ||
| + | Let {{M|(X,d)}} me a [[metric space]], we say that {{M|E\in\mathcal{P}(X)}} (so {{M|E}} is an arbitrary [[subset of]] {{M|X}}) if{{rFAVIDMH}}: | ||
| + | * {{M|1=\forall x\in X\forall\epsilon>0[B_\epsilon(x)\cap E\ne\emptyset]}} - where {{M|B_r(x)}} denotes the [[open ball]] of [[radius]] {{M|r}}, centred at {{M|x}} | ||
| + | ** In words: Every [[open ball]] at every point overlaps with {{M|E}}. (i.e: every open ball at every point contains at least 1 point in common with {{M|E}}) | ||
| + | ** This is equivalent to {{M|1=\forall x\in X\forall\epsilon>0\exists y\in E[y\in B_\epsilon(x)]}}<sup>Found in:</sup>{{rW2014LNFARS}} (see '''''Claim 1''''')<ref group="Note">This is a trivial restatement of the claim and not worth going on its own page, unless it can be generalised (eg detached from dense-ness)</ref> | ||
| + | ==Proof of claims== | ||
| + | ===Claim 1=== | ||
| + | This is used for both cases, and it should really be factored out into its own page. Eg: | ||
| + | * [[The intersection of two sets is non-empty if and only if there exists a point in one set that is in the other set]] | ||
| + | {{Requires proof|easy=true|grade=C|msg=It is obvious that {{M|1=(B_\epsilon(x)\cap E\ne\emptyset)\iff(\exists y\in E[y\in B_\epsilon(x)])}}}} | ||
==See also== | ==See also== | ||
* [[Equivalent statements to a set being dense]] | * [[Equivalent statements to a set being dense]] | ||
** [[A set is dense if and only if every non-empty open subset contains a point of it]] | ** [[A set is dense if and only if every non-empty open subset contains a point of it]] | ||
| + | ==Notes== | ||
| + | <references group="Note"/> | ||
==References== | ==References== | ||
<references/> | <references/> | ||
| − | {{Definition|Topology|Metric Space}} | + | {{Definition|Topology|Metric Space|Functional Analysis}} |
Revision as of 19:21, 28 October 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
Contents
[<hidetoc>]Definition
Let (X,J) be a topological space and let A∈P(X) be an arbitrary subset of X. We say "A is dense in X if[1]:
- ¯A=X - that is to say that the closure of A is the entirety of X itself.
Some authors give the following equivalent definition to A being dense[2]:
- ∀U∈J∃a∈A[U≠∅⟹y∈U], which is obviously equivalent to: ∀U∈J[U≠∅⟹A∩U≠∅] (see Claim 1 below)
- In words:
Metric spaces definition
Let (X,d) me a metric space, we say that E∈P(X) (so E is an arbitrary subset of X) if[2]:
Proof of claims
Claim 1
This is used for both cases, and it should really be factored out into its own page. Eg:
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:
This proof has been marked as an page requiring an easy proof
The message provided is:
It is obvious that (Bϵ(x)∩E≠∅)⟺(∃y∈E[y∈Bϵ(x)])
This proof has been marked as an page requiring an easy proof
See also
Notes
- <cite_references_link_accessibility_label> ↑ This is a trivial restatement of the claim and not worth going on its own page, unless it can be generalised (eg detached from dense-ness)
References
- <cite_references_link_accessibility_label> ↑ Introduction to Topological Manifolds - John M. Lee
- ↑ <cite_references_link_many_accessibility_label> 2.0 2.1 Functional Analysis - Volume 1: A gentle introduction - Dzung Minh Ha
- <cite_references_link_accessibility_label> ↑ Warwick 2014 Lecture Notes - Functional Analysis - Richard Sharp
