On metric stability of set-valued subadditive functions (Q6185252)

Let \(G\) be a group, \(X\) an arbitrary set. A map \(F:G \to 2^X\) is called subadditive if \[ F(gh)\subset F(g) \cup F(h), \] for all \(g, h \in G\). Let \(M(\Omega,\mu)\) be the \(\sigma\)-algebra of measurable subsets of a measure space \((\Omega,\mu)\). For \(A,B\in M(\Omega,\mu)\), we write \(A\subset B\) if \(\mu(B\setminus A)=0\). In this sense must be understood the subadditivity condition for a map \(F:G\to M(\Omega,\mu)\). The author proved in her paper [J. Funct. Anal. 263, No. 5, 1468--1484 (2012; Zbl 1259.39018)] the following results: Theorem 1. Let \(G\) be a group, \(F:G\to M(\Omega,\mu)\) a subadditive map. If \(\mu(F(g))\le a\), for some \(a>0\) and all \(g\in G\), then there is \(A\in M(\Omega,\mu)\) such that \(\mu(A)\le 4a\) and \(F(g)\subset A\) for all \(g\in G\). A map \(F:G\to M(\Omega,\mu)\) is called \(\delta\)-subadditive, for a given \(\delta>0\), if \(F(gh)\subset \delta(F(g)\cup F(h))\) for all \(g,h \in G\), where for \(A,B\in M(\Omega,\mu)\), \(A\subset \delta B\) means \(\mu(A\setminus B)<\delta\). Theorem 2. Let \(F:G\to M(\Omega,\mu)\) be a \(\delta\)-subadditive function on a group \(G\) and \(\mu(F(g))<a\) for all \(g\in G\). Assume that \(\delta< a/3\). Then there is a set \(K\subset \Omega\) such that \(\mu(K)\le 6a\) and \(F(g)\subset 8\delta K\). In this nice paper the author considers set-valued maps from groups to metric spaces and proves a metric version of the stability. Let \((X,d)\) be a metric space. For \(Y\subset X\) and \(\delta > 0\), by \(O_{\delta}(Y)\) is denoted the \(\delta\)-neighborhood of \(Y\): \(O_{\delta}(Y )=\{x \in X : d(x, Y ) < \delta \}\). A map \(F:G\to 2^X\) is called \(\delta\)-subadditive if \(F(gh)\subset O_\delta(F(g)\cup F(h))\) for all \(g, h\in G\). The main result is given by the following theorem: Theorem. For any \(n\in \mathbb{N}\) and \(\varepsilon > 0\), there is a \(\delta= \delta(n,\varepsilon)\) such that if \(F:G\to 2^X\) is \(\delta\)-subadditive and \(\sup_{g\in G}|F(g)|\le n\), then \(\bigcup_{g\in G} F(g)\subset O_{\varepsilon}(P)\), where \(P\) is a subset of \(X\) with \(|P|\le n(n+3)/2\). Moreover, one can take \(\delta=\varepsilon/(3\cdot 6^{n-1}-1)\).