On Regular Fréchet-Lie Groups IV; Definition and Fundamental Theorems
On Regular Fréchet-Lie Groups IV; Definition and Fundamental Theorems
Note that strong ILB-Lie groups include Banach-Lie groups, hence finitt dimensional Lie groups.In this paper, we shall define a wider concepl of infinite dimensional Lie groups, which will be called regular Fr\'echet.Lie groups throughout this series.Roughly speaking, a regular Fr\'echet.Lie group is a $C^{\infty}$ manifold modeled on a locally convex …