Related papers: Category-measure duality: convexity, mid-point con…
We consider variants on the classical Berz sublinearity theorem, using only DC, the Axiom of Dependent Choices, rather than AC, the Axiom of Choice which Berz used. We consider thinned versions, in which conditions are imposed on only part…
We discuss the asymmetric sandwich theorem, a generalization of the Hahn-Banach theorem. As applications, we derive various results on the existence of linear functionals that include bivariate, trivariate and quadrivariate generalizations…
The theme here is category-measure duality, in the context of a topological group. One can often handle the (Baire) category case and the (Lebesgue, or Haar) measure cases together, by working bi-topologically: switching between the…
We study the uniform computational content of different versions of the Baire Category Theorem in the Weihrauch lattice. The Baire Category Theorem can be seen as a pigeonhole principle that states that a complete (i.e., "large") metric…
We explore the occurrence of point configurations within non-meager (second category) Baire sets. A celebrated result of Steinhaus asserts that $A+B$ and $A-B$ contain an interval whenever $A$ and $B$ are sets of positive Lebesgue measure…
By reformulating the classical proof as a Baire Category argument, we show that Besicovitch's Theorem in Cantor space is provable in $ACA_0$, and additionally that the witnessing subset is computable from one jump of the original set. We…
Aim of this paper is to develop a new technique, based on the Baire category theorem, in order to establish the closure of reachable sets and the existence of optimal trajectories for control systems, without the usual convexity…
From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…
The Lebesgue dominated convergence theorem of the measure theory implies that the Riemann integral of a bounded sequence of continuous functions over the interval [ 0,1] pointwise converging to zero, also converges to zero. The validity of…
Assume that $\mathcal{I}$ is an ideal on $\mathbb{N}$, and $\sum_n x_n$ is a divergent series in a Banach space $X$. We study the Baire category, and the measure of the set $A(\mathcal{I}):=\left\{t \in \{0,1\}^{\mathbb{N}} \colon \sum_n…
The Hahn-Banach theorem is an extension theorem for linear functionals which preserves certain properties. Specifically, if a linear functional is defined on a subspace of a real vector space which is dominated by a sublinear functional on…
The smooth development of large parts of mathematics hinges on the idea that some sets are `small' or `negligible' and can therefore be ignored for a given purpose. The perhaps most famous smallness notion, namely `measure zero', originated…
If $\phi$ is a submeasure satisfying an appropriate lower estimate we give a quantitative result on the total mass of a measure $\mu$ satisfying $0\le\mu\le\phi.$ We give a dual result for supermeasures and then use these results to…
The Kestelman-Borwein-Ditor Theorem asserts that a non-negligible subset of $\mathbb{R}$ which is Baire (=has the Baire property, BP) or measurable is shift-compact: it contains some subsequence of any null sequence to within translation by…
A sequence of functions f_n: X -> R from a Baire space X to the reals is said to converge in category iff every subsequence has a subsequence which converges on all but a meager set. We show that if there exists a Souslin Tree then there…
Convexity is an important notion in non linear optimization theory as well as in infinite dimensional functional analysis. As will be seen below, very simple and powerful tools will be derived from elementary duality arguments (which are…
An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…
Let $\lambda$ be an uncountable cardinal such that $2^{< \lambda } = \lambda$. Working in the setup of generalized descriptive set theory, we study the structure of $\lambda^+$-Borel measurable functions with respect to various kinds of…
With any convex function F on a finite-dimensional linear space X such that F goes to infinity at infinity, we associate a Borel measure on the dual space X*. This measure is obtained by pushing forward the measure exp(-F(x))dx under the…
A Fenchel-Moreau type duality for proper convex and lower semi-continuous functions $f\colon X\to \overline{L^0}$ is established where $(X,Y,\langle \cdot,\cdot \rangle)$ is a dual pair of Banach spaces and $\overline{L^0}$ is the set of…