A topological space X has the following properties: every point has a neighborhood homeomorphic to an open ball in ℝ². However, X is not Hausdorff. Which statement best describes X?
AX is a 2-manifold, because the locally Euclidean condition is both necessary and sufficient
BX is not a manifold, because the Hausdorff condition is required in addition to local Euclidean structure
CX is a manifold if and only if it is also second-countable, regardless of the Hausdorff condition
DX might still be a manifold if it is compact, since compact spaces automatically satisfy Hausdorff
A topological manifold requires three conditions simultaneously: locally Euclidean (every point has a neighborhood homeomorphic to ℝⁿ), Hausdorff, and second-countable. The locally Euclidean condition alone is not sufficient. The Hausdorff condition is needed to ensure coordinate charts behave sensibly — without it, distinct points could fail to be separated by open sets, making it impossible to define consistent local coordinates. The 'line with two origins' is a classic example of a locally Euclidean, non-Hausdorff space that fails to be a manifold.
Question 2 Multiple Choice
The surface of a sphere S² is a 2-manifold. This means that every point on S² has a neighborhood that looks exactly like...
AA portion of the sphere itself, with its spherical metric preserved
BAn open subset of the plane ℝ², via a homeomorphism (continuous bijection with continuous inverse)
CA flat patch that can be isometrically embedded in ℝ³ without any distortion
DA copy of the real line ℝ¹, since 2-manifolds are locally one-dimensional
The locally Euclidean condition says neighborhoods are homeomorphic to open subsets of ℝⁿ — not isometric. A homeomorphism preserves topological structure (open sets, continuity) but not necessarily distances or angles. This is why flat maps of Earth work locally: there is a homeomorphism between a patch of the sphere and a patch of the plane, even though no such map is distance-preserving (isometric). Option C confuses homeomorphism with isometry, and option D gets the dimension wrong — S² is locally 2-dimensional.
Question 3 True / False
The torus T² and the sphere S² are both 2-manifolds, which means they are locally indistinguishable — any small neighborhood on either surface looks like a flat plane.
TTrue
FFalse
Answer: True
This is correct and captures the key insight about manifolds: the manifold definition is about *local* structure only. Both T² and S² satisfy the locally Euclidean condition — any sufficiently small neighborhood of any point is homeomorphic to an open disk in ℝ². Their global structures are radically different (they are not homeomorphic to each other), but locally they cannot be distinguished by topology alone. This is precisely why the manifold concept is powerful: it separates local structure (where calculus works) from global structure (which requires more sophisticated tools).
Question 4 True / False
A manifold's global topology can typically be determined by examining the charts (local coordinate systems) in its atlas.
TTrue
FFalse
Answer: False
This is false — and it is the central subtlety of manifold theory. Individual charts only reveal local structure (homeomorphic to ℝⁿ). The global topology is encoded in *how charts overlap*, not in any single chart. The transition maps between overlapping charts — and their compatibility conditions — determine the manifold's global structure. For instance, a cylinder and a Möbius band have identical local structure (both are locally flat 2D strips), but their atlas transition maps differ in orientation, revealing their global difference. Distinguishing global topology requires tools like homology, homotopy groups, and the Euler characteristic.
Question 5 Short Answer
Why does the manifold definition require the locally Euclidean condition rather than simply demanding the space is a subset of ℝⁿ for some n? What does the locally Euclidean condition allow that the subset condition would miss?
Think about your answer, then reveal below.
Model answer: The locally Euclidean condition captures spaces that are Euclidean in small patches but globally curved or topologically complex — spaces that cannot be embedded in any Euclidean space without distortion or self-intersection. The sphere, torus, and projective plane all have this property: they are locally flat but globally non-Euclidean. Requiring the space to literally be a subset of ℝⁿ would exclude these objects or force them into high-dimensional ambient spaces. The locally Euclidean condition is intrinsic — it describes how the space looks from within — which is exactly right for geometry and physics, where intrinsic properties matter.
The distinction between intrinsic and extrinsic description is foundational in differential geometry. A 2D being living on a sphere can detect the sphere's curvature by doing geometry within the sphere (e.g., the angle sum of triangles exceeds π). The manifold definition is intrinsic: it only asks whether each point has a locally Euclidean neighborhood, without reference to how the space might sit inside a larger Euclidean space. This is why the definition generalizes: spacetime in general relativity is a 4-manifold whose curvature is an intrinsic property, not the result of bending inside a 5D space.