Difference between revisions of "Manifold"

From Conservapedia
Jump to navigation Jump to search
m (Reverted edits by Mathoreilly (Talk); changed back to last version by Jaques)
Line 1: Line 1:
 
[[Image:Mobius.png|right|thumb|The [[Möbius strip]] is an example of a 2-manifold.]]
 
[[Image:Mobius.png|right|thumb|The [[Möbius strip]] is an example of a 2-manifold.]]
−
An ''n''-dimensional manifold (or ''n''-manifold) ''M'' is a [[topological space]] such that every point in ''M'' has a neighbourhood ''U'' that is [[homeomorphism|homeomorphic]] to ''R''<sup>''n''</sup>. The homeomorphisms <math>\phi_U : U\rightarrow \mathbf{R}^n</math> should be thought of as providing local coordinates in the neighborhood ''U''. Whenever two such coordinate neighborhoods ''U'' and ''V'' intersect, we also require that the change of coordinate maps <math>\phi_U\circ\phi_V^{-1}:\phi_V(U\cap V)\rightarrow \phi_U(U\cap V)</math> be homeomorphisms.
+
An ''n''-dimensional manifold (or ''n''-manifold) ''M'' is a [[topological space]] such that every point in ''M'' has a neighbourhood that is [[homeomorphism|homeomorphic]] to ''R''<sup>''n''</sup>.
  
−
An ''n''-dimensional differentiable manifold is an ''n''-manifold with the property that the change of coordinate maps are differentiable functions.
+
An ''n''-dimensional complex manifold ''N'' is a [[topological space]] such that every point in ''N'' has a neighbourhood that is [[homeomorphism|homeomorphic]] to '''C'''<sup>''n''</sup>.
−
 
 
−
An ''n''-dimensional complex manifold ''N'' is a [[topological space]] such that every point in ''N'' has a neighbourhood that is [[homeomorphism|homeomorphic]] to '''C'''<sup>''n''</sup>, and such that the change of coordinate functions are holomorphic.
 
  
 
Manifolds are [[Hausdorff space|Hausdorff]] and [[2nd-countable space|2nd-countable]].
 
Manifolds are [[Hausdorff space|Hausdorff]] and [[2nd-countable space|2nd-countable]].
  
−
Example: Consider the set of points <math>[x_0:x_1:x_2]</math>, where <math>x_i</math> are not all zero, and where we declare <math>[x_0:x_1:x_2]</math> to be equivalent to <math>[y_0:y_1:y_2]</math> if <math>x_i = \lambda y_i</math>. This space describes the set <math>\mathbf{R}P^2</math> of all one-dimensional subspaces of <math>R^3</math>. Let <math>U_i</math> be the open set with <math>x_i \neq 0</math>. Define <math>\phi_0: U_0\rightarrow R^2</math> to be the map given by <math>[x_0:x_1:x_2]\mapsto (\frac{x_1}{x_0},\frac{x_2}{x_0})</math>. Define <math>\phi_1</math> and <math>\phi_2</math> similarly. Then <math>\phi_i</math> clearly define homeomorphisms from <math>U_i</math> to <math>R^2</math>. It is simple to verify that the change of coordinate functions are also diffeomorphisms. Hence <math>\mathbf{R}P^2</math> is a differentiable manifold. In fact, <math>\mathbf{R}P^2</math> with a disk removed actually defines the mobius strip.
 
 
[[Category:Mathematics]]
 
[[Category:Mathematics]]
 
[[category: Topology]]
 
[[category: Topology]]

Revision as of 20:32, July 2, 2008

The Möbius strip is an example of a 2-manifold.

An n-dimensional manifold (or n-manifold) M is a topological space such that every point in M has a neighbourhood that is homeomorphic to Rn.

An n-dimensional complex manifold N is a topological space such that every point in N has a neighbourhood that is homeomorphic to Cn.

Manifolds are Hausdorff and 2nd-countable.

Retrieved from "https://www.conservapedia.com/index.php?title=Manifold&oldid=485969"