Necessary and sufficient conditions for differentiable nonscalar-valued functions to attain extrema

A self-contained theory of extrema (viz., suprema, maxima, minima, and infima) of differentiable functions of several (possibly infinitely many) variables mapping into finite-dimensional integrally closed directed partially ordered linear spaces is reported. The applicability of the theory to the analysis of linear least squares vector estimation problem is demonstrated.