Why is {∅, {a, b}, {a, c}, X} not a topology on {a, b, c}?
Conditions
- .
- The proposed collection is τ = {∅, {a, b}, {a, c}, X}.
Reasoning, step by step
- Verify that ∅ and X are in τ (Axiom 1 holds).
- Verify that unions of members of τ are in τ (Axiom 2 holds for this example).
- Compute the intersection {a, b} ∩ {a, c}.
- Check if the result {a} is in τ.
- Conclude that τ is not a topology because {a} ∉ τ.
Example
The board writes {a, b} ∩ {a, c} = {a} ∉ τ, demonstrating the violation of the finite intersection axiom.
Common misconceptions
- Assuming that passing the union check is sufficient to be a topology.
- Forgetting that all three axioms must hold simultaneously.
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 τ.
A topological space is written as the ordered pair (X, τ) because the same underlying set X can carry different topologies. The topology τ specifies which subsets of X are considered open, so the structure of the space depends on both the set and the chosen collection of open subsets.
Conditions: X is a set.; τ is a topology on 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.