Monotone matrix

From HandWiki

A real square matrix A is monotone (in the sense of Collatz) if for all real vectors v, Av≥0 implies v≥0, where ≥ is the element-wise order on ℝn.[1]

Properties

A monotone matrix is nonsingular.[1]

Proof: Let A be a monotone matrix and assume there exists x≠0 with Ax=0. Then, by monotonicity, x≥0 and −x≥0, and hence x=0. ◻

Let A be a real square matrix. A is monotone if and only if A−1≥0.[1]

Proof: Suppose A is monotone. Denote by x the i-th column of A−1. Then, Ax is the i-th standard basis vector, and hence x≥0 by monotonicity. For the reverse direction, suppose A admits an inverse such that A−1≥0. Then, if Ax≥0, x=A−1Ax≥A−10=0, and hence A is monotone. ◻

Examples

The matrix (1−201) is monotone, with inverse (1201). In fact, this matrix is an M-matrix (i.e., a monotone L-matrix).

Note, however, that not all monotone matrices are M-matrices. An example is (−132−4), whose inverse is (23/211/2).

See also

References