It is shown that, for any given polynomially normal matrix with respect to an indefinite inner product, a nonnegative (with respect to the indefinite inner product) invariant subspace always admits an extension to an invariant maximal nonnegative subspace. Such an extension property is known to hold true for general normal matrices if the nonnegative invariant subspace is actually neutral. An e...
