Branch of topology concerned with the classification and properties of spaces and manifolds modelled on infinite-dimensional Banach, Hilbert, or Fréchet spaces, including manifold recognition, absorption phenomena, and homogeneity issues absent in finite dimensions.

Principle

Model-locality and absorption: local charts mimic an infinite-dimensional linear model and many spaces absorb standard models under product or sum (for example, a manifold may be characterized by local homeomorphism to a separable infinite-dimensional linear space), with techniques exploiting infinite-dimensional flexibility and lack of local compactness.

Demonstration

Study a metrizable manifold locally homeomorphic to a separable Hilbert-space model; prove that under separability and local contractibility assumptions the manifold admits a structure reducing classification to recognition of absorption properties and countable union decompositions.

Misapplication

Transferring finite-dimensional invariants and techniques literally into the infinite-dimensional setting—such as relying on compactness-based homological arguments or finite-dimensional transversality theorems—can be invalid because local compactness and finiteness hypotheses fail.

Consequence

Infinite-dimensional topology produces classification theorems (recognition of manifold structures), universal absorption results for certain model spaces, and examples of phenomena like homeomorphism groups with unusual topological properties that do not occur in finite dimensions.

Reversal

Restricting attention to finite-dimensional manifolds removes absorption phenomena and restores classical invariants like degree and homology-based obstructions; many infinite-dimensional simplifications disappear in the finite-dimensional reversal.

Boundary

Focuses on metrizable, separable models built from Banach, Hilbert, or Fréchet spaces and on categories where local charts and countable operations make sense; it excludes purely algebraic infinite-dimensional objects and situations that rely on local compactness.

Semantic Tension

Tension exists between different model categories (Banach versus Fréchet versus Hilbert) because classification and techniques can depend sensitively on the chosen local model and on smooth versus topological categories.

Synthesis

Infinite-Dimensional Topology studies spaces locally modelled on infinite-dimensional linear spaces, exploiting absorption and flexibility while respecting limits imposed by the absence of local compactness, yielding distinct classification and recognition results from those in finite dimensions.