La détermination des dimensions de et de peut se faire en cherchant des bases de et de .

Pour montrer que et sont supplémentaires, on peut montrer que la somme est directe, déterminer la dimension de et la comparer à celle de .