A Kuratowski-Mrówka theorem in approach theory (Q818398): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 14:35, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Kuratowski-Mrówka theorem in approach theory |
scientific article |
Statements
A Kuratowski-Mrówka theorem in approach theory (English)
0 references
20 March 2006
0 references
The notion of ``measure of compactness'' for approach spaces is based on such a notion for metric spaces originally introduced by Kuratowski. An approach space for which this measure is zero is called \(0\)-compact. For topological (pseudometric) approach spaces \(0\)-compactness coincides with compactness (resp. totally bounded). The concepts of closed and proper contraction maps between approach spaces are introduced and are shown to satisfy certain axioms associated with one of the usual factorization structures on the category of approach spaces. Various relationships between proper maps and \(0\)-compactness are proved. The main result is the characterization of \(0\)-compactness as follows: An approach space \(X\) is \(0\)-compact if and only if for each approach space \(Z\); the second factor projection map \(X\times Z\to Z\) is closed.
0 references
approach space
0 references
distance
0 references
limit
0 references
proper
0 references
closed
0 references
contraction
0 references
compact
0 references
pullback
0 references