Difference between revisions of "Manifold"

(New page: Manifold A manifold is a topological space locally homeomorphic to an open ball in some Euclidean space. It has some other properties, like having a countable basis or something, but nobo...)
 
(formal terminology)
Line 1: Line 1:
Manifold
+
A manifold is a topological space locally homeomorphic to an open ball in some Euclidean space. The [[Whitney embedding theorem]] allows us to visualise manifolds as being 'embedded' in some [[Euclidean space]].
  
A manifold is a topological space locally homeomorphic to an open ball in some Euclidean space. It has some other properties, like having a countable basis or something, but nobody really cares about these. You can go ahead and think about manifolds as subspaces of some large Euclidean space anyway, since we can do this by the Whitney embedding theorem.
+
==Definition==
 +
A [[Topological space]] <math>X</math> is said to be a '''Manifold''' if and only if
 +
 
 +
(i)<math>X</math> is [[Seperation axioms|Hausdorff]]
 +
 
 +
(ii)<math>X</math> is [[Countability|second-countable]], i.e. it has a [[countable]] [[base]].

Revision as of 06:46, 6 April 2008

A manifold is a topological space locally homeomorphic to an open ball in some Euclidean space. The Whitney embedding theorem allows us to visualise manifolds as being 'embedded' in some Euclidean space.

Definition

A Topological space $X$ is said to be a Manifold if and only if

(i)$X$ is Hausdorff

(ii)$X$ is second-countable, i.e. it has a countable base.