nLab
homeomorphism

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

topology

algebraic topology

Basic concepts

Theorems

Extra stuff, structure, properties

Examples

Edit this sidebar

A homeomorphism (also spelt ‘homoeomorphism’ and ‘homœomorphism’ but not ‘homomorphism’) is an isomorphism in the category Top of topological spaces.

That is, a homeomorphism f:X→Y is a continuous map of topological spaces such that there is an inverse f −1:Y→X that is also a continuous map of topological spaces. Equivalently, f is a bijection between the underlying sets such that both f and its inverse are continuous.

Note that a continous bijection is not necessarily a homeomorphism; that is, Top is not a balanced category.

The term ‘homeomorphism’ is also applied to isomorphisms in categories that generalise Top, such as the category of convergence spaces and the category of locales.

Revised on May 24, 2010 10:05:52 by Urs Schreiber (134.100.32.31)
Edit | Back in time (4 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: isomorphism, Lie integration, Top, 2009 June changes, topological space, nice topological space, CW complex, simplex, topology, geometric realization, locale, sober topological space, directed topological space, coverage, filtered topological space, connected filtered space, topological group, homotopy group, m-cofibrant space, sequential topological space, compactly generated topological space, convenient category of topological spaces, Sierpinski space, specialization topology, smash product, shape theory, contractible space, etale space, category of open subsets, convergence space, Cauchy space, uniform space, compact space, topological stack, Hausdorff space, manifold, principal bundle, Lie group, compact Lie group, connected space, local homeomorphism, homeomorphism, locally compact space, neighborhood, topological vector space, Eilenberg-Mac Lane space, loop space, numerable open cover, algebraic topology, suspension, nerve and realization, microbundle, sphere, paracompact topological space, second-countable space, diffeomorphism, compactum, closed immersion of schemes, open immersion of schemes, Hurewicz connection, continuous map, singular cohomology, cartesian space, Pontrjagin dual, proximity space, coordinate-free spectrum, compact-open topology, Dold fibration, neighborhood retract, separable space, subspace topology, string group, subspace, knot, Hurewicz fibration, suspension object, mapping cylinder, Polish space, exponential law for spaces, one-point compactification, Serre fibration, Riemann surface, delayed homotopy, foliation, linking number, isotopy, open cover, Euclidean-topological infinity-groupoid, sequentially compact space, exotic smooth structure, topology - contents, stacked cover, open subspace, Stone space, point of a locale, simplicial topological group, cubulation, equivariant stable homotopy theory, quotient space, partition of unity, Pontrjagin-Thom collapse map, Serre-Swan theorem, CW approximation, open map, Loc, locally contractible space, quandle, Warsaw circle, coherent topological space, closed subspace, string topology, triangulation, Thom space, good open cover, Cantor space, locally finite cover, nerve theorem, topological base, nice simplicial topological space, topological locale, frame of opens, G-delta subspace, 3-manifold, dense subspace, formal topology, weak topology, shrinkable map, discrete and codiscrete topology, ribbon graph, geometric realization of simplicial topological spaces, simplicial topological space, proper Lie groupoid, ball, fundamental (infinity,1)-category, boundary, topological groupoid, torus, link, Reidemeister move, circle, TopMfd, interior, convex set, finite topological space, Haefliger groupoid, holonomy groupoid, covering dimension, Euclidean topology, polyhedron, blob n-category, Vassiliev skein relation, plane, polytope, annulus, clopen set, Kontsevich integral, free loop space, singular homology, Leinster2010, proper topological groupoid, genus of a surface, Milnor mu-bar invariants, writhe, Heyting dimension, locally equi-connected space, locally contractible topological infinity-groupoid, irrational number, operator topology, relational beta-module, Riesz representation theorem, singular knot, Goldman bracket, C-infinity topology, locally compact topological group, globally hyperbolic Lorentzian manifold, closed map, Tychonoff space, product topological space, symmetric product of circles, map from compact space to Hausdorff space, bisimplicial set, contents of contents, shift map, pointless topology, maximal compact subgroup, branched manifold, p-adic integer, focal point, uniformly continuous map, Delta-generated space, Hopf fibration, Sierpinski topos, almost connected topological group, dense subalgebra, relative homology, compact topological group, identity component, schedule, closed cover, Heine-Borel theorem, strongly compact topological space, sequence space, first-countable space, syntopogenous space, compactification, low-dimensional topology, pseudocircle, topological ring, degree of a continuous function, singular foliation, Hopf construction, topological algebra, limit of a sequence, noncommutative topology, convergence vector space