Given a
formal Laurent series f(z) = \sum_{n=-\infty}^N a_n z^n, the corresponding
Hankel operator is defined as H_f : \mathbf C[z] \to \mathbf z^{-1} \mathbf C
z^{-1}. This takes a
polynomial g \in \mathbf C[z] and sends it to the product fg, but discards all powers of z with a non-negative exponent, so as to give an element in z^{-1} \mathbf C
z^{-1}, the
formal power series with strictly negative exponents. The map H_f is in a natural way \mathbf C[z]-linear, and its matrix with respect to the elements 1, z, z^2, \dots \in \mathbf C[z] and z^{-1}, z^{-2}, \dots \in z^{-1}\mathbf C
z^{-1} is the Hankel matrix \begin{bmatrix} a_{-1} & a_{-2} & \ldots \\ a_{-2} & a_{-3} & \ldots \\ a_{-3} & a_{-4} & \ldots \\ \vdots & \vdots & \ddots \end{bmatrix}. Any Hankel matrix arises in this way. A
theorem due to
Kronecker says that the
rank of this matrix is finite precisely if f is a
rational function, that is, a fraction of two polynomials f(z) = \frac{p(z)}{q(z)}. ==Approximations==