Let $A$ be the inductive limit of a sequence

$$\begin{eqnarray}A_{1}\xrightarrow[{}]{\unicode[STIX]{x1D719}_{1,2}}A_{2}\xrightarrow[{}]{\unicode[STIX]{x1D719}_{2,3}}A_{3}\longrightarrow \cdots\end{eqnarray}$$

$A_{n}=\bigoplus _{i=1}^{n_{i}}A_{[n,i]}$

$A_{[n,i]}$

$\unicode[STIX]{x1D719}_{n,n+1}$

$A$

$$\begin{eqnarray}B_{1}\xrightarrow[{}]{\unicode[STIX]{x1D713}_{1,2}}B_{2}\xrightarrow[{}]{\unicode[STIX]{x1D713}_{2,3}}B_{3}\longrightarrow \cdots\end{eqnarray}$$

$B_{n}=\bigoplus _{i=1}^{n_{i}^{\prime }}B_{[n,i]^{\prime }}$

$B_{[n,i]^{\prime }}$

$\unicode[STIX]{x1D713}_{n,n+1}$

We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups. Consider a sequence $G_{1}\subseteq G_{2}\subseteq \cdots \,$ of topological groups $G_{n}$ n such that $G_{n}$ is a subgroup of $G_{n+1}$ and the latter induces the given topology on $G_{n}$, for each $n\in \mathbb{N}$. Let $G$ be the direct limit of the sequence in the category of topological groups. We show that $G$ induces the given topology on each $G_{n}$ whenever $\cup _{n\in \mathbb{N}}V_{1}V_{2}\cdots V_{n}$ is an identity neighbourhood in $G$ for all identity neighbourhoods $V_{n}\subseteq G_{n}$. If, moreover, each $G_{n}$ is complete, then $G$ is complete. We also show that the weak direct product $\oplus _{j\in J}G_{j}$ is complete for each family $(G_{j})_{j\in J}$ of complete Lie groups $G_{j}$. As a consequence, every strict direct limit $G=\cup _{n\in \mathbb{N}}G_{n}$ of finite-dimensional Lie groups is complete, as well as the diffeomorphism group $\text{Diff}_{c}(M)$ of a paracompact finite-dimensional smooth manifold $M$ and the test function group $C_{c}^{k}(M,H)$, for each $k\in \mathbb{N}_{0}\cup \{\infty \}$ and complete Lie group $H$ modelled on a complete locally convex space.

Let 𝒩* be a Hilbert inductive limit and X a Banach space. In this paper, we obtain a necessary and sufficient condition for an analytic mapping Ψ:𝒩*↦X to have a factorization of the form Ψ=T∘ℰ, where ℰ is the exponential mapping on 𝒩* and T:Γ(𝒩*)↦X is a continuous linear operator, where Γ(𝒩*) denotes the Boson Fock space over 𝒩*. To prove this result, we establish some kernel theorems for multilinear mappings defined on multifold Cartesian products of a Hilbert space and valued in a Banach space, which are of interest in their own right. We also apply the above factorization result to white noise theory and get a characterization theorem for white noise testing functionals.

We show that every countable direct system of finite-dimensional real or complex Lie groups has a direct limit in the category of Lie groups modelled on locally convex spaces. This enables us to push all basic constructions of finite-dimensional Lie theory to the case of direct limit groups. In particular, we obtain an analogue of Lie's third theorem: every countable-dimensional locally finite real or complex Lie algebra arises as the Lie algebra of some regular Lie group (a suitable direct limit group).