Definition (Proper function)
A Rational Function g where g(s)=sn+an−1sn−1+⋯+a1s+a0bmsm+⋯+b1+b0is called proper if lims→∞g(s) exists or n≥m. and is called strictly proper if lims→∞g(s)=0 or n>m.
Lemma (Proper Rational Functions have Realizations)
Let g(s) be a proper Rational Function s.t. g(s)=sn+an−1sn−1+⋯+a1s+a0cnsn+⋯+c1+c0 then it has an LTIC system Realization (A,B,C,D) where A∈Mn(R).
Definition (Set of Rational & Proper Matrix Functions)
Let RP denote the set of matrix functions which are real rational and proper.