Vector Space

Dependencies:

  1. Group
  2. Field

A vector space $V$ over a field $F$ is a set with a vector addition operation ($V \times V \mapsto V$) and a scalar multiplication operation ($F \times V \mapsto V$) that satisfies all of these axioms:

  1. $(V, +)$ is a commutative group.
  2. Scalar associativity: $\forall a \in F, \forall b \in F, \forall v \in V, a(bv) = (ab)v$.
  3. Distributivity: $\forall a \in F, \forall b \in F, \forall v \in V, (a+b)v = (av + bv)$.
  4. Distributivity: $\forall a \in F, \forall u \in V, \forall v \in V, a(u+v) = (au + av)$.
  5. Unit scalar: $\forall v \in V, 1v = v$.

The elements of $V$ are called vectors. The elements of $F$ are called scalars.

Two examples of vector spaces are $F$ and ${\mathbf{0}}$ (it is trivial to prove that they are vector spaces).

Dependency for:

  1. Convex function
  2. Matrices over a field form a vector space
  3. Row space
  4. Linear transformation
  5. Span
  6. Linearly independent set is not bigger than a span
  7. Condition for being a subspace
  8. Linear independence
  9. Negation in vector space
  10. Incrementing a linearly independent set
  11. Affine independence (incomplete)
  12. span(A)=span(B) & |A|=|B| & A is linindep ⟹ B is linindep
  13. Decrementing a span
  14. Zeros in vector space
  15. Dimension of a set of vectors
  16. Basis of a vector space
  17. Basis of F^n
  18. Inner product space
  19. Vector matroid
  20. Linearity of expectation
  21. Expected value of a random variable
  22. Convex combination and convex hull
  23. Cone
  24. Convex set

Info:

Transitive dependencies:

  1. Group
  2. Ring
  3. Field