Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This seems like a really simple question, but I'm struggling with it. Let $X$ be a separable Banach space, $H$ be a separable Hilbert space, and suppose $i : H \hookrightarrow X$ is a dense, continuous embedding of $H$ into $X$. (This is the abstract Wiener space construction due to Gross, hence the [pr.probability] tag) If we associate $H$ with its dual $H^\*$, we have the inclusions $$X^\* \hookrightarrow H^\* \cong H \hookrightarrow X.$$

My question: Is $i^\* : X^\* \hookrightarrow H^\*$ a dense injection?

share|cite|improve this question

1 Answer 1

up vote 5 down vote accepted

Yes, if you mean that $i$ is one to one, for an operator $T:X\to Y$ is one to one if and only if $T$* has weak* dense range, which means $T$* has dense range when $X$ is reflexive.

share|cite|improve this answer
Bill, thanks so much for the response. That answers my question; could you please give me an argument or a citation so I could look it up? – Tom LaGatta Feb 11 '10 at 2:18
A linear subspace of a Hilbert space is dense iff its orthogonal is {0}... – Ady Feb 11 '10 at 2:28
Simple, as I thought. Thanks, Ady! – Tom LaGatta Feb 11 '10 at 2:39
Just to add that Bill's answer for general Banach spaces can probably be found in several functional analysis textbooks, but can definitely be found in Chapter 4 of Rudin's FA. (Thm 4.14 in my copy, 2nd ed) – Yemon Choi Feb 11 '10 at 3:49
It is also in many Real Analysis textbooks. See, e.g., problem 22 after section 5.2 in Folland's Real Analysis, 2nd ed. – Bill Johnson Feb 11 '10 at 17:19

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.