Topological spaces
Objective. Work from open-set axioms and generated topologies.
- 1. Learn
- 2. Worked example
- 3. Practice
- 4. Feedback
- 5. Continue
Learn: the key idea
A topological space is a set X together with a collection ฯ of subsets called open sets, satisfying that โ and X are open, arbitrary unions of open sets are open, and finite intersections of open sets are open. This abstracts the idea of 'nearness' without needing distance: any subcollection of ฯ can serve as a basis, and a topology generated by a collection ๐ฎ is the smallest topology containing ๐ฎ, built from finite intersections (forming a basis) then arbitrary unions. For example, the discrete topology on X takes ฯ to be all subsets of X, while the indiscrete topology has only ฯ={โ ,X}.
Worked example
On X={a,b,c}, which collection is a valid topological space's topology: {โ ,X,{a}} or {โ ,X,{a},{b}}?
- {โ ,X,{a}}
- {โ ,X,{a},{b}}
- Both are valid topologies
- Neither is a valid topology
- 1Check {โ ,X,{a}}: unions and intersections of these three sets stay within the collection
- 2This satisfies all three topology axioms
- 3Check {โ ,X,{a},{b}}: union {a}โช{b}={a,b} is missing from the collection
- 4So only {โ ,X,{a}} is a valid topology
Answer: {โ ,X,{a}}
Concept mastery
Based on your past attempts at this lesson โ the question types to practise again come first.
Complete a practice set to see your concept breakdown here.
Practice
Practice happens on its own screen, one question at a time. Answers stay hidden until you submit yours, and you can stop and pick up at the same question later.
Start practisingCommon mistake. Students think infinite intersections of open sets must be open, but in โ with the usual topology, โฉ_{n=1}^{โ}(โ1/n,1/n) = {0}, which is not open, showing the axioms only guarantee finite intersections stay open.
Your progress
Tick each step as you finish it. Your exact reading position is saved automatically, so Continue drops you back on the same line.
0 of 5 steps complete
Your place saves automatically as you read.