A construction of the \(B\)-completion of a \(T_0\)-quasi-metric space (Q2451995)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A construction of the \(B\)-completion of a \(T_0\)-quasi-metric space |
scientific article |
Statements
A construction of the \(B\)-completion of a \(T_0\)-quasi-metric space (English)
0 references
27 May 2014
0 references
The author jointly with C. Makitu Kivuvu has constructed the so-called \(B\)-completion of a \(T_0\)-quasi-metric space \((X,d)\). In this paper, the author presents a new construction of the completion, inside the injective hull of \((X,d)\), and investigates the connection between the \(B\)-completion of \(T_0\)-quasi-metric spaces and the Dedekind-MacNeille completion of partially ordered sets. In particular, he shows that the \(B\)-completion of the natural \(T_0\)-quasi-metric of a bounded partially ordered set can be described by the Dedekind-MacNeille completion of that poset.
0 references
\(T_0\)-quasi-metric space
0 references
injective hull
0 references
\(q\)-hyperconvex
0 references
Doitchinov completion
0 references
balanced
0 references
Cauchy filter pair
0 references
Dedekind-MacNeille completion
0 references