Math 2.0

General topology Definition

Local homeomorphism

Builds on Topological spaceOpen setHomeomorphismSubspace topology

Definition

Let XX and YY be topological spaces and let f ⁣:X→Yf \colon X \to Y be a map. The map ff is a local homeomorphism if every x∈Xx \in X has an open neighbourhood UU with the following two properties. The set f(U)f(U) is open in YY. The restriction f∣U ⁣:U→f(U)f|_U \colon U \to f(U) is a homeomorphism, where UU and f(U)f(U) carry the subspace topology.

Remarks

A local homeomorphism is continuous and open. Every homeomorphism is a local homeomorphism, and so is the inclusion of an open subset.

Example: p ⁣:ℝ→S1p \colon \R \to S^1, p(t)=(cos⁡2πt,sin⁡2πt)p(t) = (\cos 2\pi t, \sin 2\pi t). For x∈ℝx \in \R, take U=(x−1/2,x+1/2)U = (x - 1/2, x + 1/2). Then p(U)p(U) is the circle minus one point, which is open, and p∣Up|_U is a continuous bijection onto it with a continuous inverse given by a branch of the angle.

Non-example: f ⁣:ℂ→ℂf \colon \C \to \C, f(z)=z2f(z) = z^2. Every neighbourhood UU of 00 contains some ε≠0\varepsilon \ne 0 and −ε-\varepsilon, with f(ε)=f(−ε)f(\varepsilon) = f(-\varepsilon), so f∣Uf|_U is not injective. At every z≠0z \ne 0, however, ff is a local homeomorphism.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Homeomorphism concept
  2. Open set concept
  3. Subspace topology concept
  4. Topological space concept
  5. Local homeomorphism definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Local_homeomorphism
About this page
Tag7JVVQ2ZZY2
URIm2://7JVVQ2ZZY2
Kinddefinition
WritingW0 stub
MSC54C10, 54C05
DefinesLocal homeomorphism
UsesTopological space, Open set, Homeomorphism, Subspace topology
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.