Uniformities with the same Hausdorff hypertopology (Q1013820)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Uniformities with the same Hausdorff hypertopology |
scientific article; zbMATH DE number 5546614
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Uniformities with the same Hausdorff hypertopology |
scientific article; zbMATH DE number 5546614 |
Statements
Uniformities with the same Hausdorff hypertopology (English)
0 references
23 April 2009
0 references
Two uniformities \({\mathcal U}\) and \({\mathcal V}\) on a set \(X\) are called \(H\)-equivalent if their corresponding Hausdorff uniformities on the set of all non-empty subsets of \(X\) induce the same topology. The \(H\)-class of \({\mathcal U}\) is the set of all uniformities on \(X\) that are \(H\)-equivalent to \({\mathcal U}.\) Let \({\mathcal U}\) be a uniformity on a set \(X.\) \({\mathcal U}\) is said to be \(H\)-singular if no distinct uniformity on \(X\) is \(H\)-equivalent to \({\mathcal U};\) \({\mathcal U}\) is \(H\)-minimal if it is minimal in its \(H\)-class; \({\mathcal U}\) is \(H\)-maximal if it is maximal in its \(H\)-class; \({\mathcal U}\) is \(H\)-coarse if it is the coarsest uniformity in its \(H\)-class. The author notes that every \(H\)-minimal uniformity has a base of finite-dimensional uniform coverings. Furthermore he establishes an intrinsic characterization of \(H\)-minimal uniformities and shows that they are \(H\)-coarse. This characterization of \(H\)-minimality becomes a criterion for \(H\)-singularity for all uniformities that are either complete, uniformly locally precompact or proximally fine (e.g. metrizable ones). Finally some interesting properties which insure \(H\)-singularity are introduced and investigated.
0 references
Hausdorff hypertopology
0 references
\(H\)-minimal uniformity
0 references
\(H\)-singular uniformity
0 references
discretely semi-Cauchy
0 references
discrete precompactness
0 references
discrete compactness
0 references