Completion from an abstract perspective

DOI10.14321/REALANALEXCH.41.2.0233MaRDI QIDQ1704504zbMATH OpenOpenAlexFDO

Authors John C. Morgan II Morgan

Publication date 12 March 2018

Published in Real Analysis Exchange (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.rae/1490839328

zbMATH Keywords

Ascoli completioncompactificationfilter spacereal induction

Mathematics Subject Classification ID

Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80)

Review text

An overview of compactification methods interesting from both mathematical and methodological points of view. The method is studied in a general setting of an abstract space, consisting of a universe of points and its subsets called domains, where open sets are unions of families of domains. On these spaces continuous functions, homeomorphisms and different types of product spaces (classical, Cartesian, Tichonov) are defined. In order to use generalized sequences, various index schemes (sequential, Cartesian, Moore, transordinal) are defined. The main part of the paper is devoted to formalization of various completion schemes, accompanied with respective examples.

Recommendations

• Differential completions and compactifications of a differential space
• On completeness
• A unified functional look at completion in MET, UNIF and AP
• Compactification and Closure
• scientific article; zbMATH DE number 1209816

Cited in

(5)

• Metric completions, the Heine-Borel property, and approachability
• Functional completion
• Abstract satisfaction
• Completion Is an Instance of Abstract Canonical System Inference
• Observational Completeness on Abstract Interpretation

This page was built for publication: Completion from an abstract perspective

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