Related papers: A study on downward half Cauchy sequences

We develop a theory of real numbers as rational Cauchy sequences, in which any two of them, $(a_n)$ and $(b_n)$, are equal iff $\lim\,(a_n-b_n)=0$. We need such reals in the Countable Mathematical Analysis ([4]) which allows to use only…

In a nutshell, submodular functions encode an intuitive notion of diminishing returns. As a result, submodularity appears in many important machine learning tasks such as feature selection and data summarization. Although there has been a…

In a metric space, such as the real numbers with their standard metric, a set A is open if and only if no sequence with terms outside of A has a limit inside A. Moreover, a metric space is compact if and only if every sequence has a…

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…

It is well known, as follows from the Banach-Steinhaus theorem, that if a sequence $\left\{y_{n}\right\}_{n=1}^{\infty}$ of linear continuous functionals in a Fr\'echet space converges pointwise to a linear functional $Y,$ $Y\left( x\right)…

A symmetric subset of the reals is one that remains invariant under some reflection x --> c-x. Given 0 < x < 1, there exists a real number D(x) with the following property: if 0 < d < D(x), then every subset of [0,1] with measure x contains…

A subequation on an open subset $X\subset \mathbb R^n$ is a subset $F$ of the space of $2$-jets on $X$ with certain properties. A smooth function is said to be $F$-subharmonic if all of its $2$-jets lie in $F$, and using the viscosity…

We consider the Cauchy problem of fractional pseudo-parabolic equation on the whole space $R^n,n\geq 1$. Here, the fractional order $\alpha$ is related to the diffusion-type source term behaving as the usual diffusion term on the high…

In this paper we provide a rigorous mathematical foundation for continuous approximations of a class of systems with piece-wise continuous functions. By using techniques from the theory of differential inclusions, the underlying piece-wise…

A set of sequences is said to converge simultaneously if there exists an infinite subset $H$ of the index set $\omega$ such that all sequences converge when restricted to $H$. We discuss simultaneous convergence of sequences in the same or…

A pair of functions defined on a set X with values in a vector space E is said to be disjoint if at least one of the functions takes the value 0 at every point in X. An operator acting between vector-valued function spaces is disjointness…

A function $f$ from a subset of $\R^n$ to $\R$ is continuous at the origin, if and only if $\lim_{t\to 0+} f(\bs(t))=f(\bnull)$ for all continuous paths $\bs$ with $\lim_{t\to 0+} \bs(t)=\bnull$. The continuity of $f$ can, however, be…

For topological spaces $X$ and $Y$, a (not necessarily continuous) function $f:X \rightarrow Y$ naturally induces a functor from the category of closed subsets of $X$ (with morphisms given by inclusions) to the category of closed subsets of…

We generalize some classical results about quasicontinuous and separately continuous functions with values in metrizable spaces to functions with values in certain generalized metric spaces, called Maslyuchenko spaces. We establish…

We give necessary and sufficient conditions for a real-valued quasiconvex function f on a Baire topological vector space X (in particular, Banach or Frechet space) to be continuous at the points of a residual subset of X. These conditions…

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…

The purpose of this article is to give a rather thorough understanding of the compact support property for measure-valued processes corresponding to semi-linear equations of the form \[ \begin{aligned}& u_t=Lu+\beta u-\alpha u^p \text{in}…

We study universal approximation of continuous functionals on compact subsets of products of Hilbert spaces. We prove that any such functional can be uniformly approximated by models that first take finitely many continuous linear…

This paper investigates the notion of compact R-continuity and its specifications for set-valued mappings between Banach spaces. We reveal several important properties of compact R-continuity in general settings and show that in finite…

We study in this paper real-valued functions on the space of all sub-$\sigma$-algebras of a probability measure space, and introduce the notion of Kudo-continuity, which is an a priori strengthening of continuity with respect to strong…