Complex Number - Generalizations and Related Notions

Generalizations and Related Notions

The process of extending the field R of reals to C is known as Cayley-Dickson construction. It can be carried further to higher dimensions, yielding the quaternions H and octonions O which (as a real vector space) are of dimension 4 and 8, respectively. However, with increasing dimension, the algebraic properties familiar from real and complex numbers vanish: the quaternions are only a skew field, i.e. x·yy·x for two quaternions, the multiplication of octonions fails (in addition to not being commutative) to be associative: (x·yzx·(y·z). However, all of these are normed division algebras over R. By Hurwitz's theorem they are the only ones. The next step in the Cayley-Dickson construction, the sedenions fail to have this structure.

The Cayley-Dickson construction is closely related to the regular representation of C, thought of as an R-algebra (an R-vector space with a multiplication), with respect to the basis 1, i. This means the following: the R-linear map

for some fixed complex number w can be represented by a 2×2 matrix (once a basis has been chosen). With respect to the basis 1, i, this matrix is


\begin{pmatrix} \operatorname{Re}(w) & -\operatorname{Im}(w) \\ \operatorname{Im}(w) & \;\; \operatorname{Re}(w)
\end{pmatrix}

i.e., the one mentioned in the section on matrix representation of complex numbers above. While this is a linear representation of C in the 2 × 2 real matrices, it is not the only one. Any matrix

has the property that its square is the negative of the identity matrix: J2 = −I. Then

is also isomorphic to the field C, and gives an alternative complex structure on R2. This is generalized by the notion of a linear complex structure.

Hypercomplex numbers also generalize R, C, H, and O. For example this notion contains the split-complex numbers, which are elements of the ring R/(x2 − 1) (as opposed to R/(x2 + 1)). In this ring, the equation a2 = 1 has four solutions.

The field R is the completion of Q, the field of rational numbers, with respect to the usual absolute value metric. Other choices of metrics on Q lead to the fields Qp of p-adic numbers (for any prime number p), which are thereby analogous to R. There are no other nontrivial ways of completing Q than R and Qp, by Ostrowski's theorem. The algebraic closure of Qp still carry a norm, but (unlike C) are not complete with respect to it. The completion of turns out to be algebraically closed. This field is called p-adic complex numbers by analogy.

The fields R and Qp and their finite field extensions, including C, are local fields.

Read more about this topic:  Complex Number

Famous quotes containing the words related and/or notions:

    So universal and widely related is any transcendent moral greatness, and so nearly identical with greatness everywhere and in every age,—as a pyramid contracts the nearer you approach its apex,—that, when I look over my commonplace-book of poetry, I find that the best of it is oftenest applicable, in part or wholly, to the case of Captain Brown.
    Henry David Thoreau (1817–1862)

    What is termed Sin is an essential element of progress. Without it the world would stagnate, or grow old, or become colourless. By its curiosity Sin increases the experience of the race. Through its intensified assertion of individualism it saves us from monotony of type. In its rejection of the current notions about morality, it is one with the higher ethics.
    Oscar Wilde (1854–1900)