Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm trying to solve the problem 5.12 of Harim Brezis' Functional Analysis, Sobolev Spaces and Partial Differential Equations; but I'm stucked understanding the statement which comes as follows:

Let $E$ be a vector space equipped with the scalar product $( , )$. One does not assume that $E$ is complete for the norm $|u| = (u, u)^{1/2}$ ($E$ is said to be a pre-Hilbert space).
Recall that the dual space $E^*$, equipped with the dual norm $||f||_E^*$, is complete. Let $T : E \rightarrow E^*$ be the map defined by $$ \langle Tu, v\rangle_{E^*,E} = (u, v) \hspace{5mm} \forall u, v \in E. $$ Check that $T$ is a linear isometry. Is $T$ surjective? Our purpose is to show that $R(T)$ is dense in $E^*$ and that $||\hspace{2mm}||_{E^*}$ is a Hilbert norm.

I don't quite understand how does $T$ work. Does it take as arguments both $u$ and $v$ or just $v$? Is it using the Riesz-Fréchet representation theorem implicitly? Is $T \in E^*$?

share|improve this question
add comment

2 Answers 2

up vote 2 down vote accepted

No, the confusing notation is that $\langle Tu,v\rangle_{E^*,E}$ is an alternative notation for $(Tu)(v)$.

$T$ is a mapping $E\to E^*$, and for an $u\in E$, it maps $Tu$ which maps $v\mapsto (u,v)$.

share|improve this answer
add comment

Berci already clarified the notation issue. The author is definitely not using the Riesz Representation Theorem, which precisely the statement that, when $E$ is complete, $T$ is onto.

share|improve this answer
add comment

Your Answer

 
discard

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.