Difference between revisions of "Dense"

From Maths
Jump to: navigation, search
m (Typo in closure link)
(Adding temporary summary of forms in the table.)
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{Stub page|grade=B|msg=Revise page, add some links to propositions or theorems using the dense property. Also more references, then demote}}
+
{{Stub page|grade=B|msg=Revise page, add some links to propositions or theorems using the dense property. Also more references, then demote.<br/>
 +
'''DENSE IS SPRAWLED OVER LIKE 4 PAGES'''
 +
* I've distilled some of it [[Equivalent statements to a set being dense]] there, but I need to .... fix this page up, it's a mess. I should probably move the equivalent definitions to here, as they're like... "easy equivalent" and may well be definitions, not like ... a proposition of equivalence.
 +
** That's a woolly distinction
 +
Anyway, there is work required to fix this up.
 +
 
 +
'''SEE: [[List of topological properties]] for a smaller and neater list'''}}
 +
__TOC__
 +
==Temporary summary==
 +
Let {{Top.|X|J}} be a [[topological space]], and {{M|(X,d)}} be a [[metric space]]. Then for an arbitrary [[subset of]] {{M|X}}, say {{M|A\in\mathcal{P}(X)}}, we say {{M|A}} is ''dense'' in {{M|X}} if:
 +
# '''Topological: ''' {{M|\forall U\in\mathcal{J}[U\cap A\neq\emptyset]}}{{rFAVIDMH}}
 +
#* There are some equivalent conditions<ref group="Note">These are not just logically equivalent to density, they could be definitions for density, and may well be in some books.</ref>
 +
#*# [[Closure (topology)|{{M|\text{Closure}(A)}}]]{{M|\eq X}} (sometimes written: {{M|\overline{A}\eq X}})
 +
#*# {{M|X-A}} contains no (non-empty) [[open set|open subsets]] of {{M|X}}
 +
#*#* Symbolically: {{M|\forall U\in\mathcal{J}[U\nsubseteq X-A]}} - which is easily seen to be equivalent to: {{M|\forall U\in\mathcal{J}\exists p\in U[p\notin X-A]}}
 +
#*# {{M|X-A}} has no [[interior point (topology)|interior points]]<ref group="Note">{{M|a\in A}} is an ''interior point'' of {{M|A}} if:
 +
* {{M|\exists U\in\mathcal{J}[a\in U\wedge U\subseteq A]}} (by [[Books:Functional Analysis - Volume 1: A gentle introduction - Dzung Minh Ha|Functional Analysis - V1 - Dzung M. Ha]] - can't use references in reference tag!)</ref>
 +
#*#* Symbolically we may write this as: {{M|\forall p\in X-A\left[\neg\left(\exists U\in\mathcal{J}[p\in U\wedge U\subseteq A\right)\right]}}
 +
#*#*: {{M|\iff\forall p\in X-A\forall U\in\mathcal{J}[\neg(p\in U\wedge U\subseteq A)]}}
 +
#*#*: {{M|\iff\forall p\in X-A\forall U\in\mathcal{J}[(\neg(p\in U))\vee(\neg(U\subseteq A))]}} - by the [[negation of logical and]]
 +
#*#*: {{M|\iff\forall p\in X-A\forall U\in\mathcal{J}[p\notin U\vee U\nsubseteq A]}} - of course by the [[implies-subset relation]] we see {{M|(A\subseteq B)\iff(\forall a\in A[a\in B])}}, thus:
 +
#*#*: {{M|\iff\forall p\in X-A\forall U\in\mathcal{J}\big[p\notin U\vee(\exists q\in U[q\notin A])\big]}}
 +
# '''Metric: ''' {{M|\forall x\in X\forall\epsilon>0[B_\epsilon(x)\cap A\neq\emptyset}}
 +
#* There are no equivalent statements at this time.
 +
 
 +
{{Begin Notebox}}Notes to editors: ([[User:Alec|Alec]] ([[User talk:Alec|talk]]) 04:15, 1 January 2017 (UTC))
 +
{{Begin Notebox Content}}
 +
Written by: [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 04:15, 1 January 2017 (UTC)
 +
 
 +
I have used the data at [[List of topological properties]] to create this, whilst doing so I added a symbolic form for the interior point statement of topological density.
 +
 
 +
That symbolic form was added to the list.
 +
{{End Notebox Content}}
 +
{{End Notebox}}
 +
 
 +
The rest of the page continues below. It will be refactored soon.
 
==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|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>
 +
'''''Claim 2: ''''' for a [[metric space]] {{M|(X,d)}} a subset, {{M|E\in\mathcal{P}(X)}} is dense in the metric sense {{iff}} it is dense in {{Top.|X|J}} where {{M|J}} is the [[topology induced by the metric]] {{M|d}}.
 +
==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)])}}}}
 +
===Claim 2===
 +
{{Requires proof|easy=true|grade=C|msg=Easy for someone informed of what a metric space and topology is. The claim means showing that if {{Top.|X|J}} is the [[topological space induced by a metric space]] for a [[metric space]] {{M|(X,d)}} then {{M|E}} is dense in {{Top.|X|J}} {{iff}} {{M|E}} is dense in {{M|(X,d)}}}}
 
==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}}

Latest revision as of 04:15, 1 January 2017

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.

DENSE IS SPRAWLED OVER LIKE 4 PAGES

  • I've distilled some of it Equivalent statements to a set being dense there, but I need to .... fix this page up, it's a mess. I should probably move the equivalent definitions to here, as they're like... "easy equivalent" and may well be definitions, not like ... a proposition of equivalence.
    • That's a woolly distinction

Anyway, there is work required to fix this up.

SEE: List of topological properties for a smaller and neater list

Temporary summary

Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space, and [ilmath](X,d)[/ilmath] be a metric space. Then for an arbitrary subset of [ilmath]X[/ilmath], say [ilmath]A\in\mathcal{P}(X)[/ilmath], we say [ilmath]A[/ilmath] is dense in [ilmath]X[/ilmath] if:

  1. Topological: [ilmath]\forall U\in\mathcal{J}[U\cap A\neq\emptyset][/ilmath][1]
    • There are some equivalent conditions[Note 1]
      1. [ilmath]\text{Closure}(A)[/ilmath][ilmath]\eq X[/ilmath] (sometimes written: [ilmath]\overline{A}\eq X[/ilmath])
      2. [ilmath]X-A[/ilmath] contains no (non-empty) open subsets of [ilmath]X[/ilmath]
        • Symbolically: [ilmath]\forall U\in\mathcal{J}[U\nsubseteq X-A][/ilmath] - which is easily seen to be equivalent to: [ilmath]\forall U\in\mathcal{J}\exists p\in U[p\notin X-A][/ilmath]
      3. [ilmath]X-A[/ilmath] has no interior points[Note 2]
        • Symbolically we may write this as: [ilmath]\forall p\in X-A\left[\neg\left(\exists U\in\mathcal{J}[p\in U\wedge U\subseteq A\right)\right][/ilmath]
          [ilmath]\iff\forall p\in X-A\forall U\in\mathcal{J}[\neg(p\in U\wedge U\subseteq A)][/ilmath]
          [ilmath]\iff\forall p\in X-A\forall U\in\mathcal{J}[(\neg(p\in U))\vee(\neg(U\subseteq A))][/ilmath] - by the negation of logical and
          [ilmath]\iff\forall p\in X-A\forall U\in\mathcal{J}[p\notin U\vee U\nsubseteq A][/ilmath] - of course by the implies-subset relation we see [ilmath](A\subseteq B)\iff(\forall a\in A[a\in B])[/ilmath], thus:
          [ilmath]\iff\forall p\in X-A\forall U\in\mathcal{J}\big[p\notin U\vee(\exists q\in U[q\notin A])\big][/ilmath]
  2. Metric: [ilmath]\forall x\in X\forall\epsilon>0[B_\epsilon(x)\cap A\neq\emptyset[/ilmath]
    • There are no equivalent statements at this time.
Notes to editors: (Alec (talk) 04:15, 1 January 2017 (UTC))

Written by: Alec (talk) 04:15, 1 January 2017 (UTC)

I have used the data at List of topological properties to create this, whilst doing so I added a symbolic form for the interior point statement of topological density.

That symbolic form was added to the list.

The rest of the page continues below. It will be refactored soon.

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[2]:

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

Some authors give the following equivalent definition to [ilmath]A[/ilmath] being dense[1]:

Metric spaces definition

Let [ilmath](X,d)[/ilmath] me a metric space, we say that [ilmath]E\in\mathcal{P}(X)[/ilmath] (so [ilmath]E[/ilmath] is an arbitrary subset of [ilmath]X[/ilmath]) if[1]:

  • [ilmath]\forall x\in X\forall\epsilon>0[B_\epsilon(x)\cap E\ne\emptyset][/ilmath] - where [ilmath]B_r(x)[/ilmath] denotes the open ball of radius [ilmath]r[/ilmath], centred at [ilmath]x[/ilmath]
    • In words: Every open ball at every point overlaps with [ilmath]E[/ilmath]. (i.e: every open ball at every point contains at least 1 point in common with [ilmath]E[/ilmath])
    • This is equivalent to [ilmath]\forall x\in X\forall\epsilon>0\exists y\in E[y\in B_\epsilon(x)][/ilmath]Found in:[3] (see Claim 1)[Note 3]

Claim 2: for a metric space [ilmath](X,d)[/ilmath] a subset, [ilmath]E\in\mathcal{P}(X)[/ilmath] is dense in the metric sense if and only if it is dense in [ilmath](X,\mathcal{ J })[/ilmath] where [ilmath]J[/ilmath] is the topology induced by the metric [ilmath]d[/ilmath].

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:
It is obvious that [ilmath](B_\epsilon(x)\cap E\ne\emptyset)\iff(\exists y\in E[y\in B_\epsilon(x)])[/ilmath]

This proof has been marked as an page requiring an easy proof

Claim 2

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:
Easy for someone informed of what a metric space and topology is. The claim means showing that if [ilmath](X,\mathcal{ J })[/ilmath] is the topological space induced by a metric space for a metric space [ilmath](X,d)[/ilmath] then [ilmath]E[/ilmath] is dense in [ilmath](X,\mathcal{ J })[/ilmath] if and only if [ilmath]E[/ilmath] is dense in [ilmath](X,d)[/ilmath]

This proof has been marked as an page requiring an easy proof

See also

Notes

  1. These are not just logically equivalent to density, they could be definitions for density, and may well be in some books.
  2. [ilmath]a\in A[/ilmath] is an interior point of [ilmath]A[/ilmath] if:
  3. 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

  1. 1.0 1.1 1.2 Functional Analysis - Volume 1: A gentle introduction - Dzung Minh Ha
  2. Introduction to Topological Manifolds - John M. Lee
  3. Warwick 2014 Lecture Notes - Functional Analysis - Richard Sharp