Type of matrix in linear algebra
In linear algebra, a square nonnegative matrix
of order
is said to be productive, or to be a Leontief matrix, if there exists a
nonnegative column matrix
such as
is a positive matrix.
The concept of productive matrix was developed by the economist Wassily Leontief (Nobel Prize in Economics in 1973) in order to model and analyze the relations between the different sectors of an economy.[1] The interdependency linkages between the latter can be examined by the input-output model with empirical data.
Explicit definition
[edit]
The matrix
is productive if and only if
and
such as
.
Here
denotes the set of r×c matrices of real numbers, whereas
and
indicates a positive and a nonnegative matrix, respectively.
The following properties are proven e.g. in the textbook (Michel 1984).[2]
Theorem
A nonnegative matrix
is productive if and only if
is invertible with a nonnegative inverse, where
denotes the
identity matrix.
Proof
"If" :
- Let
be invertible with a nonnegative inverse,
- Let
be an arbitrary column matrix with
.
- Then the matrix
is nonnegative since it is the product of two nonnegative matrices.
- Moreover,
.
- Therefore
is productive.
"Only if" :
- Let
be productive, let
such that
.
- The proof proceeds by reductio ad absurdum.
- First, assume for contradiction
is singular.
- The endomorphism canonically associated with
can not be injective by singularity of the matrix.
- Thus some non-zero column matrix
exists such that
.
- The matrix
has the same properties as
, therefore we can choose
as an element of the kernel with at least one positive entry.
- Hence
is nonnegative and reached with at least one value
.
- By definition of
and of
, we can infer that:

, using that
by construction.
- Thus
, using that
by definition of
.
- This contradicts
and
, hence
is necessarily invertible.
- Second, assume for contradiction
is invertible but with at least one negative entry in its inverse.
- Hence
such that there is at least one negative entry in
.
- Then
is positive and reached with at least one value
.
- By definition of
and of
, we can infer that:

, using that
by construction
using that
by definition of
.
- Thus
, contradicting
.
- Therefore
is necessarily nonnegative.
Proposition
The transpose of a productive matrix is productive.
Proof
- Let
a productive matrix.
- Then
exists and is nonnegative.
- Yet

- Hence
is invertible with a nonnegative inverse.
- Therefore
is productive.
With a matrix approach of the input-output model, the consumption matrix is productive if it is economically viable and if the latter and the demand vector are nonnegative.