The converse of the Hölder inequality and its generalizations
Let (Ω,Σ,μ) be a measure space with two sets A,B ∈ Σ such that 0 < μ (A) < 1 < μ (B) < ∞ and suppose that ϕ and ψ are arbitrary bijections of [0,∞) such that ϕ(0) = ψ(0) = 0. The main result says that if for all μ-integrable nonnegative step functions x,y then ϕ and ψ must be conjugate power functions. If the measure space (Ω,Σ,μ) has one of the following properties: (a) μ (A) ≤ 1 for every A ∈ Σ of finite measure; (b) μ (A) ≥ 1 for every A ∈ Σ of positive measure, then there exist...