{"@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/Q1663764","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1663764","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1663764","kernelVersion":"v1","immutable":true,"modified":"2026-03-30T22:52:52Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1663764","name":"Metrizing the Chabauty topology","headline":"Metrizing the Chabauty topology","description":"scientific article; zbMATH DE number 6924040","url":"https://portal.mardi4nfdi.de/entity/Q1663764","datePublished":"2018-08-23","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q611914"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q181320"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S10711-017-0274-5","url":"https://doi.org/10.1007/S10711-017-0274-5"},"sameAs":["https://doi.org/10.1007/S10711-017-0274-5"],"comment":"Given a metric space \\(M\\) which is proper (that is balls in \\(M\\) are compact) there is a nice compact topology on the set \\(\\mathcal C(M)\\) of its closed subsets which makes a compact space of \\(\\mathcal C(M)\\). It has been used extensively in group theory, starting with the paper of \\textit{C. Chabauty} [Bull. Soc. Math. Fr. 78, 143--151 (1950; Zbl 0039.04101)] where it was introduced.  The Chabauty topology on \\(\\mathcal C(M)\\) is usually defined by describing a basis of open subsets (given by those subsets of \\(\\mathcal C(M)\\) comprising closed sets which avoid -- respectively intersect -- a given compact -- respectively open -- subset of \\(M\\)) but it is well-known that it is metrisable. In this short note the author describes a very explicit way of constructing a distance which induces the Chabauty topology; namely he proves that integrating Hausdorff distances in an exhaustion by concentric balls against a sufficiently decreasing function does the job.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1201986"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5798112"}]},"provenance":{"prov:generatedAtTime":"2026-03-30T22:52:52Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}