# Vector Space Axioms which fail certain matrices

gaborfk
Second week in Linear Algebra...

My homework involves of identifying all failing Vector Space Axioms for various sets of vector spaces. I did fine with a "regular" set like (x,y,z) which has an operation like k(x,y,z)=(kx,y,z). I have worked through all 10 of the axioms, comparing left sides with right sides to figure out which ones fail.

However, now I have to determine if three matrices fail any Vector Space Axioms. I have no clue on how to do matrices.

Here they are:

$$\left(\begin{array}{cc}a&1\\1&b\end{array}\right)$$

$$\left(\begin{array}{cc}a&0\\0&b\end{array}\right)$$

$$\left(\begin{array}{cc}a&a+b\\a+b&b\end{array}\right)$$

I would appreciate any step by step example of another matrix for like axiom 5 which has to do with finding the zero vector, 0+u=u+0=u where 0 is not zero, but a zero vector or for this instance, a zero matrix. I am not looking for a solution, but a method of solving these vector spaces.

Thank you very much

Last edited:

amcavoy
If I remember correctly, if the following three hold true, then the rest will as well:

1. For each $\vec{u},\vec{v}\in W$, $\vec{u}+\vec{v}\in W$.

2. For all $c\in\mathbb{R}$ and $\vec{u}\in W$, $c\vec{u}\in W$.

3. The vector space contains the zero vector.

Muzza
No, consider for example W = R^2 with the usual addition operator, but we define c * (x, y) = (x^2, y). It fails distributivity.

Homework Helper
First, I have a problem with the wording. It's not the axioms that "fail", its the set of matrices! Yes, you could say "which axioms fail to be true for this set of matrices" but I would prefer "which axioms does this set of matices fail to satisfy".

In any case- do the obvious. Write down all of the axioms for a vectors space, try each of you generic matrices in each and see which are true and which aren't.

For example, one axiom is "closure" of addition. If you add two matrices of the first kind given:
$$\left(\begin{array}{cc}a&1\\1&b\end{array}\right) + \left(\begin{array}{cc}c&1\\1&d\end{array}\right)$$
Is that still of the same form?

gaborfk
No it is not. It is in the form of

$$\left(\begin{array}{cc}x&2\\2&y\end{array}\right)$$

So that means it is open for addition and scalar multiplication...

However, how would I go about checking if there is a zero vector?

Thank you

amcavoy
Well, what happens when you plug in x=0, y=0? The constants remain, so what does that tell you?