1
$\begingroup$

I was studying and I got the next doubt:

We suppose that $(X,\|\cdot\|)$ is a Banach space and $C$ it is a convex closed subset of X.

We say that $x\in C$ it is an exposed point of $C$ if $\exists x^*\in X^*$ such that $x$ it is the only one point of $C$ that $x^*(x)=\displaystyle\sup_C x^*$.

We say that $x\in C$ it is an strongly exposed point of $C$ if $\exists x^*\in X^*$ such that for every sequence $(x_n)\subset C$ that verifies $x^*(x_n)\to \displaystyle\sup_C x^*$ then $\|x_n-x\|\to 0$.

It's true that every strongly exposed point it is an exposed point. So I try to view if every exposed point it is an strongly exposed point (it would be false!).

Suppose that $x\in C$ it is an exposed point, then there is $x^*\in X^*$ such that $x^*(x)=\displaystyle\sup_C x^*$. Let $(x_n)\in C$ such that $x^*(x_n)\to \displaystyle\sup_C x^*$. $x_n$ must converge ($x^*$ is continuous), so we suppose that $x_n\to y\in C$ ($C$ is closed). Then, by continuity $x^*(x_n)\to x^*(y)=\displaystyle\sup_C x^*$.

So by the uniqueness, $x=y$ and then $\|x_n-x\|=\|x_n-y\|\to 0$. Then $x$ it is an strongly exposed point.

The question is: what is wrong in my reasoning? There is a counterexample of Lindenstrauss for example (7.73 in the a book of Fabian: Functional Analysis and Infinite-Dimensional Geometry).

Many thanks beforehand.

  • 0
    You probably mean example 8.73, at least if it is the same edition of the book - see [here](http://books.google.com/books?id=Hcqm4_lW4EkC&pg=PA277).2012-05-04
  • 0
    Ah, I refer to 7.73 of another book of Fabian: Banach Space (the basis for...). It's similar. There are counterexamples, so my reasoning is wrong, but I don't know where and it has me baffled.2012-05-04
  • 0
    Your problem is with the line "$x_n$ must converge". You have that $x^*(x_n) \to x^*(x)$ for one fixed $x^*$, not for all $x^*$. Even if you had $x^*(x_n) \to x^*(x)$ for all $x^* \in X^*$ (which you do not have), this would be weak convergence and not convergence in the norm topology.2012-05-04
  • 0
    Amm, thanks. That was the fail.2012-05-04

1 Answers 1