Null-finite sets in topological groups and their applications

DOI10.1007/S11856-018-1826-6MaRDI QIDQ2631891zbMATH OpenOpenAlexWikidataFDO

Authors Taras Banakh, Eliza Jabłońska

Publication date 16 May 2019

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Functional equations for functions with more general domains and/or ranges (39B52) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Baire category, Baire spaces (54E52)

Abstract: In the paper we introduce a new family of "small" sets which is tightly connected with two well known $sigma$-ideals: of Haar-null sets and of Haar-meager sets. We define a subset $A$ of a topological group $X$ to be $mathitnull$-$mathitfinite$ if there exists an infinite compact subset $KsubsetX$ such that for every $xinX$ the intersection $Kcap(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 null-finite sets. Applying null-finite sets to the theory of functional equations and inequalities, we prove that a mid-point convex function $f:GomathbbR$ defined on an open convex subset $G$ of a metric linear space $X$ is continuous if it is upper bounded on a subset $B$ which is not null-finite and whose closure is contained in $G$. This gives an alternative short proof of a known generalization of Bernstein-Doetsch theorem (saying that a mid-point convex function $f:GomathbbR$ defined on an open covex subset $G$ of a metric linear space $X$ is continuous if it is upper bounded on a non-empty open subset $B$ of $G$). Since Borel null-finite sets are Haar-meager and Haar-null, we conclude that a mid-point convex function $f:GomathbbR$ defined on an open convex subset $G$ of a complete linear metric space $X$ is continuous if it is upper bounded on a Borel subset $BsubsetG$ which is not Haar-null or not Haar-meager in $X$. The last result resolves an old problem in the theory of functional equations and inequalities posed by Baron and Ger in 1983.

Recommendations

• Midconvex functions in locally compact groups
• On midpoint convex set-valued functions
• A class of null sets associated with convex functions on Banach spaces
• scientific article; zbMATH DE number 4067496
• scientific article; zbMATH DE number 4044389

Cites work

• scientific article; zbMATH DE number 3884691 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• scientific article; zbMATH DE number 889873 (Why is no real title available?)
• scientific article; zbMATH DE number 3336209 (Why is no real title available?)
• scientific article; zbMATH DE number 3036931 (Why is no real title available?)
• A note on intersections of non-Haar null sets
• Additivity of the ideal of microscopic sets
• Automatic continuity of homomorphisms and fixed points on metric compacta
• Cardinal characteristics of the ideal of Haar null sets.
• Category-measure duality: convexity, midpoint convexity and Berz sublinearity
• Christensen Zero Sets and Measurable Convex Functions
• Functional analysis and infinite-dimensional geometry
• Haar meager sets revisited
• Haar meager sets, their hulls, and relationship to compact sets
• Haar null and Haar meager sets: a survey and new results
• Haar null sets without \(G_{\delta}\) hulls
• Haar-\(\mathcal{I}\) sets: looking at small sets in Polish groups through compact glasses
• On Convex Functions
• 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
• Remarks on a Theorem of E. J. McShane
• SPARSE, THIN AND OTHER SUBSETS OF GROUPS
• Some analogies between Haar meager sets and Haar null sets in abelian Polish groups
• The Steinhaus-Weil property: its converse, subcontinuity and Solecki amenability
• Topological groups and related structures

Cited in

(15)

• Parthasarathy, shift-compactness and infinite combinatorics
• Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets
• Properties of locally semi-compact Ir-topological groups
• Another approach to \(K\)-subadditivity
• The Steinhaus-Weil property: its converse, subcontinuity and Solecki amenability
• Continuity properties of \(K\)-midconvex and \(K\)-midconcave set-valued maps
• On subadditive functions bounded above on a ``large set
• Properties of \(K\)-additive set-valued maps
• Further remarks on local \(K\)-boundedness of \(K\)-subadditive set-valued maps
• scientific article; zbMATH DE number 7626806 (Why is no real title available?)
• The continuity of additive and convex functions which are upper bounded on non-flat continua in \(\mathbb R^n\)
• \(K\)-subadditive and \(K\)-superadditive set-valued functions bounded on ``large sets
• Naively Haar null sets in Polish groups
• Haar-\(\mathcal{I}\) sets: looking at small sets in Polish groups through compact glasses
• Haar-smallest sets

This page was built for publication: Null-finite sets in topological groups and their applications

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