Related papers: Manifold approximation of set-valued functions
In this paper we study a continuity of the "values" of modular functions at the real quadratic numbers which are defined in terms of their cycle integrals along the associated closed geodesics. Our main theorem reveals a more finer…
The existence of a homogeneous decomposition for continuous and epi-translation invariant valuations on super-coercive functions is established. Continuous and epi-translation invariant valuations that are epi-homogeneous of degree $n$ are…
In this article we show that some recent results on the existence of best proximity points can be obtained from the same result in fixed point theory.
The purpose of this article is to formulate a number of probabilistic hidden-variable theorems, to provide proofs in some cases, and counterexamples to some conjectured relationships. The first theorem is the fundamental one. It asserts the…
Functions of several quaternion variables are investigated and integral representation theorems for them are proved. With the help of them solutions of the $\tilde \partial $-equations are studied. Moreover, quaternion Stein manifolds are…
Let M be a real analytic manifold, F a bounded complex of constructible sheaves. We show that the Whitney-de Rham complex associated to F is quasi-isomorphic to F.
It is proven a new analogue of the Theorem of Moser in a generalized context defined by Shilov Boundaries of Bounded and Symmetric Domains.
We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…
Let $C({\mathbb R}^n)$ denote the set of real valued continuous functions defined on ${\mathbb R}^n$. We prove that for every $n\ge 2$ there are positive numbers $\lambda _1 , \ldots , \lambda _n$ and continuous functions $\phi_1 ,\ldots ,…
Building on the concept of pretentious multiplicative functions, we give a new and largely elementary proof of the best result known on the counting function of primes in arithmetic progressions.
The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends…
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 neutrosophic choice functions, the neutrosophic counterpart of the Axiom of Choice, prove some results, and discuss how it effects the foundations of mathematics in a neutrosophic setting.
In this short note we prove a theorem of the Stone-Weierstrass sort for subsets of the cone of non-decreasing continuous functions on compact partially ordered sets.
We show that the functions g and gs introduced by Guo Wuwen in [4] are continuous and semialgebraic. We use this fact to prove that the set Nn of ordered n-tuples of real numbers, realizable by nonnegative matrices, is a closed set.
The proximinality of certain subspaces of spaces of bounded affine functions is proved. The results presented here are some linear versions of an old result due to Mazur. For the proofs we use some sandwich theorems of Fenchel's duality…
In this article we treat a notion of continuity for a multi-valued function $F$ and we compute the descriptive set-theoretic complexity of the set of all $x$ for which $F$ is continuous at $x$. We give conditions under which the latter set…
We consider approximation by functions with finite support and characterize its approximation spaces in terms of interpolation spaces and Lorentz spaces.
We introduce an algorithm of joint approximation of a function and its first derivative by alternative orthogonal polynomials on the interval [0,1].The algorithm exhibits properties of shape preserving approximation for the function. A weak…
Existence theorem is proven for the generating equations of the split involution constraint algebra. The structure of the general solution is established, and the characteristic arbitrariness in generating functions is described.