anhilators of vector spaces.

I am trying to prove that

$\displaystyle Ann(W_1+W_2)= Ann(W_1) \cap Ann (W_2)$

I have managed to prove one inclusion

$\displaystyle Ann(W_1) \cap Ann (W_2) \subset Ann(W_1+W_2)$

The fact that any function in these spaces is a linear transformation was really helpful however if doesn't seem to really help me on the reverse inclusion.

Let $\displaystyle f \in Ann(W_1+W_2)$

then $\displaystyle f(w_1+w_2) = 0 \; \forall w_1 \in W_1$ and $\displaystyle w_2 \in W_2$

since $\displaystyle f$ is a linear transformation: $\displaystyle f(w_1+w_2) = f(w_1)+f(w_2)$

thus $\displaystyle f(w_1)+f(w_2) = 0 \; \forall w_1 \in W_1 $ and $\displaystyle w_2 \in W_2$

I dont think this helps me. I can't necessarily say $\displaystyle f(w_1) = 0 \; \forall w_1 $and $\displaystyle f(w_2) = 0 \; \forall w_2$

What should I do from here? Is this the right path and I'm just not catching something?

Re: anhilators of vector spaces.

Quote:

Originally Posted by

**Jame** I am trying to prove that

$\displaystyle Ann(W_1+W_2)= Ann(W_1) \cap Ann (W_2)$

I have managed to prove one inclusion

$\displaystyle Ann(W_1) \cap Ann (W_2) \subset Ann(W_1+W_2)$

The fact that any function in these spaces is a linear transformation was really helpful however if doesn't seem to really help me on the reverse inclusion.

Let $\displaystyle f \in Ann(W_1+W_2)$

then $\displaystyle f(w_1+w_2) = 0 \; \forall w_1 \in W_1$ and $\displaystyle w_2 \in W_2$

since $\displaystyle f$ is a linear transformation: $\displaystyle f(w_1+w_2) = f(w_1)+f(w_2)$

thus $\displaystyle f(w_1)+f(w_2) = 0 \; \forall w_1 \in W_1 $ and $\displaystyle w_2 \in W_2$

I dont think this helps me. I can't necessarily say $\displaystyle f(w_1) = 0 \; \forall w_1 $and $\displaystyle f(w_2) = 0 \; \forall w_2$

What should I do from here? Is this the right path and I'm just not catching something?

Ok, so let $\displaystyle \varphi\in\text{Ann}(W_1+W_2)$ then we know that $\displaystyle \varphi(v)=0$ for all $\displaystyle v\in W_1+W_2$, right? But, isn't $\displaystyle W_1,W_2\leqslant W_1+W_2$?

Re: anhilators of vector spaces.

Oh i see

so

$\displaystyle f(w_1)+f(w_2) = 0 \; \forall w_1 \in W_1 $ and $\displaystyle w_2 \in W_2$

Particularly when $\displaystyle w_2 = 0$, and since f is an L.T., $\displaystyle f(0) = 0$

therefore $\displaystyle f(w_1) = 0 \; \forall w_1 \in W_1$

implies $\displaystyle f \in Ann(W_1)$

similarly for $\displaystyle W_2$

so $\displaystyle f \in Ann(W_1 \cap W_2)$

Thanks a lot!

Re: anhilators of vector spaces.

Sorry, I have another question having to do with this particular equality.

I've read you can use this to prove that

$\displaystyle Ann(W_1 \cap W_2) = Ann(W_1)+Ann(W_2)$

by asserting that they have the same dimension.

I have been playing around with this for the past hour or so. And haven't really gotten anywhere.

I've got

$\displaystyle dim(Ann(W_1 \cap W_2)) = dim V - dim(W_1 \cap W_2)$

but I have found no equalities that I could apply $\displaystyle Ann(W_1 + W_2) = Ann(W_1) \cap Ann(W_2)$ to.

Re: anhilators of vector spaces.

Quote:

Originally Posted by

**Jame** Sorry, I have another question having to do with this particular equality.

I've read you can use this to prove that

$\displaystyle Ann(W_1 \cap W_2) = Ann(W_1)+Ann(W_2)$

by asserting that they have the same dimension.

I have been playing around with this for the past hour or so. And haven't really gotten anywhere.

I've got

$\displaystyle dim(Ann(W_1 \cap W_2)) = dim V - dim(W_1 \cap W_2)$

but I have found no equalities that I could apply $\displaystyle Ann(W_1 + W_2) = Ann(W_1) \cap Ann(W_2)$ to.

Which part are you trying to prove. I think you've proven the dimension formula and are trying to see how to use it. Well, as I mentioned earlier it's trivial to prove that $\displaystyle \mathsf{Ann}(W_1)+\mathsf{Ann}(W_2)\subseteq \mathsf{Ann}(W_1\cap W_2)$ but since they have the same dimension, they must be equal. Is that what you;re after?

Re: anhilators of vector spaces.

Proving $\displaystyle Ann(W_1 \cap W_2) = Ann(W_1)+Ann(W_2)$

This is just an application if the equality in the very first post? How does this work?

Re: anhilators of vector spaces.

Quote:

Originally Posted by

**Jame** Proving $\displaystyle Ann(W_1 \cap W_2) = Ann(W_1)+Ann(W_2)$

This is just an application if the equality in the very first post? How does this work?

Ok, so $\displaystyle \dim\mathsf{Ann}(W_1\cap W_2)=n-\dim (W_1\cap W_2)$ where $\displaystyle W_1,W_2\leqslant V$ with $\displaystyle \dim V=n$. Then,

$\displaystyle \begin{aligned}\dim (\mathsf{Ann}(W_1)+\mathsf{Ann}(W_2))&=n-\dim(\mathsf{Ann}(\mathsf{Ann}(W_1)+\mathsf{Ann}(W _2)))\\ &=n-\dim(\mathsf{Ann}(\mathsf{Ann}(W_1))\cap\mathsf{An n}(\mathsf{Ann}(W_2))\\ &=n-\dim(W_1\cap W_2)\end{aligned}$

where I have used a slightly non-obvious fact (where, and how do you prove it). So, $\displaystyle \mathsf{Ann}(W_1\cap W_2)\cong\mathsf{Ann}(W_1)+\mathsf{Ann}(W_2)$ and since $\displaystyle \mathsf{Ann}(W_1)+\mathsf{Ann}(W_2)\subseteq\maths f{Ann}(W_1\cap W_2)$ since if [tex]\varphi,\psi[/atex] are in the left hand side and $\displaystyle v\in W_1\cap W_2$ then $\displaystyle (\varphi+\psi)(v)=\varphi(v)+\psi(v)=0$ etc. But, since they are isomorphic, containment is equivalent to equality.

Re: anhilators of vector spaces.

i'm trying to follow your reasoning, and it looks circular.

how does $\displaystyle \dim(\mathsf{Ann}(\mathsf{Ann}(W_1) + \mathsf{Ann}(W_2))) = \dim(\mathsf{Ann}(\mathsf{Ann}(W_1)) \cap \mathsf{Ann}(\mathsf{Ann}(W_2)))$

without first showing what we are trying to prove, namely:

$\displaystyle \dim(\mathsf{Ann}(W_1+W_2)) = \dim(\mathsf{Ann}(W_1)) \cap \mathsf{Ann}(W_2))$ ?

Re: anhilators of vector spaces.

Quote:

Originally Posted by

**Deveno** i'm trying to follow your reasoning, and it looks circular.

how does $\displaystyle \dim(\mathsf{Ann}(\mathsf{Ann}(W_1) + \mathsf{Ann}(W_2))) = \dim(\mathsf{Ann}(\mathsf{Ann}(W_1)) \cap \mathsf{Ann}(\mathsf{Ann}(W_2)))$

without first showing what we are trying to prove, namely:

$\displaystyle \dim(\mathsf{Ann}(W_1+W_2)) = \dim(\mathsf{Ann}(W_1)) \cap \mathsf{Ann}(W_2))$ ?

Perhaps I mixed up what we are trying to prove with what we're proving. But, we first proved (through the first three posts) that $\displaystyle \mathsf{Ann}(W_1+W_2)=\mathsf{Ann}(W_1)\cap\mathsf {Ann}(W_2)$ which is what I used. I'm tired and don't feel like making sure I didn't mix them up, which I did initially. So, if I did, which I don't think I did, feel free to do it up man.

Re: anhilators of vector spaces.

from the first 3 posts, we know that they are equal (the annihilator of the sum, and the intersection of the annihilators). so they have to have the same dimension.

(assuming, of course, that their dimension is finite).

i may be mistaken, but i am wondering if what the thread starter is asking is, can we show equality from a dimensional argument?

i think we can, but we're going to have to invoke a basis, at some point.

(was your "non-obvious" assertion $\displaystyle \mathsf{Ann}(\mathsf{Ann}(W)) = W$?)

Re: anhilators of vector spaces.

Quote:

Originally Posted by

**Deveno** from the first 3 posts, we know that they are equal (the annihilator of the sum, and the intersection of the annihilators). so they have to have the same dimension.

(assuming, of course, that their dimension is finite).

i may be mistaken, but i am wondering if what the thread starter is asking is, can we show equality from a dimensional argument?

i think we can, but we're going to have to invoke a basis, at some point.

Ok, now I wonder if you realize that he asked to prove a DIFFERENT equality than the one initially asked...I originally proved "the annihilator of a sum is the interesction of annihilators" and the post that you thought I had circular reasoning on I was proving "the sum of annihilators is the annihilator of the intersection" for which I used "the annihilator of a sum is the interesction of annihilators"

Re: anhilators of vector spaces.

ok, i got it. yes, the similarity DID confuse me. and in the case we're talking about:

Ann(W1+W2) = Ann(W1)∩Ann(W2) DOES imply Ann(W1∩W2) = Ann(W1)+Ann(W2)

for a moment, there, we were talking about our conversation, and i got "meta-lost".