Function spaces and contractive extensions in approach theory: the role of regularity

DOI10.1007/S10485-013-9321-ZMaRDI QIDQ2014746zbMATH OpenOpenAlexFDO

Authors Frédéric Mynard, William Trott, Eva Colebunders

Publication date 16 June 2014

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.6398

zbMATH Keywords

continuous convergencecontinuous extensioncontractive extensionconvergence approach spaceconvergence spacedefault of a functionregularitystrict subspacestrong regularity

Mathematics Subject Classification ID

Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Continuous maps (54C05) Function spaces in general topology (54C35) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)

Abstract: Two classical results characterizing regularity of a convergence space in terms of continuous extensions of maps on one hand, and in terms of continuity of limits for the continuous convergence on the other, are extended to convergence-approach spaces. Characterizations are obtained for two alternative extensions of regularity to convergence-approach spaces: regularity and strong regularity. The results improve upon what is known even in the convergence case. On the way, a new notion of strictness for convergence-approach spaces is introduced.

Review text

It is well-known that a regular convergence space \(Y\) has the following two properties for each convergence space \(X\): (1) Whenever a filter \(\mathcal F\) on \(Y^X\) converges in the continuous convergence structure to a mapping \(f \in Y^X\) then \(f\) is continuous. (2) If \(S\) is a strict subspace of \(X\) and \(f : S \to Y\) a continuous mapping then \(f\) can be continuously extended to a continuous mapping \(F : X \to Y\). The problem of whether (1) or (2) actually characterize the regularity of \(Y\) had only partial answers. The authors study related problems for convergence approach spaces. Introducing the notion of the default of a function -- which somehow measures how far it is away from being a contraction -- they prove various results which in particular show that (1) and (2) are indeed necessary and sufficient for the regularity of a convergence space \(Y\). Reviewer's remark: Corollary 12 is not a consequence of Theorem 11 and is not true if \(X\) is only assumed to be topological.

Recommendations

• A generalisation of the functional approach to compactness
• scientific article; zbMATH DE number 150493
• Function spaces in the topology of pointwise convergence, and compact sets
• Function-space compactifications of function spaces
• scientific article; zbMATH DE number 939671
• On the representation of function spaces as spaces of restrictions of continuous functions
• Compacta and their function spaces
• Contractive Projections in Nonatomic Function Spaces
• Extensions of the space of continuous functions and embedding theorems

Cites work

• A quasitopos containing CONV and MET as full subcategories
• Continuous convergence in partially ordered sets
• Extensions of contractions and uniform contractions on dense subspaces
• scientific article; zbMATH DE number 90610 (Why is no real title available?)
• On continuous extensions

Cited in

(13)

• Normality in terms of distances and contractions
• Normality, regularity and contractive realvalued maps
• Compactification: limit tower spaces
• Regularity in approach theory
• Regularity for relational algebras and approach spaces
• Convergence approach spaces: actions
• Extensions of contractions and uniform contractions on dense subspaces
• scientific article; zbMATH DE number 4173856 (Why is no real title available?)
• scientific article; zbMATH DE number 90610 (Why is no real title available?)
• Topological properties of non-Archimedean approach spaces
• An isomorphism of the Wallman and Čech-Stone compactifications
• Supported approach spaces
• Non-symmetric convergence and regularity

This page was built for publication: Function spaces and contractive extensions in approach theory: the role of regularity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014746)