Namespaces
Variants
Actions

Difference between revisions of "Imaginary number"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
A number of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i0501601.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i0501602.png" /> is the imaginary unit, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i0501603.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i0501604.png" /> are real numbers and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i0501605.png" />, that is, a [[Complex number|complex number]] which is not real; an imaginary number of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i0501606.png" /> is called purely imaginary (sometimes only these numbers are called imaginary).
+
{{TEX|done}}
 +
A number of the form $x+iy$, where $i$ is the imaginary unit, $x$ and $y$ are real numbers and $y\neq0$, that is, a [[Complex number|complex number]] which is not real; an imaginary number of the form $iy$ is called purely imaginary (sometimes only these numbers are called imaginary).
  
 
====Comments====
 
====Comments====
 
Usually the phrases  "imaginary number"  and  "complex number"  just mean the same,  "imaginary"  being the historically chosen word and  "complex"  being more accepted nowadays.
 
Usually the phrases  "imaginary number"  and  "complex number"  just mean the same,  "imaginary"  being the historically chosen word and  "complex"  being more accepted nowadays.
  
Mathematicians were first confronted with imaginary numbers in the first decades of the 16th century. In the course of solving the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i0501607.png" /> using the newly discovered methods (S. del Ferro (1465–1526), B. Tartaglia (1499–1557)) the number 4 appeared in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i0501608.png" />. It was R. Bombelli (1526–1572) who dared to operate with roots of negative numbers just as with  "ordinary numbers" . Nevertheless, it was not until the first decades of the 17th century that these so-called  "quantitates sophistacae"  were more or less accepted, though reluctantly. Even R. Descartes (1596–1650) did not accept them as genuine numbers, but only as  "mental buildings" . During the 18th century these numbers gained more ground, mainly owing to the contributions of L. Euler (1707–1783), who also introduced the letter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i0501609.png" /> to denote <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016010.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016011.png" /> for imaginary). The use of the letter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016012.png" /> in this connotation was adopted by C.F. Gauss (1777–1855). Around 1800 several mathematicians, including J.R. Argand (1768–1822) and C. Wessel (1745–1818), gave geometrical interpretations of imaginary numbers. A. Girard (1595–1632) had already worked along the same lines. The best known result is the so-called Argand diagram, in which an imaginary number is represented by its modulus and argument (cf. [[Complex number|Complex number]], vector interpretation).
+
Mathematicians were first confronted with imaginary numbers in the first decades of the 16th century. In the course of solving the equation $x^3=15x+4$ using the newly discovered methods (S. del Ferro (1465–1526), B. Tartaglia (1499–1557)) the number 4 appeared in the form $(2+\sqrt{-121})^{1/3}+(2-\sqrt{-121})^{1/3}$. It was R. Bombelli (1526–1572) who dared to operate with roots of negative numbers just as with  "ordinary numbers" . Nevertheless, it was not until the first decades of the 17th century that these so-called  "quantitates sophistacae"  were more or less accepted, though reluctantly. Even R. Descartes (1596–1650) did not accept them as genuine numbers, but only as  "mental buildings". During the 18th century these numbers gained more ground, mainly owing to the contributions of L. Euler (1707–1783), who also introduced the letter $i$ to denote $\sqrt{-1}$ ($i$ for imaginary). The use of the letter $i$ in this connotation was adopted by C.F. Gauss (1777–1855). Around 1800 several mathematicians, including J.R. Argand (1768–1822) and C. Wessel (1745–1818), gave geometrical interpretations of imaginary numbers. A. Girard (1595–1632) had already worked along the same lines. The best known result is the so-called Argand diagram, in which an imaginary number is represented by its modulus and argument (cf. [[Complex number|Complex number]], vector interpretation).
  
W.R. Hamilton (1805–1865) introduced imaginary numbers more algebraically as pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016013.png" /> of real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016015.png" />, and defined operations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016017.png" /> as follows:
+
W.R. Hamilton (1805–1865) introduced imaginary numbers more algebraically as pairs $(a,b)$ of real numbers $a$ and $b$, and defined operations $+$ and $\cdot$ as follows:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016018.png" /></td> </tr></table>
+
$$(a,b)+(c,d)=(a+c,b+d),$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016019.png" /></td> </tr></table>
+
$$(a,b)\cdot(c,d)=(ac-bd,ad+bc).$$
  
From these definitions the well-known computation rules for imaginary numbers are derived; it turns out that they form a [[Field|field]] with these operations (denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016020.png" />). It can be proved that the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016021.png" /> of real numbers can be isomorphically imbedded in this field of complex numbers, whereby the real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016022.png" /> corresponds to the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016023.png" />. In agreement with the multiplication rule: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016024.png" />, the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016025.png" /> may be identified with the [[Imaginary unit|imaginary unit]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016026.png" />. So it follows that the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016027.png" /> can be written as
+
From these definitions the well-known computation rules for imaginary numbers are derived; it turns out that they form a [[Field|field]] with these operations (denoted by $\mathbf C$). It can be proved that the field $\mathbf R$ of real numbers can be isomorphically imbedded in this field of complex numbers, whereby the real number $a$ corresponds to the pair $(a,0)$. In agreement with the multiplication rule: $(0,1)\cdot(0,1)=(-1,0)$, the pair $(0,1)$ may be identified with the [[Imaginary unit|imaginary unit]] $i$. So it follows that the pair $(a,b)$ can be written as
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016028.png" /></td> </tr></table>
+
$$(a,b)=(a,0)+(0,b)=(a,0)+(b,0)\cdot(0,1),$$
  
which is also written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016029.png" />. The intuitive way of working with numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050160/i05016030.png" /> is thus given a sound basis.
+
which is also written as $a+bi$. The intuitive way of working with numbers $a+bi$ is thus given a sound basis.

Revision as of 08:54, 3 October 2014

A number of the form $x+iy$, where $i$ is the imaginary unit, $x$ and $y$ are real numbers and $y\neq0$, that is, a complex number which is not real; an imaginary number of the form $iy$ is called purely imaginary (sometimes only these numbers are called imaginary).

Comments

Usually the phrases "imaginary number" and "complex number" just mean the same, "imaginary" being the historically chosen word and "complex" being more accepted nowadays.

Mathematicians were first confronted with imaginary numbers in the first decades of the 16th century. In the course of solving the equation $x^3=15x+4$ using the newly discovered methods (S. del Ferro (1465–1526), B. Tartaglia (1499–1557)) the number 4 appeared in the form $(2+\sqrt{-121})^{1/3}+(2-\sqrt{-121})^{1/3}$. It was R. Bombelli (1526–1572) who dared to operate with roots of negative numbers just as with "ordinary numbers" . Nevertheless, it was not until the first decades of the 17th century that these so-called "quantitates sophistacae" were more or less accepted, though reluctantly. Even R. Descartes (1596–1650) did not accept them as genuine numbers, but only as "mental buildings". During the 18th century these numbers gained more ground, mainly owing to the contributions of L. Euler (1707–1783), who also introduced the letter $i$ to denote $\sqrt{-1}$ ($i$ for imaginary). The use of the letter $i$ in this connotation was adopted by C.F. Gauss (1777–1855). Around 1800 several mathematicians, including J.R. Argand (1768–1822) and C. Wessel (1745–1818), gave geometrical interpretations of imaginary numbers. A. Girard (1595–1632) had already worked along the same lines. The best known result is the so-called Argand diagram, in which an imaginary number is represented by its modulus and argument (cf. Complex number, vector interpretation).

W.R. Hamilton (1805–1865) introduced imaginary numbers more algebraically as pairs $(a,b)$ of real numbers $a$ and $b$, and defined operations $+$ and $\cdot$ as follows:

$$(a,b)+(c,d)=(a+c,b+d),$$

$$(a,b)\cdot(c,d)=(ac-bd,ad+bc).$$

From these definitions the well-known computation rules for imaginary numbers are derived; it turns out that they form a field with these operations (denoted by $\mathbf C$). It can be proved that the field $\mathbf R$ of real numbers can be isomorphically imbedded in this field of complex numbers, whereby the real number $a$ corresponds to the pair $(a,0)$. In agreement with the multiplication rule: $(0,1)\cdot(0,1)=(-1,0)$, the pair $(0,1)$ may be identified with the imaginary unit $i$. So it follows that the pair $(a,b)$ can be written as

$$(a,b)=(a,0)+(0,b)=(a,0)+(b,0)\cdot(0,1),$$

which is also written as $a+bi$. The intuitive way of working with numbers $a+bi$ is thus given a sound basis.

How to Cite This Entry:
Imaginary number. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Imaginary_number&oldid=33472