Related papers: From Uniform Continuity to Absolute Continuity

Dini's Theorem guarantees that a monotone sequence of continuous functions converges pointwise on a compact interval to a continuous limit that converges uniformly. In this paper, we establish new theorems generalizing Dini's result by…

In this paper, we present a generalized effective completeness theorem for continuous logic. The primary result is that any continuous theory is satisfied in a structure which admits a presentation of the same Turing degree. It then follows…

We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…

The Lebesgue property (order-continuity) of a monotone convex function on a solid vector space of measurable functions is characterized in terms of (1) the weak inf-compactness of the conjugate function on the order-continuous dual space,…

This article explores the concept of absoluteness in the context of mathematical analysis, focusing specifically on the Riemann integral on $\mathbb{R}^{n}$. In mathematical logic, "absoluteness" refers to the invariance of the truth value…

If $f$ is a Henstock--Kurzweil integrable function on the real line, the Alexiewicz norm of $f$ is $\|f\|=\sup_I|\int_I f|$ where the supremum is taken over all intervals $I\subset\R$. Define the translation $\tau_x$ by $\tau_xf(y)=f(y-x)$.…

Fatou's lemma is a classic fact in real analysis that states that the limit inferior of integrals of functions is greater than or equal to the integral of the inferior limit. This paper introduces a stronger inequality that holds uniformly…

We prove that an equivalent condition for a uniform space to be coverable is that the images of the natural projections in the fundamental inverse system are uniformly open in a certain sense. As corollaries we (1) obtain a concrete way to…

We provide several characterizations of the Lebesgue property for fuzzy metric spaces. It is known that a fuzzy metric space is Lebesgue if and only if every real-valued continuous function is uniformly continuous. Here we show that it…

Using a perturbative argument, we show that in any finite region containing the lowest transverse eigenmode, the spectrum of a periodically curved smooth Dirichlet tube in two or three dimensions is absolutely continuous provided the tube…

Let $A=(A_x)$ be a (semi-)continuous field of $C^*$-algebras over a compact Hausdorff space $X$ and let $p=(p_x)$ be a projection in $A$ such that each $p_x\in A_x$ is properly infinite ($x\in X$). Then $p$ is properly infinite if the field…

Let $X$ be a uniform space and $U(X)$ the linear space of real-valued uniformly continuous functions on $X$. Our main objective is to give a number of properties characterizing the fact that $U(X)$ is stable under pointwise product in case…

We derive necessary and sufficient conditions for a continuous bounded function $f: R\to C$ to be a characteristic function of a probability measure. The Cauchy transform $K_f$ of $f$ is used as analytic continuation of $f$ to the upper and…

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 give several new characterizations of completely monotone functions and Bernstein functions via two approaches: the first one is driven algebraically via elementary preserving mappings and the second one is developed in terms of the…

We prove completeness of preferential conditional logic with respect to convexity over finite sets of points in the Euclidean plane. A conditional is defined to be true in a finite set of points if all extreme points of the set interpreting…

A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based computations. Conversely, by the Weierstrass Approximation Theorem, every continuous f:[0,1]->R is computable relative to…

We propose a notion of operator monotonicity for functions of several variables, which extends the well known notion of operator monotonicity for functions of only one variable. The notion is chosen such that a fundamental relationship…

We prove that the smallest minimizer s(f) of a real convex function f is less than or equal to a real point x if and only if the right derivative of f at x is non-negative. Similarly, the largest minimizer t(f) is greater or equal to x if…

We study notions of absolute continuity for functions defined on $\mathbb{R}^n$similar to the notion of $\alpha$-absolute continuity in the sense of Bongiorno. We confirm a conjecture of Mal\'y that 1-absolutely continuous functions do not…