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.
574
The answer is accepted.
Join Matchmaticians Affiliate Marketing
Program to earn up to a 50% commission on every question that your affiliated users ask or answer.
- answered
- 3488 views
- $18.00
Related Questions
- Limit Superior, Limit Inferior, and Convergence Properties of Bounded Sequences
- Find $\lim\limits _{n\rightarrow \infty} n^2 \prod\limits_{k=1}^{n} (\frac{1}{k^2}+\frac{1}{n^2})^{\frac{1}{n}}$
- Prove the Function
- Let $f:U\subset\mathbb{R} ^3\rightarrow \mathbb{R} ^2$ given by $f(x,y,z)=(sin(x+z)+log(yz^2) ; e^{x+z} +yz)$ where $U = { (x, y, z) ∈ R^3| y, z > 0 }.$ Questions Inside.
- True-False real analysis questions
- Finding Harmonic function
- A lower bound
- H is a Hilber space