You want to put a topology on ℝ × ℝ that makes both projection maps π₁(x,y) = x and π₂(x,y) = y continuous. Many topologies would achieve this. What makes the product topology special among them?
AIt is the finest (most open sets) topology on ℝ × ℝ that makes both projections continuous
BIt is the coarsest (fewest open sets) topology that still makes both projections continuous
CIt is the only topology that simultaneously makes both projections continuous
DIt is the topology generated by open disks, which is distinct from any topology defined by products of open sets
The product topology is defined as the coarsest topology on X × Y making all coordinate projections continuous. Any finer topology (more open sets) would also make projections continuous — the product topology is the minimum required structure. For ℝ × ℝ, open rectangles generate the product topology, and this turns out to generate exactly the standard Euclidean topology on ℝ² (since open rectangles and open disks generate the same topology — each contains the other locally).
Question 2 Multiple Choice
For infinite products ∏ X_α, why is the product topology preferred over the box topology — even though the box topology might initially seem more natural?
AThe box topology is computationally harder to use in explicit calculations
BThe product topology has more open sets, making it easier to find continuous functions between spaces
CThe product topology is the coarser choice, and Tychonoff's theorem (a product of compact spaces is compact) holds for it but fails for the box topology
DThe box topology is only defined for finite products, making it inapplicable to infinite cases
For infinite products, the box topology allows every factor to be independently restricted in open sets, making it too fine. Tychonoff's theorem — that any product of compact spaces is compact — holds for the product topology but fails for the box topology: the product of countably many copies of [0,1] under the box topology is not compact. The product topology restricts to open sets where all but finitely many factors are the full space, keeping the topology coarse enough to preserve this crucial property.
Question 3 True / False
The product topology on ℝ × ℝ is strictly coarser than the standard Euclidean topology, since it is generated by open rectangles while the Euclidean topology is generated by open disks.
TTrue
FFalse
Answer: False
The product topology on ℝ × ℝ (generated by open rectangles (a,b) × (c,d)) and the standard Euclidean topology (generated by open disks) are the same topology. Every open disk contains an open rectangle around each of its interior points, and every open rectangle contains an open disk around each of its interior points. Since each basis element of one topology is locally contained in a basis element of the other, both bases generate exactly the same collection of open sets.
Question 4 True / False
The universal property of the product topology — being the coarsest topology making all projections continuous — characterizes it uniquely among all topologies on the product space.
TTrue
FFalse
Answer: True
Given a property P, 'the coarsest topology satisfying P' always characterizes a unique topology when it exists: it is the intersection of all topologies satisfying P, which is itself a topology satisfying P. Any other topology satisfying P would have at least as many open sets (since it must include everything the coarsest one needs). The product topology is exactly this: the intersection of all topologies on X × Y making projections continuous, yielding a uniquely defined coarsest such topology.
Question 5 Short Answer
Why is the product topology — rather than the box topology — the standard definition for infinite products, and what goes wrong with the box topology in the infinite case?
Think about your answer, then reveal below.
Model answer: The product topology restricts open sets to products where only finitely many factors are 'restricted' (all others are the full factor space). This makes the topology coarse enough to preserve crucial properties. The box topology allows all factors to be independently restricted, generating vastly more open sets. The critical failure: Tychonoff's theorem — that any product of compact spaces is compact — holds for the product topology but fails for the box topology. The product topology is characterized by the universal property: it is the coarsest topology making all projections continuous, and this coarseness is precisely what preserves compactness and other desirable properties.
The universal property perspective is key: the product topology is uniquely determined by requiring projections to be continuous with minimal additional structure. The box topology adds extra open sets 'for free' without any universal property justification. This extra structure breaks compactness in the infinite case. The lesson is that in mathematics, the right definition of a construction is often the one with a clean universal property — the coarsest (or finest) topology, ring, or group with a specified behavior — not the most 'obvious' construction.