In topology, what does it mean for a subset to be open?
Conditions
- A fixed set X and topology τ are chosen.
- One is asking whether a subset of X belongs to τ.
Reasoning, step by step
- Identify the topology τ on the set X.
- Check if the subset in question is listed as an element of τ.
- Conclude that the subset is open if and only if it belongs to τ.
Example
In the example and τ={∅,{a},{a,b},X}, the singleton {a} is open because it is in τ, even though no metric is mentioned.
Common misconceptions
- Assuming 'open' always means an interval-like or distance-based open set from calculus.
- Thinking that openness is an intrinsic geometric property rather than a set-theoretic membership in τ.
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.
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.
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.