Function spaces and one point extensions for the construct of metered spaces (Q2508933): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Eva Lowen-Colebunders / rank | |||
Property / author | |||
Property / author: Gert Sonck / rank | |||
Property / reviewed by | |||
Property / reviewed by: Hans-Peter A. Künzi / rank | |||
Revision as of 18:01, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Function spaces and one point extensions for the construct of metered spaces |
scientific article |
Statements
Function spaces and one point extensions for the construct of metered spaces (English)
0 references
20 October 2006
0 references
The construct \({\mathbf M}\) of metered spaces and contractions is a superconstruct in which all metrically generated constructs can be fully embedded (compare \textit{E. Colebunders} and \textit{R. Lowen} [Proc. Am. Math. Soc. 133, No. 5, 1547--1556 (2005; Zbl 1073.54006)]). In the present article it is proved that \({\mathbf M}\) has one point extensions and that quotients in \({\mathbf M}\) are productive. However \({\mathbf M}\) is not Cartesian closed. The authors construct a Cartesian closed topological extension of \({\mathbf M}\) and present a characterization of the canonical function spaces with underlying sets \(\Hom(X,Y)\) for metered spaces \(X\) and \(Y\). They also characterize the objects in the Cartesian closed topological hull of \({\mathbf M}\) internally.
0 references
topological construct
0 references
function space
0 references
cartesian closedness
0 references
one point extension
0 references
extensionality
0 references