User:KawaiiAmber/sandbox

Taken from the draft I wrote on ratwiki: In simplest terms, a vector is a mathematical construct that has the ability to be scaled and added to other vectors; Euclidean vectors have a direction and length and is drawn as an arrow. An abstract vector is an element of a vector space. That is, vectors are objects that are able to be scaled and added together in special ways. The adding of vectors is commutative and associative, meaning that the order and grouping of the addition of vectors does not matter. Furthermore, the nature in which the vectors are scaled is compatible with field multiplication; this means that scaling a vector by a factor of $$a$$ then scaling it by a factor of $$b$$ is the same as scaling the vector by a factor of $$ab$$. Every vector has an "opposite" vector for addition. That is, when a vector and it's "opposite" vector are added, the resultant sum is the zero vector. Finally, the zero vector is a vector that does not affect other vectors under vector addition. Vectors are a specific kind of the more general tensor.

Vector space
A vector space is any object $$V$$ that is a set over a field $$\mathbb{F}$$ in which there is vector addition defined, scalar multiplication defined, and meets the eight axioms of a vector space. Vector addition $$+:V\times V\to V$$, takes two elements in $$V$$ and assigns them to another another element in $$V$$. Scalar multiplication $$\cdot :\mathbb{F}\times V\to V$$, takes an arbitrary number in $$\mathbb{F}$$ and element of $$V$$ then assigns them to another element of $$V$$. The eight axioms of a vector space are: Elements in $$V$$ are referred to as vectors and elements in $$\mathbb{F}$$ are typically called scalars.
 * 1) There exists an additive identity element in $$V$$; $$\exists I\in V:\forall v\in V,v+I=I+v=v$$
 * 2) There exists a multiplicative identity scalar in $$\mathbb{F}$$; $$\exists J\in \mathbb{F}:\forall v\in V,J\cdot v=v\cdot J=v$$
 * 3) There exists an additive inverse for every element in $$V$$; $$\forall v\in V,\exists v^{-1}:v+v^{-1}=v^{-1}+v=I$$
 * 4) The vector addition operation is commutative; $$\forall u,v\in V, u+v=v+u$$
 * 5) The vector addition operation is associative; $$\forall u,v,w\in V, \left(u+v\right)+w=u+\left(v+w\right)$$
 * 6) The scalar multiplication operation $$\cdot$$ and field multiplication in $$\mathbb{F}$$ are compatible; $$\forall v\in V\forall a,b\in \mathbb{F}, a\cdot\left(b\cdot v\right)=\left(ab\right)\cdot v$$
 * 7) Scalar multiplication $$\cdot$$ is distributive over vector addition $$+$$; $$\forall u,v\in V\forall a\in \mathbb{F}, a\left(u+v\right)=au+av$$
 * 8) Scalar multiplication $$\cdot$$ is distributive over field addition in $$\mathbb{F}$$; $$\forall v\in V\forall a,b\in \mathbb{F}, \left(a+b\right)v=av+bv$$

Vector subspace
An object $$W$$ is a vector subspace of a vector space $$V$$ over field $$\mathbb{F}$$ if under the operations of $$V$$, $$W$$ is a vector space over $$\mathbb{F}$$. Equivalently, $$W$$ is a vector subspace of the vector space $$V$$ over field $$\mathbb{F}$$ if for every $$w_1,w_2\in W$$ and $$\alpha ,\beta\in \mathbb{F}$$ implies that $$\alpha w_1 + \beta w_2\in W$$. A subspace is nonempty, contains the zero vector, and is closed under vector addition and scalar multiplication. Every vector space is a vector subspace of itself. This is useful as it is sometimes a lot faster to show that $$V$$ is a vector space via showing that it is a vector subspace of itself rather than showing the entire eight axioms of a vector space. This works as every vector subspace is clearly itself a vector space. If $$W$$ is a vector subspace of $$V$$, some authors denote this as $$W\leqslant V$$.

Dual vector space
Given a vector space $$V$$ over field $$\mathbb{F}$$, the dual vector space of $$V$$, denoted $$V^{*}$$, is the collection of all linear mappings $$\varphi :V\to \mathbb{F}$$.

Example use of dual vector space in spacetime
Consider a vector space $$V$$ and its dual space $$V^*$$. One can describe spacetime by a tensor in $$V^*\otimes V^*$$ (two co-variant indices) over a four-dimensional differentiable manifold $$M$$. This captures the idea of the metric tensor, $$g_{\mu\nu}$$ in Einstein's field equations: $$R_{\mu\nu}-\tfrac{1}{2}Rg_{\mu\nu}+\Lambda g_{\mu\nu}=\frac{8\pi G}{c^4}T_{\mu\nu}$$. The dual space represents the two co-variant indices of the metric tensor. This abstract dual space finds use in describing gravity.

Euclidean vector
A Euclidean vector is an object that has both magnitude and direction. This definition of a "vector" may be more quick and intuitive for many applicable uses of vectors such as physics, geometry, et cetera. Its use may be attributed to the fact that Euclidean vectors may be thought of as arrows and form an elementary basis for subjects such as vector calculus. As for formal definitions of a Euclidean vector, there are many, but all capture the idea of a Euclidean vector encoding the idea of distance in some way. There will be both abstract and more applied definitions listed.

Definition using the inner product
A Euclidean vector is a member of a Euclidean vector space. A Euclidean vector space is a vector space that is paired with an inner product between vectors that captures distance and meets four axioms. A Euclidean vector space is a finite-dimensional vector space $$V$$ over the field of the real numbers $$\mathbb{R}$$ with an inner product operation $$\langle\cdot ,\cdot\rangle:V\times V\to\mathbb{R}$$ that meets four axioms : $$\vec{0}$$ represents the additive identity vector (zero vector) in the vector space.
 * 1) $$\forall u,v\in V,\langle u,v\rangle=\langle v,u\rangle$$
 * 2) $$\forall u,v,w\in V,\langle u+v,w\rangle=\langle u,w\rangle+\langle v,w\rangle$$
 * 3) $$\forall u,v\in V\forall a\in\mathbb{R},\langle au,v\rangle=a\langle u,v\rangle$$
 * 4) $$\forall v\in V,\langle v,v\rangle\geq 0$$ and $$\langle v,v\rangle=0\iff v=\vec{0}$$

Definition by orthonormal basis vectors
A Euclidean vector is a linear combination of orthonormal vectors. Orthonormal vectors are vectors that are orthogonal to each other and have unit length. Two vectors, $$u$$ and $$v$$, are orthogonal if their inner product is zero: $$\langle u,v\rangle=0$$. If one were to take the orthogonal vectors $$u$$ and $$v$$ and divide them both by their respective magnitudes, $$\frac{u}{\left| u\right|}$$ and $$\frac{v}{\left| v\right|}$$, the vectors $$u$$ and $$v$$ are orthonormal vectors. Given a set of orthonormal vectors $$\left\{ e_1,e_2,\cdots ,e_n\right\}$$, a linear combination of these vectors is of the form: $$a_1e_1+a_2e_2+\cdots +a_ne_n$$ where $$a_1,a_2,\cdots ,a_n$$ are real numbers. Using sum notation, a Euclidean vector is of the form: $$\sum\limits_{i=1}^{n}\! a_ie_i$$. Equivalently in Einstein sum notation, a Euclidean vector is of the form: $$a^ie_i$$. The sum index is a superscript on $$a$$ in this sum notation to indicate that it's a contra-variant index.

Definition using cartesian products
A Euclidean vector is a member of a cartesian product over the reals. Let $$V$$ be a set defined by: $$\prod_{i=1}^{n}\!\mathbb{R} = \underbrace{\mathbb{R}\times\mathbb{R}\times\cdots\times\mathbb{R}}_n$$; a member of such a set may be called an n-dimensional Euclidean vector.

The empty set
The empty set, $$\emptyset$$, is not a vector space as, since it contains no elements, it doesn't contain an additive identity element or multiplicative identity element. Thus, by definition of a vector, in order for an object to be a vector, the object has to exist ("nothingness" is not a vector).