# Vector Space Axiom: Can this be done easier?

I think, in case it is wrong, I proved the the first vector space axiom for 3 x 3 magic squares; however, there has to be an easier way to do what I did.

This pdf has been removed. Go to page 2 of the discussion for an updated version.

I attached a pdf file due to I can create the document with work showing faster in Maple then using the latex feature here.

Last edited:

## Answers and Replies

vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
Your notation seems to be a bit messed up.

What exactly is the problem asking you, and what can you already assume is true or known? For instance, does the problem require you to verify all the axioms explicitly? Can you assume the properties of matrix addition and scalar multiplication are known, or do you need to prove them again? Can you assume it's known that the set of 3x3 matrices (with the usual operations) form a vector space?

I have to prove that all 3 x 3 magic square matrices form a vector space. I don't know of a way to generalize this without saying that the sum of all rows, columns, and 2 diagonals are equal. If I can find a way to represent it better, I would do that.

vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
What I'm getting at is that the proof could be relatively short if you can assume you know certain facts already. For example, do you really need to show A+B=B+A explicitly or can you just say you know it's true because it holds for all matrices? Also, there is another way of proving that the set is a vector space, but it relies on already knowing the set of 3x3 matrices (with the usual operations) form a vector space.

The instructions are particularly vague. It just says show it forms a vector space and find its basis.

Could it be reasonable to say that the set of all 3 x 3 magic square matrices is a subset of all 3 x 3 matrices and then just prove 2 axioms addition and scalar multiplication? That would simplify the work for the axioms but that wouldn't simplify my notation.

Mark44
Mentor
Could it be reasonable to say that the set of all 3 x 3 magic square matrices is a subset of all 3 x 3 matrices and then just prove 2 axioms addition and scalar multiplication? That would simplify the work for the axioms but that wouldn't simplify my notation.
That works for me.

Could it be reasonable to say that the set of all 3 x 3 magic square matrices is a subset of all 3 x 3 matrices and then just prove 2 axioms addition and scalar multiplication? That would simplify the work for the axioms but that wouldn't simplify my notation.

Yes - you know that the subspace inherits these properties from the larger structure. And I would imagine that the point of the exercise is to think about the specific properties of the subspace rather than prove simple vector space axioms for matrices.

So I could say let V be the set of all 3 x 3 matrices and S is a subspace of V where S is the set of all 3 x 3 magic square matrices?

Also, is there an easier way to write the set of all 3 x 3 magic square matrices in set notation w/ out the summations?

Yes, you can say that S is a subset of V (and you are trying to show that it is a subspace)

Does my set notation hold true then for all 3 x 3 magic squares? I wasn't entirely sure if the double summation part was correct.

vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
You have the right idea of how to define the set of magic squares; it's just your notation was kind of weird. You could just write the condition as:

$$\sum_{i=1}^3 x_{i1} = \sum_{i=1}^3 x_{i2} = \sum_{i=1}^3 x_{i3} = \sum_{i=1}^3 x_{1i} = \sum_{i=1}^3 x_{2i} = \sum_{i=1}^3 x_{3i} = \sum_{i=1}^3 x_{ii}$$

What about the diagonal from 31 to 22 to 13?

vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
What about the diagonal from 31 to 22 to 13?
Oh yeah, you could add a term like

$$\sum_{i=1}^3 x_{4-i,i}$$

or just write it out explicitly, $x_{31}+x_{22}+x_{13}$

I am not sure where to start on identifying the basis. Would I say c1....cn times each summation = 0? But then I am confused from there.

Hurkyl
Staff Emeritus
Science Advisor
Gold Member
How do you normally find a basis for the solution set to a system of linear equations?

I noted that above but I forget to say + each consecutive one(c1...cn multiplied by each summation and then added together = 0). If you are confused on why summation is there, that is due to not viewing the pdf. With how this appears, it becomes difficult to proceed from there though.

Which allows one to find the N(A); thus, identifying the minimal span which is the basis.

I just changed out the previous pdf due to an error.

vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
You need to go back and fix your proofs. There are two major problems. First, you're not proving the right thing. Second, the way you wrote it out is an abuse of notation.

How should they be changed?

vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
First, what are the two things you're trying to show?

Second, what are the elements of S, and do you see why something like

$$\sum_{i=1}^3 x_{i3} \in S$$

doesn't make sense?

That was applying to all the summations in A + B = B + A. After showing they were commutative, I was saying this exist in S.

vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
Again, what are the elements of S? Are they summations? And what do you need to show to prove S is a subspace? (Commutativity isn't one of them.)

The elements are matrices but they are special matrices. I need to show x + y exist in S