Considere !$ E !$ um espaço vetorial normado com norma !$ || \bullet || !$ e !$ E^* !$ o seu espaço dual, formado pelos funcionais contínuos !$ f : E \rightarrow \mathbb{R} !$, dotado da norma dual:

!$ E !$ tiver dimensão finita, então !$ E !$ terá dimensão finita.