• Aucun résultat trouvé

1212: Linear Algebra II

N/A
N/A
Protected

Academic year: 2022

Partager "1212: Linear Algebra II"

Copied!
2
0
0

Texte intégral

(1)

1212: Linear Algebra II

Dr. Vladimir Dotsenko (Vlad) Lecture 13

LetB= (bij)be the matrix (relative to some basise1, . . . , en) of a given symmetric bilinear formbon V. We shall now discuss some methods of computing the signature ofbvia the matrix elements ofB.

Theorem 1. The signature of B is completely determined by eigenvalues of B: the number n+ is the number of positive eigenvalues, the numbern is the number of negative eigenvalues, and the number n0is the number of zero eigenvalues.

Proof. We know that b(x, y) = xTBy, which of course is equal to yTBx, since we work with symmetric bilinear forms. Let us pick an orthonormal basis of eigenvectors of the matrixB(with respect to the usual scalar product(x, y) =yTx)v1, . . . , vn. Thenb(vi, vj) =vTjBvi=vTjcivi =ci(vi, vj), therefore, relative to that basis, the matrix of Bis diagonal with eigenvalues on the diagonal, and the theorem follows after we normalise each basis vector: vi0 = √ 1

|q(vi)vi.

Let us denote by Bk thek×k-matrix whose entries arebij with16i, j6k, that is the top left corner submatrix ofB. We put∆k:=det(Bk)for16k6n.

Theorem 2 (Jacobi theorem). Suppose that for alli=1, . . . , nwe have ∆i6=0. Then there exists a basis f1, . . . , fn where

q(x1f1+· · ·+xnfn) = 1

1

x21+∆1

2

x22+· · ·+∆n−1

n

x2n.

Proof. We shall look for a basis of the form

f1=a11e1, f2=a12e1+a22e2,

. . . ,

fn=a1ne1+a2ne2+· · ·+annen.

If we write the conditionsb(fi, fj) =0fori6=jdirectly, we shall obtain a system of quadratic equations in the unknownsaij, which is difficult to solve directly. For that reason, we shall use a clever shortcut.

Suppose that we found a basis of the form given above, for which b(fi, ej) =0forj=1, . . . , i−1.

We shall now verify that these conditions implyb(fi, fj) =0fori6=j. Indeed, fori > jwe have b(fi, fj) =b(fi, a1je1+a2je2+. . .+ajjej) =a1jb(fi, e1) +· · ·+ajjb(fi, ej) =0, and fori < jwe haveb(fi, fj) =b(fj, fi) =0.

For a given i, the conditions

b(fi, ej) =0forj=1, . . . , i−1

1

(2)

form a system of linear equations with i unknowns and i−1 equations, so there will inevitably be free unknowns. To normalise the solution, let us also include the equation

b(fi, ei) =1.

Then the corresponding system of equation becomes















b(e1, e1)a1i+b(e2, e1)a2i+. . .+b(ei, e1)aii=0, b(e1, e2)a1i+b(e2, e2)a2i+. . .+b(ei, e2)aii=0,

. . . b(e1, ei−1)a1i+b(e2, ei−1)a2i+. . .+b(ei, ei−1)aii=0,

b(e1, ei)a1i+b(e2, ei)a2i+. . .+b(ei, ei)aii=1.

The matrix of the this system of equation isBTi =Bi, so by our assumption this system has just one solution for eachi=1, . . . , n.

Let us compute the diagonal entriesb(fi, fi). We have

b(fi, fj) =b(fi, a1je1+a2je2+. . .+aiiei) =a1jb(fi, e1) +· · ·+aiib(fi, ei) =aii.

To computeaii, we use the Cramer’s rule for solving systems of linear equations. The last unknown is equal to the ratio det(Bdet(Bii)

i), where Bii is obtained byBiby replacing the last column by the right hand side of the given system of equations. Expanding that determinant along the right column, we getaii= i−1

i fori > 1, anda11= 1

1, as required.

2

Références

Documents relatifs

Instrumentation 2x Alto Saxophone 2x Tenor Saxophone Baritone Saxophone 4x Trumpet / Flugelhorn 3x Tenor Trombone Bass Trombone Electric Guitar Bass Guitar

Let Diam(G) be the diameter of a graph G, defined as the maximum distance between any pair of vertices of G.. The b-chromatic number of some power graphs 47 predecessor) of x i in G

El Soufi, Sublaplacian eigenvalue functionals and contact structure deformations on compact CR manifolds, in preparation..

In order to simplify the process of converting numbers from the modular representation to the positional representation of numbers, we will consider an approximate method that allows

Alladi (Alladi, 1987) proved an Erd˝os–Kac theorem for integers without large prime factors... We follow closely the proofs of Propositions 2 and 3, making appropri-

Throughout this paper, we shall use the following notations: N denotes the set of the positive integers, π( x ) denotes the number of the prime numbers not exceeding x, and p i

Ne010Das: On the dieoreteness of the speotrum of nonlinear Sturm-Liou- ville equation of the fourth order (in Russian) Comment. Ne010Das: Fredholm alternative for

To see that a qualitative argument can be used: we know that the completely ordered case minimize the energy and we are interested in the states that have the closer possible