definition of free vectors space on set
Topics
About: vectors space
The table of contents of this article
Starting Context
- The reader knows a definition of %field name% vectors space.
Target Context
- The reader will have a definition of free vectors space on set.
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: Structured Description
Here is the rules of Structured Description.
Entities:
//
Conditions:
//
2: Note
The 1st "
An
The operations are indeed well-defined:
Let us see that
1) for any elements,
2) for any elements,
3) for any elements,
4) there is a 0 element,
5) for any element,
6) for any element,
7) for any element,
8) for any elements,
9) for any element,
10) for any element,
For each
We need to be careful when
We will adopt the notation that for each