Completeness of topological spaces: An induction-free review
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911486061838336 |
|---|---|
| author | Akofor, Earnest |
| author_facet | Akofor, Earnest |
| contents | Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent. However, in any given space $X=(X,τ)$, suppose we fix a base $\mathcal{B}$ of $τ$ that is \emph{graded}, in the sense it is partitioned as $\mathcal{B}=\bigcup_{\varepsilon\in \mathcal{E}}\mathcal{B}_\varepsilon$ into open covers $\mathcal{B}_\varepsilon$ of $X$, making $X=(X,τ,\mathcal{B})$ a \emph{(graded) base space}. If we now relax the notion of \emph{convergence of nets} to a notion of \emph{approach between nets} in $X$, then we obtain a more natural \emph{induction-free} notion of a \emph{cauchy net} in a base space, hence a corresponding \emph{induction-free} notion of \emph{completeness} for base spaces. We find that many classical concepts and results on completeness for uniform spaces carry over to completeness for a certain class of base spaces (named \emph{locally symmetric base spaces} or \emph{$lsb$-spaces}) that properly contains uniform spaces. The said classical results include characterization of compactness, Baire's theorem, existence of a completion, and completeness results for product and function $lsb$-spaces. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_04627 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Completeness of topological spaces: An induction-free review Akofor, Earnest General Topology Primary 54A20 54E15, Secondary 54D35, 54E52, 54C35 Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent. However, in any given space $X=(X,τ)$, suppose we fix a base $\mathcal{B}$ of $τ$ that is \emph{graded}, in the sense it is partitioned as $\mathcal{B}=\bigcup_{\varepsilon\in \mathcal{E}}\mathcal{B}_\varepsilon$ into open covers $\mathcal{B}_\varepsilon$ of $X$, making $X=(X,τ,\mathcal{B})$ a \emph{(graded) base space}. If we now relax the notion of \emph{convergence of nets} to a notion of \emph{approach between nets} in $X$, then we obtain a more natural \emph{induction-free} notion of a \emph{cauchy net} in a base space, hence a corresponding \emph{induction-free} notion of \emph{completeness} for base spaces. We find that many classical concepts and results on completeness for uniform spaces carry over to completeness for a certain class of base spaces (named \emph{locally symmetric base spaces} or \emph{$lsb$-spaces}) that properly contains uniform spaces. The said classical results include characterization of compactness, Baire's theorem, existence of a completion, and completeness results for product and function $lsb$-spaces. |
| title | Completeness of topological spaces: An induction-free review |
| topic | General Topology Primary 54A20 54E15, Secondary 54D35, 54E52, 54C35 |
| url | https://arxiv.org/abs/2603.04627 |