Rearrangement transformations on general measure spaces (Q2270518)

The authors continue previous work of the second author about rearrangement transformations on measure spaces. Here, \((X,\Sigma_X,\mu)\) and \((Y,\Sigma_Y,\nu)\) are two measure spaces and \({\mathcal R}: \Sigma_X\to\Sigma_Y\) a set transformation; for a \(\mu\)-measurable function \(f\), \(f_{\mathcal R}^*(y)= \int_0^\infty \chi_{{\mathcal R}(\{x\in X: |f(x)|>t \})}(y) \,dt\) is its rearrangement by the transformation \({\mathcal R}\). Moreover, \({\mathcal R}\) is said to have the Fatou property if for every \(0\leq f_n\uparrow f\) \(\mu\)-a.e, we have \((f_n)_{\mathcal R}^*\uparrow f_{\mathcal R}^*\) \(\mu\)-a.e. Some properties and equivalent characterizations of the Fatou property are proved and, in the case when \(\mathcal{R}\) is monotone, some characterizations for \(\mathcal{R}\) to be measure preserving are obtained. Then a new type of Lorentz space is defined: for \(v \in L_{\text{loc}}^1 (Y,d\nu)\), \(v\geq 0\) (it is called a weight on \(Y\)) and \(0<p<\infty\), the Lorentz space \(\Lambda_{\mathcal R}^p(v)\) consists of those \(\mu\)-measurable \(f\) for which the functional \(\|f \|_{\Lambda_{\mathcal R}^p(v)}= (\int (f_{\mathcal R}^*(y))^p v(y) \,d\nu(y))^{\frac1p}\) is finite. Some conditions are obtained under which \(\|\cdot\|_{\Lambda_{\mathcal R}^p(v)}\) is a quasi-norm and a norm. Then the authors consider well-known rearrangements, the spherical symmetrization and Steiner symmetrization, and prove some properties of these rearrangements. Furthermore, some results about homogeneous trees are obtained. Several other related results about these rearrangement mappings are also established.