Total boundedness and bornologies (Q1013812): Difference between revisions

The authors studies total boundedness in a metric space \(X\) with respect to bornologies \(\mathcal{B}\) (i.e., hereditary and additive covers) instead of the class of finite sets: \(\mathcal{B}_*=\{A\subset X; \forall r>0\,\, \exists B\in\mathcal{B}, B\subset A\subset r-\text{neighborhood of } A\}, \mathcal{B}^*=\{A\subset X; \forall r>0\,\, \exists B\in\mathcal{B}, A\subset r-\text{neighborhood of } A\}\). The class \(\mathcal{B}^*\) is a bornology. Characterizations of classes coinciding with some \(\mathcal{B}_*\) or of situations when \(\mathcal{B}_*=\mathcal{B}^*\) are given, conditions are found implying that \(\mathcal{B}_*\) is a bornology. Many other relations are investigated, like order properties of bornologies generating the same totally bounded sets, preserving totally bounded sets by bornological maps or preserving lattice properties of bornologies by the \(*\)-operators.