Capacitary function spaces (Q2430588): Difference between revisions

Let \((\Omega,\Sigma)\) be a measurable space. A function \({\mathcal C}\) defined on the \(\sigma\)-algebra \(\Sigma\) is said to be a capacity if the function satisfies conditions including: {\parindent13mm \begin{itemize}\item[(*1)] \({\mathcal C}(\emptyset)= 0\), where \(\emptyset\) is the empty set; \item[(ii)] \(0<{\mathcal C}(A)\leq \infty\), \(A\in S\); \item[(iii)] \({\mathcal C}(A)\leq{\mathcal C}(B)\) if \(A\subseteq B\); \item[(iv)] (Quasi-subadditivity) for some finite constant \(c\), \({\mathcal C}(A\subset B)< c({\mathcal C}(A)+{\mathcal C}(B))\). \end{itemize}} If \({\mathcal C}_f(t)\), \(t> 0\), denotes the distribution function \({\mathcal C}(\{x\in\Omega: |f(x)|> t\})\) and the non-increasing rearrangement \(f^*_{{\mathcal C}}\) is defined by \(f^*_{{\mathcal C}}(s)= \text{inf}\{t:{\mathcal C}_j(t)\leq s\}\), then the Choquet integral over \(\Omega\) is defined by \[ \int_\Omega f(x)\,d{\mathcal C}(x)= \int^\infty_0{\mathcal C}_j(t)\,dt, \] and \[ f^*_{{\mathcal C}}(s)= \int^\infty_0 \chi_{{\mathcal C}_f(t)}(s)\,dt, \] where \(\chi_E\) is the characteristic function of \(E\). In the statements of this paper, the authors indicate that some of the known results on measure spaces and related Lebesgue integrals have versions applicable to capacity spaces. In particular, with the capacity \(L^p\)-norm defined as \[ \| f\|_{p,{\mathcal C}}= \Biggl(\int_\Omega|f(x)|^p \,d{\mathcal C}(x)\Biggr)^{1/p}= \Biggl\{p\int^\infty_0 t^{p-1}{\mathcal C}_f(t)\,dt\Biggr\}^{1/p}, \] Hölder's inequality has the form \[ \int_\Omega|fg| \,d{\mathcal C}\leq 2c\| f\|_{p,{\mathcal C}}\| g\|_{p',{\mathcal C}},\;1\leq p<\infty,\;(1/p)+ (1/p')= 1, \] and Minkowski's inequality has the form \(\| f+ g\|_{p,C}\leq 4c^2(\| f\|_{p,{\mathcal C}}+\| g\|_{p,{\mathcal C}})\). Other results include the completeness of \(L^{p,{\mathcal C}}(\Omega)\) with the norm \(\|.\|_{p,{\mathcal C}}\) and considerations involving interpolation spaces and Lorentz space \(L^{p,q}_\mu(w)\), defined for \(p> 0\), \(q> 0\), in terms of a measure \(\mu\) on Euclidean spaces \(\mathbb{R}^n\) and a weight \(w\) on \(\mathbb{R}^+\), with norm \[ \| f\|_{p,q,\mu;w}= \Biggl(\int^\infty_0 s^{q/p} f^*_\mu(s)^q (w(s)/s)\,ds\Biggr)^{1/q}< \infty. \]