Finite Vector Space

Learn the definition of finite vector space and verify its axioms using Python programs.

Definition

A vector space that has a finite number of elements is known as a finite vector space. Such a vector space is defined over a finite field.

Example

Consider a finite field F={0,1}F=\{0,1\} with an ++ operator that’s overloaded as (a+b)mod2(a+b)\mod 2. Also consider V={[00],[01],[10],[11]}V=\bigg\{ \begin{bmatrix}0\\0 ...