Related papers: A memo on bornologies and size functions
In this article we study the family of $BMO^p$ spaces, $p \geq 1$, in the general context of metric measure spaces. We give a characterization theorem that allows to describe all possible relations between these spaces considered as sets of…
This article includes a survey of the historical development and theoretical structure of the pre-modern theory of magnitudes and numbers. In Part 1, work, insights and controversies related to quantity calculus from Euler onward are…
We introduce and study two new relations between function spaces over measure spaces of infinite measure, motivated by the question of establishing compactness. The first relation captures the uniform decay of function (quasi-)norms ``at…
The concept of angle, angle functions, and the question how to measure angles present old and well-established mathematical topics referring to Euclidean space, and there exist also various extensions to non-Euclidean spaces of different…
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly by a polynomial in the sizes of the arguments. Examples of…
This paper examines the equivalence between various set convergences, as studied in [7, 13, 22], induced by an arbitrary bornology $\mathcal{S}$ on a metric space $(X,d)$. Specifically, it focuses on the upper parts of the following set…
We define a multidimensional rearrangement, which is related to classical inequalities for functions that are monotone in each variable. We prove the main measure theoretical results of the new theory and characterize the functional…
The aim of this paper is twofold. Firstly, we give easy-to-handle criteria to determine whether a given family of subsets of a vector space is a neighbourhood basis of the origin for a complete vector topology. Then, we apply these criteria…
We give an explicit description of all finite Borel measures on Noetherian topological spaces X, and characterize them as objects dual to a space of functions on X. We use these results to study the asymptotic behavior of continuous…
We generalize the notion of a bornology by omitting the condition that a one-point-subset is bounded and obtain a complete and co-complete generalization of the category of bornological coarse spaces. Then we imitate the construction of…
In the present paper, we introduced the extended bicomplex plane $\bar{\mathbb{T}}$, its geometric model: the bicomplex Riemann sphere, and the bicomplex chordal metric that enables us to talk about the convergence of the sequences of…
We establish the characterizations of commutators of several versions of maximal functions on spaces of homogeneous type. In addition, with the aid of interpolation theory, we provide weighted version of the commutator theorems by…
One considers Hilbert space valued measures on the Borel sets of a compact metric space. A natural numerical valued integral of vector valued continuous functions with respect to vector valued functions is defined. Using this integral,…
The question of what should be meant by a measurement is tackled from a mathematical perspective whose physical interpretation is that a measurement is a fundamental process via which a finite amount of classical information is produced.…
On the class of log-concave functions on $\R^n$, endowed with a suitable algebraic structure, we study the first variation of the total mass functional, which corresponds to the volume of convex bodies when restricted to the subclass of…
We define a way of approximating actions on measure spaces using finite graphs; we then show that in quite general settings these graphs form a family of expanders if and only if the action is expanding in measure. This provides a somewhat…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
The purpose of this article is to define a capacity on certain topological measure spaces $X$ with respect to certain function spaces $V$ consisting of measurable functions. In this general theory we will not fix the space $V$ but we…
In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…
We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a concise combinatorial notation such that complete definitions…