Montrons que l'on peut extraire de M un sous espace libre de dimension (N+1)(N+3) sous certaines conditions sur le choix des fonctions de base.
Pour cela, nous avons besoin d'utiliser le fait que les fonctions
<I>Fl sont des ondes planes, c'est-à-dire des fonctions de la forme
| (II.9.34) |