The appropriate group of experts to review this material would be Theoretical Physicists and Differential Geometers. These specialists focus on the mathematical foundations of general relativity and the rigorous definition of the manifold structures required to model SpaceTime.
Abstract:
This lecture, delivered at the Heras International Winter School on Gravity and Light, establishes the foundational mathematical requirements for defining SpaceTime. The discourse transitions from the intuitive physical notion of gravity—where matter dictates SpaceTime curvature—to a rigorous mathematical framework. The lecturer defines SpaceTime as a four-dimensional topological manifold carrying specific geometric structures (smooth atlas, torsion-free connection, Lorentzian metric, and time orientation) that satisfy the Einstein field equations.
The primary focus is on the coarsest level of this structure: Topology. The lecture outlines why set theory alone is insufficient for physics, specifically regarding the requirement of continuity for particle trajectories. It provides the formal axioms of a topology, explores extreme cases (chaotic and discrete), and details the construction of the "standard topology" on $\mathbb{R}^d$ using the open ball definition. Furthermore, the lecture defines continuous maps through the lens of pre-images and introduces the concept of inherited (subset) topology, which ensures that restrictions of continuous maps remain continuous.
Mathematical Foundations of SpaceTime: Topology and Continuity
0:00:15 Physical Context of General Relativity: The lecture identifies the Einstein equations as the link between matter content and the curvature of SpaceTime. In a relativistic framework, the gravitational effect of matter is encoded directly into the geometric structure of SpaceTime itself.
0:02:08 Formal Definition of SpaceTime: SpaceTime is defined as a four-dimensional topological manifold carrying a smooth atlas, a torsion-free connection compatible with a Lorentzian metric, and a time orientation, all satisfying the Einstein equations. The lecture series aims to define each colored term in this key physical definition.
0:05:48 Necessity of Topology: At its coarsest level, SpaceTime is a set of points. However, set theory is insufficient for classical physics because it cannot define continuity. To prevent "jumps" in particle trajectories (curves), a topology—the weakest structure allowing a definition of continuity—must be established.
0:09:00 Axioms of Topology: A topology $\mathcal{O}$ on a set $M$ is a subset of the power set $\mathcal{P}(M)$ satisfying three axioms: 1) The empty set and $M$ must be included; 2) The intersection of any two sets in $\mathcal{O}$ must be in $\mathcal{O}$; 3) The union of an arbitrary (possibly uncountable) collection of sets in $\mathcal{O}$ must be in $\mathcal{O}$.
0:16:12 Extreme Topological Cases: The "chaotic topology" (containing only the empty set and $M$) and the "discrete topology" (containing all possible subsets) represent the minimum and maximum structural extremes. While mathematically valid, they are physically "useless" but serve as essential test cases.
0:18:37 The Standard Topology on $\mathbb{R}^d$: This is constructed in two steps: first, defining "soft balls" (open balls) based on the Euclidean distance between $d$-tuples; second, declaring a set open if every point within it can be enclosed by a soft ball that remains entirely within the set.
0:30:05 Terminology of Open and Closed Sets: A set is "open" if it belongs to the chosen topology. A set is "closed" if its complement is open. Key Takeaway: Open and closed are not mutually exclusive; a set can be both, neither, or one but not the other (e.g., the empty set is always both open and closed).
0:33:31 Continuity via Pre-images: A map $f: M \to N$ is continuous if and only if the pre-image of every open set in the target space $N$ is an open set in the domain $M$. Key Takeaway: Continuity is not a property of the map alone; it depends entirely on the topologies chosen for both the domain and the target.
0:52:45 Topological Dependence of Continuity: Through example, it is demonstrated that a map (such as the identity or inverse map) may be continuous under one set of topologies but fail to be continuous if the topologies are swapped or altered.
0:01:02 Composition of Continuous Maps: If maps $f$ and $g$ are both continuous, their composition ($g \circ f$) is guaranteed to be continuous. This is proven by showing that the pre-image of an open set through the composition is the pre-image of a pre-image, preserving openness at each step.
1:06:22 Inheriting a Subset Topology: To define a topology on a subset $S \subset M$, one uses the intersection of $S$ with the open sets of $M$. This "subset topology" is the natural choice for physicists because it ensures that if a global map (like a temperature distribution) is continuous, its restriction to a sub-structure (like a wire within that distribution) remains continuous.