# Additive identity over linear transformation

• autre
T(0) is the additive inverse of T(0)T(0) = 0 because 0 is the additive identity of WIn summary, when given vector spaces V, W over a field, and a linear transformation T:V\rightarrow W, we can prove that T(0_{v})=0_{w} by using the definition of additive identity and the fact that the additive inverse of T(0) must exist. By manipulating the equation T(0) + (-T(0)) = T(0) + T(0) + (-T(0)), we can show that T(0) = 0, which is the additive identity of W.

#### autre

Given vector spaces V, W over a field, and linear transformation $T:V\rightarrow W$, prove $T(0_{v})=0_{w}$ where 0_v and 0_w are additive identities of V and W.

I'm trying to use the definition of additive identity. So, $\forall\vec{v}\in V,\vec{v}+0=\vec{v+0=0}$. Where do I go from here?

I don't really see why v + 0 = 0... unless v = 0.
However, you may want to look at v + (-v) = 0.

Woops, I meant $\forall\vec{v}\in V,\vec{v}+0=\vec{0+v=\vec{v}}.$ Not the additive inverse.

Yep, I guess you can use that as well.
You will still need the additive inverse at some point though (if not in V, then at least in W to show that T(v) - T(v) = 0W).

Here's a hint: Consider $T(0_v+0_v)$.

Would this line of reasoning work?

$T(0_{v})=T(0_{v}+0_{v})=T(0_{v}+\vec{v}-\vec{v}+0_{v})=T(0_{v}+\vec{v})-T(0_{v}+\vec{v})=T(\vec{v})-T(\vec{v})=\vec{w}-\vec{w}=0_{w}.$

That looks good to me! In fact you can make it even simpler If you want by noting $T(0_v)=T(0_v+0_v)=T(0_v) + T(0_v)$ which is only possible if $T(0_v)=?$

$T(0_{v})=0_{w}$, or the additive identity in W?

Exactly , it must be the zero of W.

autre said:
Would this line of reasoning work?

$T(0_{v})=T(0_{v}+0_{v})=T(0_{v}+\vec{v}-\vec{v}+0_{v})=T(0_{v}+\vec{v})-T(0_{v}+\vec{v})=T(\vec{v})-T(\vec{v})=\vec{w}-\vec{w}=0_{w}.$
It's correct, but you're using the following two results without proving them
• T(-x) is the additive inverse of T(x) for all x.
• -0=0
The first one is no more obvious than the statement you're trying to prove.

If you're going to use these results, there's no need to involve a new vector v. You could just write $$T(0)=T(0+0)=T(0+(-0))=T(0)+T(-0)=T(0)-T(0)=0.$$ I prefer the method Theorem suggested.

An alternative way to write it down is:
T(0) = T(0 + 0) = T(0) + T(0) because of linearity.
Now add the additive inverse of T(0) (whatever it is, but there must be one) to both sides, and you get
T(0) + (-T(0)) = T(0) + T(0) + (-T(0))
0 = T(0)