Related papers: Introductory Topics in Binary Set Functions

We consider nonlinear, or "event-dependent", sampling, i.e. such that the sampling instances {tk} depend on the function being sampled. The use of such sampling in the construction of Lebesgue's integral sums is noted and discussed as…

We define an odometer in the Baire space. That is the non-compact space of one sided sequences of natural numbers. We go on to prove that it is topologically conjugated to the dyadic odometer restricted to an appropriate non-compact subset…

We introduce the notion of a gauge and of a tagged partition (subordinate to a given gauge) by intersections of open and closed sets of a compact metric space extending the corresponding notions in Henstock-Kurzweil integration of…

The classical de Finetti Theorem classifies the $\mathrm{Sym}(\mathbb N)$-invariant probability measures on $[0,1]^{\mathbb N}$. More precisely it states that those invariant measures are combinations of measures of the form…

An alternative mathematics based on qualitative plurality of finiteness is developed to make non-standard mathematics independent of infinite set theory. The vague concept "accessibility" is used coherently within finite set theory whose…

We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of…

For every positive integer h, the representation function of order h associated to a subset A of the integers or, more generally, of any group or semigroup X, counts the number of ways an element of X can be written as the sum (or product,…

We consider Choquet integrals with respect to dyadic Hausdorff content of non-negative functions which are not necessarily Lebesgue measurable. We study the theory of Lebesgue points. The studies yield convergence results and also a density…

A numeral system is an infinite sequence of different closed normal $\lambda$-terms intended to code the integers in $\lambda$-calculus. H. Barendregt has shown that if we can represent, for a numeral system, the functions : Successor,…

For non-decreasing real functions $f$ and $g$, we consider the functional $ T(f,g ; I,J)=\int_{I} f(x)\di g(x) + \int_J g(x)\di f(x)$, where $I$ and $J$ are intervals with $J\subseteq I$. In particular case with $I=[a,t]$, $J=[a,s]$, $s\leq…

Introducing the notion of a rational system of measure preserving transformations and proving a recurrence result for such systems, we give sufficient conditions in order a subset of rational numbers to contain arbitrary long arithmetic…

In this paper, we introduce the notion of a $\gamma$-density point for Lebesgue-measurable subsets of $\mathbb{R}$, where $\gamma$ is a modulus function, and study its basic measure-theoretic properties. We show that every $\gamma$-density…

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…

We study the density function of measurable subsets of the Cantor space. Among other things, we identify a universal set $\mathcal{U}$ for $\Sigma^{1}_{1}$ subsets of $( 0 ; 1 )$ in terms of the density function; specifically $\mathcal{U}$…

We remark a variant of the existence part of the fundamental theorem of calculus, which, together with the Lebesgue differentiation theorem, constitute a new proof that every Riemann-integrable function on a compact interval having limit…

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized…

We investigate the relationship between measurable differentiable structures on doubling metric measure spaces and derivations. We prove: [1] a decomposition theorem for the module of derivations into free modules; [2] the existence of a…

By seeing whether a Liouville type theorem holds for positive, bounded, and/or finite energy $p$-harmonic and $p$-quasiharmonic functions, we classify proper metric spaces equipped with a locally doubling measure supporting a local…

Using the recently defined concept of Taylor measures, we propose a generalization of Taylor's theorem to measurable, non-analytic functions, that do not require differentiation. We study consequences of the generalization, including the…

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…