Vector Spaces

#folder

Remark

For all intents and purposes, any theorem described with vector space can be looked at as for simplicity.

Abstract Vector Spaces

Apples are vectors
- Molino

What is a vector? Well it's not an apple. An arrow and a line? Something with direction, and magnitude? Turns out, you have to meet a certain set or criteria to actually be a vector. It's a pretty exclusive cult actually, kinda uncool.

We care, because when anyone makes some theorem or lemma, they need to be able use a certain set of agreed upon properties, so that the theorem works and can be applied to anything that's a vector.

So, a vector not an arrow and a line. It's just... anything that satisfies the following properties:

Definition

A set with an operation of addition, denoted , and an operation of scalar multiplication, denoted , is called a vector space over if for all and for all :

Property English
is closed under addition
addition is commutative
addition is associative
zero vector
additive inverse
is closed under scalar multiplication
scalar multiplication if associative
distributive law
distributive law
scalar multiplicative identity

Then the elements of are vectors.

Remark

Usually, "vector space" will only refer to real numbers, but technically, complex numbers are included too.

Well, since we have no idea what's real and what's not anymore, let's see what is vector.

Vectors are still vectors

and are vector spaces.

Functions are vectors

Try some of the properties on polynomials. For example, and (see Arithmetic with Polynomials).

Imagine that each coefficient of the polynomial is a vector component.

Discontinuous functions are not vectors

Consider the piecewise functions:

Both are discontinuous, but their sum: for every , which is continuous. Hence, they're not closed under addition.