Null-finite sets in topological groups and their applications

DOI10.1007/S11856-018-1826-6zbMATH Open1490.39032arXiv1706.08155OpenAlexW2907434838WikidataQ128668158 ScholiaQ128668158MaRDI QIDQ2631891FDOQ2631891

Authors: Taras Banakh, Eliza Jabłońska 

Publication date: 16 May 2019

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Functional analysis and infinite-dimensional geometry
• On sets of Haar measure zero in abelian Polish groups
• Title not available (Why is that?)
• Prevalence: a translation-invariant “almost every” on infinite-dimensional spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Haar null sets without \(G_{\delta}\) hulls
• Topological groups and related structures
• Additivity of the ideal of microscopic sets
• Haar meager sets revisited
• On Haar meager sets
• Some analogies between Haar meager sets and Haar null sets in abelian Polish groups
• Category-measure duality: convexity, midpoint convexity and Berz sublinearity
• Automatic continuity of homomorphisms and fixed points on metric compacta
• Haar meager sets, their hulls, and relationship to compact sets
• SPARSE, THIN AND OTHER SUBSETS OF GROUPS
• Haar-$\mathcal I$ sets: looking at small sets in Polish groups through compact glasses
• Haar null and Haar meager sets: a survey and new results
• Christensen Zero Sets and Measurable Convex Functions
• 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)]
• On Convex Functions
• Remarks on a Theorem of E. J. McShane
• A note on intersections of non-Haar null sets
• Cardinal characteristics of the ideal of Haar null sets.
• Title not available (Why is that?)
• The Steinhaus-Weil property: its converse, subcontinuity and Solecki amenability

Cited In (15)

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