Real Analysis/Vectors

In mathematics, you may have gotten used to variables that represent functions, sets, or numbers. Although we have rigorously defined the nature of assigning variables with functions and, to a lesser extent, sets, and the associating operations one can do with them, we have not focused on how variables can represent numbers. Usually, we only imagine numbers simply not as only being one possible value (which the concept of plus-minus being the first way to openly question this concept), but also of only being "one element". Let us ask, "What if we can have more than one number in a variable and operate on that?" You arrive here, on the topic of vectors.

Definition
Let's suppose that you want to create a new system for these vectors. Given a variable v, you may first decide to create some new notation to indicate that this variable is a vector, separate from functions or numbers.


 * $$ or $$

Vectors, as not necessarily sets, are noted using round brackets. Each element in those brackets can have a number in it. The first thing to note is that this notation conflicts with Euclidean graphing coordinates, which are also represented using round brackets and numbers inside them. This is true! As you will see later in this page, there is a reason to this shared notation.

Operations
First, we must define some operation we can do with this definition, lest it becomes useless. Luckily, the standard operation for vectors is addition, a nice and simple operation. We can define vector addition between two vectors v and w in this manner

Addition
Why? When creating new definitions, we can make it whatever we want. Sure, this definition is simple, but it doesn't look that interesting, does it? That is true, our definition is not something interesting like $v + w = (v_{1} + w_{1}, v_{2} + w_{2})$, but that simple definition already contains familiar properties we commonly associate with addition.

The complete list of these properties are outlined below:

Luckily, because the definition of a vector relies on arithmetic that has already been defined, it means that our definition of vector addition can rely on no new axioms! Let's prove each property as true.

Proof
The first proof for Vector Addition is the property of association. This straightforward proof will rely on arithmetic addition.

For commutation, the proof is similar to the previous one.

For identity, the proof is similar to the previous one.