Atomic decompositions, two stars theorems, and distances for the Bourgain-Brezis-Mironescu space and other big spaces (Q2179480): Difference between revisions

The third author has provided an elegant general framework to prove for certain function spaces \(E\) that are normed by a big-\(O\)-condition and subspaces \(E_0\) characterised by the corresponding little-\(o\)-condition that \(E\) is isometric to the bidual of \(E_0\) and \(E_0\) is an \(M\)-ideal in \(E\); see [Ark. Mat. 51, No. 2, 345--361 (2013; Zbl 1283.46011); Math. Scand. 121, No. 1, 151--160 (2017; Zbl 1434.46008)]. In the paper under review, this methodology is applied to the Bourgain-Brezis-Mironescu BMO-like spaces \(B\) and \(B_0\) introduced in [\textit{J. Bourgain} et al., J. Eur. Math. Soc. (JEMS) 17, No. 9, 2083--2101 (2015; Zbl 1339.46028)]. It is shown that \(B_0^{**}\cong B\) and that \(B_0\) is an \(M\)-ideal in~\(B\). Further, a representation of \(B_0^*=B_*\) is given in terms of an atomic decomposition, and a distance formula for \(\operatorname{dist}(f, B_0)\) is derived.