A Kuratowski-Mrówka theorem in approach theory (Q818398): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2005.01.008 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2138429451 / rank | |||
Normal rank |
Revision as of 21:37, 19 March 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