Complex number - Revision history

DavidB4-bot: /* Applications */re-categorisation

2018-08-14T01:02:45Z

Applications: re-categorisation

DavidB4-bot: /* top */clean up & uniformity

2016-07-13T06:38:52Z

top: clean up & uniformity

U.U at 02:06, February 14, 2016

2016-02-14T02:06:25Z

U.U: /* Applications */

2016-02-14T02:04:54Z

Applications

U.U: /* Applications */

2016-02-14T02:03:24Z

Applications

U.U: /* Applications */

2016-02-14T02:02:29Z

Applications

Nsmith: /* Applications */ Unbacked opinionated statement

2012-03-16T21:23:01Z

Applications: Unbacked opinionated statement

GregG: add missing quotation mark

2012-03-04T20:09:43Z

add missing quotation mark

PatrickD: Boilerplate in preface

2009-10-18T19:08:17Z

Boilerplate in preface

PatrickD: Put hierarchy in the intro, other minor tweaks.

2009-10-17T22:24:58Z

Put hierarchy in the intro, other minor tweaks.

← Older revision		Revision as of 01:02, August 14, 2018
Line 163:		Line 163:

	[[Category:Mathematics]]		[[Category:Mathematics]]
−	[[Category:Complex ~~analysis~~]]	+	[[Category:Complex Analysis]]

@@ Line 1: / Line 1: @@
 {{Math-m}}
-The '''complex numbers''' are a set of numbers which have important applications in the analysis of periodic, oscillatory, or wavelike phenomena.  Mathematicians denote the set of complex numbers with an ornate capital letter: <math>\mathbb{C}</math>.  They are the 5<sup>th</sup> item in this hierarchy of types of [[number]]s:
+The '''complex numbers''' are a set of numbers which have important applications in the analysis of periodic, oscillatory, or wavelike phenomena.  Mathematicians denote the set of complex numbers with an ornate capital letter: <math>\mathbb{C}</math>.  They are the 5th item in this hierarchy of types of [[number]]s:
 *The "[[natural number]]s", 1, 2, 3, ...  (There is controversy about whether zero should be included.  It doesn't matter.)
@@ Line 23: / Line 23: @@
 While the "invisible" nature of the imaginary component may be disconcerting at first (and the word "imaginary" may be an unfortunate term for it), the complex numbers are just as genuine as the Dedekind cuts and Cauchy sequences that are used in the definition of the "real" numbers.
-The complex numbers form a [[Field_(mathematics)|field]], with the mathematical operations defined as shown below.
+The complex numbers form a [[Field (mathematics)|field]], with the mathematical operations defined as shown below.
 ==Arithmetic operations==

@@ Line 148: / Line 148: @@
 ::'''trigonometry'''&mdash;finding arcsine and arccosine functions of numbers with [[absolute values]] more than 1 or arcsecant and arccosecant functions with absolute values between 0 and 1.
 *Applied mathematics
-::'''eigenvalue/eigenvector problems'''
+::eigenvalue/eigenvector problems
 ::Fourier and Laplace transforms
 ::linear differential equations

@@ Line 142: / Line 142: @@
 The applications include these:
 *Theoretical mathematics:
-::algebra (including finding roots of polynomials)
+::'''algebra'''&mdash; (including finding roots of polynomials)
-::linear algebra&mdash;vector spaces, inner products, Hermitian and unitary operators, Hilbert spaces, etc.
+::'''linear algebra'''&mdash;vector spaces, inner products, Hermitian and unitary operators, Hilbert spaces, etc.
-::eigenvalue/eigenvector problems<!-- Yes, listing it twice-->
+::'''eigenvalue/eigenvector problems'''<!-- Yes, listing it twice-->
-::number theory&mdash;This seems improbable, but it is true.  The Riemann zeta function, and the Riemann hypothesis, are very important in number theory.  For a long time, the only proofs of the prime number theorem used complex numbers.  The Wiles/Taylor proof of [[Fermat's Last Theorem]] uses modular forms, which use complex numbers.
+::'''number theory'''&mdash;This seems improbable, but it is true.  The Riemann zeta function, and the Riemann hypothesis, are very important in number theory.  For a long time, the only proofs of the prime number theorem used complex numbers.  The Wiles/Taylor proof of [[Fermat's Last Theorem]] uses modular forms, which use complex numbers.
-::trigonometry&mdash;finding arcsine and arccosine functions of numbers with [[absolute values]] more than 1 or arcsecant and arccosecant functions with absolute values between 0 and 1.
+::'''trigonometry'''&mdash;finding arcsine and arccosine functions of numbers with [[absolute values]] more than 1 or arcsecant and arccosecant functions with absolute values between 0 and 1.
 *Applied mathematics
-::eigenvalue/eigenvector problems
+::'''eigenvalue/eigenvector problems'''
 ::Fourier and Laplace transforms
 ::linear differential equations

@@ Line 146: / Line 146: @@
 ::eigenvalue/eigenvector problems<!-- Yes, listing it twice-->
 ::number theory&mdash;This seems improbable, but it is true.  The Riemann zeta function, and the Riemann hypothesis, are very important in number theory.  For a long time, the only proofs of the prime number theorem used complex numbers.  The Wiles/Taylor proof of [[Fermat's Last Theorem]] uses modular forms, which use complex numbers.
-::trigonometry finding arcsine and arccosine functions of numbers with [[absolute values]] more than 1 or arcsecant and arccosecant functions with absolute values between 0 and 1.
+::trigonometry&mdash;finding arcsine and arccosine functions of numbers with [[absolute values]] more than 1 or arcsecant and arccosecant functions with absolute values between 0 and 1.
 *Applied mathematics
 ::eigenvalue/eigenvector problems

@@ Line 138: / Line 138: @@
 ==Applications==
-It may seem improbable that an artificial construction like this, which does not arise in ordinary measurements, has extensive applications.  But complex numbers in fact are extremely important in many areas of pure and applied mathematics and physics.  Basically, any description of oscillatory phenomena can benefit from a formulation in terms of complex numbers.
+Complex numbers are extremely important in many areas of pure and applied mathematics and physics.  Basically, any description of oscillatory phenomena can benefit from a formulation in terms of complex numbers.
 The applications include these:

@@ Line 7: / Line 7: @@
 *The "[[rational number]]s", or [[fraction]]s, like 355/113
 *The "[[real number]]s", including irrational numbers
-*The "complex numbers, which give solutions to polynomial equations
+*The "complex numbers", which give solutions to polynomial equations
 A complex number is composed of two parts, or components&mdash;a ''real'' component and an ''imaginary'' component.  Each of these components is an ordinary (that is, real) number.  The complex numbers form an "extension" of the real numbers:  If the imaginary component of a complex number is zero, that number is essentially identical to the real number that is its real component.

@@ Line 1: / Line 1: @@
 {{Math-m}}
-A '''complex number''' is a [[number]] composed of two parts, or components&mdash;a ''[[Real number|real]]'' component and an ''imaginary'' component.  Each of these components is an ordinary (that is, real) number.  The complex numbers form an "extension" of the real numbers:  If the imaginary component of a complex number is zero, that number is essentially identical to the real number that is its real component.
+The '''complex numbers''' are a set of numbers which have important applications in the analysis of periodic, oscillatory, or wavelike phenomena.  They are the 5<sup>th</sup> item in this hierarchy of types of [[number]]s:
 __TOC__
@@ Line 9: / Line 17: @@
 The complex numbers form an [[algebraic closure|algebraically closed]] [[field (mathematics)|field]] but do not permit a non-trivial ordering that is preserved under operations.  They are the algebraic closure of the [[real numbers]]. One notable consequence, and a very natural way of seeing the necessity of complex numbers is the fact that all matrices of full rank over a vector space over real numbers repesent transformations, which, after a base transformation, are equivalent to a diagonal matrix of the same size with complex entries on the diagonal. Thus, any linear linear equation of motion of arbitrary order and dimension of real numbers can be represented in this way and be decomposed into eigenvectors (or modes). The evolution of the system is fully described by the complex amplitudes.
 -->
-The complex numbers are defined as a 2-dimensional vector space over the [[real number]]s.  That is, a complex number is an ordered pair of numbers: (a, b).  The familiar real numbers constitute the complex numbers with second component zero.  That is, x corresponds to (x, 0).
+The second component is called the ''imaginary part''.  Its unit basis vector is called <math>i</math>.  The first component is called the ''real part''.  Its unit basis vector is just 1.  Thus, the complex number <math>(a, b)\,</math> can also be written <math>a + bi\,</math>.  Numbers with real part of zero are sometimes called "pure imaginary", with the term "complex" reserved for numbers with both components nonzero.
-The second component is called the ''imaginary part''.  Its unit basis vector is called <math>i</math>.  The first component is called the ''real part''.  Its unit basis vector is just 1.  Thus, the complex number <math>(a, b)\,</math> can also be written <math>a + bi\,</math>.
+While the "invisible" nature of the imaginary component may be disconcerting at first (and the word "imaginary" may be an unfortunate term for it), the complex numbers are just as genuine as the Dedekind cuts and Cauchy sequences that are used in the definition of the "real" numbers.
 The complex numbers form a [[Field_(mathematics)|field]], with the mathematical operations defined as shown below.
@@ Line 120: / Line 129: @@
 If <math>z\,</math> is a root of a real polynomial, then, since zero is its own conjugate, <math>\overline{z}\,</math> is also a root.  This is often expressed as "Non-real roots of real polynomials come in conjugate pairs."  We saw that above for the cube roots of 1&mdash;two of the roots are complex and are conjugates of each other.  The third root is its own conjugate.
-==Other functions==
+==Transcendental functions==
 The higher mathematical functions (often called "transcendental functions"), like exponential, log, sine, cosine, etc., can be defined in terms of power series ([[Taylor series]]).  They can be extended to handle complex arguments in the completely natural way, so these functions are defined over the complex plane.  They are in fact "complex [[analytic function]]s".  Just about any normal function one can think of can be extended to the complex numbers, and is complex analytic.  Since the power series coefficients of the common functions are real, they work naturally with conjugates.  For example:
 :<math>\sin(\overline{z}) = \overline{\sin(z)}\,</math>
@@ Line 135: / Line 144: @@
 ::algebra (including finding roots of polynomials)
 ::linear algebra&mdash;vector spaces, inner products, Hermitian and unitary operators, Hilbert spaces, etc.
 ::number theory&mdash;This seems improbable, but it is true.  The Riemann zeta function, and the Riemann hypothesis, are very important in number theory.  For a long time, the only proofs of the prime number theorem used complex numbers.  The Wiles/Taylor proof of [[Fermat's Last Theorem]] uses modular forms, which use complex numbers.
 *Applied mathematics