3
$\begingroup$

Let $V$ be a vector space and $T$ a linear transformation from $V$ into $V$. Prove that following two statements about $T$ are equivalent.

$(a)$ The intersection of the range of $T$ and the null space of $T$ is the zero subspace of $V$.

$(b)$ If $T(T(\alpha))=0$, then $T(\alpha)=0$.

My attempt: $(a)\Rightarrow (b)$. Suppose $R_T\cap N_T=\{0_V\}$. If $T(T(\alpha))=0_V$, for some $\alpha \in V$, then $T(\alpha)\in N_T$. Since $T:V\to V$, we have $T(\alpha)\in R_T=T(V)$. Thus $T(\alpha)\in N_T \cap R_T=\{0_V\}$. Hence $T(\alpha)=0_V$.

$(a)\Leftarrow (b)$. Let $u\in R_T\cap N_T$. Then $u\in R_T$ and $u\in N_T$. So $\exists x\in V$ such that $T(x)=u$, and $T(u)=0_V$. Since $T(x)\in V$, we have $T(T(x))=T(u)=0_V$. By hypothesis, $T(x)=0_V=u$. Thus $u\in \{0_V\}$. Hence $N_T \cap R_T=\{0_V\}$.

Is my proof correct? In Proof we didn’t use $T$ is a linear map. Wait! Perhaps we did, because without linearity condition, $N_T$ could be empty and/or $N_T\cap \{0_V\}=R_T\cap \{0_V\}=\emptyset$. Am I right?

Edit: Comment by Arturo Magidin:

Linearity of $T$ is not strictly necessary: you just need the range and kernels to have a nonempty intersection (the result holds for group homomorphisms, for example). If you do not assume that they have a nonempty intersection, your second part proves that the intersection is contained in $\{0_V\}$ , and hence is either that single vector, or is empty.

$T$ is a linear map$\implies$$R_T \cap N_T \neq \emptyset$, since $0_V\in R_T \cap N_T$.

$\endgroup$
5
  • 1
    $\begingroup$ In condition b, the if part seems missing something. $If T(T(a))$...what? Is 0? $\endgroup$
    – Alan
    Commented Jul 10, 2022 at 17:09
  • $\begingroup$ @Alan ohhh yes. Thanks for pointing that out. $\endgroup$
    – user264745
    Commented Jul 10, 2022 at 17:10
  • 1
    $\begingroup$ The proof is correct (though I would strongly suggest not using greek letters for the elements of the vector space; greek letters are very often used to represent scalars). Linearity of $T$ is not strictly necessary: you just need the range and kernels to have a nonempty intersection (the result holds for group homomorphisms, for example). If you do not assume that they have a nonempty intersection, your second part proves that the intersection is contained in $\{\mathbf{0}_V\}$, and hence is either that single vector, or is empty. $\endgroup$ Commented Jul 10, 2022 at 17:10
  • $\begingroup$ @ArturoMagidin Thank you so much for the answer. $\endgroup$
    – user264745
    Commented Jul 10, 2022 at 17:17
  • $\begingroup$ @BrevanEllefsen Thank you so much for the answer. I’m not familiar with some notation and results in your answer. Hopefully in future I will learn them. $\endgroup$
    – user264745
    Commented Jul 10, 2022 at 18:39

1 Answer 1

1
$\begingroup$

Your proof is correct and reasoning also.

Where we use linearity of $T$ ?

•If $T$ is linear map then $T 0=0$ implies both $N_T $ and $R_T$ contains zero vector (both are non empty at least!) . That allows you to choose $u\in N_T \cap R_T$ .

$\endgroup$
1
  • 1
    $\begingroup$ Thank you so much for the answer. $\endgroup$
    – user264745
    Commented Jul 10, 2022 at 17:31

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .