Proof regarding transpose mapping

[Adgorn]

Homework Statement

Suppose T:V→U is linear and u ∈ U. Prove that u ∈ I am T or that there exists $\phi$ ∈ V* such that T^T($\phi$) = 0 and $\phi$(u)=1.

Homework Equations

N/A

The Attempt at a Solution

Let $\phi$ ∈ Ker T^t, then T^t($\phi$)(v)=$\phi$(T(v))=0 ∀T(v) ∈ I am T. So obviously if u ∈ I am T than $\phi$(u)=0. I now need to prove that if u ∉ I am T, than there exists a linear functional which answers the above criteria, and this is where I'm stuck. I don't know which mapping I define that would answer the criteria.

Any help would be appreciated,

 

[andrewkirk]

There seems to be something wrong with how this problem is written. If $\phi\in V^*$ then the domain of $\phi$ is $V$ which , from the problem specification, does not necessarily have any intersection with $U$, so $\phi(u)$ is undefined.

There must be some missing information, or some implicit assumptions, which need to be brought out into the open.

 

[Adgorn]

There seems to be something wrong with how this problem is written. If $\phi\in V^*$ then the domain of $\phi$ is $V$ which , from the problem specification, does not necessarily have any intersection with $U$, so $\phi(u)$ is undefined.

There must be some missing information, or some implicit assumptions, which need to be brought out into the open.

Ah, yes I forgot to mention that. I just assumed it meant $\phi$∈U* and not V*. Damn book's full of mistakes.

 

[andrewkirk]

Some more info would be helpful. What are V and U? Vector spaces, or modules? If vector spaces, are they finite dimensional? Do they both have inner products? What about norms?

Also, what, exactly, is $T^T$ (which sometimes is written above as $T^t$)? It looks like it's supposed to be some sort of inverse pushforward.

 

[Adgorn]

Some more info would be helpful. What are V and U? Vector spaces, or modules? If vector spaces, are they finite dimensional? Do they both have inner products? What about norms?

Also, what, exactly, is $T^T$ (which sometimes is written above as $T^t$)? It looks like it's supposed to be some sort of inverse pushforward.

V and U are vector spaces, dimension is not specified (I quoted the question word for word) which naturally means I cannot use arguments of dimension as the vector spaces can be of both finite and infinite dimension. Inner products are not mentioned and are probably irrelevant here as the chapter of this question focuses mostly on linear functionals, same with norms.

T^t:U*→V* is the transpose mapping for T. If $\phi$ is a linear functional in U*, then T^t($\phi$)=$\phi \circ T$, thus T^t($\phi$)(v)=$\phi$(T(v)).

 

[zwierz]

-

 

[zwierz]

Suppose T:V→U is linear and u ∈ U. Prove that u ∈ I am T o

This is the same as to prove that if $u\notin \mathrm{Im}\,T$ then...
Prove that the space $U$ is decomposed as follows $U=\mathrm{Im}\,T\oplus\mathrm{span}\,\{u\}\oplus L.$