A vector space is a set with certain properties. What is a set?
A set is a collection of elements. For example, we can say, “the set of students in this room”, where each student would be an element of this set. Or we can say, “the set of possible outcomes of tossing a coin”, then it would contain two elements .
The real number is a set . It is an infinite set, meaning it contains infinitely many elements.
The rational number is a set . It is also infinite. But it is countable, meaning, we can have a bijection between the natural number , or we can a way of list all the elements in (for example, we can enumerate them according to the size of the denominators
If we are given two sets, denoted as and , we can define their Cartesian product, this is another set, defined as It consist of all possible pairs in and . If and are finite sets, then is a finite, and , where means the number of elements in , or 'size' of .
We can form consecutive products, like . It is obvious that , hence we will sometimes omit the parenthesis, and simply write .
We write and similarly as Cartesian product of copies of .
If are two sets, a map from to is an assignment, that for each , we assign an element . This is denoted as .
A real valued function on , is a map .