Nonstandard hulls of locally exponential Lie algebras

We show how to construct the nonstandard hull of certain infinite-dimensional Lie algebras in order to generalize a theorem of Pestov on the enlargeability of Banach-Lie algebras. In the process, we consider a nonstandard smoothness condition on functions between locally convex spaces to ensure that the induced function between the nonstandard hulls is smooth. We also discuss some conditions on a function between locally convex spaces which guarantee that its nonstandard extension maps finite points to finite points.