By definition, a real vector space is a non-empty set (it is true for Mn(R) ) equipped with operations of addition and multiplication with a real number which satisfy the following axioms:
- ∀A,B∈Mn(R)A+B=B+A ( it is true for arbitrary matrices)
- ∀A,B,C∈Mn(R)(A+B)+C=A+(B+C) (it is true for arbitrary matrices)
- ∃θ∈Mn(R):∀A∈Mn(R)A+θ=θ+A=A (it is true because the zero matrix is a symmetric matrix)
- ∀A∈Mn(R)∃(−A)∈Mn(R):A+(−A)=(−A)+A=θ (it follows from the matrix transposition properties)
- ∃I∈Mn(R):∀A∈Mn(R)I⋅A=A (it is true because the identical matrix is a symmetric matrix)
- ∀α,β∈R,∀A∈Mn(R)(α⋅β)⋅A=α⋅(β⋅A) (it follows from the matrix multiplication with scalar properies)
- ∀α∈R,∀A,B∈Mn(R)α⋅(A+B)==α⋅A+α⋅B (it follows from the matrix multiplication with scalar properties)
- ∀α,β∈R,∀A∈Mn(R)(α+β)⋅A==α⋅A+β⋅A (it follows from the matrix multiplication with scalar properties)
Thus, Mn(R) is a real vector space.
Comments