Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Recently I'm reading Stochastic Equations in Infinite Dimensions, a result is used many times. It is

If $E$ is a separable Banach spaces, then there is a sequence $\{ \phi_n \}$ in its dual $E^{\star}$ such that $$\|x\|=\sup_n |\phi_n(x)|$$

my question is

(1) How to prove it? Or where can I find the proof of it?

(2) Is there any other spaces that have this property? Where can I find related results?

thanks a lot.

share|improve this question

1 Answer 1

up vote 7 down vote accepted

For (1): Pick a countable dense set $x_i\in E$, and for each $x_i$ in that set, pick (by Hahn–Banach) a functional $\phi_i$ of norm $1$ such that $\|x_i\|=\phi_i(x_i)$.

For (2): duals of separable Banach spaces also have that property. For example, $L^{\infty}(\mathbb R)$ is the dual of $L^1(\mathbb R)$ and its norm is therefore determined by countably many functionals.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.