Structure of tangencies to distributions via the implicit function theorem

Abstract

We investigate the structure and the dimension of the tangency set to a $C^1$ smooth distribution of $n$-dimensional vector subspaces of ${\mathbb{R}}^{n+m}$, by an argument based on the implicit function theorem.