Related papers: Constructive approximation of continuous interval-…

On a complete, connected, locally compact, non-compact geodesic space $(X,d)$, we assign each compact set a distance-like function. With the help of these functions, we obtain a pseudo-metric on the space of (non-empty) compact subsets of…

When dealing with concrete problems in a function space on R^n, it is sometimes helpful to have a dense subspace consisting of functions of a particular type, adapted to the problem under consideration. We give a theorem that allows one to…

Bernstein polynomials provide a constructive proof for the Weierstrass approximation theorem, which states that every continuous function on a closed bounded interval can be uniformly approximated by polynomials with arbitrary accuracy.…

We study continuous approximate solutions to polynomial equations over the ring $C(X)$ of continuous complex-valued functions over a compact Hausdorff space $X$. We show that when $X$ is one-dimensional, the existence of such approximate…

For realcompact spaces X and Y we give a complete description of the linear biseparating maps between spaces of vector-valued continuous functions on X and Y, where special attention is paid to spaces of vector-valued bounded continuous…

This article proposes a method to consistently estimate functionals $\frac1p\sum_{i=1}^pf(\lambda_i(C_1C_2))$ of the eigenvalues of the product of two covariance matrices $C_1,C_2\in\mathbb{R}^{p\times p}$ based on the empirical estimates…

Stein's method for Gaussian process approximation can be used to bound the differences between the expectations of smooth functionals $h$ of a c\`adl\`ag random process $X$ of interest and the expectations of the same functionals of a well…

Let $C(X,E)$ be the linear space of all continuous functions on a compact Hausdorff space $X$ with values in a locally convex space $E$. We characterize maps $T:C(X,E)\to C(Y,E)$ which satisfy $\mathrm{Ran}(TF-TG)\subset\mathrm{Ran}(F-G)$…

Large algebraic structures are found inside the space of sequences of continuous functions on a compact interval having the property that, the series defined by each sequence converges absolutely and uniformly on the interval but the series…

We prove that every locally constant constructive function on an interval is in fact a constant function. This answers a question formulated by Andrej Bauer. As a related result we show that an interval consisting of constructive real…

In this erratum, we recover the results from an earlier paper of the author's which contained a gap. Specifically, we prove that if X is a Banach space with an unconditional basis and admits a C^{p}-smooth, Lipschitz bump function, and Y is…

We study conical square function estimates for Banach-valued functions, and introduce a vector-valued analogue of the Coifman-Meyer-Stein tent spaces. Following recent work of Auscher-McIntosh-Russ, the tent spaces in turn are used to…

For a real analytic periodic function $\phi:\mathbb{R}\to \mathbb{R}$, an integer $b\ge 2$ and $\lambda\in (1/b,1)$, we prove the following dichotomy for the Weierstrass-type function $W(x)=\sum\limits_{n\ge 0}{{\lambda}^n\phi(b^nx)}$:…

The notions of compactness and Hausdorff separation for generalized enriched categories allow us, as classically done for the category $\mathsf{Top}$ of topological spaces and continuous functions, to study $\textit{compactly generated…

In the recent paper \cite{Hos}, surjective isometries, not necessarily linear, $T: {\rm AC}(X,E) \longrightarrow {\rm AC}(Y,F)$ between vector-valued absolutely continuous functions on compact subsets $X$ and $Y$ of the real line, has been…

We consider approximation by functions with finite support and characterize its approximation spaces in terms of interpolation spaces and Lorentz spaces.

We develop the theory of invariant structure preserving and free functions on a general structured topological space. We show that an invariant structure preserving function is pointwise approximiable by the appropriate analog of…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

We deal with isomorphic Banach-Stone type theorems for closed subspaces of vector-valued continuous functions. Let $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}$. For $i=1,2$, let $E_i$ be a reflexive Banach space over $\mathbb{F}$ with a certain…

We generalize the Boolean power construction to the setting of compact Hausdorff spaces. This is done by replacing Boolean algebras with de Vries algebras (complete Boolean algebras enriched with proximity) and Stone duality with de Vries…