On the Metrizability of the Bundle Space

Abstract

It has been shown by Yu. M. Smirnov (see [l, p. 13 £,r= {Dr\ir-\W)\DE'Duw)} and let J-UweW&w-Clearly J refines Q, and it is thus sufficient to show that J is locally finite. Let x£A; then since W is locally finite, so is {x-^WOl WEW};