How do you verify that a given collection of subsets is a topology on a finite set?
Conditions
- X is a finite set.
- τ is a proposed collection of subsets of X.
Reasoning, step by step
- Check if ∅ ∈ τ and .
- List all possible unions of members of τ and verify each result is in τ.
- List all possible finite intersections of members of τ and verify each result is in τ.
- Conclude τ is a topology if all three checks pass.
Example
For and τ={∅,{a},{a,b},X}, the intersection {a}∩{a,b}={a} is in τ, and unions like X∪{a}=X are in τ, so τ is a topology.
Common misconceptions
- Forgetting to check the empty set and the whole set.
- Assuming that checking one example of a union or intersection is sufficient for all cases.
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}.
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.
Answers are generated from source material and independently checked. Consult the original video or creator if something is unclear.