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

DOI10.1016/J.JMAA.2014.08.005MaRDI QIDQ743213zbMATH OpenOpenAlexFDO

Authors Eliza Jabłońska

Publication date 23 September 2014

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1405.2939

zbMATH Keywords

Haar meager setHaar null setmeasurable homomorphismPiccard's theorem

Mathematics Subject Classification ID

Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence (28A20) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Baire category, Baire spaces (54E52) Topological groups (topological aspects) (54H11)

Abstract: 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 $0ininn(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 $Asubset{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}, cite{Darji} and cite{FS}.

Review text

Let \(X,Y\) be abelian Polish groups. According to \textit{U. B. Darji} [Topology Appl. 160, No. 18, 2396--2400 (2013; Zbl 1278.54016)] a subset \(A\) of \(X\) is called Haar meager if there is a Borel set \(B\) in \(X\) containing \(A\) and a continuous map \(f:K\rightarrow X\) from a compact metric space \(K\) such that \(f^{-1}(x+B)\) is meager in \(K\) for all \(x\in X\). The author proves that \(0\) is an interior point of \(A-A\) for any Borel non-meager Haar subset of \(X\). The author calls a map \(f:X \rightarrow Y\) D-measurable if for any open \(U\subseteq Y\) the inverse image \(f^{-1}(U)\) is the union of a Haar meager subset and a Borel subset of \(X\), and proves that any D-measurable homomorphism from \(X\) into \(Y\) is continuous. Moreover, (non-)Haar meager sets in \(X\times Y\) are studied.

Recommendations

• A Haar meager set that is not strongly Haar meager
• Haar meager sets revisited
• Haar null sets and the consistent reflection of non-meagreness
• Haar null and Haar meager sets: a survey and new results
• Haar meager sets, their hulls, and relationship to compact sets

Cites work

• A note on intersections of non-Haar null sets
• An introduction to the theory of functional equations and inequalities. Cauchy's equation and Jensen's inequality. Edited by Attila Gilányi
• Christensen Zero Sets and Measurable Convex Functions
• scientific article; zbMATH DE number 861642 (Why is no real title available?)
• scientific article; zbMATH DE number 889873 (Why is no real title available?)
• scientific article; zbMATH DE number 3344793 (Why is no real title available?)
• On Haar meager sets
• On sets of Haar measure zero in abelian Polish groups
• Prevalence. An addendum to: “Prevalence: a translation-invariant ‘almost every’ on infinite-dimensional spaces” [Bull. Amer. Math. Soc. (N.S.) 27 (1992), no. 2, 217–238; MR1161274 (93k:28018)]
• Prevalence: a translation-invariant “almost every” on infinite-dimensional spaces
• Second order differentiability and Lipschitz smooth points of convex functionals

Cited in

(21)

• Category-measure duality: convexity, midpoint convexity and Berz sublinearity
• Additivity, subadditivity and linearity: automatic continuity and quantifier weakening
• Beyond Lebesgue and Baire. IV: Density topologies and a converse Steinhaus-Weil theorem
• Variants on the Berz sublinearity theorem
• \(K\)-subadditive and \(K\)-superadditive set-valued functions bounded on ``large sets
• A Haar meager set that is not strongly Haar meager
• On subadditive functions bounded above on a ``large set
• A theorem of Piccard's type in abelian Polish groups
• A theorem of Piccard's type and its applications to polynomial functions and convex functions of higher orders
• Null-finite sets in topological groups and their applications
• On the Cauchy difference of functions bounded modulo \(\mathbb{Z}\) on ``large sets
• Haar meager sets revisited
• Naively Haar null sets in Polish groups
• Haar meager sets, their hulls, and relationship to compact sets
• Remarks on Analogies Between Haar Meager Sets and Haar Null Sets
• \(K\)-midconvex and \(K\)-midconcave set-valued maps bounded on ``large sets
• The Steinhaus-Weil property: its converse, subcontinuity and Solecki amenability
• Haar-\(\mathcal{I}\) sets: looking at small sets in Polish groups through compact glasses
• Openly Haar null sets and conjugacy in Polish groups
• scientific article; zbMATH DE number 7626806 (Why is no real title available?)
• Haar null and Haar meager sets: a survey and new results

This page was built for publication: Some analogies between Haar meager sets and Haar null sets in abelian Polish groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q743213)