Royal Road to Topology Flashcards
Royal Road to Topology の定義・命題・定理・記法・例・手筋カードを章/セクション順に整理。
📐 は命題/定理/補題/系カード。書籍ハブ: 20_Literature/royal_road_to_topology/_home
I.1 Relations and Maps
Section titled “I.1 Relations and Maps”- cards/topology/antisymmetric :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/composition :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/difference :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/equality-vs-definition :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/fiber :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/graph-of-a-map :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/identity-relation :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/image-and-preimage :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/injectivity-surjectivity-bijectivity :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/inverse-map :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/inverse-relation :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/map :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/permutation :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/reflexive :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/relation :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/relation-surjective-injective :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/restriction :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/semi-inverse-map :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/sets-and-elements :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/subset :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/symmetric :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/transitive :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/union-of-images :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/composition-injectivity-surjectivity :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/cor-i-1-6 :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/prop-i-1-1 :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/prop-i-1-2 :: 20_Literature/royal_road_to_topology/chapter1
I.2 Equivalence Relations
Section titled “I.2 Equivalence Relations”- cards/topology/canonical-surjection :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/equivalence-relation :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/partition :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/quotient-set :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/prop-i-2-1 :: 20_Literature/royal_road_to_topology/chapter1
I.3 Order
Section titled “I.3 Order”- cards/topology/bounds-and-extrema :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/diagonal-sweeping-order :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/extended-real-line :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/inverse-order :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/lattice :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/lexicographic-order :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/linear-order :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/minimal-and-maximal-elements :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/order :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/order-isomorphism :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/order-preserving-map :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/powerset-complete-lattice :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/preorder :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/strict-order :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/sublattice-extrema :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/prop-i-3-8 :: 20_Literature/royal_road_to_topology/chapter1
I.4 Polarities
Section titled “I.4 Polarities”- cards/topology/r-bipolar :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/r-polar :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/prop-i-4-1 :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/prop-i-4-2 :: 20_Literature/royal_road_to_topology/chapter1
I.5 Finite and Infinite Cardinals
Section titled “I.5 Finite and Infinite Cardinals”- cards/topology/cardinality-comparison :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/cardinality-equipotence :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/characteristic-function :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/countability :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/disjoint-union :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/finite-and-infinite :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/finite-subsets :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/interval-equipotent-line :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/natural-numbers :: 20_Literature/royal_road_to_topology/chapter1
- cards/topology/uncountability :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/cor-i-5-6 :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/prop-i-5-3 :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/prop-i-5-4 :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/prop-i-5-5 :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/prop-i-5-7 :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/thm-i-5-2-induction :: 20_Literature/royal_road_to_topology/chapter1
- 📐 cards/topology/thm-i-5-8-cantor :: 20_Literature/royal_road_to_topology/chapter1
II.1 Convergence of Sequences
Section titled “II.1 Convergence of Sequences”- cards/topology/cofinite-subset :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/convergence-of-sequence :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/correlation :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/filter-of-cofinite-preimages :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/neighborhood-filter-properties :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/neighborhood-of-x :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/sequence :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/subsequence :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/cor-ii-1-2 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/lem-ii-1-4 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-1-1 :: 20_Literature/royal_road_to_topology/chapter2
II.2 The Concept of Filter
Section titled “II.2 The Concept of Filter”- cards/topology/centered-family-filter-subbase :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/character-of-a-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/cocountable-filter-at-b :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/cofinite-filter-at-b :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/countably-based-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/countably-based-non-sequential-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/countably-carried-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/filter-base :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/free-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/isotonization-up-arrow :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/partition-tail-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/principal-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/proper-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/sequential-filter :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/cor-ii-2-12 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/lem-ii-2-8 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-2-2 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-2-6 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-2-10 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-2-13 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-2-19 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-2-21 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-2-22 :: 20_Literature/royal_road_to_topology/chapter2
II.3 Order on Filters
Section titled “II.3 Order on Filters”- cards/topology/cofinite-filters-inf-sup :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/filter-complementary-set-extension :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/frechet-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/restriction-of-a-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/ultrafilter :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-3-2 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-3-4 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-3-5 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-3-6 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-3-7 :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/prop-ii-3-10 :: 20_Literature/royal_road_to_topology/chapter2
II.4 Decomposition into Free and Principal Filters
Section titled “II.4 Decomposition into Free and Principal Filters”- cards/topology/cofinite-filter-of-b-centered-at-a :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/free-part :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/kernel :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/ultrafilter-free-or-principal :: 20_Literature/royal_road_to_topology/chapter2
- 📐 cards/topology/filter-decomposition-theorem :: 20_Literature/royal_road_to_topology/chapter2
II.5 Supplement
Section titled “II.5 Supplement”- cards/topology/almost-equal :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/subcofinite-almost-principal-filter :: 20_Literature/royal_road_to_topology/chapter2
- cards/topology/technique-mod-finite :: 20_Literature/royal_road_to_topology/exercises/chapter2
- cards/topology/technique-witness-selection :: 20_Literature/royal_road_to_topology/exercises/chapter2
- 📐 cards/topology/prop-ii-5-9 :: 20_Literature/royal_road_to_topology/chapter2
III.1 The Concept of Limit
Section titled “III.1 The Concept of Limit”- cards/topology/chaotic-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/cofinite-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/density-and-separability :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/discrete-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/finitely-stable-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/free-convergence-t1 :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/hausdorff-convergence-t2 :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/isolated-point :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/pretopology :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/restriction-of-a-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/standard-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/standard-sequential-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/t0-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/ultrafilter-modification :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/vicinity-filter :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-1-6 :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-1-11 :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-1-14 :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-1-16 :: 20_Literature/royal_road_to_topology/chapter3
III.2 A Pointwise Perspective
Section titled “III.2 A Pointwise Perspective”- cards/topology/countable-character :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/pavement :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/sigma-pavement-uncountable :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/cor-iii-2-4 :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-2-3 :: 20_Literature/royal_road_to_topology/chapter3
III.3 Order on Convergences
Section titled “III.3 Order on Convergences”- cards/topology/order-on-convergences :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/sorgenfrey-line :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/lem-iii-3-9 :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-3-2 :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-3-5 :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-3-7 :: 20_Literature/royal_road_to_topology/chapter3
III.4 Prime Convergences
Section titled “III.4 Prime Convergences”- cards/topology/prime-cocountable-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/prime-cofinite-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/prime-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/sequential-fan :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-4-2 :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-4-4 :: 20_Literature/royal_road_to_topology/chapter3
III.5 Finite Convergences
Section titled “III.5 Finite Convergences”- cards/topology/principal-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/sierpinski-pretopologies :: 20_Literature/royal_road_to_topology/chapter3
- 📐 cards/topology/prop-iii-5-2 :: 20_Literature/royal_road_to_topology/chapter3
III.6 Metrizable Convergences
Section titled “III.6 Metrizable Convergences”- cards/topology/euclidean-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/metric :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/metric-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/metrizable-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/norm :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/strict-ball :: 20_Literature/royal_road_to_topology/chapter3
III.7 Supplement
Section titled “III.7 Supplement”- cards/topology/characteristic-convergence :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/convergence-modifier :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/lattice-filter :: 20_Literature/royal_road_to_topology/chapter3
- cards/topology/technique-metric-equivalence :: 20_Literature/royal_road_to_topology/exercises/chapter3
- 📐 cards/topology/prop-iii-7-8 :: 20_Literature/royal_road_to_topology/chapter3
IV.1 Images and Preimages
Section titled “IV.1 Images and Preimages”- cards/topology/order-on-families :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/image-preimage-adjunction :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-1-3 :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-1-4 :: 20_Literature/royal_road_to_topology/chapter4
IV.2 Continuous Maps
Section titled “IV.2 Continuous Maps”- cards/topology/continuity-epsilon-delta :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/continuity-of-metric-and-norm :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/continuous-map :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/homeomorphism :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/lem-iv-2-5 :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-2-2 :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-2-6 :: 20_Literature/royal_road_to_topology/chapter4
IV.3 Continuity and Order
Section titled “IV.3 Continuity and Order”- cards/topology/embedding :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/final-convergence :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/initial-convergence :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/quotient-map :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/subconvergence :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-3-5 :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-3-14 :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-3-15 :: 20_Literature/royal_road_to_topology/chapter4
IV.4 Initial Convergences
Section titled “IV.4 Initial Convergences”- cards/topology/initial-convergence-family :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/sigma-initial :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/lem-iv-4-3 :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-4-5 :: 20_Literature/royal_road_to_topology/chapter4
IV.5 Selections and Products
Section titled “IV.5 Selections and Products”- cards/topology/diagonal-map :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/product-and-selections :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/product-map :: 20_Literature/royal_road_to_topology/chapter4
IV.6 Product Convergences
Section titled “IV.6 Product Convergences”- cards/topology/cantor-cube :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/pointwise-convergence :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/polyhedral-filter :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/product-convergence :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-6-11 :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-6-12 :: 20_Literature/royal_road_to_topology/chapter4
IV.7 Diagonal Product Maps
Section titled “IV.7 Diagonal Product Maps”- cards/topology/diagonal-product-map :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/cor-iv-7-10 :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/prop-iv-7-7 :: 20_Literature/royal_road_to_topology/chapter4
IV.8 Final Convergences
Section titled “IV.8 Final Convergences”- cards/topology/coproduct-of-convergences :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/final-convergence-family :: 20_Literature/royal_road_to_topology/chapter4
IV.9 Lower Semicontinuity
Section titled “IV.9 Lower Semicontinuity”- cards/topology/lower-semicontinuity :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/selection-principle :: 20_Literature/royal_road_to_topology/chapter4
IV.10 Supplement
Section titled “IV.10 Supplement”- cards/topology/homogeneous-convergence :: 20_Literature/royal_road_to_topology/chapter4
- cards/topology/technique-galois-adjunction :: 20_Literature/royal_road_to_topology/exercises/chapter4
- cards/topology/technique-intermediate-value :: 20_Literature/royal_road_to_topology/exercises/chapter4
- cards/topology/topologists-sinus :: 20_Literature/royal_road_to_topology/chapter4
- 📐 cards/topology/lem-iv-10-7 :: 20_Literature/royal_road_to_topology/chapter4
V.1 Isotone and Antitone Families(辞書)
Section titled “V.1 Isotone and Antitone Families(辞書)”V.3 The Notion of Grill(辞書)
Section titled “V.3 The Notion of Grill(辞書)”VI.1 Basic Facts about Pretopologies(辞書)
Section titled “VI.1 Basic Facts about Pretopologies(辞書)”- cards/topology/adherence :: 20_Literature/royal_road_to_topology/chapter6
- cards/topology/bisequence-pretopology :: 20_Literature/royal_road_to_topology/chapter6
- cards/topology/radial-pretopology :: 20_Literature/royal_road_to_topology/chapter6
VI.2 Adherence(辞書)
Section titled “VI.2 Adherence(辞書)”- cards/topology/locally-finite-family :: 20_Literature/royal_road_to_topology/chapter6
- 📐 cards/topology/adherence-properties :: 20_Literature/royal_road_to_topology/chapter6
VI.3 Inherence(辞書)
Section titled “VI.3 Inherence(辞書)”VI.6 Pretopologizer(辞書)
Section titled “VI.6 Pretopologizer(辞書)”VI.7 Initial Density of the Bourdaud Pretopology(辞書)
Section titled “VI.7 Initial Density of the Bourdaud Pretopology(辞書)”- cards/topology/bourdaud-pretopology :: 20_Literature/royal_road_to_topology/chapter6
- cards/topology/initial-density :: 20_Literature/royal_road_to_topology/chapter6
VII.1 Closed Sets, Closure
Section titled “VII.1 Closed Sets, Closure”- cards/topology/closed-set :: 20_Literature/royal_road_to_topology/chapter7
- cards/topology/closure-operation :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/closed-sets-lattice-axioms :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/closure-kuratowski-axioms :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/cor-vii-1-8 :: 20_Literature/royal_road_to_topology/chapter7
VII.2 Open Sets, Interior, Neighborhoods
Section titled “VII.2 Open Sets, Interior, Neighborhoods”- cards/topology/interior-neighborhood :: 20_Literature/royal_road_to_topology/chapter7
- cards/topology/open-set :: 20_Literature/royal_road_to_topology/chapter7
- cards/topology/sorgenfrey-open-closed-example :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/interior-properties :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/vii-2-9-neighborhood-filter :: 20_Literature/royal_road_to_topology/chapter7
VII.3 Topologies
Section titled “VII.3 Topologies”- cards/topology/topology-definition :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/closed-sets-determine-topology :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/prime-pretopology-is-topology :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/prop-vii-3-2-lim-via-closure :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/prop-vii-3-9-continuity-open-closed :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/prop-vii-3-10-continuity-neighborhoods :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/topology-initial-lemma :: 20_Literature/royal_road_to_topology/chapter7
VII.4 Structure of the Class of Topologies
Section titled “VII.4 Structure of the Class of Topologies”- cards/topology/radial-topology :: 20_Literature/royal_road_to_topology/chapter7
- cards/topology/topologizer :: 20_Literature/royal_road_to_topology/chapter7
- cards/topology/topologizer-noncommutativity :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/prop-vii-4-8-free-topologizer :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/topologies-complete-lattice :: 20_Literature/royal_road_to_topology/chapter7
VII.5 Initial Density of the Sierpiński Topology
Section titled “VII.5 Initial Density of the Sierpiński Topology”- cards/topology/sierpinski-topology :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/thm-vii-5-2-sierpinski-initially-dense :: 20_Literature/royal_road_to_topology/chapter7
- cards/topology/technique-diagonal-embedding :: 20_Literature/royal_road_to_topology/exercises/chapter7
- cards/topology/technique-separation-via-open-witness :: 20_Literature/royal_road_to_topology/exercises/chapter7
VII.6 *Remarks on Convergence of Nets
Section titled “VII.6 *Remarks on Convergence of Nets”- cards/topology/net :: 20_Literature/royal_road_to_topology/chapter7
- 📐 cards/topology/net-vs-filter-correspondence :: 20_Literature/royal_road_to_topology/chapter7
VII.7 Supplement
Section titled “VII.7 Supplement”- cards/topology/pointwise-property :: 20_Literature/royal_road_to_topology/chapter7
- cards/topology/topological-space-classical :: 20_Literature/royal_road_to_topology/chapter7
VIII.1 Adherences
Section titled “VIII.1 Adherences”- cards/topology/adherence-finite-intersections-caveat :: 20_Literature/royal_road_to_topology/chapter8
- cards/topology/family-adherence :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/adherence-initial-final-formulas :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/adherence-pretopology-intersection :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/cor-viii-1-10-continuity-preserves-adherence :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/family-adherence-properties :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/hausdorff-adherence-equals-limit :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/lem-viii-1-2-ultrafilter-adherence :: 20_Literature/royal_road_to_topology/chapter8
- cards/topology/technique-pushforward-filter :: 20_Literature/royal_road_to_topology/exercises/chapter8
VIII.2 Covers and Inherences
Section titled “VIII.2 Covers and Inherences”- cards/topology/classical-open-cover :: 20_Literature/royal_road_to_topology/chapter8
- cards/topology/family-inherence :: 20_Literature/royal_road_to_topology/chapter8
- cards/topology/pseudocover :: 20_Literature/royal_road_to_topology/chapter8
- cards/topology/xi-cover-definition :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/lem-viii-2-3-cover-equivalences :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/prop-viii-2-4-refinement-cover :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/thm-viii-2-10-cover-of-family :: 20_Literature/royal_road_to_topology/chapter8
VIII.3 Compact Convergences
Section titled “VIII.3 Compact Convergences”- cards/topology/compact-convergence-definition :: 20_Literature/royal_road_to_topology/chapter8
- cards/topology/compact-not-closed-example :: 20_Literature/royal_road_to_topology/chapter8
- cards/topology/compactness-absolute :: 20_Literature/royal_road_to_topology/chapter8
- cards/topology/countably-compact :: 20_Literature/royal_road_to_topology/chapter8
- cards/topology/lindelof-property :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/closed-subset-compactness-inheritance :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/compact-hausdorff-implies-closed :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/compact-ideal-characterization :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/continuous-image-compact :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/finite-subcover-characterization :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/heine-borel-interval :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/prop-viii-3-1-relative-compactness :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/tikhonov-theorem :: 20_Literature/royal_road_to_topology/chapter8
VIII.4 Supplement
Section titled “VIII.4 Supplement”- cards/topology/example-viii-4-3-inverse-function-discontinuous :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/lem-viii-4-1-free-sequence-adherence :: 20_Literature/royal_road_to_topology/chapter8
- 📐 cards/topology/prop-viii-4-2-compact-family-characterization :: 20_Literature/royal_road_to_topology/chapter8
IX.1 Topological Separation
Section titled “IX.1 Topological Separation”- cards/topology/boundary-clopen :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/hausdorff-non-regular-example :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/niemytzki-plane :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/prime-cofinite-normal-example :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/regular-topology :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/separated-sets :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/sierpinski-normal-not-regular :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/hausdorff-diagonal-closed :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/hereditarily-normal :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/lem-ix-1-21-normality-open-cover-criterion :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/normal-topology :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/topological-separation-in-topologies :: 20_Literature/royal_road_to_topology/chapter9
IX.2 Bases
Section titled “IX.2 Bases”- cards/topology/subbase :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/weight-definition :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/zero-dimensional-sorgenfrey-weight :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/base-for-open-closed-sets :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/density-weight-inequality :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/weight-cover-refinement :: 20_Literature/royal_road_to_topology/chapter9
IX.3 Compact, Countably Compact, and Lindelöf Topologies
Section titled “IX.3 Compact, Countably Compact, and Lindelöf Topologies”- cards/topology/accumulation-point :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/lexicographic-square-example :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/linear-order-topology-compact :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/sorgenfrey-compact-subsets-countable :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/compact-cover-summary-topology :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/countably-compact-locally-finite :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/hausdorff-compact-regular-normal :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/regular-countable-weight-normal :: 20_Literature/royal_road_to_topology/chapter9
IX.4 Open, Closed, Topologically Quotient, and Perfect Maps
Section titled “IX.4 Open, Closed, Topologically Quotient, and Perfect Maps”- cards/topology/open-closed-map :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/open-not-closed-example :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/topologically-quotient-map :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/perfect-map :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/upper-semicontinuous-relation :: 20_Literature/royal_road_to_topology/chapter9
IX.5 Supplement
Section titled “IX.5 Supplement”- cards/topology/density-related-terms :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/pretopologically-topologically-hausdorff :: 20_Literature/royal_road_to_topology/chapter9
- cards/topology/technique-descending-closed-sets :: 20_Literature/royal_road_to_topology/exercises/chapter9
- 📐 cards/topology/cantor-condition-countably-compact :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/finite-intersection-property-compactness :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/graph-closed :: 20_Literature/royal_road_to_topology/chapter9
- 📐 cards/topology/sierpinski-cube-embedding :: 20_Literature/royal_road_to_topology/chapter9
X.1 The Real Line
Section titled “X.1 The Real Line”X.2 Real-Valued Functions
Section titled “X.2 Real-Valued Functions”- cards/topology/equicontinuous-family :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/semicontinuous-function :: 20_Literature/royal_road_to_topology/chapter10
X.3 More on Metrics and Metrizable Topologies
Section titled “X.3 More on Metrics and Metrizable Topologies”- cards/topology/countable-product-metrizable :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/distance-to-set :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/totally-bounded-countably-compact :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/uniform-convergence-metrizable :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/metric-inequalities :: 20_Literature/royal_road_to_topology/chapter10
X.4 Completely Metrizable Topologies
Section titled “X.4 Completely Metrizable Topologies”- cards/topology/cauchy-fundamental-filter :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/complete-metric-equivalences :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/completely-metrizable-topology :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/g-delta-f-sigma-sets :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/baire-category-theorem :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/cantor-theorem-complete-metric :: 20_Literature/royal_road_to_topology/chapter10
X.5 Completion
Section titled “X.5 Completion”- cards/topology/metric-completion-theorem :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/uniform-continuity-extension :: 20_Literature/royal_road_to_topology/chapter10
X.6 Functionally Closed and Open Sets
Section titled “X.6 Functionally Closed and Open Sets”- cards/topology/functionally-closed-open-sets :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/functionally-closed-countable-intersection :: 20_Literature/royal_road_to_topology/chapter10
X.7 Functional Separation
Section titled “X.7 Functional Separation”- cards/topology/functionally-hausdorff :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/functionally-regular-topology :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/functionally-separated-sets :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/hausdorff-regular-non-functionally-regular-example :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/prime-cofinite-cocountable-perfectly-normal-examples :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/separation-axioms-table :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/sorgenfrey-perfectly-normal-plane-not-normal :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/perfectly-normal-vedenisov :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/tietze-extension-theorem :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/urysohn-lemma :: 20_Literature/royal_road_to_topology/chapter10
X.8 *A Non-Trivial Regular Topology with Each Continuous Function Constant
Section titled “X.8 *A Non-Trivial Regular Topology with Each Continuous Function Constant”- cards/topology/regular-topology-only-constant-functions :: 20_Literature/royal_road_to_topology/chapter10
X.9 Functionally Initial Topologies
Section titled “X.9 Functionally Initial Topologies”- cards/topology/functionally-initial-topology :: 20_Literature/royal_road_to_topology/chapter10
- cards/topology/pseudometrizable-functionally-initial :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/tikhonov-cube-embedding :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/urysohn-metrization-theorem :: 20_Literature/royal_road_to_topology/chapter10
X.10 Supplement
Section titled “X.10 Supplement”- 📐 cards/topology/cantor-rational-order-isomorphism :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/dini-theorem :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/gdelta-embedding-lemma :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/lsc-attains-infimum-countably-compact :: 20_Literature/royal_road_to_topology/chapter10
- 📐 cards/topology/stone-weierstrass-theorem :: 20_Literature/royal_road_to_topology/chapter10
XII.1 A Short Story of Compactness
Section titled “XII.1 A Short Story of Compactness”- cards/topology/euclidean-compact-filter-characterization :: 20_Literature/royal_road_to_topology/chapter12
- cards/topology/prop-xii-1-11-compactness-equivalences :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/thm-xii-1-12-weierstrass-extrema :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/thm-xii-1-13-heine-uniform-continuity :: 20_Literature/royal_road_to_topology/chapter12
XII.2 Compact Sets in Topological Spaces
Section titled “XII.2 Compact Sets in Topological Spaces”- cards/topology/compactoid-set :: 20_Literature/royal_road_to_topology/chapter12
- cards/topology/compactoid-not-closure-compactoid :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-2-3-compact-above-hausdorff-equal :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/cor-xii-2-6-hausdorff-compact-tikhonov-embedding :: 20_Literature/royal_road_to_topology/chapter12
XII.3 Weaker Variants of Compactness
Section titled “XII.3 Weaker Variants of Compactness”- cards/topology/pseudocompact-topology :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-3-3-countably-compact-pseudocompact :: 20_Literature/royal_road_to_topology/chapter12
- cards/topology/local-compactness-variants :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-3-9-regular-locally-compactoid-hereditarily :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-3-13-hemicompact-locally-compact :: 20_Literature/royal_road_to_topology/chapter12
XII.4 Sequentially Compact Topologies
Section titled “XII.4 Sequentially Compact Topologies”- cards/topology/sequentially-compact-topology :: 20_Literature/royal_road_to_topology/chapter12
- cards/topology/compact-not-sequentially-compact-cube :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-4-4-countable-product-sequentially-compact :: 20_Literature/royal_road_to_topology/chapter12
- cards/topology/sequentially-compact-not-compact-sigma-product :: 20_Literature/royal_road_to_topology/chapter12
XII.5 The Cantor Set
Section titled “XII.5 The Cantor Set”- cards/topology/cantor-set-construction :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-5-3-cantor-set-cube-homeomorphic :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-5-5-unit-interval-image-of-cantor-set :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-5-7-compact-metrizable-image-of-cantor-set :: 20_Literature/royal_road_to_topology/chapter12
XII.6 *Cardinality Aspects
Section titled “XII.6 *Cardinality Aspects”- 📐 cards/topology/thm-xii-6-3-hewitt-marczewski-pondiczery :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/thm-xii-6-5-independent-family-stone-cech-cardinality :: 20_Literature/royal_road_to_topology/chapter12
XII.7 The Stone Topology
Section titled “XII.7 The Stone Topology”- cards/topology/stone-topology-ultrafilter-space :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-7-1-stone-topology-basic-properties :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-7-6-stone-character-uncountable :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/thm-xii-7-11-stone-transform-order-isomorphism :: 20_Literature/royal_road_to_topology/chapter12
- cards/topology/contour-operation-stone :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/thm-xii-7-17-stone-cech-universal-property :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/thm-xii-7-19-stone-cech-characterization :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/thm-xii-7-21-beta-n-closed-subset-copy :: 20_Literature/royal_road_to_topology/chapter12
XII.8 *Almost Disjoint Families
Section titled “XII.8 *Almost Disjoint Families”- cards/topology/mad-family-definition :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/prop-xii-8-3-8-4-mad-cardinality :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/almost-disjoint-topology-properties :: 20_Literature/royal_road_to_topology/chapter12
XII.9 *Hyperconvergences and Semicontinuities
Section titled “XII.9 *Hyperconvergences and Semicontinuities”- cards/topology/hyperconvergence-lower-semicontinuity :: 20_Literature/royal_road_to_topology/chapter12
XII.10 Supplement
Section titled “XII.10 Supplement”- 📐 cards/topology/lemma-xii-10-1-compact-open-neighborhood-adherence :: 20_Literature/royal_road_to_topology/chapter12
- cards/topology/hypercompact-local-compactness-point :: 20_Literature/royal_road_to_topology/chapter12
- 📐 cards/topology/thm-xii-10-10-hausdorff-compact-cantor-cube-image :: 20_Literature/royal_road_to_topology/chapter12
XV.1 Preuniformities
Section titled “XV.1 Preuniformities”- cards/topology/preuniformity :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/induced-pretopology-lambda-r :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-1-2-free-preuniformity-ker :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/conjugate-preuniformity :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/hausdorff-preuniformity-prop-xv-1-4 :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/example-xv-1-5-hausdorff-not-conjugate-hausdorff :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-1-6-1-7-compatible-preuniformity-finest :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/semi-uniformity :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/quasi-uniformity :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-1-12-quasi-uniformity-induces-topology :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/quasi-pseudometric :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-1-14-pervin-quasi-uniformity :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-1-16-1-17-quasi-uniform-reflector :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/example-xv-1-18-topologizer-quasi-uniformization-strict :: 20_Literature/royal_road_to_topology/chapter15
XV.2 Uniformities
Section titled “XV.2 Uniformities”- cards/topology/uniformity :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/example-xv-2-2-pseudometric-family-uniformity :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-2-3-symmetrization-coarsest-uniformity :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/lemma-xv-2-4-metrization-lemma :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/thm-xv-2-6-weil-uniformizability :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-2-7-metric-uniformity-countably-based :: 20_Literature/royal_road_to_topology/chapter15
XV.3 Operations
Section titled “XV.3 Operations”- cards/topology/uniform-continuity :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/uniform-isomorphism :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-3-4-uniform-continuity-implies-continuity :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-3-5-continuous-compact-uniformly-continuous :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/product-preuniformity :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-3-8-product-universal-property-uniform-continuity :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/thm-xv-3-9-uniform-embedding-metrizable-product :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/uniform-convergence-function-space :: 20_Literature/royal_road_to_topology/chapter15
XV.4 Completeness
Section titled “XV.4 Completeness”- cards/topology/cauchy-filter-preuniformity :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-4-2-symmetric-cauchy-filter-times-filter :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/example-xv-4-3-cauchy-filter-not-neighborhood :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-4-4-uniform-continuity-preserves-cauchy :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-4-5-4-6-product-cauchy-criterion :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/complete-quasi-uniformity :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/example-xv-4-8-complete-quasi-uniformity-non-convergence-complete :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-4-9-locally-symmetric-complete-convergence-complete :: 20_Literature/royal_road_to_topology/chapter15
- cards/topology/example-xv-4-10-complete-subspace-not-closed :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-4-11-closed-subspace-complete-characterization :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-4-12-product-complete-iff-factors :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/thm-xv-4-13-uniform-extension-theorem :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/cor-xv-4-15-uniform-completion-existence :: 20_Literature/royal_road_to_topology/chapter15
XV.5 Supplement
Section titled “XV.5 Supplement”- cards/topology/uniform-convergence-structure :: 20_Literature/royal_road_to_topology/chapter15
- 📐 cards/topology/prop-xv-5-1-convergence-compatible-uniform-structure :: 20_Literature/royal_road_to_topology/chapter15
XVI.3 Sequentially Founded Convergences(辞書)
Section titled “XVI.3 Sequentially Founded Convergences(辞書)”- cards/topology/sequentially-founded-convergence :: 20_Literature/royal_road_to_topology/chapter16
- cards/topology/urysohn-modification :: 20_Literature/royal_road_to_topology/chapter16
XVII.3 Reflective and Coreflective Classes(辞書)
Section titled “XVII.3 Reflective and Coreflective Classes(辞書)”XVII.4 Initial and Final Functors(辞書)
Section titled “XVII.4 Initial and Final Functors(辞書)”- 📐 cards/topology/reflector-coreflector-density-criterion :: 20_Literature/royal_road_to_topology/chapter17
XVIII.2 Foundations(辞書)
Section titled “XVIII.2 Foundations(辞書)”XVIII.3 Pseudotopologies(辞書)
Section titled “XVIII.3 Pseudotopologies(辞書)”XXII.9 Measure-theoretic Convergences
Section titled “XXII.9 Measure-theoretic Convergences”- cards/topology/classical-measure-theoretic-convergences :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/prop-xxii-9-2-uniform-implies-everywhere :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/prop-xxii-9-4-egorov-theorem :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/lemma-xxii-9-5-uniform-implies-measure :: 20_Literature/royal_road_to_topology/chapter22
- cards/topology/example-xxii-9-6-measure-not-everywhere :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/lemma-xxii-9-7-fundamental-measure-subsequence :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/prop-xxii-9-8-measure-convergence-complete :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/prop-xxii-9-9-modifier-sequentially-founded :: 20_Literature/royal_road_to_topology/chapter22
- cards/topology/measure-theoretic-convergence :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/prop-xxii-9-10-measure-theoretic-characterization :: 20_Literature/royal_road_to_topology/chapter22
- cards/topology/filter-convergence-almost-everywhere :: 20_Literature/royal_road_to_topology/chapter22
- cards/topology/example-xxii-9-12-everywhere-filter-not-measure-theoretic :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/prop-xxii-9-13-countably-carried-everywhere-measure-theoretic :: 20_Literature/royal_road_to_topology/chapter22
- cards/topology/filter-convergence-almost-uniform :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/prop-xxii-9-15-uniform-finer-everywhere :: 20_Literature/royal_road_to_topology/chapter22
- cards/topology/filter-convergence-in-measure :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/prop-xxii-9-17-uniform-finer-measure :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/prop-xxii-9-18-measure-finest-continuous-family :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/cor-xxii-9-19-lebesgue-measure-metrizable :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/cor-xxii-9-20-measure-urysohn-of-everywhere :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/prop-xxii-9-21-countably-carried-uniform-not-pseudotopology :: 20_Literature/royal_road_to_topology/chapter22
- cards/topology/example-xxii-9-24-everywhere-not-finer-uniform :: 20_Literature/royal_road_to_topology/chapter22
- 📐 cards/topology/cor-xxii-9-25-pseudotopological-everywhere-not-finer-measure :: 20_Literature/royal_road_to_topology/chapter22
XX.6 Compactoid and Compact Families(辞書)
Section titled “XX.6 Compactoid and Compact Families(辞書)”- cards/topology/compact-family-kappa-xi :: 20_Literature/royal_road_to_topology/chapter20
- cards/topology/consonant-topology :: 20_Literature/royal_road_to_topology/chapter20
XX.9 Local Compactness(辞書)
Section titled “XX.9 Local Compactness(辞書)”- 📐 cards/topology/prop-xx-9-13-hausdorff-regular-hereditarily-locally-compact :: 20_Literature/royal_road_to_topology/chapter20
XX.10 Hyperconvergences Revisited(辞書)
Section titled “XX.10 Hyperconvergences Revisited(辞書)”- 📐 cards/topology/cor-xx-10-9-open-set-compact-family-duality :: 20_Literature/royal_road_to_topology/chapter20
XXIII.1 Fundamental Filters and Completeness(辞書)
Section titled “XXIII.1 Fundamental Filters and Completeness(辞書)”- cards/topology/p-fundamental-filter-p-completeness :: 20_Literature/royal_road_to_topology/chapter23
XXIII.4 Countably Complete Convergences(辞書)
Section titled “XXIII.4 Countably Complete Convergences(辞書)”XXIV.0 Introduction
Section titled “XXIV.0 Introduction”- cards/topology/c-xi-sigma-space-of-continuous-maps :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/example-xxiv-0-2-pointwise-limit-not-continuous :: 20_Literature/royal_road_to_topology/chapter24
XXIV.1 Dual (Natural) Convergence
Section titled “XXIV.1 Dual (Natural) Convergence”- cards/topology/dual-natural-convergence :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-1-1-dual-convergence-coarsest :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/thm-xxiv-1-3-regular-codomain-natural-closed :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/finer-subspace-order-dual-monotonicity :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-1-5-dual-convergence-infima-suprema :: 20_Literature/royal_road_to_topology/chapter24
XXIV.2 Exponentiation, Transposition, and Adjoint Maps
Section titled “XXIV.2 Exponentiation, Transposition, and Adjoint Maps”- cards/topology/exponentiation-transposition-bijection :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/adjoint-maps-upper-lower :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/point-evaluation-map :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-2-3-double-adjoint-point-evaluation :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-2-4-upper-adjoint-continuity :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-2-5-dual-convergence-pullback-surjective :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-2-6-lower-adjoint-continuity :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-2-7-dual-convergence-pullback-lower :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/lemma-xxiv-2-8-reflector-coreflector-density-criterion :: 20_Literature/royal_road_to_topology/chapter24
XXIV.3 Exponential Law
Section titled “XXIV.3 Exponential Law”- 📐 cards/topology/lemma-xxiv-3-1-exponential-map-bijection :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/thm-xxiv-3-2-exponential-law :: 20_Literature/royal_road_to_topology/chapter24
XXIV.4 Hyperconvergences as Dual Convergences
Section titled “XXIV.4 Hyperconvergences as Dual Convergences”- cards/topology/dollar-dual-kuratowski-scott-convergences :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/xi-erected-filter-galois-connection :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/point-topology-inverse-point-topology :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-4-1-point-topologies-complementary :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/example-xxiv-4-2-inverse-point-topology-not-finer :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-4-3-reduced-filter-characterization :: 20_Literature/royal_road_to_topology/chapter24
XXIV.5 Other Convergences on Function Spaces
Section titled “XXIV.5 Other Convergences on Function Spaces”- cards/topology/pointwise-hypertopology-bracket-notation :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/lemma-xxiv-5-2-bracket-filter-criterion :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-5-3-pointwise-convergence-preimage-criterion :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/compact-open-topology :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-5-6-compact-open-preimage-criterion :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/alpha-xi-sigma-general-construction :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/isbell-scott-topology :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-5-9-10-natural-convergence-preimage-isbell-coarser :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-5-7-8-11-hierarchy-consonance-criterion :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-5-13-14-compact-open-k-modifier-bounds :: 20_Literature/royal_road_to_topology/chapter24
XXIV.6 A Unification of Functional Convergences and Hyperconvergences
Section titled “XXIV.6 A Unification of Functional Convergences and Hyperconvergences”- cards/topology/preimagewise-convergence :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-6-1-initial-density-preimagewise :: 20_Literature/royal_road_to_topology/chapter24
XXIV.7 Consonance
Section titled “XXIV.7 Consonance”- 📐 cards/topology/prop-xxiv-7-1-consonant-compact-open-topologization :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/thm-xxiv-7-2-countably-complete-regular-consonant :: 20_Literature/royal_road_to_topology/chapter24
- cards/topology/example-xxiv-7-4-5-6-dissonant-spaces :: 20_Literature/royal_road_to_topology/chapter24
XXIV.8 Compactness in Function Spaces
Section titled “XXIV.8 Compactness in Function Spaces”- cards/topology/evenly-continuous-family :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/cor-xxiv-8-3-evenly-continuous-pointwise-natural-agree :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-8-4-equicontinuity-implies-even-continuity :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/prop-xxiv-8-5-evenly-continuous-subset-continuous-maps :: 20_Literature/royal_road_to_topology/chapter24
- 📐 cards/topology/thm-xxiv-8-6-7-ascoli-arzela-compactoid-characterization :: 20_Literature/royal_road_to_topology/chapter24