Skip to content
Part BCSIR NET December 2024nondegenerate-does-not-mean-definite

Nondegenerate does not mean definite

Consider the bilinear form B:R4×R4→RB : \mathbb{R}^{4} \times \mathbb{R}^{4} \to \mathbb{R} defined by B(x,y)=x1y3+x2y4−x3y1−x4y2B(x, y) = x_{1}y_{3} + x_{2}y_{4} - x_{3}y_{1} - x_{4}y_{2}, where x=(x1,x2,x3,x4)x = (x_{1}, x_{2}, x_{3}, x_{4}) and y=(y1,y2,y3,y4)y = (y_{1}, y_{2}, y_{3}, y_{4}) in R4\mathbb{R}^{4}. Let A denote the matrix of B with respect to the standard ordered basis of R4\mathbb{R}^{4}. Which of the following statements is true?

  1. A.det A = 0
  2. B.det A = −1
  3. C.B(x, x) ≠ 0 for all nonzero x∈R4x \in \mathbb{R}^{4}.
  4. D.If x∈R4x \in \mathbb{R}^{4} is nonzero, then there exists y∈R4y \in \mathbb{R}^{4} such that B(x, y) ≠ 0.✓ Correct

You have the answer. Trap Analysis is why the other three were written.

Not a worked solution repeated four times — the specific reasoning error each wrong option was built to reward, and why this one tests converse assumed.

See pricing

50 are analysed free — try those first.

The trap it tests

Converse assumed

The theorem runs one way. You used it in the other.

Drill statements like this

Related counterexample: Every real symmetric matrix is positive definite if det > 0

More on this topic

The chapter behind this: Quadratic forms, signature and definiteness — free to read

From Inner Product Spaces and Forms › Quadratic forms, positive definiteness, Sylvester's law

Last revised . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram