Problem 22 - A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry

Question

Let \(\omega=c^{2 \pi t / 3} .\) Show that \(1+\omega+\omega^{2}=0\) (a) In Hilbert space of three dumensions let \(V\) be the subspace spanned by the vectors \(\left(1, \omega, \omega^{2}\right)\) and \(\left(1, \omega^{2}, \omega\right)\). Find the vector \(u_{0}\) in this subspece that is closess to the vector \(u=(1,-1,1)\). (b) Verify that \(u-u_{0}\) is orthogonal to \(V\). (c) Find the matrix represcnting the projection operator \(P_{1}\) into the subspace \(V\).

Step-by-Step Solution

Answer

To solve this task, we need to do the following: show that \(1 + \omega + \omega^{2}=0\), find the closest vector to \(u\) in the subspace with the given base, show the obtained vector \(u - u_0\) is orthogonal to \(V\), and then find the projection matrix \(P_{1}\).

Step 1: Verify the property of \(\omega\)

We are given that \(\omega = c^{2 \pi t / 3}\). It is known that \(c^{2 \pi t} = 1\) in complex analysis. By applying this property, \(\omega^{3} = (c^{2 \pi t / 3})^{3} = c^{2 \pi t} = 1\). So, \(\omega^{3} - 1 = 0\) which can be written as \((\omega - 1)(\omega^{2} + \omega + 1) = 0\). Since \(\omega\neq 1\), it must be that \(\omega^{2} + \omega + 1 = 0\). Therefore, we find that \(1 + \omega + \omega^{2} = 0\).

Step 2: Find the closest vector to \(u\)

Let's denote the set \(\{(1, \omega, \omega^{2}), (1, \omega^{2}, \omega)\}\) by \(\{v_1, v_2\}\). The closest vector \(u_0\) to \(u\) lies in \(V\), so it can be written as a linear combination of \(v_1\) and \(v_2\). What is required is to find constants \(x\) and \(y\) such that \(||u - u_0||\) is minimized. This problem simplifies to solving the set of equations: \(u - x v_1 - y v_2 = 0\). You would solve this system of equations, then substitute \(x\) and \(y\) back into \(u_0 = x v_1 + y v_2\) to find \(u_0\).

Step 3: Verify Orthogonality

To prove that vectors are orthogonal, their dot product must be 0. So to show that \(u - u_0\) is orthogonal to \(V\), we have to show that \((u - u_0) . v_1 = 0\) and \((u - u_0) . v_2 = 0\). Once you find \(u_0\), you can calculate these dot products to complete this step.

Step 4: Find Projection Matrix

The projection of vector \(u\) onto a subspace \(V\) with a basis set \(B\) can be obtained by projection matrix. This matrix can be written as \(P_{1} = BB^+(B B^+)^{-1}B\) where \(B\) is the matrix with vectors of the basis set as its columns and \(B^+\) is the pseudo-inverse of \(B\). For our case, \(B\) will be a matrix that contains \(\{v_1, v_2\}\) as its columns. So we calculate \(P_{1}\) using above formula.

Key Concepts

Complex Analysis

Complex analysis is a branch of mathematics that studies functions of complex numbers. A complex number is expressed in the form \(a + bi\), where \(a\) and \(b\) are real numbers and \(i\) is the imaginary unit with the property \(i^2 = -1\). This field of analysis extends the concept of calculus to the complex plane.
In the exercise, the complex number \(\omega = c^{2 \pi t / 3}\) represents a point on the unit circle in the complex plane. This is related to Euler's formula, \(e^{i\theta} = \cos(\theta) + i \sin(\theta)\), where complex exponentials describe rotations.
If \(\omega^3 = 1\), it implies the roots of the equation \(z^3 = 1\) in the complex plane, known as the cube roots of unity. These are numbers that, when raised to the third power, return 1. The property \(1 + \omega + \omega^2 = 0\) signifies that these roots, \(1, \omega,\) and \(\omega^2\), evenly divide the unit circle, adding up algebraically to zero.

Orthogonality

Orthogonality in the context of vectors commonly means that two vectors are perpendicular to each other. In vector space terms, this means their dot product is zero. If vectors are orthogonal, they form a basis for the space, which simplifies many computations in linear algebra and has practical applications in geometry and physics.
For this exercise, we need to verify that the difference \(u - u_0\) is orthogonal to the subspace \(V\). This means calculating the dot product of \(u - u_0\) with each of the basis vectors \(v_1\) and \(v_2\) of the subspace.

• If \((u - u_0) \cdot v_1 = 0\) and \((u - u_0) \cdot v_2 = 0\), then \(u - u_0\) is orthogonal to the whole subspace \(V\).

Orthogonal vectors simplify problems like minimizing distances between vectors, which is central to the exercise's goal of finding \(u_0\).

Projection Matrix

A projection matrix helps project vectors onto a subspace, essentially "casting a shadow" of the vector into that subspace. This is useful in data reduction and principal component analysis, among other applications.
To find the projection of a vector onto a subspace \(V\), which is spanned by vectors \(v_1\) and \(v_2\), we use the projection matrix formula. The standard formula is given by \(P = B(B^+B)^{-1}B^+\), where \(B\) is a matrix formed by the basis vectors as columns, and \(B^+\) is the pseudoinverse of \(B\).
Construct \(B\) from the basis vectors of \(V\), calculate the pseudoinverse \(B^+\), then plug into the formula to find the projection matrix \(P_1\). This matrix gives us the component of a vector that lies within the subspace, excluding any parts that are orthogonal to the subspace.

Linear Combination

Linear combination is a fundamental concept in linear algebra, where you express a vector as the sum of scaled vectors. Here, the goal is to express the vector \(u_0\) in the subspace \(V\) as a linear combination of the basis vectors v₁ and v₂.
If you have two vectors,

• \(v_1 = (1, \omega, \omega^2)\), and
• \(v_2 = (1, \omega^2, \omega)\),

you can express any vector in the span of these vectors with coefficients \(x\) and \(y\):

• \(u_0 = x v_1 + y v_2\).

If you solve for \(x\) and \(y\), these coefficients represent the scalar multipliers needed to reach \(u_0\) from \(v_1\) and \(v_2\). This effectively "projects" \(u_0\) into the subspace \(V\), minimizing the distance between \(u_0\) and the target vector \(u\), thus ensuring that \(u_0\) is closest to \(u\) as outlined in the exercise.