One-sided James' compactness theorem (Q313504): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Bernardo Cascales / rank | |||
Property / author | |||
Property / author: José Orihuela / rank | |||
Property / author | |||
Property / author: Q313490 / rank | |||
Property / review text | |||
Let \(E\) be a real Banach space, \(E^*\) its dual, \(A,B\) convex subsets of \(E\). It is known that in James' classical theorem (a bounded closed convex subset of \(E\) is weakly compact if all functionals in \(E^*\) attain their supremum on it) it is not always necessary to test the sup-attainment of all functionals. This point of view becomes apparent in the main result of the paper under review, a ``one-sided'' James-like theorem: Suppose that the dual unit ball of \(E\) is weak\(^*\) convex block compact (meaning that each bounded sequence in the dual admits weak\(^*\)-convergent convex blocks), that \(A\) and \(B\) are bounded closed and convex with strictly positive distance. If every \(x^*\in E^*\) such that \[ \sup\langle x^*(B)\rangle<\inf\langle x^*(A)\rangle \] attains its infimum on \(A\) and its supremum on \(B\), then both \(A\) and \(B\) are weakly compact. (The theorem answers a question of Delbaen concerning the case \(E=L^1\) on a probability space and \(B=\{0\}\). The term ``one-sided'' refers to the fact that in the theorem only those \(x^*\)'s intervene that separate \(A\) and \(B\), so \(A\) lies on one side of \(x^*\).) This interesting approach turns out to be quite natural, as on the way to the proof of the main result, the authors develop `one-sided' analogues of well-known ingredients like the \((I)\)-generation or like conditions ensuring that the norm and the weak\(^*\)-closures of the convex hull of a (not necessarily bounded) subset of \(E^*\) coincide. Also, a one-sided version of the classical Bishop-Phelps theorem is proved. Final remarks show that some results are sharp and mention the (intriguing) conjecture that the main result (and a second, related one) should hold without convex block weak\(^*\)-compactness. | |||
Property / review text: Let \(E\) be a real Banach space, \(E^*\) its dual, \(A,B\) convex subsets of \(E\). It is known that in James' classical theorem (a bounded closed convex subset of \(E\) is weakly compact if all functionals in \(E^*\) attain their supremum on it) it is not always necessary to test the sup-attainment of all functionals. This point of view becomes apparent in the main result of the paper under review, a ``one-sided'' James-like theorem: Suppose that the dual unit ball of \(E\) is weak\(^*\) convex block compact (meaning that each bounded sequence in the dual admits weak\(^*\)-convergent convex blocks), that \(A\) and \(B\) are bounded closed and convex with strictly positive distance. If every \(x^*\in E^*\) such that \[ \sup\langle x^*(B)\rangle<\inf\langle x^*(A)\rangle \] attains its infimum on \(A\) and its supremum on \(B\), then both \(A\) and \(B\) are weakly compact. (The theorem answers a question of Delbaen concerning the case \(E=L^1\) on a probability space and \(B=\{0\}\). The term ``one-sided'' refers to the fact that in the theorem only those \(x^*\)'s intervene that separate \(A\) and \(B\), so \(A\) lies on one side of \(x^*\).) This interesting approach turns out to be quite natural, as on the way to the proof of the main result, the authors develop `one-sided' analogues of well-known ingredients like the \((I)\)-generation or like conditions ensuring that the norm and the weak\(^*\)-closures of the convex hull of a (not necessarily bounded) subset of \(E^*\) coincide. Also, a one-sided version of the classical Bishop-Phelps theorem is proved. Final remarks show that some results are sharp and mention the (intriguing) conjecture that the main result (and a second, related one) should hold without convex block weak\(^*\)-compactness. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Hermann Pfitzner / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46A50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46B50 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6626199 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
James' compactness theorem | |||
Property / zbMATH Keywords: James' compactness theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weakly compact | |||
Property / zbMATH Keywords: weakly compact / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\((I)\)-generated | |||
Property / zbMATH Keywords: \((I)\)-generated / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Bernardo Cascales / rank | |||
Normal rank | |||
Property / author | |||
Property / author: José Orihuela / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Antonio Pérez-Hernández / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962812429 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1508.00496 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3857296 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boundaries of Asplund spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A quantitative version of James's Compactness Theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactness, Optimality, and Risk / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological Properties of the Set of Norm-Attaining Linear Functionals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4148368 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Banach space theory. The basis for linear and nonlinear analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boundaries and generation of convex sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boundaries of a convex set and interpolation sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3475834 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Sequences without Weak ∗ Convergent Convex Block Subsequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weakly Compact Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on norm attaining functionals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \((I)\)-envelopes of closed convex sets in Banach spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: AN ELEMENTARY PROOF OF JAMES’ CHARACTERIZATION OF WEAK COMPACTNESS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3417364 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A coercive James's weak compactness theorem and nonlinear variational problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lebesgue property for convex risk measures on Orlicz spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boundaries for Banach spaces determine weak compactness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak\(^*\) support points of convex sets in \(E^*\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convex functions, monotone operators and differentiability. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak compactness and variational characterization of the convexity / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:17, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | One-sided James' compactness theorem |
scientific article |
Statements
One-sided James' compactness theorem (English)
0 references
12 September 2016
0 references
Let \(E\) be a real Banach space, \(E^*\) its dual, \(A,B\) convex subsets of \(E\). It is known that in James' classical theorem (a bounded closed convex subset of \(E\) is weakly compact if all functionals in \(E^*\) attain their supremum on it) it is not always necessary to test the sup-attainment of all functionals. This point of view becomes apparent in the main result of the paper under review, a ``one-sided'' James-like theorem: Suppose that the dual unit ball of \(E\) is weak\(^*\) convex block compact (meaning that each bounded sequence in the dual admits weak\(^*\)-convergent convex blocks), that \(A\) and \(B\) are bounded closed and convex with strictly positive distance. If every \(x^*\in E^*\) such that \[ \sup\langle x^*(B)\rangle<\inf\langle x^*(A)\rangle \] attains its infimum on \(A\) and its supremum on \(B\), then both \(A\) and \(B\) are weakly compact. (The theorem answers a question of Delbaen concerning the case \(E=L^1\) on a probability space and \(B=\{0\}\). The term ``one-sided'' refers to the fact that in the theorem only those \(x^*\)'s intervene that separate \(A\) and \(B\), so \(A\) lies on one side of \(x^*\).) This interesting approach turns out to be quite natural, as on the way to the proof of the main result, the authors develop `one-sided' analogues of well-known ingredients like the \((I)\)-generation or like conditions ensuring that the norm and the weak\(^*\)-closures of the convex hull of a (not necessarily bounded) subset of \(E^*\) coincide. Also, a one-sided version of the classical Bishop-Phelps theorem is proved. Final remarks show that some results are sharp and mention the (intriguing) conjecture that the main result (and a second, related one) should hold without convex block weak\(^*\)-compactness.
0 references
James' compactness theorem
0 references
weakly compact
0 references
\((I)\)-generated
0 references