Published online by Cambridge University Press: 24 October 2008
One of the key results in the work of the second author ((7), (8)) on integrability of systems of vectorfields is the theorem which relates integrability of a distribution to the concept of homogeneity. In this paper, we show that the homogeneity theorem also applies in an infinite-dimensional context, and this allows us to derive infinite-dimensional versions of several further results in (7) and (8), formulated in terms of distributions. In particular, we are able to express necessary and sufficient conditions for homogeneity in terms of Lie brackets (Theorems 3 and 4) and to characterize integrable real-analytic distributions (Theorem 5). As a corollary to our Theorem 2, we recover the standard Frobenius theorem on the integrability of regular distributions. We also discuss briefly a basic problem which arises in infinite dimensions when we view an integral manifold of an integrable distribution as part of a singular foliation.