In
operator theory
In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operat ...
, the Gelfand–Mazur theorem is a
theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of th ...
named after
Israel Gelfand
Israel Moiseevich Gelfand, also written Israïl Moyseyovich Gel'fand, or Izrail M. Gelfand ( yi, ישראל געלפֿאַנד, russian: Изра́иль Моисе́евич Гельфа́нд, uk, Ізраїль Мойсейович Гел ...
and
Stanisław Mazur
Stanisław Mieczysław Mazur (1 January 1905, Lwów – 5 November 1981, Warsaw) was a Polish mathematician and a member of the Polish Academy of Sciences.
Mazur made important contributions to geometrical methods in linear and nonlinear functio ...
which states that a
Banach algebra
In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers (or over a non-Archimedean complete normed field) that at the same time is also a Banach spa ...
with unit over the
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form ...
s in which every nonzero element is
invertible
In mathematics, the concept of an inverse element generalises the concepts of opposite () and reciprocal () of numbers.
Given an operation denoted here , and an identity element denoted , if , one says that is a left inverse of , and that is ...
is
isometrically isomorphic
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is ...
to the
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form ...
s, i. e., the only complex Banach algebra that is a
division algebra
In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division, except by zero, is always possible.
Definitions
Formally, we start with a non-zero algebra ''D'' over a fie ...
is the complex numbers C.
The theorem follows from the fact that the
spectrum
A spectrum (plural ''spectra'' or ''spectrums'') is a condition that is not limited to a specific set of values but can vary, without gaps, across a continuum. The word was first used scientifically in optics to describe the rainbow of colors i ...
of any element of a complex Banach algebra is nonempty: for every element ''a'' of a complex Banach algebra ''A'' there is some complex number ''λ'' such that ''λ''1 − ''a'' is not invertible. This is a consequence of the complex-analyticity of the
resolvent function. By assumption, ''λ''1 − ''a'' = 0. So ''a'' = ''λ · ''1. This gives an isomorphism from ''A'' to C.
The theorem can be strengthened to the claim that there are (up to isomorphism) exactly three real Banach division algebras: the field of reals R, the field of complex numbers C, and the division algebra of
quaternions
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quatern ...
H. This result was proved first by Stanisław Mazur alone, but it was published in France without a proof, when the author refused the editor's request to shorten his proof. Gelfand (independently) published a proof of the complex case a few years later.
References
*
*
{{DEFAULTSORT:Gelfand-Mazur Theorem
Banach algebras
Theorems in functional analysis