User:Leigh.Samphier/Topology/Definition:Frame of Topological Space
Jump to navigation
Jump to search
Definition
Let $T = \struct{S, \tau}$ be a topological space.
The frame of $T$, denoted $\map \Omega T$, is the ordered set $\struct{\tau, \subseteq}$ where $\subseteq$ denotes the subset relation on $\tau$.
Also see
Sources
- 1982: Peter T. Johnstone: Stone Spaces: Chapter II: Introduction to Locales, $\S1.1$
- 2012: Jorge Picado and Aleš Pultr: Frames and Locales: Chapter II: Frames and Locales. Spectra, $\S 1.3$