Hermitian positive semi-definite matrix

Set

context $n\in\mathbb N$
definiendum $ A \in \mathrm{it}(n) $
postulate $ A \in \mathrm{HermitianMatrix}(n) $
$ x \in \text{ColumnVector}(n,\mathbb C) $
postulate $ A \in \mathrm{SquareMatrix}(n,\mathbb C) $
postulate $ x^* A\ x \ge 0 $

Discussion

Reference

Wikipedia: Positive-definite matrix

Parents

Subset of

Hermitian matrix, General positive semi-definite matrix