Difference between revisions of "Locally Euclidean topological space of dimension n"
From Maths
(Moving and adding content) |
(Adding note about well defined-ness) |
||
| Line 4: | Line 4: | ||
__TOC__ | __TOC__ | ||
==Definition== | ==Definition== | ||
| + | : {{Caveat|I think this {{M|n}} might have to be unique}} as later (see [[topological manifold]]) we'll talk about the "well-defined-ness" of {{M|n}}!<ref group="Note">As usual, [[well-defined-ness]] means we have an [[equivalence relation]] in play, and we're [[quotient by an equivalence relation|quotienting something]]. I'm not quite sure what yet though! | ||
| + | * I would have thought that a "locally euclidean of dimension n" space is really just something such that there exists an {{N}} for all points... | ||
| + | {{XXX|Solve this}}</ref> | ||
Let {{Top.|X|J}} be a [[topological space]] and let {{M|n\in\mathbb{N}_0}} be given. We say that {{M|X}} is ''locally Euclidean of dimension {{M|n}}'' if: | Let {{Top.|X|J}} be a [[topological space]] and let {{M|n\in\mathbb{N}_0}} be given. We say that {{M|X}} is ''locally Euclidean of dimension {{M|n}}'' if: | ||
* {{M|\forall p\in X\exists U\in\mathcal{O}(p;X)\exists\epsilon\in\mathbb{R}_{>0}\exists \varphi\in\mathcal{F}\big(U,B_\epsilon(0;\mathbb{R}^n)\big)\big[U\cong_\varphi B_\epsilon(0;\mathbb{R}^n)\big]}} | * {{M|\forall p\in X\exists U\in\mathcal{O}(p;X)\exists\epsilon\in\mathbb{R}_{>0}\exists \varphi\in\mathcal{F}\big(U,B_\epsilon(0;\mathbb{R}^n)\big)\big[U\cong_\varphi B_\epsilon(0;\mathbb{R}^n)\big]}} | ||
| Line 16: | Line 19: | ||
# We require there be an open set containing {{M|p}} homeomorphic to the [[open unit ball]], {{M|\mathbb{B}^n}} | # We require there be an open set containing {{M|p}} homeomorphic to the [[open unit ball]], {{M|\mathbb{B}^n}} | ||
See the [[Locally euclidean]] page for more information. | See the [[Locally euclidean]] page for more information. | ||
| + | ==Notes== | ||
| + | <references group="Note"/> | ||
==References== | ==References== | ||
<references/> | <references/> | ||
{{Definition|Topology|Manifolds|Smooth Manifolds|Topological Manifolds}} | {{Definition|Topology|Manifolds|Smooth Manifolds|Topological Manifolds}} | ||
Latest revision as of 12:40, 21 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:
See Locally euclidean, it's the same thing but with n fixed before the ∀p∈x part. Alec (talk) 17:07, 19 February 2017 (UTC)
Contents
[hide]Definition
- Caveat:I think this n might have to be unique as later (see topological manifold) we'll talk about the "well-defined-ness" of n![Note 1]
Let (X,J) be a topological space and let n∈N0 be given. We say that X is locally Euclidean of dimension n if:
- ∀p∈X∃U∈O(p;X)∃ϵ∈R>0∃φ∈F(U,Bϵ(0;Rn))[U≅φBϵ(0;Rn)]
- Caveat:Or perhaps...
- ∃n∈N0∀p∈X∃U∈O(p;X)∃ϵ∈R>0∃φ∈F(U,Bϵ(0;Rn))[U≅φBϵ(0;Rn)]
- Where the dimension, n, is the n that must exist in the first quantifying clause.
TODO: Verdict needed after investigation
Equivalent definitions
We posit that there must be an open ball of radius ϵ about 0∈Rn, it actually works if:
- We require there to be any open set containing p to be homeomorphic to any open set of Rn
- We require there be an open set containing p homeomorphic to all of Rn
- We require there be an open set containing p homeomorphic to the open unit ball, Bn
See the Locally euclidean page for more information.
Notes
- Jump up ↑ As usual, well-defined-ness means we have an equivalence relation in play, and we're quotienting something. I'm not quite sure what yet though!
- I would have thought that a "locally euclidean of dimension n" space is really just something such that there exists an n for all points...
TODO: Solve this
