On a Type of Fréchet Principal Bundles over Banach Bases

In this paper we study a certain class of Fréchet principal bundles. Those which have structural groups obtained as projective limits of Banach Lie groups. In particular, we prove that each bundle of the previous type can be thought of as a projective limit of Banach principal bundles and any connection of them is a generalized limit of Banach connections. Using the previous, we achieve to translate in the Fréchet case basic geometric properties known so far only for Banach bundles.