Two Extensions to Finsler's Recurring Theorem

Finsler's theorem asserts the equivalence of (i) and (ii) for pairs of real quadratic forms f and g on Rn : (i) f( ξ ) >0 for all ξ≠ 0 with g( ξ ) =0; (ii) f-λ g>0 for some λ element of R. We prove two extensions: 1. We admit a vector-valued quadratic form g:Rn→Rk , for which we show that (i) implies that f-λ . . . g>0 on an ( n-k+1)-dimensional subspace Y is subset of Rn for some λ element of Rk . 2. In the nonstrict version of Finsler's theorem for indefinite g we replace Rn by a real vector space X