Quasiuniformity Induces Topology
Jump to navigation
Jump to search
Theorem
Let $\UU$ be a quasiuniformity on a set $S$.
Let $\tau \subseteq \powerset S$ be a subset of the power set of $S$, created from $\UU$ by:
- $\tau := \set {\map u x: u \in \UU, x \in S}$
where:
- $\forall x \in S: \map u x = \set {y: \tuple {x, y} \in u}$
That is, where $\map u x$ is the image of $x$ under $u$, where $u$ is considered as a relation on $S$.
Then $\tau$ is a topology on $S$.
That is, the quasiuniform space $\struct {\struct {S, \UU}, \tau}$ is also the topological space $\struct {S, \tau}$.
Proof
This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Sources
- 1978: Lynn Arthur Steen and J. Arthur Seebach, Jr.: Counterexamples in Topology (2nd ed.) ... (previous) ... (next): Part $\text I$: Basic Definitions: Section $5$: Metric Spaces: Uniformities