6.1: Complex Numbers
- Page ID
- 14531
\( \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}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)- Understand the geometric significance of a complex number as a point in the plane.
- Prove algebraic properties of addition and multiplication of complex numbers, and apply these properties. Understand the action of taking the conjugate of a complex number.
- Understand the absolute value of a complex number and how to find it as well as its geometric significance.
Although very powerful, the real numbers are inadequate to solve equations such as \(x^2+1=0\), and this is where complex numbers come in. We define the number \(i\) as the imaginary number such that \(i^2 = -1\), and define complex numbers as those of the form \(z = a + bi\) where \(a\) and \(b\) are real numbers. We call this the standard form, or Cartesian form, of the complex number \(z\). Then, we refer to \(a\) as the real part of \(z\), and \(b\) as the imaginary part of \(z\). It turns out that such numbers not only solve the above equation, but in fact also solve any polynomial of degree at least 1 with complex coefficients. This property, called the Fundamental Theorem of Algebra, is sometimes referred to by saying \(\mathbb{C}\) is algebraically closed. Gauss is usually credited with giving a proof of this theorem in 1797 but many others worked on it and the first completely correct proof was due to Argand in 1806.
Just as a real number can be considered as a point on the line, a complex number \(z = a + bi\) can be considered as a point \(\left( a,b\right)\) in the plane whose \(x\) coordinate is \(a\) and whose \(y\) coordinate is \(b.\) For example, in the following picture, the point \(z = 3+2i\) can be represented as the point in the plane with coordinates \(\left( 3,2\right) .\)
Addition of complex numbers is defined as follows. \[\left( a+bi\right) +\left( c+di\right) =\left( a+c\right) +\left( b+d\right)i\nonumber \]
This addition obeys all the usual properties as the following theorem indicates.
Let \(z,w,\) and \(v\) be complex numbers. Then the following properties hold.
- Commutative Law for Addition \[z+w=w+z\nonumber\]
- Additive Identity \[z+0=z\nonumber \]
- Existence of Additive Inverse \[\begin{array}{l} \mbox{For each} \; z\in \mathbb{C}, \mbox{there exists}\; -z\in \mathbb{C} \mbox{ such that}\; z+\left( -z\right) =0 \\ \mbox{In fact if } z=a+bi, \mbox{ then } -z=-a-bi. \end{array}\nonumber\]
- Associative Law for Addition \[\left( z+w\right) +v= z +\left( w+v\right)\nonumber \]
- Proof
-
The proof of this theorem is left as an exercise for the reader.
Now, multiplication of complex numbers is defined the way you would expect, recalling that \(i^{2} = -1\). \[\begin{aligned} \left( a+bi\right) \left( c+di\right) &=ac+adi+bci+i^{2}bd \\ &=\left( ac-bd\right) +\left( ad + bc \right)i \end{aligned}\]
Consider the following examples.
- \((2-3i)(-3+4i) = 6+17i\)
- \((4-7i)(6-2i) = 10-50i\)
- \((-3+6i)(5-i) = -9+33i\)
The following are important properties of multiplication of complex numbers.
Let \(z,w\) and \(v\) be complex numbers. Then, the following properties of multiplication hold.
- Commutative Law for Multiplication \[zw=wz\nonumber\]
- Associative Law for Multiplication \[\left( zw\right) v=z\left( wv\right)\nonumber\]
- Multiplicative Identity \[1z=z\nonumber\]
- Existence of Multiplicative Inverse \[\mbox{For each}\; z\neq 0, \mbox{there exists}\; z^{-1} \mbox{ such that}\; zz^{-1}=1\nonumber\]
- Distributive Law \[z\left( w+v\right) =zw+zv\nonumber\]
You may wish to verify some of these statements. The real numbers also satisfy the above axioms, and in general any mathematical structure which satisfies these axioms is called a field. There are many other fields, in particular even finite ones particularly useful for cryptography, and the reason for specifying these axioms is that linear algebra is all about fields and we can do just about anything in this subject using any field. Although here, the fields of most interest will be the familiar field of real numbers, denoted as \(\mathbb{R}\), and the field of complex numbers, denoted as \(\mathbb{C}\).
An important construction regarding complex numbers is the complex conjugate denoted by a horizontal line above the number, \(\overline{z}\). It is defined as follows.
Let \(z = a+bi\) be a complex number. Then the conjugate of \(z\), written \(\overline{z}\) is given by \[\overline{a+bi}= a-bi\nonumber\]
Geometrically, the action of the conjugate is to reflect a given complex number across the \(x\) axis. Algebraically, it changes the sign on the imaginary part of the complex number. Therefore, for a real number \(a\), \(\overline{a} = a\).
- If \(z=3+4i\), then \(\overline{z}=3-4i\), i.e., \(\overline{3+4i}=3-4i\).
- \(\overline{-2+5i}= -2-5i\).
- \(\overline{i}= -i\).
- \(\overline{7}= 7\).
Consider the following computation.
\[\begin{aligned} \left( \overline{a+bi}\right) \left( a+bi\right) &= \left( a-bi\right) \left( a+bi\right) \\[4pt] &= a^{2}+b^{2}-\left( ab-ab\right)i =a^{2}+b^{2}\end{aligned}\]
Notice that there is no imaginary part in the product, thus multiplying a complex number by its conjugate results in a real number.
Let \(z\) and \(w\) be complex numbers. Then, the following properties of the conjugate hold.
- \(\overline{z\pm w} = \overline{z} \pm \overline{w}\).
- \(\overline{(zw)} = \overline{z}~ \overline{w}\).
- \(\overline{(\overline{z})}=z\).
- \(\overline{\left(\frac{z}{w}\right)} = \frac{\overline{z}}{\overline{w}}\).
- \(z\) is real if and only if \(\overline{z}=z\).
Division of complex numbers is defined as follows. Let \(z=a+bi\) and \(w=c+di\) be complex numbers such that \(c,d\) are not both zero. Then the quotient \(z\) divided by \(w\) is
\[\begin{aligned} \frac{z}{w} &= \frac{a+bi}{c+di} \\[4pt] &= \frac{a+bi}{c+di}\times \frac{c-di}{c-di} \\[4pt] &= \frac{(ac+bd)+(bc-ad)i}{c^2+d^2} \\[4pt] & = \frac{ac+bd}{c^2+d^2} +\frac{bc-ad}{c^2+d^2}i.\end{aligned}\]
In other words, the quotient \(\frac{z}{w}\) is obtained by multiplying both top and bottom of \(\frac{z}{w}\) by \(\overline{w}\) and then simplifying the expression.
\[\frac{1}{i} = \frac{1}{i}\times \frac{-i}{-i} =\frac{-i}{-i^2}=-i\nonumber\]
\[\frac{2-i}{3+4i} = \frac{2-i}{3+4i}\times \frac{3-4i}{3-4i} =\frac{(6-4)+(-3-8)i}{3^2+4^2} =\frac{2-11i}{25} =\frac{2}{25} - \frac{11}{25}i\nonumber\]
\[\frac{1-2i}{-2+5i} = \frac{1-2i}{-2+5i}\times \frac{-2-5i}{-2-5i} =\frac{(-2-10) + (4-5)i}{2^2+5^2} =-\frac{12}{29}-\frac{1}{29}i\nonumber\]
Interestingly every nonzero complex number \(a+bi\) has a unique multiplicative inverse. In other words, for a nonzero complex number \(z\), there exists a number \(z^{-1}\) (or \(\frac{1}{z}\)) so that \(zz^{-1} = 1\). Note that \(z=a+bi\) is nonzero exactly when \(a^{2}+b^{2}\neq 0\), and its inverse can be written in standard form as defined now.
Let \(z = a+bi\) be a complex number. Then the multiplicative inverse of \(z\), written \(z^{-1}\) exists if and only if \(a^{2}+b^{2}\neq 0\) and is given by
\[z^{-1} = \frac{1}{a+bi} = \frac{1}{a+bi}\times \frac{a-bi}{a-bi}=\frac{a-bi}{a^{2}+b^{2}}=\frac{a}{a^{2}+b^{2}}-i\frac{b}{ a^{2}+b^{2}}\nonumber\]
Note that we may write \(z^{-1}\) as \(\frac{1}{z}\). Both notations represent the multiplicative inverse of the complex number \(z\). Consider now an example.
Consider the complex number \(z = 2 + 6i\). Then \(z^{-1}\) is defined, and
\[\begin{aligned} \frac{1}{z} &= \frac{1}{2+6i} \\[4pt] &= \frac{1}{2+6i}\times \frac{2-6i}{2-6i} \\[4pt] &= \frac{2-6i}{2^2+6^2} \\[4pt] &= \frac{2-6i}{40} \\[4pt] &= \frac{1}{20} - \frac{3}{20}i \end{aligned}\]
You can always check your answer by computing \(zz^{-1}\).
Another important construction of complex numbers is that of the absolute value, also called the modulus. Consider the following definition.
The absolute value, or modulus, of a complex number, denoted \(\left| z \right|\) is defined as follows. \[\left| a+bi\right| = \sqrt{a^{2}+b^{2}}\nonumber\]
Thus, if \(z\) is the complex number \(z=a+bi\), it follows that \[\left| z\right| =\left( z\overline{z}\right) ^{1/2}\nonumber\]
Also from the definition, if \(z=a+bi\) and \(w=c+di\) are two complex numbers, then \(\left\vert zw\right\vert =\left\vert z\right\vert \left\vert w\right\vert .\) Take a moment to verify this.
The triangle inequality is an important property of the absolute value of complex numbers. There are two useful versions which we present here, although the first one is officially called the triangle inequality.
Let \(z,w\) be complex numbers.
The following two inequalities hold for any complex numbers \(z,w\): \[\begin{array}{l} \left| z+w\right| \leq \left| z\right| +\left| w\right| \\ \left| \left| z\right| -\left| w\right| \right| \leq \left| z-w\right| \end{array}\nonumber\] The first one is called the Triangle Inequality.
- Proof
-
Let \(z=a+bi\) and \(w=c+di\). First note that \[z \overline{w}=\left( a+bi\right) \left( c-di\right) =ac+bd+\left( bc-ad\right)i\nonumber\] and so \(\left\vert ac+bd\right\vert \leq \left\vert z\overline{w}\right\vert =\left\vert z\right\vert \left\vert w\right\vert .\)
Then, \[\left\vert z+w\right\vert ^{2}=\left( a+c+i\left( b+d\right) \right) \left( a+c-i\left( b+d\right) \right)\nonumber\] \[=\left( a+c\right) ^{2}+\left( b+d\right) ^{2}=a^{2}+c^{2}+2ac+2bd+b^{2}+d^{2}\nonumber\] \[\leq \left\vert z\right\vert ^{2}+\left\vert w\right\vert ^{2}+2\left\vert z\right\vert \left\vert w\right\vert =\left( \left\vert z\right\vert +\left\vert w\right\vert \right) ^{2}\nonumber\]
Taking the square root, we have that \[\left\vert z+w\right\vert \leq \left\vert z\right\vert +\left\vert w\right\vert\nonumber\] so this verifies the triangle inequality.
To get the second inequality, write \[z=z-w+w,\;w=w-z+z\nonumber\] and so by the first form of the inequality we get both: \[\left\vert z\right\vert \leq \left\vert z-w\right\vert +\left\vert w\right\vert ,\;\left\vert w\right\vert \leq \left\vert z-w\right\vert +\left\vert z\right\vert\nonumber\]
Hence, both \(\left\vert z\right\vert -\left\vert w\right\vert\) and \(\left\vert w\right\vert -\left\vert z\right\vert\) are no larger than \(\left\vert z-w\right\vert\). This proves the second version because \(\left\vert \left\vert z\right\vert -\left\vert w\right\vert \right\vert\) is one of \(\left\vert z\right\vert -\left\vert w\right\vert\) or \(\left\vert w\right\vert -\left\vert z\right\vert\).
With this definition, it is important to note the following. You may wish to take the time to verify this remark.
Let \(z=a+bi\) and \(w=c+di.\) Then
\[\left| z-w\right| =\sqrt{\left( a-c\right) ^{2}+\left( b-d\right) ^{2}}. \nonumber\]
Thus the distance between the point in the plane determined by the ordered pair \(\left( a,b\right)\) and the ordered pair \(\left( c,d\right)\) equals \(\left| z-w\right|\) where \(z\) and \(w\) are as just described.
For example, consider the distance between \(\left( 2,5\right)\) and \(\left( 1,8\right) .\) Letting \(z=2+5i\) and \(w=1+8i,\) \(z-w=1-3i\), \(\left( z-w\right) \left( \overline{z-w}\right) =\left( 1-3i\right) \left( 1+3i\right) = 10\) so \(\left\vert z-w\right\vert =\sqrt{10}\).
Recall that we refer to \(z=a+bi\) as the standard form of the complex number. In the next section, we examine another form in which we can express the complex number.