Skip to main content
Mathematics LibreTexts

5.2: Other Fields

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    Above, we defined vector spaces over the real numbers. One can actually define vector spaces over any field. This is referred to as choosing a different base field. A field is a collection of "numbers'' satisfying properties which are listed in appendix B. An example of a field is the complex numbers,

    \[\mathbb{C}= \left\{x+iy \mid i^{2}=-1, x,y\in \Re \right\}.\]

    Example \(\PageIndex{1}\):

    In quantum physics, vector spaces over \(\mathbb{C}\) describe all possible states a physical system of particles can have.
    For example,

    \[V= \left\{ \begin{pmatrix}\lambda \\ \mu\end{pmatrix} \mid \lambda, \mu \in \mathbb{C}\right\}\]

    is the set of possible states for an electron's spin. The vectors \(\begin{pmatrix}1 \\ 0\end{pmatrix}\) and \(\begin{pmatrix}0 \\ 1\end{pmatrix}\) describe, respectively, an electron with spin "up'' and "down'' along a given direction. Other vectors, like \(\begin{pmatrix}i \\ -i\end{pmatrix}\) are permissible, since the base field is the complex numbers. Such states represent a mixture of spin up and spin down for the given direction (a rather counterintuitive yet experimentally verifiable concept), but a given spin in some other direction.

    Complex numbers are very useful because of a special property that they enjoy: every polynomial over the complex numbers factors into a product of linear polynomials. For example, the polynomial $$x^{2}+1$$ doesn't factor over real numbers, but over complex numbers it factors into $$(x+i)(x-i)\, .$$ In other words, there are \(\textit{two}\) solutions to $$x^{2}=-1,$$
    \(x=i\) and \(x=-i\). This property ends has far-reaching consequences: often in mathematics problems that are very difficult using only real numbers, become relatively simple when working over the complex numbers. This phenomenon occurs when diagonalizing matrices, see chapter 13.

    The rational numbers \(\mathbb{Q}\) are also a field. This field is important in computer algebra: a real number given by an infinite string of numbers after the decimal point can't be stored by a computer. So instead rational approximations are used. Since the rationals are a field, the mathematics of vector spaces still apply to this special case.

    Another very useful field is bits
    B_2=\mathbb{Z}_2=\{0,1\}\, ,
    with the addition and multiplication rules

    These rules can be summarized by the relation \(2=0\). For bits, it follows that \(-1=1\)!

    The theory of fields is typically covered in a class on abstract algebra or Galois theory.


    This page titled 5.2: Other Fields is shared under a not declared license and was authored, remixed, and/or curated by David Cherney, Tom Denton, & Andrew Waldron.

    • Was this article helpful?