{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q429339","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q429339","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q429339","kernelVersion":"v1","immutable":true,"modified":"2025-06-28T03:53:40Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q429339","name":"The Isbell-hull of a di-space","headline":"The Isbell-hull of a di-space","description":"scientific article; zbMATH DE number 6047971","url":"https://portal.mardi4nfdi.de/entity/Q429339","datePublished":"2012-06-19","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q429338"},{"@id":"https://portal.mardi4nfdi.de/entity/Q386876"},{"@id":"https://portal.mardi4nfdi.de/entity/Q266332"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q161372"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.TOPOL.2011.02.016","url":"https://doi.org/10.1016/J.TOPOL.2011.02.016"},"sameAs":["https://doi.org/10.1016/J.TOPOL.2011.02.016"],"comment":"Recall that a pair \\((X,d)\\) is called a \\(T_0\\)-quasi-metric space if \\(X\\) is a set and \\(d: X\\times X\\to[0,\\infty)\\) is a mapping satisfyingNEWLINENEWLINE (i) \\(d(x, x)= 0\\) for each \\(x\\in X\\);NEWLINENEWLINE (ii) \\(d(x,z)\\leq d(x,y)+ d(y,z)\\) for any \\(x,y,z\\in X\\); andNEWLINENEWLINE (iii) \\(d(x,y)= 0= d(y,x)\\) implies that \\(x= y\\).NEWLINENEWLINE A \\(T_0\\)-quasi-metric space \\(M\\) is said to be injective if it has the property that whenever \\(X\\) is a \\(T_0\\)-quasi-metric space, \\(A\\) is a subspace of \\(X\\), and \\(f: A\\to M\\) is a nonexpansive map, then \\(f\\) can be extended to a nonexpansive map \\(g: X\\to M\\). It is shown that, for every \\(T_0\\)-quasi-metric space \\(X\\), there exists a \\(T_0\\)-quasimetric space \\(I(X)\\) with the following properties:NEWLINENEWLINE (a) \\(I(X)\\) is injective:NEWLINENEWLINE (b) \\(X\\) is isometric to a subspace of \\(I(X\\)); andNEWLINENEWLINE (c) \\(I(X)\\) is minimal with respect to (a) and (b), i.e., whenever \\(M\\) is an injective \\(T_0\\)-quasi-metric space containing an isometric copy of \\(X\\), then \\(M\\) contains an isometric copy of \\(I(X)\\).NEWLINENEWLINE The construction of \\(I(X)\\) is similar to \\textit{J. R. Isbell's} construction of the injective hull of a metric space \\(X\\) in [Comment. Alath. Helv. 39, 65--76 (1964; Zbl 0151.30205)] (which is also known as the tight span of \\(X\\) or as the hyperconvex hull of \\(X\\)).","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3653703"},{"@id":"https://portal.mardi4nfdi.de/entity/Q768180"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5901476"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1056946"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2761638"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1255703"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2525528"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3730636"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5502163"},{"@id":"https://portal.mardi4nfdi.de/entity/Q941440"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5191281"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1840748"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5930550"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3007110"},{"@id":"https://portal.mardi4nfdi.de/entity/Q616948"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1032953"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3564344"}]},"provenance":{"prov:generatedAtTime":"2025-06-28T03:53:40Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}