Summary — Chapter XLIX: Definitions of Various Spaces (§§ 412–415)

Primary Text: Read Verbatim Treatise Track (pp. 429–436) · Commentary: Critical Notes

Executive Summary

Chapter XLIX (Definitions of Various Spaces, §§412–415, pp. 429–436) demonstrates the culminating power of the logicist method in geometry: instead of treating ‘Points’, ‘Lines’, and ‘Axioms’ as unproved primitive postulates about actual space, Russell turns every geometry into an explicit nominal definition of a class of relational structures—defining projective spaces (§413), Euclidean spaces via Peano–Whitehead directed magnitudes/vectors (§414), and Clifford’s locally flat finite spaces (§415), and proving existence-theorems for each from the arithmetic continuum of real numbers.

Argumentative Architecture

flowchart TD
            A["§412 Axioms Transformed into Class-Definitions + Arithmetic Existence Proofs"] --> B["§413 Logical Definition of Projective 3-Space"]
            B --> C["§414 Logical Definition of Euclidean Space via Vectors"]
            C --> D["§415 Logical Definition of Clifford's Finite Flat Spaces"]
        

Key Arguments & Theses

§412: Elimination of Geometric Axioms in Pure Mathematics

In pure geometry there are no geometric axioms—only the nominal definition of a class of spaces (e.g. ‘Euclidean spaces’) together with an arithmetic existence proof built from ordered triples of real numbers, demonstrating consistency once for all.

§414: Vectorial Definition of Euclidean Space

Euclidean $n$-space is compactly defined as the field of a group of everywhere-defined bijective directed magnitudes (vectors) forming an $n$-dimensional real inner-product space.

§415: Clifford’s Spaces and Klein’s Space-Form Problem

Examining Clifford’s cylindrical/flat manifolds of finite extent where angle-sum equals $\pi$ everywhere yet straight lines close, Russell highlights the distinction between local and global topological axioms.