70 problems.
PS1
- Subset membership under union and intersection — Munkres 1.2, parts c, g, k, m, p, q
- Preimage and image under injective and surjective maps
- Preimage preserves all set operations; image preserves unions only — Munkres 2.2; part b selected for grading
- Subsets of finite sets are finite
- Countability of \(\mathbb{Q}\)
- Countability of function spaces and subsets of \(\mathbb{Z}_+\) — Munkres 7.5, parts a, e, i
- The countable complement topology and an infinite complement collection
- Intersections and unions of families of topologies — Munkres 13.4; parts a, c selected for grading
PS2
PS3
- Transitivity of the subspace topology
- Open sets in a closed interval versus open sets in the line
- Projections from a product are open maps — PS3.1(a), Munkres 16.4
- Coordinate projections from arbitrary products are open maps — PS3.1(b)
- Products of subspaces are subspaces
- The coarsest topology making a family of maps continuous
- Coordinate slices are imbeddings
- Product and cofinite topologies on \(\mathbb Z^2\)
PS4
- Continuity into the included-point topology
- Products of closed sets are closed
- Restrictions of closed maps and non-closed product projections
- The set where f is at most g is closed — Munkres 18.8 with Y = R in the Euclidean topology
- Closures of intersections and differences — Munkres 17.8, parts a, b
- Interior and boundary of a subset — Munkres 17.19, parts a, b
- Boundaries and interiors of plane regions — Munkres 17.20, parts c, f
- Continuous images of limit points
PS5
- Quotient a set by the fibers of a surjection
- Quotient topology on a three-point image of the line
- Continuous maps with continuous sections are quotient maps
- Inverses and compositions of homeomorphisms are homeomorphisms
- Composition, products, and corestrictions of open maps
- Four quotient-space identifications
- The standard genus-two surface from an octagon
PS6
PS7
- The metric is continuous exactly for its own topology — Munkres 20.3, part a
- The subspace metric
- Separate a point from a closed set in a metrizable space
- Connectedness and path components of the flea-and-comb space
- Components and continuous maps out of the lower limit line — PS7.3(a), components and path components of the lower-limit line
- Components of excluded-point and included-point real lines — PS7.3(b,c)
- Connected fibers over a connected base connect the total space
- Fixed points of continuous self-maps of the interval
- Behavior of path connectedness under products, closures, images, and unions — Munkres 24.8; part a selected for grading
PS8
- Finite unions of compact subspaces are compact
- Compactness and separation axioms for four real-line topologies
- Three quotient-space constructions from squares and disks
- Separating disjoint compact sets in a Hausdorff space
- Generalized tube lemma for compact rectangles
- Compact metrizable spaces are second countable
- Countability axioms pass through open maps — Munkres 30.12, second-countability part only
- Normal spaces have disjoint closure neighborhoods of closed sets
- The equalizer of two maps into a Hausdorff space is closed
- Closed subspaces of normal spaces are normal
- Separation properties project from products to factors — Munkres 32.2; T4 part selected for grading
PS10
- Deformation retract punctured Euclidean space onto the sphere — Hatcher p.18
- Identify a mapping cylinder and a mapping torus
- A mapping cylinder deformation retracts onto its target
- Homotopy equivalence and homotopy are equivalence relations — Hatcher p.18
- Contract the equatorial loop in \(S^2\)
- Retracts of contractible spaces — Hatcher p.18
- Contractible spaces are path-connected — PS10.4
- Fundamental group of the two-point indiscrete space