Complex number
|
|
This article/section deals with mathematical concepts appropriate for a student in mid to late high school. |
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: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{C}} . They are the 5th item in this hierarchy of types of numbers:
- The "natural numbers", 1, 2, 3, ... (There is controversy about whether zero should be included. It doesn't matter.)
- The "integers"—positive, negative, and zero
- The "rational numbers", or fractions, like 355/113
- The "real numbers", including irrational numbers
- The "complex numbers", which give solutions to polynomial equations
A complex number is composed of two parts, or components—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.
The complex numbers are defined as a 2-dimensional vector space over the real numbers. 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 Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} . The first component is called the real part. Its unit basis vector is just 1. Thus, the complex number Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a, b)\,} can also be written Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a + bi\,} . Numbers with real part of zero are sometimes called "pure imaginary", with the term "complex" reserved for numbers with both components nonzero.
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, with the mathematical operations defined as shown below.
Arithmetic operations
The field operations are defined as follows:
Addition
Addition is just the standard addition on the 2-dimensional vector space. That is, add the real parts (first components), and add the imaginary parts (second components).
Letting the complex numbers w and z be defined by their respective components:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle w = (a, b) = a + bi\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z = (c, d) = c + di\,}
we have:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle w + z = (a+c, b+d) = a+c + (b+d)i\,}
Multiplication
Multiplication has a special definition. It is this definition that gives the complex numbers their important properties.
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle w * z = (a*c - b*d) + (a*d + b*c)i\,}
- When we multiply Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (0+1i)*(0+1i)\,} , this definition gives Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^2 = -1\,}
Writing out the product Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle w * z\,} in the obvious way, we get the same answer:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a + bi) * (c + di) = a*c + b*d*i^2 + (a*d + b*c)i = (a*c - b*d) + (a*d + b*c)i\,}
This means that, using Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^2 = -1\,} , one can perform arithmetic operations in a completely natural way.
Division
Division requires a special trick. We have:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{w}{z} = \frac{a + bi}{c + di}\,}
To get the individual components, the denominator needs to be real. This can be accomplished by multiplying both numerator and denominator by Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (c - di)\,} . We get:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{w}{z} = \frac{(a + bi)*(c - di)}{(c + di)*(c - di)} = \frac{(a*c + b*d) + (b*c - a*d)i}{c^2 + d^2}\,}
This division will fail if and only if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c^2 + d^2 = 0\,} , that is, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c\,} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d\,} are both zero, that is, the complex denominator Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z\,} is exactly zero (both components zero). This is exactly analogous to the rule that real division fails if the denominator is exactly zero.
Fundamental theorem of algebra
The complex numbers form an algebraically closed field. This means that any Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n^{th}\,} degree polynomial can be factored into n first degree (linear) polynomials. Equivalently, such a polynomial has n roots (though one has to count all multiple occurrences of repeated roots.) This statement is the Fundamental Theorem of Algebra, first proved by Carl Friedrich Gauss around 1800. The theorem is not true if the roots are required to be real. (This failure is what led to the development of complex numbers in the first place.) But when the roots are allowed to be complex, the theorem applies even to polynomials with complex coefficents.
The simplest polynomial with no real roots is Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2 + 1\,} , since -1 has no real square root. But if we look for roots of the form Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a + bi\,} , we have:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a + bi)^2 + 1 = a^2 - b^2 + 1 + 2abi = 0\,}
For the imaginary part to be zero, one of a or b must be zero. For the real part to be zero, a must be zero and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b^2\,} must be 1. This means that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b = \pm 1\,} , so the roots are Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (0, 1)\,} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (0, -1)\,} , or Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pm{}i\,} .
These two numbers, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i\,} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -i\,} , are the square roots of -1.
Similar analysis shows that, for example, 1 has three cube roots:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -\frac{1}{2} + \frac{\sqrt{3}}{2}i\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -\frac{1}{2} - \frac{\sqrt{3}}{2}i\,}
One can verify that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x-1) \left(x + \frac{1}{2} - \frac{\sqrt{3}}{2}i\right) \left(x + \frac{1}{2} + \frac{\sqrt{3}}{2}i\right) = x^3 - 1\,}
For a given field, the field containing it (strictly speaking, the smallest such field) that is algebraically closed is called its algebraic closure. The field of real numbers is not algebraically closed; its closure is the field of complex numbers.
Polar coordinates, modulus, and phase
Complex numbers are often depicted in 2-dimensional Cartesian analytic geometry; this is called the complex plane. The real part is the x-coordinate, and the imaginary part is the y-coordinate. When these points are analyzed in polar coordinates, some very interesting properties become apparent. The representation of complex numbers in this way is called an Argand diagram.
If a complex number is represented as Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x + yi\,} , its polar coordinates are given by:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r = \sqrt{x^2 + y^2}\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \theta = \tan^{-1}\frac{y}{x}\,}
Transforming the other way, we have:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = r \cos\theta\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y = r \sin\theta\,}
The radial distance from the origin, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r\,} , is called the modulus. It is the complex equivalent of the absolute value for real numbers. It is zero if and only if the complex number is zero.
The angle, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \theta\,} , is called the phase. (Some older books refer to it as the argument.) It is zero for positive real numbers, and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi\,} radians (180 degrees) for negative ones.
The multiplication of complex numbers takes a particularly interesting and useful form when represented this way. If two complex numbers Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z_1\,} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z_2\,} are represented in modulus/phase form, we have:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z_1 = r_1 (\cos\theta_1 + i\sin\theta_1)\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z_2 = r_2 (\cos\theta_2 + i\sin\theta_2)\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z_1 * z_2 = r_1 * r_2 * ((\cos\theta_1 \cos\theta_2 - \sin\theta_1 \sin\theta_2) + i (\sin\theta_1 \cos\theta_2 + \cos\theta_1 \sin\theta_2))\,}
But that is just the addition rule for sines and cosines!
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z_1 * z_2 = r_1 * r_2 * (\cos(\theta_1 + \theta_2) + i \sin(\theta_1 + \theta_2))\,}
So the rule for multiplying complex numbers on the Argand diagram is just:
- Multiply the moduli.
- Add the phases.
One can use this property to find all of the nth roots of a number geometrically. For example, by using these trigonometric formulas:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sin(30) = \cos(60) = \frac{1}{2}\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sin(60) = \cos(30) = \frac{\sqrt{3}}{2}\,}
The three cube roots of 1, listed above, can all be seen to have moduli of 1 and phases of 0 degrees, 120 degrees, and 240 degrees respectively. When raised to the third power, the phases are tripled, obtaining 0, 360, and 720 degrees. But they are all the same angle—zero. So the cubes of these numbers are all just one. Similarly, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i\,} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -i\,} have phases of 90 degrees and 270 degrees. When those numbers are squared, the phases are 180 and 540, both of which are the same angle—180 degrees. So their squares are both -1.
One can apply this property to the nth roots of any complex number. They lie equally spaced on a circle. This is DeMoivre's theorem.
Euler's formula
A careful analysis of the power series for the exponential, sine, and cosine functions reveals the marvelous Euler formula:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z = r e^{i\theta}\,}
of which there is the famous case (for θ = π):
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^{i\pi} = -1\,}
Conjugates
The complex conjugate, or just conjugate, of a complex number is the result of negating its imaginary part. The conjugate is written with a bar over the quantity: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{z}\,} . All real numbers are their own conjugates.
All arithmetic operations work naturally with conjugates—the sum of the conjugates is the conjugate of the sum, and so on.
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{w+z} = \overline{w} + \overline{z}\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{w*z} = \overline{w} * \overline{z}\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{w/z} = \overline{w} / \overline{z}\,}
It follows that, if P is a polynomial with real coefficients (so that its coefficients are their own conjugates)
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{P(z)} = P(\overline{z})\,}
If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z\,} is a root of a real polynomial, then, since zero is its own conjugate, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{z}\,} 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—two of the roots are complex and are conjugates of each other. The third root is its own conjugate.
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 functions". 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:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sin(\overline{z}) = \overline{\sin(z)}\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log(\overline{z}) = \overline{\log(z)}\,}
Complex functions
The general study of functions that take a complex argument and return a complex result is an extremely rich and useful area of mathematics, known as complex analysis. When such a function is differentiable, it is called a complex analytic function, or just analytic function.
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.
The applications include these:
- Theoretical mathematics:
- algebra (including finding roots of polynomials)
- linear algebra—vector spaces, inner products, Hermitian and unitary operators, Hilbert spaces, etc.
- eigenvalue/eigenvector problems
- number theory—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
- eigenvalue/eigenvector problems
- Fourier and Laplace transforms
- linear differential equations
- stability theory
- Electrical engineering
- alternating current circuit analysis
- filter design
- antenna design
- Theoretical physics
- quantum mechanics
- fundamental particle physics
- electromagnetic radiation
- optics

