What does “finite intersection” mean in the topology axiom shown here?
Conditions
- Applying the third axiom of a topology.
Reasoning, step by step
- Identify a finite collection of open sets from the topology.
- Compute their intersection.
- Verify that the resulting set is also in the topology.
Example
The video tests the intersection of two sets, {a} ∩ {a, b} = {a}, which is a finite intersection, and confirms {a} is in τ.
Common misconceptions
- Assuming that arbitrary (including infinite) intersections must be open.
- Thinking that only pairwise intersections need to be checked, rather than any finite number.
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.