Related papers: An approximation theorem for non-decreasing functi…
We consider the problem of approximating an analytic function on a compact interval from its values at $M+1$ distinct points. When the points are equispaced, a recent result (the so-called impossibility theorem) has shown that the best…
The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic $\vDash_{\Delta}$ associated with an infinitary variety $\Delta$ and show…
The article proves an assertion analogous to the Littlewood-Paley theorem for the orthoprojectors onto mutually orthogonal subspaces of piecewise polynomial functions on the cube $ I^d. $ This assertion provides an upper estimate for the…
We provide a short proof of the intriguing characterisation of the convex order given by Wiesel and Zhang.
We present a constructive proof of Brouwer's fixed point theorem for uniformly continuous and sequentially locally non-constant functions based on the existence of approximate fixed points. And we will show that Brouwer's fixed point…
We prove that every nonnegative continuous real-valued function on a given compact metric space is the uniform limit of some increasing sequence of nonnegative simple functions being linear combinations of indicators of open sets; here the…
In the context of tvs-cone metric spaces, we prove a Bishop-Phelps and a Caristi's type theorem. These results allow us to prove a fixed point theorem for $(\delta, L)$-weak contraction according to a pseudo Hausdorff metric defined by…
This paper introduces a new subtraction operation for convex sets, which defines their difference as a collection of inclusion-minimal convex sets with appropriate definitions of linear operations on them. With these operations the set of…
As a first step towards a general set-theoretic counterpart of the remarkable Bernstein-Walsh-Siciak Theorem concerning the rapidity of polynomial approximation of a holomorphic function on polynomially convex compact sets in…
We study the class of compact convex subsets of a topological vector space which admits a strictly convex and lower semicontinuous function. We prove that such a compact set is embeddable in a strictly convex dual Banach space endowed with…
We study moderate deviations of suprema of parametrized sequences of sample bounded Gaussian processes $\{X _x(t), t\in T _x\}$, and first present recent sharp bounds in simple cases. In the almost periodic case, we prove an approximation…
We extend the noncommutative residue of M. Wodzicki on compactly supported classical pseudo-differential operators of order $-d$ and generalise A. Connes' trace theorem, which states that the residue can be calculated using a singular trace…
We prove a converse theorem for the case of quasi-split non-split even special orthogonal groups over finite fields. There are two main difficulties which arise from the outer automorphism and non-split part of the torus. The outer…
In this paper we give a simple proof of inequalities of integrals of functions which are the composition of nonnegative continous convex functions on a vector space ${\bf R}^m$ and vector-valued functions in a weakly compact subset of a…
This article addresses structure-preserving smooth approximation of semiconcave functions. semiconcave functions are of particular interest because they naturally arise in a variety of variational problems, including {optimal feedback…
We introduce a lifting of West's stack-sorting map $s$ to partition diagrams, which are combinatorial objects indexing bases of partition algebras. Our lifting $\mathscr{S}$ of $s$ is such that $\mathscr{S}$ behaves in the same way as $s$…
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…
A Newton--Kantorovich-type argument enables the a posteriori existence verification of a unique regular root near a computed approximation, purely from computable data. This framework allows for non-selfadjoint problems and extends the…
We offer streamlined proofs of fundamental theorems regarding the index theory for partial self-maps of an infinite set that are bijective between cofinite subsets.
This paper deals with a modifed iterative projection method for approximating a solution of hierarchical fixed point problems for nearly nonexpansive mappings. Some strong convergence theorems for the proposed method are presented under…