Related papers: Good measures on locally compact Cantor sets
Akin's notion of good measure, introduced to classify measures on Cantor sets has been translated to dimension groups and corresponding traces by Bezuglyi and the author, but emphasizing the simple (minimal dynamical system) case. Here we…
This paper investigates the problem of extending measure theory to non-separable structures, from generalized descriptive set theory to a broader class of spaces beyond this framework. While various notions, such as the ideal of measure…
In this paper we develop a general framework of badly approximable points in a metric space $X$ equipped with a $\sigma$-finite doubling Borel regular measure $\mu$. We establish that under mild assumptions the $\mu$-measure of the set of…
Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…
Let $\mu$ be a Borel measure on a compactum $X$. The main objects in this paper are $\sigma$-ideals $I(dim)$, $J_0(\mu)$, $J_f(\mu)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of…
A Borel probability measure \( \mu \) with compact support on \( \mathbb{R}^n \) is called spectral measure if there exists a discrete set \( \Lambda \subset \mathbb{R}^n \) such that \( E_\Lambda := \{e^{2\pi i \langle \lambda, x \rangle}:…
In a general measure space $(X,\mathcal L,\lambda)$, a characterization of weakly null sequences in $L_\infty (X,\mathcal L,\lambda)$ ($u_k \rightharpoonup 0$) in terms of their pointwise behaviour almost everywhere is derived from the…
Topological measures and deficient topological measures generalize Borel measures and correspond to certain non-linear functionals. We study integration with respect to deficient topological measures on locally compact spaces. Such an…
Let $P$ be a Borel probability measure on $\mathbb R^2$ supported by the Cantor dusts generated by a set of $4^u,\ u\geq 1$, contractive similarity mappings satisfying the strong separation condition. For this probability measure, we…
A maxitive measure is the analogue of a finitely additive measure or charge, in which the usual addition is replaced by the supremum operation. Contrarily to charges, maxitive measures often have a density. We show that maxitive measures…
A general theory of resource-bounded measurability and measure is developed. Starting from any feasible probability measure $\nu$ on the Cantor space $\C$ and any suitable complexity class $C \subseteq \C$, the theory identifies the subsets…
Let $P$ be a directed set and $X$ a space. A collection $\mathcal{C}$ of subsets of $X$ is \emph{$P$-locally finite} if $\mathcal{C}=\bigcup \{ \mathcal{C}_p : p \in P\}$ where (i) if $p \le p'$ then $\mathcal{C}_p \subseteq…
Let $Q$ denote the space of signed measures on the Borel $\sigma$-algebra of a separable complete space $X$. We endow $Q$ with the norm $\|q\|=\sup|\int\phi dq|$, where the supremum is taken over all Lipschitz with constant 1 functions…
Cantor sets in \(\mathbb{R}\) are common examples of sets for which Hausdorff measures can be positive and finite. However, there exist Cantor sets for which no Hausdorff measure is supported and finite. The purpose of this paper is to try…
We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^\kappa$ for $\kappa$ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of \[…
We say that an element $x$ of a topological space $X$ avoids measures if for every Borel measure $\mu$ on $X$ if $\mu(\{x\})=0$, then there is an open $U\ni x$ such that $\mu(U)=0$. The negation of this property can viewed as a local…
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y), \] and set $M(X) =…
We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the…
A subset $X$ of a Polish group $G$ is called \emph{Haar null} if there exists a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that $\mu(gBh)=0$ for every $g,h \in G$. We prove that there exists a set $X \subset…
Let $X$ be a Banach space and $\mu$ a probability measure. A set $K \subseteq L^1(\mu,X)$ is said to be a $\delta\mathcal{S}$-set if it is uniformly integrable and for every $\delta>0$ there is a weakly compact set $W \subseteq X$ such that…