Manuscript IX-A-ST@1 · IX-A-ST.tex · definition · 6e99d1b2
Definition: Admission topology
The boundary-sensitive topology · lines 798–813
IX-A-ST@1#def:topology, IX-A-ST@1#eq:graph
The topology on is the initial locally convex topology for the coefficient inclusion into and all maps
Equivalently it is the topology of the graph embedding
Displayed formulas in this passage
unlabeled · line 802
IX-A-ST@1#eq:graph · line 807
Nearby in this section
- section: The boundary-sensitive topology
- section: The boundary-sensitive topology
- proposition: Proposition: Hausdorffness and differential continuity
- theorem: Theorem: Separate continuity of classical multiplication
- section: The boundary-sensitive topology
- theorem: Theorem: Continuous admission of test families
- proposition: Proposition: Faithful continuous bulk inclusion