A Kuratowski-Mrówka theorem in approach theory (Q818398): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3130029 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3487612 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5682456 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: KURATOWSKI'S MEASURE OF NON-COMPACTNESS REVISITED / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Approach Spaces A Common Supercategory of TOP and MET / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactifications of products of metric spaces and their relations to Čech-Stone and Smirnov compactifications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4340906 / rank | |||
Normal rank |
Latest revision as of 12:10, 24 June 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
0 references