Approximation, solution operators and quantale-valued metrics

DOI10.1007/S00010-017-0485-8MaRDI QIDQ2407702zbMATH OpenOpenAlexFDO

Authors Paweł Siedlecki

Publication date 6 October 2017

Published in Aequationes Mathematicae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00010-017-0485-8

zbMATH Keywords

abstract approximation theoryquantalestopological spaces

Mathematics Subject Classification ID

Quantales (06F07) Abstract approximation theory (approximation in normed linear spaces and other abstract spaces) (41A65) Topological spaces with richer structures (54E99)

Review text

A generalized solution operator is a mapping abstractly describing a computational problem and its approximate solutions. It assigns a set of \(\varepsilon\)-approximations of a solution to the problem instance \(f\) and accuracy of approximation \(\varepsilon\). In this paper the author studies generalized solution operators for which the accuracy of approximation is described by elements of a complete lattice equipped with a compatible monoid structure, which is called a quantale. This study extends the results of \textit{A. G. Werschulz} [Aequationes Math. 26, 74--82 (1983; Zbl 0547.41029)], in which generalized solution operators defined over nonnegative reals were investigated, does provide with examples of computational problems for which the accuracy of approximation of a solution is measured by such objects, and shows that the sets of \(\varepsilon\)-approximations are, roughly, closed balls with radii \(\varepsilon\) with respect to a certain family of quantale-valued generalized metrics induced by a generalized solution operator. Some of the examples presented there seems to provide with a basis for future research on computational problems for which the accuracy of approximations of exact solutions is not described by nonnegative reals, but rather by some other partially ordered set. Distance spaces are also studied, interested results are pointed out.

Recommendations

• Unified approach to graphs and metric spaces
• scientific article; zbMATH DE number 7523908
• Generalized quantifiers and modal logic
• Directions in generalized quantifier theory
• scientific article; zbMATH DE number 5794502
• Quantitative Behavioural Reasoning for Higher-order Effectful Programs
• Quantales and continuity spaces
• scientific article; zbMATH DE number 4079383
• Generalized lower and upper approximations in quantales
• Generalized metrics and uniquely determined logic programs.

Cites work

• A note on the metrizability of spaces
• Continuity spaces: Reconciling domains and metric spaces
• scientific article; zbMATH DE number 3870293 (Why is no real title available?)
• scientific article; zbMATH DE number 3827201 (Why is no real title available?)
• scientific article; zbMATH DE number 193625 (Why is no real title available?)
• scientific article; zbMATH DE number 1059780 (Why is no real title available?)
• Measuring uncertainty without a norm
• Quantales and continuity spaces

This page was built for publication: Approximation, solution operators and quantale-valued metrics

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