<?xml version="1.0" encoding="UTF-8"?>

<record version="12" id="912">
 <title>homeomorphism</title>
 <name>Homeomorphism</name>
 <created>2001-11-16 18:19:53</created>
 <modified>2006-10-14 11:23:01</modified>
 <type>Definition</type>
 <creator id="6075" name="rspuzio"/>
 <author id="6075" name="rspuzio"/>
 <author id="4" name="RevBobo"/>
 <classification>
	<category scheme="msc" code="54C05"/>
 </classification>
 <defines>
	<concept>homeomorphic</concept>
	<concept>autohomeomorphism</concept>
	<concept>auto-homeomorphism</concept>
	<concept>self-homeomorphism</concept>
 </defines>
 <synonyms>
	<synonym concept="homeomorphism" alias="topological equivalence"/>
	<synonym concept="homeomorphism" alias="topologically equivalent"/>
 </synonyms>
 <related>
	<object name="Homeotopy"/>
	<object name="CrosscapSlide"/>
	<object name="AlexanderTrick"/>
	<object name="GroupoidCategory"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>A \emph{homeomorphism} $f$ of topological spaces is a continuous, bijective map such that $f^{-1}$ is also continuous. We also say that two spaces are \emph{homeomorphic} if such a map exists.

If two topological spaces are homeomorphic, they are topologically equivalent --- using the techniques of topology, there is no way of distinguishing one space from the other.

An \emph{autohomeomorphism} (also known as a \emph{self-homeomorphism}) is a 
homeomorphism from a topological space to itself.</content>
</record>
