arXiv 1006.26732010-06-14math.FA

Dichotomies of the set of test measures of a Haar-null set

Pandelis Dodos

备注：: 12 pages, no figures
发表信息：: Israel Journal of Mathematics 144 (2004), 15-28

英文摘要：

We prove that if $X$ is a Polish space and $F$ is a face of $P(X)$ with the Baire property, then $F$ is either a meager or a co-meager subset of $P(X)$. As a consequence we show that for every abelian Polish group $X$ and every analytic Haar-null set $A\subseteq X$, the set of test measures $T(A)$ of $A$ is either meager or co-meager. We characterize the non-locally-compact groups as the ones for which there exists a closed Haar-null set $F\subseteq X$ with $T(F)$ is meager. Moreover, we answer negatively a question of J. Mycielski by showing that for every non-locally-compact abelian Polish group and every $σ$-compact subgroup $G$ of $X$ there exists a $G$-invariant $F_σ$ subset of $X$ which is neither prevalent nor Haar-null.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Haar Null Closed and Convex Sets in Separable Banach Spaces

Haar null sets were introduced by J.P.R. Christensen in 1972 to extend the notion of sets with zero Haar measure to nonlocally compact Polish groups. In 2013, U.B. Darij defined a categorical version of Haar null sets, which he named Haar meagre sets. The present paper aims to show that, whenever $C$ is a closed, convex subset of a separable Banach space, $C$ is Haar null if and only if $C$ is Haar meagre. We then use this fact to improve a theorem of E. Matoušková and to solve a conjecture proposed by Esterle, Matheron and Moreau. Finally, we apply the main theorem to find a characterisation …

2022-07-20math.FA

The Steinhaus property and Haar-null sets

It is shown that if $G$ is an uncountable Polish group and $A\subseteq G$ is a universally measurable set such that $A^{-1}A$ is meager, then the set $T_l(A)=\{μ\in P(G): μ(gA)=0 \text{for all} g\in G\}$ is co-meager. In particular, if $A$ is analytic and not left Haar-null, then $1\in\mathrm{Int}(A^{-1}AA^{-1}A)$.

2010-06-14math.FA

Remarks on Haar meager sets and Haar null sets in spaces of sequences

In the paper we will show how to construct a Haar meager set (consequently meager) which is not Haar null, and conversely, a meager Haar null set which is not Haar meager in spaces of sequences: $l_p$ with $p\geq1$, $c_0$ or $c$. It refers to the paper \cite{Darji}.

2014-05-12math.FAmath.GN

Haar零凸集的拓扑刻画

A Topological Characterisation of Haar Null Convex Sets

本文用拓扑方法刻画可分Banach空间中闭凸集的Haar零性，证明其等价于弱*闭包在第二对偶中范数拓扑下内部为空，并由此推出Haar零集在收敛序列下保持封闭。

2023-05-10math.FA

Some analogies between Haar meager sets and Haar null sets in abelian Polish groups

In the paper we would like to pay attention to some analogies between Haar meager sets and Haar null sets. Among others, we will show that $0\in \inn (A-A)$ for each Borel set $A$, which is not Haar meager in an abelian Polish group. Moreover, we will give an example of a Borel non-Haar meager set $A\subset c_0$ such that $\inn (A+A)=\emptyset$. Finally, we will define $D$-measurability as a topological analog of Christensen measurability, and apply our generalization of Piccard's theorem to prove that each $D$-measurable homomorphism is continuous. Our results refer to the papers \cite{Ch}, \…

2014-05-12math.FAmath.GN

Differentiability of continuous functions in terms of Haar-smallness

One of the classical results concerning differentiability of continuous functions states that the set $\mathcal{SD}$ of somewhere differentiable functions (i.e., functions which are differentiable at some point) is Haar-null in the space $C[0,1]$. By a recent result of Banakh et al., a set is Haar-null provided that there is a Borel hull $B\supseteq A$ and a continuous map $f\colon \{0,1\}^\mathbb{N}\to C[0,1]$ such that $f^{-1}[B+h]$ is Lebesgue's null for all $h\in C[0,1]$. We prove that $\mathcal{SD}$ is not Haar-countable (i.e., does not satisfy the above property with "Lebesgue's null" re…

2020-07-26math.FA

更多相关论文收起更多论文

Null-finite sets in metric groups and their applications

In the paper we introduce a new family of "small" sets which is tightly connected with two well known $σ$-ideals: of Haar-null sets and of Haar-meager sets. We define a subset $A$ of a topological group $X$ to be $\mathit{null}$-$\mathit{finite}$ if there exists an infinite compact subset $K\subset X$ such that for every $x\in X$ the intersection $K\cap (x+A)$ is finite. We prove that each null-finite Borel set in a complete metric Abelian group is Haar-null and Haar-meager. The Borel restriction in the above result is essential as each non-discrete metric Abelian group is the union of two nul…

2017-11-28math.FAmath.GNmath.GR

Haar meager sets revisited

In the present article we investigate Darji's notion of Haar meager sets from several directions. We consider alternative definitions and show that some of them are equivalent to the original one, while others fail to produce interesting notions. We define Haar meager sets in nonabelian Polish groups and show that many results, including the facts that Haar meager sets are meager and form a $σ$-ideal, are valid in the more general setting as well. The article provides various examples distinguishing Haar meager sets from Haar null sets, including decomposition theorems for some subclasses of P…

2015-10-06math.FAmath.GN

On Haar meager sets

The notion of Haar null set was introduced by J. P. R. Christensen in 1973 and reintroduced in 1992 in the context of dynamical systems by Hunt, Sauer and Yorke. During the last twenty years this notion has been useful in studying exceptional sets in diverse areas. These include analysis, dynamical systems, group theory, and descriptive set theory. Inspired by these various results, we introduce the topological analogue of the notion of Haar null set. We call it Haar meager set. We prove some basic properties of this notion, state some open problems and suggest a possible line of investigation…

2014-03-08math.FAmath.GN

Hadamard differentiability via G\^ ateaux differentiability

Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ a mapping. We prove that there exists a $σ$-directionally porous set $A\subset X$ such that if $x\in X \setminus A$, $f$ is Lipschitz at $x$, and $f$ is Gâteaux differentiable at $x$, then $f$ is Hadamard differentiable at $x$. If $f$ is Borel measurable (or has the Baire property) and is G\^ ateaux differentiable at all points, then $f$ is Hadamard differentiable at all points except a set which is $σ$-directionally porous set (and so is Aronszajn null, Haar null and $Γ$-null). Consequently, an everywhere G\^ ateaux diff…

2012-10-17math.FA

On Embeddings of Finite Subsets of $\ell_p$

We study finite subsets of $\ell_p$ and show that, up to nowhere dense and Haar null complement, all of them embed isometrically into any Banach space that uniformly contains the spaces $\ell_p^n$, $n \in \mathbb{N}$.

2017-04-02math.FAmath.MG

紧化、Hartman函数与（弱）概周期性

Compactifications, Hartman functions and (weak) almost periodicity

本文研究拓扑群$G$上的Hartman函数.回想一下，如果$C$是紧群，$ι: G\to C$是连续群同态，并且$ι(G)$在$C$中稠密，则$(ι, C)$是$G$的群紧化。$G$上的复值有界函数$f$是Hartman函数，如果存在一个群紧化$(ι, C)$和一个$C$上的复值有界函数$F$，使得$f=F\circι$和$F$是Riemann可积的，即$F$的间断集关于Haar测度是一个空集。特别是我们回答的问题有多大的一个紧致化为一个给定的组$G$和哈特曼函数$f$必须承认的黎曼可积表示$f$。为了给出一个系统的介绍，这是自包含在一个合理的程度上，我们包括几个单独的部分的基本概念，如布尔集代数上的可加性测度，函数代数上的手段，紧空间上的积分，群和半群的紧化，抽象空间上的黎曼积分，测度和手段的不变性，变换和运算到紧化的连续扩张，等等。

2008-10-10math.FAmath.GN