Function spaces and one point extensions for the construct of metered spaces (Q2508933): 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.039 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2112624253 / rank | |||
Normal rank |
Revision as of 21:23, 19 March 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