Hermitian positive semi-definite matrix
Set
| context | n∈N |
| definiendum | A∈it(n) |
| postulate | A∈HermitianMatrix(n) |
| x∈ColumnVector(n,C) |
| postulate | A∈SquareMatrix(n,C) |
| postulate | x∗A x≥0 |
Discussion
Reference
Wikipedia: Positive-definite matrix
Parents
Subset of
| context | n∈N |
| definiendum | A∈it(n) |
| postulate | A∈HermitianMatrix(n) |
| x∈ColumnVector(n,C) |
| postulate | A∈SquareMatrix(n,C) |
| postulate | x∗A x≥0 |
Wikipedia: Positive-definite matrix
