Multi-representation associated to the numbering of a subbasis and formal inclusion relations
Year: 2025
Type: article
Abstract: We revisit Dieter Spreen's notion of a representation associated to a numbered basis equipped with a strong inclusion relation. We show that by relaxing his requirements, we obtain different classically considered representations as subcases, including representations considered by Grubba, Weihrauch and Schröder. We show that the use of an appropriate strong inclusion relation guarantees that the representation associated to a computable metric space seen as a topological space always coincides with the Cauchy representation. We also show how the use of a formal inclusion relation guarantees that when defining multi-representations on a set and on one of its subsets, the obtained multi-representations will be compatible, i.e. inclusion will be a computable map. The proposed definitions are also more robust under change of equivalent bases.
Author: Emmanuel Rauzy
Institution: Universität der Bundeswehr München
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4414478758
FWCI:
Cites:
Cited by:
Related to: