The math optional, made finite. Daily Practice

← 2013 Paper 1

UPSC Maths 2013 Paper 1 Q2c-i — Solution

8 marks · Section A

Question

Let AA be a Hermitian matrix having all distinct eigenvalues λ1,λ2,,λn\lambda_1,\lambda_2,\ldots,\lambda_n. If X1,X2,,XnX_1,X_2,\ldots,X_n are corresponding eigenvectors then show that the n×nn\times n matrix CC whose kthk^{\text{th}} column consists of the vector XkX_k is non singular.

Technique

Standard “Hermitian + distinct eigenvalues \Rightarrow orthogonal eigenvectors \Rightarrow basis” chain.

Solution

Strategy. Show the eigenvectors are pairwise orthogonal (Hermitian + distinct eigenvalues \Rightarrow orthogonal eigenvectors), hence linearly independent, hence CC has full column rank, hence is non-singular.

Step 1 — Orthogonality of eigenvectors for distinct eigenvalues

Let iji\ne j. Then λiλj\lambda_i\ne\lambda_j by hypothesis.

Compute AXi,Xj\langle AX_i,X_j\rangle two ways (using the standard inner product on Cn\mathbb{C}^{n}):

Way 1: AXi=λiXiAX_i=\lambda_i X_i, so AXi,Xj=λiXi,Xj=λiXi,Xj\langle AX_i,X_j\rangle=\langle\lambda_i X_i,X_j\rangle=\lambda_i\langle X_i,X_j\rangle.

Way 2: Use the Hermitian property A=AA^{*}=A. Then AXi,Xj=Xi,AXj=Xi,AXj=Xi,λjXj=λjXi,Xj\langle AX_i,X_j\rangle=\langle X_i,A^{*}X_j\rangle=\langle X_i,AX_j\rangle=\langle X_i,\lambda_j X_j\rangle=\overline{\lambda_j}\langle X_i,X_j\rangle.

Hermitian \Rightarrow eigenvalues real (standard), so λj=λj\overline{\lambda_j}=\lambda_j. Thus

λiXi,Xj=λjXi,Xj    (λiλj)Xi,Xj=0.\lambda_i\langle X_i,X_j\rangle=\lambda_j\langle X_i,X_j\rangle\;\Longrightarrow\;(\lambda_i-\lambda_j)\langle X_i,X_j\rangle=0.

Since λiλj\lambda_i\ne\lambda_j, we conclude Xi,Xj=0\langle X_i,X_j\rangle=0.

Step 2 — Orthogonal non-zero vectors are linearly independent

Eigenvectors are non-zero by definition. Suppose

c1X1+c2X2++cnXn=0c_1X_1+c_2X_2+\cdots+c_nX_n=0

for scalars ckc_k. Inner-product both sides with XkX_k:

0=0,Xk=i=1nciXi,Xk=ckXk2(all other terms vanish by Step 1).0=\langle 0,X_k\rangle=\sum_{i=1}^{n}c_i\langle X_i,X_k\rangle=c_k\|X_k\|^{2}\quad(\text{all other terms vanish by Step 1}).

Since Xk2>0\|X_k\|^{2}>0 (eigenvector non-zero), ck=0c_k=0. Holds for each kk, so all ck=0c_k=0.

Step 3 — CC is non-singular

The columns of CC are linearly independent (Step 2), so CC has rank nn, so CC is non-singular (invertible).

Answer

  C is non-singular.  \boxed{\;C\text{ is non-singular.}\;}

We've mapped all 13 years of this exam. Get new solutions, tools, and guides as we release them — free.