Banach lattices with the Fatou property and optimal domains of kernel operators (Q2502996): Difference between revisions

Associated to each measurable kernel \(K:[0,1]\times[0,1]\rightarrow [0,\infty)\) (that satisfies certain natural conditions), there is a kernel operator \(T\) which sends bounded measurable functions on \([0,1]\) to measurable functions on \([0,1].\) Given a Banach function space \(X\) over \([0,1],\) endowed with the Lebesgue measure, such that \(L^{\infty }([0,1])\subset X\subset L^{1}([0,1]),\) the \textit{optimal domain} of \(T\) is \([T,X]=\{f:[0,1]\rightarrow\mathbb{R}\mid T(\left| f\right| )\in X\}\) (that is, the largest domain to which \(T\) can be continuously extended and still takes its values in \(X\)). This optimal domain is itself a Banach function space over \([0,1]\) and the paper under review discusses the relationship between \([T,X]\) and the spaces \(L^{1}(\nu_{X})\) and \(L_{w} ^{1}(\nu_{X}),\) where \(\nu_{X}\) denotes the \(X\)-valued measure \(A\rightarrow T(\chi_{A}).\) In general, \(L^{1}(\nu_{X})\subset[ T,X]\subset L_{w} ^{1}(\nu_{X}),\) and it is proved that the first inclusion is an equality if and only if \([T,X]\) has order continuous norm; the second inequality becomes an equality if and only if \([T,X]\) has the Fatou property. An important role is played by the study of Banach lattices with the Fatou property, which leads to a new representation theorem of the Banach lattices \(E\) which satisfy the following two conditions: (i) \(E\) has a weak order unit \(u>0\) that belongs to the closed ideal \[ E_{a}=\{x\in E:\left| x\right| \geq u_{n}\downarrow0\;\text{implies }\left\| u_{n}\right\| \downarrow0\}; \] and (ii) for every increasing sequence \((x_{n})_{n}\) of positive elements which is norm bounded, the element \(x=\sup x_{n}\) exists in \(E\) and \(\left\| x_{n}\right\| \uparrow\left\| x\right\| .\) Every such Banach lattice is order and isometrically isomorphic to a suitable space \(L_{w}^{1}(\nu)\) (\(\nu\) being an \(E_{a}^{+}\)-valued measure).