We are creating the world's most trusted encyclopedia and knowledge base.
Once you join us and log in, you'll be able to edit this page instantly!

Homeomorphism

From Citizendium, the Citizens' Compendium

Jump to: navigation, search
Image:Statusbar3.png
Main Article
Talk
Definition [?]
Related Articles  [?]
Bibliography  [?]
External Links  [?]
 
This is a draft article, under development. These unapproved articles are 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 \scriptstyle (X,O_X) and \scriptstyle (Y,O_Y) be topological spaces. A function \scriptstyle f:(X,O_X)\rightarrow (Y,O_Y) is a homeomorphism (between \scriptstyle (X,O_X) and \scriptstyle (Y,O_Y) 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 \scriptstyle f^{-1}:(Y,O_Y) \rightarrow (X,O_X) is a continuous function.

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

Retrieved from "http://en.citizendium.org:8080/wiki/Homeomorphism"
Views
Personal tools