A definition of %field name% vectors space
Topics
About: vectors space
The table of contents of this article
Starting Context
- The reader knows a definition of field.
- The reader knows a definition of set.
Target Context
- The reader will have a definition of %field name% vectors space.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Definition
Any set, \(V\), with any \(+\) (addition) operation and any \(.\) (scaler multiplication) operation with respect to any field, \(F\), that satisfies these conditions while any element of \(V\) is called 'vector': 1) for any elements, \(v_1, v_2 \in V\), \(v_1 + v_2 \in V\) (closed-ness under addition); 2) for any elements, \(v_1, v_2 \in V\), \(v_1 + v_2 = v_2 + v_1\) (commutativity of addition); 3) for any elements, \(v_1, v_2, v_3 \in V\), \((v_1 + v_2) + v_3 = v_1 + (v_2 + v_3)\) (associativity of additions); 4) there is a 0 element, \(0 \in V\), such that for any \(v \in V\), \(v + 0 = v\) (existence of 0 vector); 5) for any element, \(v \in V\), there is an inverse element, \(v' \in V\), such that \(v' + v = 0\) (existence of inverse vector); 6) for any element, \(v \in V\), and any scalar, \(r \in F\), \(r . v \in V\) (closed-ness under scalar multiplication); 7) for any element, \(v \in V\), and any scalars, \(r_1, r_2 \in F\), \((r_1 + r_2) . v = r_1 . v + r_2 . v\) (scalar multiplication distributability for scalars addition); 8) for any elements, \(v_1, v_2 \in V\), and any scalar, \(r \in F\), \(r . (v_1 + v_2) = r . v_1 + r . v_2\) (scalar multiplication distributability for vectors addition); 9) for any element, \(v \in V\), and any scalars, \(r_1, r_2 \in F\), \((r_1 r_2) . v = r_1 . (r_2 . v)\) (associativity of scalar multiplications); 10) for any element, \(v \in V\), \(1 . v = v\) (identity of 1 multiplication)
2: Note
\(.\) is often omitted in notations like \(r v\) instead of \(r . v\).
Any 'the real numbers field' vectors space and any 'the complex numbers field' vectors space are often called real vectors space and complex vectors space, respectively.
As any field is a ring, any vectors space is a module.
