MHB Kernel on linear transformation proof

Cristian1
Messages
3
Reaction score
0
hi guys :D

im having trouble with this proof, any hints?

let V be a vector space over a field F and let T1, T2: V--->V be linear transformations

prove that
 

Attachments

  • kernel.jpg
    kernel.jpg
    3.8 KB · Views: 94
Physics news on Phys.org
Hi Cristian,

If $$v\in \text{ker}(T_{1})\cap\text{ker}(T_{2}),$$

then what can we say about $$T_{1}(v)$$ and $$T_{2}(v)$$? With this question answered, we then look at

$$(T_{1}+T_{2})(v)=T_{1}(v)+T_{2}(v)=\ldots$$

I'm trying to give you a few hints so you can fill in the gaps on your own. Let me know if you're still confused/unclear on something.
 
thank you!
I see the point but don't see clearly the difference between the zero of the intersection and the zero of the sum
 
I will try to address what I think may be the confusion; if I have misunderstood you, just let me know.

My understanding of your question is that there is a perceived difference in the zero of the intersection and the zero of the sum. This is not the case: there is a single vector space, $$V,$$ and only one zero element of $$V.$$

What we are trying to show is ultimately set-theoretic in nature: we want to show that if an element $$v\in\bigcap_{i=1}^{n}\text{ker}(T_{i}),$$ then $$v\in \text{ker}\left(\sum_{i=1}^{n}T_{i} \right).$$ Let's break down what all this means:

To say that a vector belongs to the kernel of a linear transformation means that the linear transformation sends that vector to zero. So, by assuming $$v\in\bigcap_{i=1}^{n}\text{ker}(T_{i})$$ we are saying that $$v$$ makes all of the linear transformations zero; i.e.

$$T_{1}(v)=0,~ T_{2}(v)=0,\ldots, T_{n}(v)=0$$

In each case above the zero is the zero element of $$V,$$ they are not different zeros. Now, to show that $$v\in \text{ker}\left(\sum_{i=1}^{n}T_{i} \right),$$ we must show that when we plug $$v$$ into the function/linear transformation $$\sum_{i=1}^{n}T_{i}$$ we still get zero. For this we compute:

$$\left( \sum_{i=1}^{n}T_{i}\right)(v)=\sum_{i=1}^{n}T_{i}(v)=T_{1}(v)+T_{2}(v)+\ldots+T_{n}(v)=0+0+\ldots+0=0$$

Hence, $$v\in\text{ker}\left(\sum_{i=1}^{n}T_{i} \right).$$ Since $$v\in\bigcap_{i=1}^{n}\text{ker}(T_{i})$$ was arbitrary, the proof is finished.

Let's take an example to help us along. Let our vector space be

$$V=\mathbb{R}^{3}=\left\{\begin{bmatrix}x\\ y\\ z \end{bmatrix}: x, \, y, \, z\in\mathbb{R} \right\}$$

and our linear transformations $$T_{1}$$ & $$T_{2}$$ be given by

$$T_{1}\left(\begin{bmatrix}x\\y\\z \end{bmatrix} \right)=\begin{bmatrix}0\\y\\0 \end{bmatrix}$$

and

$$T_{2}\left(\begin{bmatrix}x\\y\\z \end{bmatrix} \right)=\begin{bmatrix}x\\0\\0 \end{bmatrix}$$

The zero element in this example is $$\begin{bmatrix}0\\0\\0\end{bmatrix}$$

Notice that $$T_{1}\left(\begin{bmatrix}x\\y\\z \end{bmatrix} \right)=\begin{bmatrix}0\\0\\0\end{bmatrix}$$

if and only if $$y=0.$$ Hence, $$\text{ker}(T_{1})=xz$$ plane. Similarly, $$\text{ker}(T_{2})=yz$$ plane. The intersection of these two kernels is the entire $$z$$ axis; i.e.

$$\bigcap_{i=1}^{2}\text{ker}(T_{i})=\left\{\begin{bmatrix}0\\0\\z \end{bmatrix}: z\in\mathbb{R} \right\}$$

(Drawing a picture of the two planes to see that their intersection is the $$z$$ axis may be helpful)

Now, if we wish to demonstrate the general proof you're working on in this example, we take an element $$\begin{bmatrix}0\\0\\z\end{bmatrix}\in \bigcap_{i=1}^{2}\text{ker}(T_{i})$$ and compute using the definitions of $$T_{1}$$ & $$T_{2}$$

$$\left(T_{1}+T_{2}\right)\left(\begin{bmatrix}0\\0\\z\end{bmatrix} \right)=T_{1}\left(\begin{bmatrix}0\\0\\z\end{bmatrix} \right)+T_{2}\left(\begin{bmatrix}0\\0\\z\end{bmatrix} \right)=\begin{bmatrix}0\\0\\0 \end{bmatrix} + \begin{bmatrix}0\\0\\0 \end{bmatrix} = \begin{bmatrix}0\\0\\0 \end{bmatrix}
$$

Hence, $$\begin{bmatrix}0\\0\\z\end{bmatrix}\in\text{ker}\left(\sum_{i=1}^{2}T_{i} \right)$$ as well. Thus, for this specific example,

$$\bigcap_{i=1}^{2}\text{ker}(T_{i})\subseteq \text{ker}\left(\sum_{i=1}^{2}T_{i} \right),$$

as it should be from your general exercise.

This is a long post, but I hope I have understood and addressed your concern. Let me know if anything is unclear/not quite right.
 
thank you very much! :)
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top