Research proof index

For a positive definite quadratic form, the negative dimension (index) is zero. O'Neill states (p. 47) that "ν = 0 if and only if b is positive semidefinite." Since positive definite implies positive semidefinite (Definitions 17 (1) and (2), p. 46), a positive definite form must have index ν = 0.