Suppose that $T \in L(V,W)$. Prove that if Img$(T)$ is dense in $W$ then $T^*$ is one-to-one.
Answer
Suppose $T^*$ is not one-to-one. Then there exists $f_1,f_2 \in W^*$ with $f_1\neq f_2$ such that \[ T^*(f_1)=T^*(f_2). \] Thus \[ f_1(Tv)=f_2(Tv), \forall v\in V. \] and hence $(f_1-f_2)(Tv)=0$, $\forall v \in V$, i.e. \[f_1-f_2=0, \forall w\in Img (T).\] Since $f_1-f_2$ is continuous, it also vanishes on $\overline{Img(T)}=W$, and therefore $f_1-f_2=0$ on $W$, which contradicts the assumption $f_1 \neq f_2$. The proof is complete.
Savionf
537
The answer is accepted.
Join Matchmaticians Affiliate Marketing
Program to earn up to 50% commission on every question your affiliated users ask or answer.
- answered
- 1475 views
- $18.00
Related Questions
- What is the asymptotic density of $A$ and $B$ which partition the reals into subsets of positive measure?
- Let $(X, ||\cdot||)$ be a normed space. Let $\{x_n\}$ and $\{y_n\}$ be two Cauchy sequences in X. Show that the seqience Show that the sequence $λ_n = ||x_n − y_n|| $ converges.
- Is it true almost all Lebesgue measurable functions are non-integrable?
- Calculating P values from data.
- Prove the following limits of a sequence of sets?
- Prove Holder-continuity for $\mu_\lambda (x) = \sum\limits_{n=1}^\infty \frac{ \cos(2^n x)}{2^{n \lambda} }$
- Measure Theory and the Hahn Decomposition Theorem
- Real Analysis