Why is a topological space written as the pair (X, τ) instead of just X?
Conditions
- X is a set.
- τ is a topology on X.
Reasoning, step by step
- Recognize that a set X alone does not define openness.
- Understand that τ is a specific collection of subsets of X.
- Combine X and τ into an ordered pair to fully define the topological structure.
Example
The board writes 'topological space (X, τ)', and the speaker explains that a topological space is actually just a pair consisting of the set and τ.
Common misconceptions
- Assuming that a set has only one possible topology.
- Thinking that the topology is an inherent property of the elements of X rather than a chosen collection of subsets.
Watch the explanation
Connected concepts
Explore next
Related questions
A topology must satisfy all three axioms simultaneously. A collection can contain ∅ and X and be closed under unions, yet still fail to be a topology if it is not closed under finite intersections.
Conditions: The collection satisfies Axiom 1 (contains ∅ and X) and Axiom 2 (closed under unions).; The collection fails Axiom 3 (not closed under finite intersections).
A topology on a non-empty set X is a collection of subsets of X, called open subsets, that satisfies three specific axioms: (1) the empty set and the whole set X are in the collection; (2) the union of any family of sets in the collection is also in the collection; and (3) the intersection of any finite collection of sets in the collection is also in the collection.
Conditions: X is a non-empty set.; The collection consists of subsets of X.; The three listed axioms must all hold.
In this context, a subset of X is open exactly when it is a member of the chosen topology τ. Openness is defined axiomatically by membership in τ, not by distance, intervals, or metric notions.
Conditions: A fixed set X and topology τ are chosen.; One is asking whether a subset of X belongs to τ.
This collection fails to be a topology because it is not closed under finite intersections. Specifically, the intersection of the two open sets {a, b} and {a, c} is {a}, but {a} is not included in the collection.
Conditions: .; The proposed collection is τ = {∅, {a, b}, {a, c}, X}.
In the topology axiom, “finite intersection” means that the intersection of any finite number of open sets must also be an open set. It does not require infinite intersections to be open.
Conditions: Applying the third axiom of a topology.
Answers are generated from source material and independently checked. Consult the original video or creator if something is unclear.