Related papers: An approximation theorem for non-decreasing functi…
We give a uniform approximation of the characteristic function of the boundary of a centrally symmetric n-dimensional compact and convex set by homogeneous polynomials of even degree $d$ fulfilling $|g_d-1|\leq E/d^{1/2-\beta}$, for every…
In this paper, we prove some general convergence theorems for the Picard iteration in cone metric spaces over a solid vector space. As an application, we provide a detailed convergence analysis of the Weierstrass iterative method for…
In this short note we give a proof of the refined version of the uniform invariant approximation property for compact (non-commutative) groups following the Bourgain's approach.
We propose a novel proof technique that can be applied to attack a broad class of problems in computational complexity, when switching the order of universal and existential quantifiers is helpful. Our approach combines the standard min-max…
The concept of convex compactness, weaker than the classical notion of compactness, is introduced and discussed. It is shown that a large class of convex subsets of topological vector spaces shares this property and that is can be used in…
The Riemann -Rock theorem plays a central role in the theory of Riemann surfaces with applications to several branches in Mathematics and Physics. Suppose $X$ ia a compact Riemann surface of genus $g$ and $P \in X$. By the Riemann-Roch…
We improve on Gonek-Montgomery's quantitative version of Kronecker's approximation theorem.
Classical results show that gradient descent converges linearly to minimizers of smooth strongly convex functions. A natural question is whether there exists a locally nearly linearly convergent method for nonsmooth functions with quadratic…
We establish a fixed point theorem for mappings of square matrices of all sizes which respect the matrix sizes and direct sums of matrices. The conclusions are stronger if such a mapping also respects matrix similarities, i.e., is a…
We investigate Runge-type approximation theorems for solutions to the 3D unsteady Stokes system. More precisely, we establish that on any compact set with connected complement, local smooth solutions to the 3D unsteady Stokes system can be…
We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…
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…
We prove a variant of the Mergelyan approximation theorem that allows us to approximate functions that are analytic and nonvanishing in the interior of a compact set K with connected complement, and whose interior is a Jordan domain, with…
For an upper semi-continuous set-valued mapping from one topological space to another and for a lower semi-continuous function defined on the product of these spaces, Berge's theorem states lower semi-continuity of the minimum of this…
Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…
We consider the Complex Stone-Weierstrass Property (CSWP), which is the complex version of the Stone-Weierstrass Theorem. If X is a compact subspace of a product of three linearly ordered spaces, then X has the CSWP if and only if X has no…
In this work, we look into some results about dense subspaces of $C[0,1]$. Being our starting point the Weierstrass' Approximation Theorem, we study generalization of this in two directions: the first one studying subspaces which also have…
The Serre-Swan theorem provides the link between projective modules of finite rank and vector bundles over compact manifolds, and plays a prominent role in non-commutative geometry. Its extension to non-compact manifolds is discussed.
We give a general version of Bryc's theorem valid on any topological space and with any algebra $\mathcal{A}$ of real-valued continuous functions separating the points, or any well-separating class. In absence of exponential tightness, and…
This note discusses proofs for convergence of first-order methods based on simple potential-function arguments. We cover methods like gradient descent (for both smooth and non-smooth settings), mirror descent, and some accelerated variants.