From c6796d2cc1088a37192720bd50c5486fd4df982b Mon Sep 17 00:00:00 2001 From: Bokuan Li Date: Wed, 21 Jan 2026 11:08:11 -0500 Subject: [PATCH] Added Hausdorff characterisation for uniform spaces. --- src/topology/uniform/definition.tex | 10 ++++----- src/topology/uniform/metric.tex | 35 ++++++++++++++++++++++++++--- 2 files changed, 37 insertions(+), 8 deletions(-) diff --git a/src/topology/uniform/definition.tex b/src/topology/uniform/definition.tex index 7357590..e46a8c4 100644 --- a/src/topology/uniform/definition.tex +++ b/src/topology/uniform/definition.tex @@ -208,7 +208,7 @@ V = (\bracs{x} \times V)(x) = (U \cup (\bracs{x} \times V))(x) = W(x) \in \cn(x) \begin{proposition}[{{\cite[Corollary 2.1.2]{Bourbaki}}}] \label{proposition:goodentourages} - Let $(X, \fU)$ be a uniform space, then the following famillies of sets form fundamental systems of entourages for $\fU$: + Let $(X, \fU)$ be a uniform space, then the following families of sets form fundamental systems of entourages for $\fU$: \begin{enumerate} \item $\mathfrak{O} = \bracs{U^o| U \in \fU}$ \item $\mathfrak{K} = \bracsn{\overline{U}| U \in \fU}$. @@ -245,9 +245,8 @@ V = (\bracs{x} \times V)(x) = (U \cup (\bracs{x} \times V))(x) = W(x) \in \cn(x) By \ref{proposition:goodentourages} and \ref{lemma:openentourageneighbourhoods}, the closed neighbourhoods form a fundamental system of neighbourhoods. \end{proof} - -\begin{proposition} -\label{proposition:uniform-regular} +\begin{definition}[Separated] +\label{definition:uniform-separated} Let $(X, \fU)$ be a uniform space, then the following are equivalent: \begin{enumerate} \item $X$ is T0. @@ -256,7 +255,8 @@ V = (\bracs{x} \times V)(x) = (U \cup (\bracs{x} \times V))(x) = W(x) \in \cn(x) \item $X$ is regular. \item $\Delta = \bigcap_{U \in \fU}U$. \end{enumerate} -\end{proposition} + If the above holds, then $X$ is \textbf{separated}. +\end{definition} \begin{proof} $(1) \Rightarrow (5)$: Let $x, y \in X$ with $x \ne y$. Assume without loss of generality that there exists $U(x) \in \cn(x)$ such that $y \not\in U$. In which case, $(x, y) \not\in U$ and $\Delta \supset \bigcap_{U \in \fU}U$. diff --git a/src/topology/uniform/metric.tex b/src/topology/uniform/metric.tex index 0db77de..eb1f22c 100644 --- a/src/topology/uniform/metric.tex +++ b/src/topology/uniform/metric.tex @@ -1,16 +1,21 @@ \section{Pseudometrics} \label{section:pseudometric} -The axioms of uniform spaces strongly resembles working in a metric space. In fact, any uniform space may arise from a family of uniformly continuous pseudometrics. This allows understanding uniform spaces in a more familiar languagge. +The axioms of uniform spaces strongly resembles working in a metric space. In fact, any uniform space may arise from a family of uniformly continuous pseudometrics. This allows understanding uniform spaces in a more familiar language. \begin{definition}[Pseudometric] \label{definition:pseudometric} - Let $X$ be a set, a \textbf{pseudometric} is a mapping $d: X \times X \to [0, \infty)$ such that: + Let $X$ be a set, and $d: X \times X \to [0, \infty)$, then $d$ is a \textbf{pseudometric} on $X$ if \begin{enumerate} \item[(PM1)] For any $x \in X$, $d(x, x) = 0$. \item[(PM2)] For any $x, y \in X$, $d(x, y) = d(y, x)$. \item[(PM3)] For any $x, y, z \in X$, $d(x, z) \le d(x, y) + d(y, z)$. \end{enumerate} + If $d$ satisfies the above and + \begin{enumerate} + \item[(M)] For any $x, y \in X$ with $x \ne y$, $d(x, y)$ + \end{enumerate} + then $d$ is a \textbf{metric}. \end{definition} \begin{lemma} @@ -141,7 +146,7 @@ The axioms of uniform spaces strongly resembles working in a metric space. In fa \end{remark} \begin{remark} - It may be tempting to construst the level sets of the pseudometric on the dyadic rational numbers by composing these sets, then proceed to construct the pseudometric as in Urysohn's lemma. However, this approach has a major shortcoming in that the composition of symmetric entourages are not necessarily symmetric. As such, it is difficult to construct symmetric level sets for the desired pseudometric. + It may be tempting to construct the level sets of the pseudometric on the dyadic rational numbers by composing these sets, then proceed to construct the pseudometric as in Urysohn's lemma. However, this approach has a major shortcoming in that the composition of symmetric entourages are not necessarily symmetric. As such, it is difficult to construct symmetric level sets for the desired pseudometric. \end{remark} @@ -159,6 +164,30 @@ The axioms of uniform spaces strongly resembles working in a metric space. In fa By \ref{definition:pseudometric-uniformity}, $d$ is a uniformly continuous pseudometric on $X$. Since $\bracs{(x, y) \in X \times X|d(x, y) < 1/4} \subset U_1$, $U_1 \in \mathfrak{V}$. Therefore $\fU = \mathfrak{V}$. \end{proof} +\begin{proposition} +\label{proposition:uniform-pseudometric-hausdorff} + Let $(X, \fU)$ be a uniform space and $\seqi{d}$ be a family of pseudometrics that induces the topology on $X$, then the following are equivalent: + \begin{enumerate} + \item $X$ is separated. + \item For any $x, y \in X$ with $x \ne y$, there exists $i \in I$ such that $d_i(x, y) > 0$. + \item For any $x, y \in X$ with $x \ne y$, there exists a uniformly continuous pseudometric $d$ on $X$ such that $d(x, y) > 0$. + \end{enumerate} +\end{proposition} +\begin{proof} + (1) $\Rightarrow$ (2): By assumption, there exists $U \in \fU$ such that $(x, y) \not\in U$, so there exists $J \subset I$ finite and $r > 0$ such that + \[ + \bracs{(x', y') \in X \times X| d_j(x', y') < r \forall j \in J} \subset U + \] + In which case, there must exist $j \in J$ such that $d_j(x, y) \ge r > 0$. + + (3) $\Rightarrow$ (1): Let $x, y \in X$ with $x \ne y$ and $d$ be a continuous pseudometric on $X$ such that $r = d(x, y) > 0$. By \ref{theorem:uniform-pseudometric}, + \[ + \bracs{(x', y') \in X \times X| d(x', y') < r} \in \fU + \] + Therefore $\bigcup_{U \in \fU}U = \Delta$, and $X$ is separated by \ref{definition:uniform-separated}. +\end{proof} + + \begin{definition}[Equivalent Pseudometrics] \label{definition:equivalent-pseudometrics} Let $X$ be a set and $\seqi{d}, \seqj{d}$ be pseudometrics on $X$, then $\seqi{d}$ and $\seqj{d}$ are \textbf{equivalent} if their induced uniformities coincide.