The extension of some Orlicz space results to the theory of optimal measure (Q2841683)

In [Acta Math. Hung. 63, No. 2, 133--147 (1994; Zbl 0798.28010)], the first author defined the notion of an optimal measure \(p:{\mathcal F}\to [0,1]\), where \((\Omega,{\mathcal F})\) is a measure space. The present results consist in proving an embedding theorem for Orlicz-type spaces \({\mathcal A}^\Phi\), defined by \(p\) in place of a measure \(\mu\) on \((\Omega,{\mathcal F})\). \({\mathcal A}^\Phi\) is proved to be Banach space, satisfying the inclusion \({\mathcal A}^\Phi\subset{\mathcal A}^1\) and the inequalities \(\| fh\|_{{\mathcal A}^1}\leq 2\| f\|_{{\mathcal A}^\Phi}\| h\|_{{\mathcal A}^\Psi}\), where \(\Phi\) and \(\Psi\) are conjugate in the sense of Young.