Homeomorphism: Difference between revisions

Revision as of 15:47, 11 April 2026

A homeomorphism is a special type of function between two topological spaces, that establishes that the two spaces are fundamentally the same from a topological perspective. Specifically, it is a continuous bijective function whose inverse function is also continuous. Homeomorphisms are the isomorphisms in the category of topological spaces $\text{[math]}$ , which preserves all topological properties of a topological space. If such a function exists between two spaces, they are said to be homeomorphic.

Intuitively, two spaces are homeomorphic if one can be continuously deformed into the other by stretching, bending, and twisting, without cutting, tearing, or gluing. A typical intuitive example is that a mug with a handle is homeomorphic to a donut. This concept is distinct from homotopy equivalence, which allows deformations that involve collapsing. For instance, a solid ball can be continuously shrunk to a point by a homotopy, but such a deformation is not a homeomorphism because it is not bijective and the inverse would not be continuous.

Definitions

A function $\text{[math]}$ between topological spaces $\text{[math]}$ and $\text{[math]}$ is called a homeomorphism, if:

$\text{[math]}$ is continuous,
$\text{[math]}$ is bijective,
$\text{[math]}$ is continuous.

Two topological spaces $\text{[math]}$ and $\text{[math]}$ are called homeomorphic if there exists a homeomorphism between them, denoted $\text{[math]}$ .

Equivalent Definitions

A homeomorphism is a bijection that is continuous and open, or continuous and closed.

Properties

Property.

The composition of two homeomorphisms is again a homeomorphism.

Proof

Let $\text{[math]}$ and $\text{[math]}$ be homeomorphisms. Then:

$\text{[math]}$ is bijective, since the composition of two bijections is a bijection.

$\text{[math]}$ is continuous, as the composition of two continuous functions.

The inverse is $\text{[math]}$ , which is continuous because it is the composition of the continuous functions $\text{[math]}$ and $\text{[math]}$ .

Thus $\text{[math]}$ satisfies all requirements of a homeomorphism.

□

Property.

The inverse of a homeomorphism is again a homeomorphism.

Proof

Let $\text{[math]}$ be a homeomorphism. Then:

$\text{[math]}$ is continuous by definition,
$\text{[math]}$ is bijective, since the inverse of a bijection is again a bijection,
$\text{[math]}$ is continuous by definition.

□

Property.

Homeomorphism is an equivalence relation.

Proof

Reflexivity: The identity map $\text{[math]}$ is a continuous bijection on any topological space $\text{[math]}$ , whose inverse is itself. Thus $\text{[math]}$ is a homeomorphism.
Symmetry: If $\text{[math]}$ is a homeomorphism, then its inverse $\text{[math]}$ is again a homeomorphism.
Transitivity: If $\text{[math]}$ and $\text{[math]}$ are homeomorphisms, then $\text{[math]}$ is again a homeomorphism.

□

Examples

Open interval

The open interval $\text{[math]}$ is homeomorphic to $\text{[math]}$ .

Proof

The map $\text{[math]}$ defined by

$\text{[math]}$

is a homeomorphism. Indeed, $\text{[math]}$ is continuous because it is a composition of continuous functions. The restriction $\text{[math]}$ is bijective with continuous inverse $\text{[math]}$ . Therefore $\text{[math]}$ is bijective and its inverse

$\text{[math]}$

is continuous. Thus $\text{[math]}$ is a homeomorphism.

□

Stereographic projection

The Euclidean plane $\text{[math]}$ is homeomorphic to the 2-sphere minus one point, denoted $\text{[math]}$ where $\text{[math]}$ is the north pole.

Proof

HTTP-Response: 
Error 400: ! Text line contains an invalid character.
l.70 ...) node[anchor=south west, text=black] {^^?
 (exit code 1)

Diagram-Code:
\documentclass[tikz,border=15pt]{standalone}
\usepackage{tikz-3dplot}
\usetikzlibrary{calc, arrows.meta}
\begin{document}
\def\viewTheta{70}
\def\viewPhi{20}
\tdplotsetmaincoords{\viewTheta}{\viewPhi}

\begin{tikzpicture}[tdplot_main_coords, scale=2, line cap=round, line join=round]

    \def\R{1}
    \coordinate (O) at (0,0,0);
    \coordinate (N) at (0,0,\R);

    \def\thetaS{60}
    \def\phiS{30}
    \pgfmathsetmacro{\px}{\R * sin(\thetaS) * cos(\phiS)}
    \pgfmathsetmacro{\py}{\R * sin(\thetaS) * sin(\phiS)}
    \pgfmathsetmacro{\pz}{\R * cos(\thetaS)}
    \coordinate (P) at (\px, \py, \pz);

    \pgfmathsetmacro{\ux}{\px / (1 - \pz)}
    \pgfmathsetmacro{\uy}{\py / (1 - \pz)}
    \coordinate (Pprime) at (\ux, \uy, 0);

    \pgfmathsetmacro{\eqFrontStart}{\viewPhi - 180}
    \pgfmathsetmacro{\eqFrontEnd}{\viewPhi}
    \pgfmathsetmacro{\eqBackStart}{\viewPhi - 180}
    \pgfmathsetmacro{\eqBackEnd}{\viewPhi+180}

    \pgfmathsetmacro{\cotViewTheta}{cos(\viewTheta)/sin(\viewTheta)}
    \pgfmathsetmacro{\cotThetaS}{cos(\thetaS)/sin(\thetaS)}
    \pgfmathsetmacro{\cosAlpha}{max(min(-\cotThetaS * \cotViewTheta, 1), -1)}
    \pgfmathsetmacro{\alpha}{acos(\cosAlpha)}
    
    \pgfmathsetmacro{\latFrontStart}{\viewPhi-180}
    \pgfmathsetmacro{\latFrontEnd}{\viewPhi}
    \pgfmathsetmacro{\latBackStart}{\viewPhi}
    \pgfmathsetmacro{\latBackEnd}{\viewPhi+180}

    \draw[thick, black] (-1.2,0,0) -- (0,0,0);
    \draw[thick, black] (0,-3,0) -- (0,0,0);
    \draw[thick, black] (0,0,-1.2) -- (0,0,0);
    \draw[thick, ->, >=Stealth] (0,0,0) -- (2.2,0,0) node[anchor=north east]{$x$};
    \draw[thick, ->, >=Stealth] (0,0,0) -- (0,3.0,0) node[anchor=north west]{$y$};
    \draw[thick, dashed] (0,0,0) -- (N);
    \draw[thick, ->, >=Stealth] (N) -- (0,0,1.8) node[anchor=south]{$z$};
    \begin{scope}[tdplot_screen_coords]
    \shade[ball color=cyan, opacity=0.15] (0,0) circle (\R);
    \draw[cyan!60!blue, thick] (0,0) circle (\R);
    \end{scope}

    \tdplotdrawarc[cyan!60!blue, thick]{(O)}{\R}{\eqFrontStart}{\eqFrontEnd}{}{}
    \tdplotdrawarc[cyan!60!blue, thin, dashed]{(O)}{\R}{\eqBackStart}{\eqBackEnd}{}{}

    \pgfmathsetmacro{\rLat}{\R * sin(\thetaS)}
    \coordinate (CenterLat) at (0,0,\pz);
    
    \tdplotsetrotatedcoords{0}{0}{0}
    \tdplotsetrotatedcoordsorigin{(CenterLat)}
    \tdplotdrawarc[cyan!70!black, thin, dashed, tdplot_rotated_coords]{(0,0,0)}{\rLat}{\latBackStart}{\latBackEnd}{}{}
    \tdplotdrawarc[cyan!70!black, thin, tdplot_rotated_coords]{(0,0,0)}{\rLat}{\latFrontStart}{\latFrontEnd}{}{}
    \tdplotsetrotatedcoordsorigin{(O)}
    
    \draw[red, thick, dashed] (N) -- (P);
    \draw[red, thick, ->, >=Stealth] (P) -- (Pprime);

    \fill[black] (N) circle (0.8pt) node[anchor=south east] {$N$};
    \fill[red] (P) circle (1pt) node[anchor=south west, text=black] {};
    \fill[red] (Pprime) circle (1pt) node[anchor=north west, text=black] {};

\end{tikzpicture}

\end{document}

Define the stereographic projection $\text{[math]}$ by

$\text{[math]}$

This map is continuous because it is a rational function with denominator nonzero (since $\text{[math]}$ on $\text{[math]}$ ).

The inverse map $\text{[math]}$ is given by

$\text{[math]}$

This is also continuous as a composition of continuous functions. One verifies that $\text{[math]}$ and $\text{[math]}$ by direct substitution. Hence $\text{[math]}$ is a homeomorphism.

□

Quotient space

The unit interval $\text{[math]}$ with the endpoints identified (the quotient space $\text{[math]}$ where $\text{[math]}$ ) is homeomorphic to the circle $\text{[math]}$ .

Proof

Define the map $\text{[math]}$ by

$\text{[math]}$

This map is continuous and surjective, and satisfies $\text{[math]}$ .

Consider the equivalence relation $\text{[math]}$ , and let $\text{[math]}$ be the quotient map. By the universal property of the quotient map, there exists a unique continuous map $\text{[math]}$ such that $\text{[math]}$ ; that is, the following diagram commutes.

The map $\text{[math]}$ is bijective because:

Surjectivity follows from surjectivity of $\text{[math]}$ ;
Injectivity holds because
$\text{[math]}$
but in the latter case $\text{[math]}$ in the quotient.

Hence $\text{[math]}$ is a continuous bijection.

The space $\text{[math]}$ is compact as the quotient of a compact space, and $\text{[math]}$ is Hausdorff. By the Compact-to-Hausdorff theorem, a continuous bijection from a compact space to a Hausdorff space is a homeomorphism.

Therefore $\text{[math]}$ is a homeomorphism.

HTTP-Response: 
Error 400: ! Text line contains an invalid character.
l.23 \node[label text] at (0,-2.6) {^^?
 (exit code 1)

Diagram-Code:\documentclass[tikz,border=10pt]{standalone}
\usepackage{amsmath}
\usetikzlibrary{arrows.meta,calc}
\begin{document}

\begin{tikzpicture}[
>={Stealth[scale=1.1]},
dot/.style={circle,fill=black,inner sep=1.6pt},
label text/.style={font=\Large,align=center}
]

\def\r{1.4}
\def\gap{50}

\coordinate (C1) at (0,0);
\coordinate (C2) at (5.5,0);
\coordinate (C3) at (11,0);

\begin{scope}[shift={(C1)}]
\draw[thick] (-\r,0) coordinate (A) -- (\r,0) coordinate (B);
\node[dot] at (A) {};
\node[dot] at (B) {};
\node[label text] at (0,-2.6) {};
\coordinate (R1) at (\r,0);
\end{scope}

\draw[->,thick] () -- ()
node[midway,above] {$q$};

\begin{scope}[shift={(C2)}]
\draw[thick]
(180-\gap:\r)
arc[start angle=180-\gap,end angle=360+\gap,radius=\r];

\node[dot] (L) at (180-\gap:\r) {};
\node[dot] (R) at (\gap:\r) {};

\draw[dashed,->,thick]
(L) .. controls +(0,0) and +(-0.8,-0.1) .. (90:\r);
\draw[dashed,->,thick]
(R) .. controls +(0,0) and +(0.8,-0.1) .. (90:\r);

\node[label text] at (0,-2.6)
{ \\[-0.4ex]\normalsize };

\coordinate (R2) at (2,0);
\end{scope}

\draw[->,thick] () -- ()
node[midway,above] {};

\begin{scope}[shift={(C3)}]
\draw[thick] (0,0) circle (\r);
\node[dot] at (90:\r) {};
\node[label text] at (0,-2.6) {};
\end{scope}

\end{tikzpicture}
\end{document}

□

Counterexamples

$\text{[math]}$ is not homeomorphic to $\text{[math]}$ .

Proof

For contradiction, suppose that there exists a homeomorphism $\text{[math]}$ .

Consider the subspace $\text{[math]}$ of $\text{[math]}$ . The restriction on it, $\text{[math]}$ is also a homeomorphism.

However, $\text{[math]}$ has two connected components, $\text{[math]}$ and $\text{[math]}$ , while $\text{[math]}$ is connected, which contradicts the assumption that the two spaces are homeomorphic.

HTTP-Response: 
Error 400: ! Text line contains an invalid character.
l.20         \node[font=\Large] at (0, -2) {^^?
 (exit code 1)

Diagram-Code:
\documentclass[tikz, border=10pt]{standalone}
\usepackage{amsmath, amssymb}

\begin{document}
\begin{tikzpicture}
    \begin{scope}[xshift=-5cm]
        \draw[thick] (-3, 0) -- (3, 0);
        
        \filldraw[fill=white, draw=black, thick] (0, 0) circle (2.5pt);
        
        \draw[cyan!60!blue, very thick] (-2.5, 0) -- (-1, 0);
        \fill[cyan!60!blue] (-2.5, 0) circle (2pt);
        \fill[cyan!60!blue] (-1, 0) circle (2pt);
        
        \draw[cyan!60!blue, very thick] (1.3, 0) -- (2.2, 0);
        \fill[cyan!60!blue] (1.3, 0) circle (2pt);
        \fill[cyan!60!blue] (2.2, 0) circle (2pt);
        
        \node[font=\Large] at (0, -2) {};
    \end{scope}

    \begin{scope}[xshift=4cm]
        \draw[thick] (-3.5, -2.5) -- (3.5, -2.5) -- (3.5, 2.5) -- (-3.5, 2.5) -- cycle;
        
        \filldraw[fill=white, draw=black, thick] (-0.3, -0.2) circle (2.5pt);
        
        \draw[cyan!60!blue, very thick] (-2, 1.5) .. controls (-0.5, 1) and (-0.8, -1) .. (-1.2, -1.8);
        \fill[cyan!60!blue] (-2, 1.5) circle (2pt);
        \fill[cyan!60!blue] (-1.2, -1.8) circle (2pt);
        
        \draw[cyan!60!blue, very thick] (-0.3, 1.5) .. controls (1.5, 1.8) and (2.5, 1) .. (2, 0.5);
        \fill[cyan!60!blue] (-0.3, 1.5) circle (2pt);
        \fill[cyan!60!blue] (2, 0.5) circle (2pt);
        
        \draw[cyan!60!blue, very thick] (-0.3, 0.5) .. controls (1, 0) and (1, -1) .. (2.5, -2);
        \fill[cyan!60!blue] (-0.3, 0.5) circle (2pt);
        \fill[cyan!60!blue] (2.5, -2) circle (2pt);
        
        \draw[cyan!60!blue, very thick] (-0.5, -0.8) .. controls (0, -1.8) and (1, -1.5) .. (0.8, -1);
        \fill[cyan!60!blue] (-0.5, -0.8) circle (2pt);
        \fill[cyan!60!blue] (0.8, -1) circle (2pt);
        
        \node[font=\Large] at (0, -3.5) {};
    \end{scope}

\end{tikzpicture}
\end{document}

Hence, no such homeomorphism exists; therefore $\text{[math]}$ is not homeomorphic to $\text{[math]}$

□

The map from the interval $\text{[math]}$ to the 1-sphere $\text{[math]}$ ,

$\text{[math]}$

is continuous and bijective, but not a homeomorphism.

Proof

HTTP-Response: 
Error 400: ! Text line contains an invalid character.
l.15 ...1.2) to[bend left=30] node[above=2pt] {^^?
 (exit code 1)

Diagram-Code:
\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{arrows.meta}

\begin{document}

\begin{tikzpicture}
    \draw (0,0) -- (4,0);
    
    \draw (0.15, 0.25) -- (0, 0.25) -- (0, -0.25) -- (0.15, -0.25);
    
    \draw (3.9, 0.25) to[bend left=45] (3.9, -0.25);

    \draw[-{Stealth[length=3mm, width=2mm]}] (4.5, 1.2) to[bend left=30] node[above=2pt] {} (7.0, 1.2);

    \draw (9.5, 0) circle (2);
    
    \begin{scope}[rotate around={90:(11.5,0)}]
        \draw (11.39, 0.25) to[bend left=45] (11.39, -0.25);
        \draw (11.5, -0.25) -- (11.5, 0.25);
        \draw (11.5, 0.25) -- (11.65, 0.25);
        \draw (11.5, -0.25) -- (11.65, -0.25);
        
    \end{scope}

\end{tikzpicture}

\end{document}

The map $\text{[math]}$ is:

Continuous, as it is the composition of continuous maps $\text{[math]}$ and $\text{[math]}$ .
Injective, because if $\text{[math]}$ , then $\text{[math]}$ . Since $\text{[math]}$ , it follows that $\text{[math]}$ .
Surjective, since every point of $\text{[math]}$ can be written as $\text{[math]}$ for some $\text{[math]}$ .

Hence $\text{[math]}$ is a continuous bijection.

However, $\text{[math]}$ is not a homeomorphism.

Consider the sequence

$\text{[math]}$

Then $\text{[math]}$ in $\text{[math]}$ . But

$\text{[math]}$

which does not converge to $\text{[math]}$ in $\text{[math]}$ . Thus $\text{[math]}$ is not continuous.

□

Topological invariants

A topological invariant is a property of a topological space that is preserved under homeomorphisms. In other words, if two spaces are homeomorphic, they either both possess the property or both do not. Invariants are the important tools to classify topological spaces. If two spaces differ in any topological invariant, they cannot be homeomorphic. Conversely, showing that two spaces share many invariants is often the first step on proving they are homeomorpic, though it is never sufficient by itself.

Common topological invariants

Algebraic invariants

More powerful invariants come from algebraic topology, which assigns algebraic objects to topological spaces.

Homeomorphism group

The collection of all autohomeomorphisms of a topological space $\text{[math]}$ forms a group under composition operation, known as the homeomorphism group of $\text{[math]}$ , denoted $\text{[math]}$ . The homeomorphism group captures the symmetry in topology. It describes the ways in which a topological space can be continuously transformed onto itself.

The homeomorphism group $\text{[math]}$ is a faithful group action on its underlying set $\text{[math]}$ . It moves points in $\text{[math]}$ continuously onto $\text{[math]}$ itself, and the topological structure of $\text{[math]}$ is also reflected in the algebraic invariants such as the orbits and stabilizers of the action.

For example, consider the 2-sphere $\text{[math]}$ as a thin rubber membrane tightly wraped around a ball. Each autohomeomorphism of $\text{[math]}$ , which is an element in $\text{[math]}$ , corresponds to a continuous deformation of this membrane. This operation can be stretching, bending, twisting, or any composition of these operations, so the rubber always remains attached to the ball.

HTTP-Response: 
Error 400: ! Text line contains an invalid character.
l.39         node[midway, above, font=\small] {^^?
 (exit code 1)

Diagram-Code:
\documentclass[tikz,border=5mm]{standalone}
\usetikzlibrary{arrows.meta, positioning, calc}
\usepackage{amssymb}
\begin{document}
\begin{tikzpicture}[scale=1.2, >=Stealth]
    \begin{scope}[shift={(0,0)}]
        \shade[ball color=cyan, opacity=0.2] (0,0) circle (2);
        
        \draw[cyan!60!blue, thick] (-2,0) arc (180:360:2 and 0.25);
        \draw[cyan!60!blue, thin, dashed] (2,0) arc (0:180:2 and 0.25);
        
        \foreach \y in {-1.2, -0.6, 0.6, 1.2} {
            \pgfmathsetmacro{\x}{sqrt(4-\y*\y)}
            \draw[cyan!70!black, thin] (-\x, \y) arc (180:360:\x cm and 0.25cm);
            \draw[cyan!70!black, thin, dashed] (\x, \y) arc (0:180:\x cm and 0.25cm);
        }
        
        \draw[cyan!70!black, thin] (0,2) arc (90:-90:0.6 and 2);
        \draw[cyan!70!black, thin] (0,2) arc (90:-90:1.3 and 2);
        \draw[cyan!70!black, thin] (0,2) arc (90:270:0.6 and 2);
        \draw[cyan!70!black, thin] (0,2) arc (90:270:1.3 and 2);
        \draw[cyan!70!black, thin] (0,2) -- (0,-2);
        
        \filldraw[fill=yellow!60, draw=yellow!60!black, thick, opacity=0.7]
           (0.7, 1.1) .. controls (1.0, 1.3) and (1.3, 1.1) .. (1.4, 0.5) 
           .. controls (1.1, 0.1) and (0.1, 0.6) .. (0.7, 1.1) 
           -- cycle;
        \node[yellow!60!black, font=\bfseries] at (1.1, 0.9) {$U$};
        
        \filldraw[black] (0.8, 0.9) circle (1pt) node[anchor=south east, scale=0.8] {$x$};
        \filldraw[black] (1.1, 0.7) circle (1pt) node[anchor=north west, scale=0.8] {$y$};
        
        \node[below, text=black] at (0,-2.3) {$X$};
        \draw[cyan!60!blue, thick] (0,0) circle (2);
    \end{scope}

    \draw[->, thick, black] (2.5, 0) -- (4.5, 0) 
        node[midway, above, font=\small] {};

    \begin{scope}[shift={(7,0)}]
        \shade[ball color=cyan, opacity=0.2] (0,0) circle (2);
        
        \draw[cyan!60!blue, thick] (-2.0,0.0) .. controls (-0.9, -0.3) and (0.9, 0.3) .. (2.0, 0.0);
        \draw[cyan!60!blue, thin, dashed] (2.0,0.0) .. controls (0.9, 0.6) and (-0.9, 0.0) .. (-2.0, 0.0);
        
        \draw[cyan!70!black, thin] (-1.6, 1.2) .. controls (-0.6, 0.9) and (0.6, 1.5) .. (1.6, 1.2);
        \draw[cyan!70!black, thin, dashed] (1.6, 1.2) .. controls (0.6, 1.6) and (-0.6, 1.0) .. (-1.6, 1.2);
        \draw[cyan!70!black, thin] (-1.9, 0.6) .. controls (-0.9, 0.3) and (0.9, 0.9) .. (1.9, 0.6);
        \draw[cyan!70!black, thin, dashed] (1.9, 0.6) .. controls (0.9, 1.1) and (-0.9, 0.5) .. (-1.9, 0.6);
        \draw[cyan!70!black, thin] (-1.9, -0.6) .. controls (-0.9, -0.9) and (0.9, -0.3) .. (1.9, -0.6);
        \draw[cyan!70!black, thin, dashed] (1.9, -0.6) .. controls (0.9, -0.1) and (-0.9, -0.5) .. (-1.9, -0.6);
        \draw[cyan!70!black, thin] (-1.6, -1.2) .. controls (-0.6, -1.5) and (0.6, -0.9) .. (1.6, -1.2);
        \draw[cyan!70!black, thin, dashed] (1.6, -1.2) .. controls (0.6, -0.8) and (-0.6, -1.4) .. (-1.6, -1.2);
        
        \draw[cyan!70!black, thin] (0, 2) .. controls (-1.9, 0.8) and (-1.7, -1.2) .. (0, -2);
        \draw[cyan!70!black, thin] (0, 2) .. controls (-1.1, 0.8) and (-0.9, -1.2) .. (0, -2);
        \draw[cyan!70!black, thin] (0, 2) .. controls (-0.3, 0.8) and (-0.1, -1.2) .. (0, -2);
        \draw[cyan!70!black, thin] (0, 2) .. controls (0.5, 0.8) and (0.7, -1.2) .. (0, -2);
        \draw[cyan!70!black, thin] (0, 2) .. controls (1.3, 0.8) and (1.5, -1.2) .. (0, -2);
        \draw[cyan!70!black, thin, dashed] (0, 2) .. controls (-1.3, 0.8) and (-0.8, -1.2) .. (0, -2);
        \draw[cyan!70!black, thin, dashed] (0, 2) .. controls (0.9, 0.8) and (0.5, -1.2) .. (0, -2);
        
        \filldraw[fill=yellow!60, draw=yellow!60!black, thick, opacity=0.7]
            (0.05, 1.3) 
            .. controls (0.4, 1.4) and (0.9, 1.5) .. (1.2, 0.7) 
            .. controls (0.9, 0.3) and (0.4, 0.15) .. (0.05, 0.5) 
            .. controls (-0.1, 0.8) and (-0.1, 1.1) .. (0.05, 1.3) 
            -- cycle;
        \node[yellow!60!black, font=\bfseries] at (0.6, 0.95) {};
        
        \filldraw[black] (0.4, 1.1) circle (1pt) node[anchor=south east, scale=0.8] {};
        \filldraw[black] (0.8, 0.6) circle (1pt) node[anchor=north west, scale=0.8] {};
        
        \node[below, text=black] at (0,-2.3) {};
        \draw[cyan!60!blue, thick] (0,0) circle (2);
    \end{scope}
\end{tikzpicture}
\end{document}

Under the natural action of $\text{[math]}$ , every point on the sphere can be moved continuously to any other point. This example shows how the homeomorphism group captures the symmetry of a topological space in the perspective of continuity.

Terminology

en	fr	de	zh		ja
homeomorphism	homéomorphisme	Homeomorphismus	同胚	同胚	同相写像
homeomorphic	homéomorphe	homeomorph	同胚的	同胚的	同相
topological invariant	invariant topologique	topologische Invariante	拓扑不变量	拓撲不變量	位相不変量
autohomeomorphism	autohoméomorphisme	Selbsthomöomorphismus	自同胚	自同胚	自己同相写像
homeomorphism group	groupe des homéomorphismes	Homöomorphismengruppe	同胚群	同胚群	同相群

@@ Line 353: / Line 353: @@
 Consider the sequence<math display="block">z_n = e^{2\pi i (1-\tfrac{1}{n})} \in S^1.</math>
 Then <math>z_n \to 1 = e^{2\pi i \cdot 0}</math> in <math>S^1</math>. But
-<math display="block">\phi^{-1}(z_n) = 1-\tfrac{1}{n} \to 1,</math>
+<math display="block">\phi^{-1}(z_n) = 1-\frac{1}{n} \to 1,</math>
 which does not converge to <math>\phi^{-1}(1)=0</math> in <math>[0,1)</math>. Thus <math>\phi^{-1}</math> is not continuous.
 }}

Revision as of 15:47, 11 April 2026

Definitions

Equivalent Definitions

Properties

Examples

Open interval

Stereographic projection

Quotient space

Counterexamples

Topological invariants

Common topological invariants

Algebraic invariants

Homeomorphism group

See also

Terminology