| Version 5 |
Version 4 |
| Let $\Lambda_N$ be the Grassmann algebra generated by $\theta^i$, $i = 1 \ldots N$, |
Let $\Lambda_N$ be the Grassmann algebra generated by $\theta^i$, $i = 1 \ldots N$, |
| such that $\theta^i\theta^j = -\theta^j\theta^i$ and $(\theta^i)^2 = 0$. |
such that $\theta^i\theta^j = -\theta^j\theta^i$ and $(\theta^i)^2 = 0$. |
| Denote by $\Lambda_\infty$, the case of an infinite number of generators $\theta^i$. |
Denote by $\Lambda_\infty$, the case of an infinite number of generators $\theta^i$. |
| A \defn{supernumber} is an element of $\Lambda_N$ or $\Lambda_\infty$. |
A \defn{supernumber} is an element of $\Lambda_N$ or $\Lambda_\infty$. |
|
|
| Any supernumber $z$ can be expressed uniquely in the form |
Any supernumber $z$ can be expressed uniquely in the form |
| \[ |
|
| z = z_0 + z_i \theta^i + \frac{1}{2} z_{ij} \theta^i\theta^j + \ldots |
z = z_0 + z_i \theta^i + \frac{1}{2} z_{ij} \theta^i\theta^j + \ldots |
| + \frac{1}{n!} z_{i_1 \ldots i_n} \theta^{i_1} \ldots \theta^{i_n} + \ldots, |
+ \frac{1}{n!} z_{i_1 \ldots i_n} \theta^{i_1} \ldots \theta^{i_n} + \ldots, |
| \] |
|
| where the coefficients $z_{i_1 \ldots i_n} \in \Cset$ are antisymmetric in their indices. |
where the coefficients $z_{i_1 \ldots i_n} \in \Cset$ are antisymmetric in their indices. |
| The \defn{body} of $z$ is defined as $z_\mathrm{B} = z_0$, |
The \defn{body} of $z$ is defined as $z_\mathrm{B} = z_0$, |
| and its \defn{soul} is defined as $z_\mathrm{S} = z-z_\mathrm{B}$. |
and its \defn{soul} is defined as $z_\mathrm{S} = z-z_\mathrm{B}$. |
| If $z_\mathrm{B} \neq 0$ then $z$ has an inverse given by |
|
| \[ |
|
| z^{-1} = \frac{1}{z_\mathrm{B}} \sum_{k=0} \left(-\frac{z_\mathrm{S}}{z_\mathrm{B}}\right)^k. |
|
| \] |
|
|
|
| A supernumber can be decomposed into the even and odd parts |
A supernumber can be decomposed into the even and odd parts |
| \begin{eqnarray*} |
\begin{eqnarray*} |
| z_\mathrm{even} & = & z_0 + \frac{1}{2} z_{ij} \theta^i\theta^j + \ldots |
z_\mathrm{even} & = & z_0 + \frac{1}{2} z_{ij} \theta^i\theta^j + \ldots |
|
+ \frac{1}{(2n)!} z_{i_1 \ldots i_{2n}} \theta^{i_1} \ldots \theta^{i_{2n}} + \ldots, \\
|
+ \frac{1}{(2n)!} z_{i_1 \ldots i_{2n}} \theta^{i_1} \ldots \theta^{i_{2n}} + \ldots \\
|
| z_\mathrm{odd} & = & z_i \theta^i + \frac{1}{6} z_{ijk} \theta^i\theta^j\theta^k + \ldots |
z_\mathrm{odd} & = & z_i \theta^i + \frac{1}{6} z_{ijk} \theta^i\theta^j\theta^k + \ldots |
|
+ \frac{1}{(2n+1)!} z_{i_1 \ldots i_{2n+1}} \theta^{i_1} \ldots \theta^{i_{2n+1}} + \ldots.
|
+ \frac{1}{(2n+1)!} z_{i_1 \ldots i_{2n+1}} \theta^{i_1} \ldots \theta^{i_{2n+1}} + \ldots |
| \end{eqnarray*} |
\end{eqnarray*} |
| Purely even supernumbers are called \defn{c-numbers}, |
Purely even supernumbers are called \defn{c-numbers}, |
| and odd supernumbers are called \defn{a-numbers}. |
and odd supernumbers are called \defn{a-numbers}. |
| The superalgebra $\Lambda_N$ thus has a decomposition |
The superalgebra $\Lambda_N$ thus has a decomposition |
| $\Lambda_N = \Cset_c \oplus \Cset_a$, |
$\Lambda_N = \Cset_c \oplus \Cset_a$, |
| where $\Cset_c$ is the space of c-numbers, and $\Cset_a$ is the space of a-numbers. |
where $\Cset_c$ is the space of c-numbers, and $\Cset_a$ is the space of a-numbers. |
|
|
| Supernumbers are the generalisation of complex numbers to a commutative superalgebra of commuting and anticommuting ``numbers". |
Supernumbers are the generalisation of complex numbers to a commutative superalgebra of commuting and anticommuting ``numbers". |
| They are primarily used in the description of fermionic fields in quantum field theory. |
They are primarily used in the description of fermionic fields in quantum field theory. |
