Homeomorphism: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Hendra I. Nurdin
imported>Hendra I. Nurdin
mNo edit summary
Line 3: Line 3:


==Formal definition==
==Formal definition==
Let <math>(X,O_X)</math> and  <math>(Y,O_Y)</math> be topological spaces. A function <math>f:(X,O_X)\rightarrow (Y,O_Y)</math> is a homeomorphism (between <math>(X,O_X)</math> and <math>(Y,O_Y)</math> if it has the following properties:
Let <math>\scriptstyle (X,O_X)</math> and  <math>\scriptstyle (Y,O_Y)</math> be topological spaces. A function <math>\scriptstyle f:(X,O_X)\rightarrow (Y,O_Y)</math> is a homeomorphism (between <math>\scriptstyle (X,O_X)</math> and <math>\scriptstyle (Y,O_Y)</math> if it has the following properties:
#f is a bijective function (i.e., it is [[injective function|one-to-one]] and [[surjective function|onto]])
#f is a bijective function (i.e., it is [[injective function|one-to-one]] and [[surjective function|onto]])
#f is continuous  
#f is continuous  
#The inverse function <math>f^{-1}:(Y,O_Y) \rightarrow (X,O_X)</math> is a continuous function.
#The inverse function <math>\scriptstyle f^{-1}:(Y,O_Y) \rightarrow (X,O_X)</math> is a continuous function.


If some homeomorphism exists between two topological spaces <math>(X,O_X)</math> and  <math>(Y,O_Y)</math> then they are  said to be '''homeomorphic''' to one another.
If some homeomorphism exists between two topological spaces <math>\scriptstyle (X,O_X)</math> and  <math>\scriptstyle (Y,O_Y)</math> then they are  said to be '''homeomorphic''' to one another.

Revision as of 05:57, 12 May 2008

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematics, a homeomorphism is a function that maps one topological space to another with the property that it is bijective and both the function and its inverse are continuous with respect to the associated topologies. A homeomorphism indicates that the two topological spaces are "geometrically" alike, in the sense that points that are "close" in one space are mapped to points which are also "close" in the other, while points that are "distant" are also mapped to points which are also "distant". In differential geometry, this means that one topological space can be deformed into the other by "bending" and "stretching".

Formal definition

Let and be topological spaces. A function is a homeomorphism (between and if it has the following properties:

  1. f is a bijective function (i.e., it is one-to-one and onto)
  2. f is continuous
  3. The inverse function is a continuous function.

If some homeomorphism exists between two topological spaces and then they are said to be homeomorphic to one another.