Open Sets
When to Use
Use this skill when working on open-sets problems in topology.
Decision Tree
Is f: X -> Y continuous?
- For metric spaces: x_n -> x implies f(x_n) -> f(x)?
- For general spaces: f^(-1)(open) = open?
- For products: Check each coordinate function
z3_solve.py prove "preimage_open"
Open Set Verification
- For metric spaces: for all x in U, exists epsilon > 0 with B(x,epsilon) subset U
z3_solve.py prove "ball_contained" with epsilon witnesses
Topological Properties
- Interior: int(A) = largest open subset of A
- Closure: cl(A) = smallest closed superset of A
- Boundary: bd(A) = cl(A) \ int(A)
Continuity Tests
- Epsilon-delta: for all epsilon > 0, exists delta > 0: d(x,a) < delta implies d(f(x),f(a)) < epsilon
z3_solve.py prove "epsilon_delta_bound"
Tool Commands
Z3_Preimage_Open
uv run python -m runtime.harness scripts/z3_solve.py prove "preimage_open"
Z3_Epsilon_Delta
uv run python -m runtime.harness scripts/z3_solve.py prove "ForAll(eps, Exists(delta, d(x,a) < delta implies d(f(x),f(a)) < eps))"
Z3_Ball_Contained
uv run python -m runtime.harness scripts/z3_solve.py prove "ball_contained"
Key Techniques
From indexed textbooks:
- [Introduction to Topological Manifolds... (Z-Library)] Show that every local homeomorphism is an open map. Show that every homeomorphism is a local homeomorphism. Show that a bijective continuous open map is a homeomorphism.
- [Introduction to Topological Manifolds... (Z-Library)] The key motivation behind the denition of this new kind of space is the open set criterion for continuity (Lemma A. Appendix), which shows that continuous functions between metric spaces can be detected knowing only the open sets. Motivated by this observation, we make the following denition.
- [Introduction to Topological Manifolds... (Z-Library)] Suppose X is a set, and B is any collection of subsets of X whose union equals X. Let T be the collection of all unions of nite inter- sections of elements of B. Note that the empty set is the union of the empty collection of sets.
- [Introduction to Topological Manifolds... (Z-Library)] The product topology is “associative” in the sense that the three prod- uct topologies X1 × X2 × X3, (X1 × X2) × X3, and X1 × (X2 × X3) on the set X1 × X2 × X3 are all equal. For any i and any points xj ∈ Xj, j = i, the map fi : Xi → X1 × · · × Xn given by fi(x) = (x1, . If for each i, Bi is a basis for the topology of Xi, then the set {B1 × · · · × Bn : Bi ∈ Bi} is a basis for the product topology on X1 × · · · × Xn.
- [Introduction to Topological Manifolds... (Z-Library)] Here are some examples of closed subsets of familiar topological spaces. Any closed interval [a, b] ⊂ R is a closed set, as are the half-innite closed intervals [a, ∞) and (−∞, b]. Every subset of a discrete space is closed.
Cognitive Tools Reference
See .claude/skills/math-mode/SKILL.md for full tool documentation.
1---2name: open-sets3description: Problem-solving strategies for open sets in topology4---5
6# Open Sets
7
8## When to Use
9
10Use this skill when working on open-sets problems in topology.
11
12## Decision Tree
13
14
151. **Is f: X -> Y continuous?**
16 - For metric spaces: x_n -> x implies f(x_n) -> f(x)?
17 - For general spaces: f^(-1)(open) = open?
18 - For products: Check each coordinate function
19 - `z3_solve.py prove "preimage_open"`
20
212. **Open Set Verification**
22 - For metric spaces: for all x in U, exists epsilon > 0 with B(x,epsilon) subset U
23 - `z3_solve.py prove "ball_contained"` with epsilon witnesses
24
253. **Topological Properties**
26 - Interior: int(A) = largest open subset of A
27 - Closure: cl(A) = smallest closed superset of A
28 - Boundary: bd(A) = cl(A) \ int(A)
29
304. **Continuity Tests**
31 - Epsilon-delta: for all epsilon > 0, exists delta > 0: d(x,a) < delta implies d(f(x),f(a)) < epsilon
32 - `z3_solve.py prove "epsilon_delta_bound"`
33
34
35## Tool Commands
36
37### Z3_Preimage_Open
38```bash
39uv run python -m runtime.harness scripts/z3_solve.py prove "preimage_open"
40```
41
42### Z3_Epsilon_Delta
43```bash
44uv run python -m runtime.harness scripts/z3_solve.py prove "ForAll(eps, Exists(delta, d(x,a) < delta implies d(f(x),f(a)) < eps))"
45```
46
47### Z3_Ball_Contained
48```bash
49uv run python -m runtime.harness scripts/z3_solve.py prove "ball_contained"
50```
51
52## Key Techniques
53
54*From indexed textbooks:*
55
56- [Introduction to Topological Manifolds... (Z-Library)] Show that every local homeomorphism is an open map. Show that every homeomorphism is a local homeomorphism. Show that a bijective continuous open map is a homeomorphism.
57- [Introduction to Topological Manifolds... (Z-Library)] The key motivation behind the denition of this new kind of space is the open set criterion for continuity (Lemma A. Appendix), which shows that continuous functions between metric spaces can be detected knowing only the open sets. Motivated by this observation, we make the following denition.
58- [Introduction to Topological Manifolds... (Z-Library)] Suppose X is a set, and B is any collection of subsets of X whose union equals X. Let T be the collection of all unions of nite inter- sections of elements of B. Note that the empty set is the union of the empty collection of sets.
59- [Introduction to Topological Manifolds... (Z-Library)] The product topology is “associative” in the sense that the three prod- uct topologies X1 × X2 × X3, (X1 × X2) × X3, and X1 × (X2 × X3) on the set X1 × X2 × X3 are all equal. For any i and any points xj ∈ Xj, j = i, the map fi : Xi → X1 × · · × Xn given by fi(x) = (x1, . If for each i, Bi is a basis for the topology of Xi, then the set {B1 × · · · × Bn : Bi ∈ Bi} is a basis for the product topology on X1 × · · · × Xn.
60- [Introduction to Topological Manifolds... (Z-Library)] Here are some examples of closed subsets of familiar topological spaces. Any closed interval [a, b] ⊂ R is a closed set, as are the half-innite closed intervals [a, ∞) and (−∞, b]. Every subset of a discrete space is closed.
61
62## Cognitive Tools Reference
63
64See `.claude/skills/math-mode/SKILL.md` for full tool documentation.
majiayu000