Best approximation in \(L^ p(\mu,X)\). II (Q914094): Difference between revisions

Let (\(\Omega\),\(\mu\)) be a finite measure space. The space of Bochner p- integrable functions defined on (\(\Omega\),\(\mu\)) with values in a real Banach space X is denoted by \(L^ p(\mu,X)\). It is a Banach space under the norm \(\| f\|_ p=(\int \| f(t)\|^ pd\mu (t))^{1/p}\) \((1\leq p<\infty)\). The following theorem is proved: If Y is a closed subspace of the Banach space X, then \(L^ 1(\mu,Y)\) is proximinal in \(L^ 1(\mu,X)\) if and only if \(L^ p(\mu,Y)\) is proximinal in \(L^ p(\mu,X)\) for every p \((1<p<\infty)\). As a consequence it's also proved that if Y is a separable proximinal dual space then \(L^ 1(\mu,Y)\) is proximinal in \(L^ 1(\mu,X)\). [For part I see ibid. 58, No.1, 68-77 (1989; Zbl 0685.41023).]