User:SirMeowMeow/sandbox/Linear Algebra

Linear Algebra is the study of vector spaces and the maps which preserve the properties of vector spaces.

Field
A field is a set of elements upgraded with closed binary operators addition $$+$$ and multiplication $$\times$$, such that:

List
A list is a collection of elements ordered by the naturals, and a list with precisely $$n \in \mathbb{N}$$ elements is known as of length $$n$$. The set of all possible lists of $$n$$ elements drawn from a field $$\mathsf{F}$$ may be written $$\mathsf{F}^n$$. 