Continuity and Lipschitz constants for projections

DOI10.1016/j.jlap.2009.02.002zbMath1185.41024OpenAlexW2049747279MaRDI QIDQ1044668

Douglas S. Bridges

Publication date: 18 December 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2009.02.002

zbMATH Keywords

best approximationconstructive

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Best approximation, Chebyshev systems (41A50)

Related Items

Toward a clarity of the extreme value theorem

Uses Software

• Nuprl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Techniques of constructive analysis
• On the foundations of best approximation theory
• A constructive development of Chebyshev approximation theory
• A constructive analysis of the Remes algorithm
• A constructive proximinality property of finite-dimensional linear subspaces
• Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection
• Compactness under constructive scrutiny
• Unique solutions
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory
• Bounded variation implies regulated: a constructive proof
• Brouwer's fan theorem and unique existence in constructive analysis
• The fan theorem and unique existence of maxima