# Dual space problem

• Sep 8th 2007, 07:15 PM
kezman
Dual space problem
Let $\displaystyle f: V \to V$ endomorphism of a vector space $\displaystyle V$of $\displaystyle dim = n$.Show that $\displaystyle f$ has no trivial null space iff $\displaystyle f^t$ has no trivial null space
• Sep 8th 2007, 07:18 PM
ThePerfectHacker
Quote:

Originally Posted by kezman
Let $\displaystyle f: V \to V$ endomorphism of a vector space $\displaystyle V$of $\displaystyle dim = n$.Show that $\displaystyle f$ has no trivial null space iff $\displaystyle f^t$ has no trivial null space

That does it means f^t ?
• Sep 8th 2007, 07:29 PM
kezman
Transpose of f
• Sep 8th 2007, 08:29 PM
ThePerfectHacker
Quote:

Originally Posted by kezman
Let $\displaystyle f: V \to V$ endomorphism of a vector space $\displaystyle V$of $\displaystyle dim = n$.Show that $\displaystyle f$ has no trivial null space iff $\displaystyle f^t$ has no trivial null space

I am not sure how "transpose" is defined for non-Euclidean linear transformations. But if V is an Euclidean space then $\displaystyle f:V\mapsto V$ can be tought as $\displaystyle f(\bold{x})=A\bold{x}$ where $\displaystyle A$ is a square matrix. Since this endomorphism has no trivial null space, i.e. $\displaystyle A\bold{x} = 0$ has non-trivial solutions it means $\displaystyle \det (A) = 0$. But since $\displaystyle \det (A^T) = \det(A)=0$ it means $\displaystyle A^T \bold{x}=0$ has non-trivial solutions. And so $\displaystyle f^T$ has the property mentioned.
• Sep 9th 2007, 09:57 AM
kezman
Let $\displaystyle V, W$ K-vector spaces and let $\displaystyle f : V \to W$ linear transf.
The function $\displaystyle f^t : W^* \to V^*$is defined:
$\displaystyle f^t( \psi) = \psi o f \forall \psi \in W^*$
• Sep 12th 2007, 10:20 PM
Rebesques
Suppose $\displaystyle Ker(f)$ is non-trivial: there exists some $\displaystyle 0\neq v\in V$ such that $\displaystyle f(v)=0$. We are to find a nonzero functional $\displaystyle v^*\in V^*$ such that $\displaystyle f^t(v^*)=0$; Let $\displaystyle v^*\in V^*$ be the length of the projection on $\displaystyle V-Ker(f)$ (well defined). Then for all $\displaystyle v'\in V$, we have $\displaystyle v^* (f(v'))= f^t (v^*) (v')=0$ or $\displaystyle f^t(v^*)=0$ identically. So $\displaystyle 0\neq v^*\in Ker(f^t)$ and $\displaystyle Ker(f^t)$ is non-trivial.

For the converse, interchange between $\displaystyle f$ and $\displaystyle f^t$.