Difference between revisions of "List of topological properties"

From Maths
Jump to: navigation, search
(Created page with "{{Stub page|grade=A*|msg=Needs linking in to places. Because density is SPRAWLED all over the place right now}} __TOC__ ==Index== Here {{M|(X,\mathcal{J})}} is a topological...")
 
(Added interior - done quickly)
 
(2 intermediate revisions by the same user not shown)
Line 9: Line 9:
 
! Metric spaces version
 
! Metric spaces version
 
! Comments
 
! Comments
 +
|-
 +
! {{link|Closure|topology}}
 +
| Let {{M|A\in\mathcal{P}(X)}} be given. The ''closure'' of {{M|A}}, denoted {{M|\overline{A} }} is defined as follows:
 +
* {{M|\overline{A}:\eq\bigcap\left\{C\in\mathcal{C}(X)\ \big\vert\ A\subseteq C\right\} }}{{rFAVIDMH}} - where {{M|\mathcal{C}(X)}} denotes the set of {{plural|closed set|s}} of {{M|X}}
 +
Informally, it is the smallest [[closed set]] containing {{M|A}}.
 +
* Note that the largest closed set c
 +
| Probably something with limit points
 +
| See also:
 +
* {{link|Interior|topology}}
 +
* {{link|Boundary|topology}}
 
|-
 
|-
 
! rowspan="3" | [[Dense set]]
 
! rowspan="3" | [[Dense set]]
Line 26: Line 36:
 
#* Symbolically: {{M|\forall U\in\mathcal{J}[U\nsubseteq X-A]}}, which we can easily manipulate to get: {{M|\forall U\in\mathcal{J}\exists p\in U[p\notin X-M]}}
 
#* Symbolically: {{M|\forall U\in\mathcal{J}[U\nsubseteq X-A]}}, which we can easily manipulate to get: {{M|\forall U\in\mathcal{J}\exists p\in U[p\notin X-M]}}
 
# {{M|X-A}} has no {{link|interior point|topology|s}}{{rFAVIDMH}} (see below)
 
# {{M|X-A}} has no {{link|interior point|topology|s}}{{rFAVIDMH}} (see below)
#* Symbolically.... {{XXX|Can't be bothered right now, include later}}
+
#* 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]}}
 +
{{XXX|Tidy this up}}
 
|  
 
|  
 +
|-
 +
! {{link|Interior|topology}}
 +
| {{MM|\text{Int}(A,X):\eq\bigcup_{U\in\{V\in\mathcal{J}\ \vert\ V\subseteq A\} }U}}{{rITTMJML}}
 +
|
 +
| Could be union of all interior points, see [https://wiki.unifiedmathematics.com/index.php?title=Interior&oldid=1412 here]
 
|-
 
|-
 
! rowspan="1" | {{link|Interior point|topology}}
 
! rowspan="1" | {{link|Interior point|topology}}
Line 38: Line 58:
 
|-
 
|-
 
|}
 
|}
 +
 
==Notes==
 
==Notes==
 
<references group="Note"/>
 
<references group="Note"/>

Latest revision as of 19:33, 16 February 2017

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:
Needs linking in to places. Because density is SPRAWLED all over the place right now

Index

Here [ilmath](X,\mathcal{J})[/ilmath] is a topological space or [ilmath](X,d)[/ilmath] is a metric space in the definitions.

Property Topological version Metric spaces version Comments
Closure Let [ilmath]A\in\mathcal{P}(X)[/ilmath] be given. The closure of [ilmath]A[/ilmath], denoted [ilmath]\overline{A} [/ilmath] is defined as follows:
  • [ilmath]\overline{A}:\eq\bigcap\left\{C\in\mathcal{C}(X)\ \big\vert\ A\subseteq C\right\} [/ilmath][1] - where [ilmath]\mathcal{C}(X)[/ilmath] denotes the set of closed sets of [ilmath]X[/ilmath]

Informally, it is the smallest closed set containing [ilmath]A[/ilmath].

  • Note that the largest closed set c
Probably something with limit points See also:
Dense set For [ilmath]A\in\mathcal{P}(X)[/ilmath] we say [ilmath]A[/ilmath] is dense in [ilmath]X[/ilmath] if:
  • [ilmath]\forall U\in\mathcal{J}[U\cap A\neq\emptyset][/ilmath][1][Note 1]
For [ilmath]A\in\mathcal{P}(X)[/ilmath] we say [ilmath]A[/ilmath] is dense in [ilmath]X[/ilmath] if:
  • [ilmath]\forall x\in X\forall\epsilon>0[B_\epsilon(x)\cap A\neq\emptyset][/ilmath][1]

Caveat:This is given as equiv to density by[1] - also obviously follows from it!

See also:
Equivalent statements
The following are equivalent to the definition above.
  1. [ilmath]\text{Closure}(A)[/ilmath][ilmath]\eq X[/ilmath][1]
  2. [ilmath]X-A[/ilmath] contains no (non-empty) open subsets of [ilmath]X[/ilmath][1]
    • Symbolically: [ilmath]\forall U\in\mathcal{J}[U\nsubseteq X-A][/ilmath], which we can easily manipulate to get: [ilmath]\forall U\in\mathcal{J}\exists p\in U[p\notin X-M][/ilmath]
  3. [ilmath]X-A[/ilmath] has no interior points[1] (see below)
    • 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]
TODO: Tidy this up
Interior [math]\text{Int}(A,X):\eq\bigcup_{U\in\{V\in\mathcal{J}\ \vert\ V\subseteq A\} }U[/math][2] Could be union of all interior points, see here
Interior point For a set [ilmath]A\in\mathcal{P}(X)[/ilmath] and [ilmath]a\in A[/ilmath], [ilmath]a[/ilmath] is an interior point of [ilmath]A[/ilmath] if:
  • [ilmath]\exists U\in\mathcal{J}[a\in U\wedge U\subseteq A][/ilmath][1]
For a set [ilmath]A\in\mathcal{P}(X)[/ilmath] and [ilmath]a\in A[/ilmath], [ilmath]a[/ilmath] is an interior point of [ilmath]A[/ilmath] if:
  • [ilmath]\exists\epsilon>0[B_\epsilon(a)\subseteq A][/ilmath][1]

Caveat:Basically follows from topological definition, these are closely related

Notes

  1. There are a few simple equivalent conditions, any of these may be the definition given in a book, although [ilmath]\text{Closure}(A)[/ilmath][ilmath]\eq X[/ilmath] is quite common

References

  1. 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 Functional Analysis - Volume 1: A gentle introduction - Dzung Minh Ha
  2. Introduction to Topological Manifolds - John M. Lee