Teorema Ako imam prostor i njegov dual je onda vazi
Korolar
Dual od je . Ocigledno ce zbog toga biti u Dirakovoj notaciji bas skalarni proizvod a ne uopsteno neko ruzno dejstvo funkcionela na ketove.
Ono sto jeste ocigledno je da linearno nezavisnih braova ima kolko i linearno nezavisnih ketova, ali ovo je cini mi se krajnje netrivijalno! Da li braova ima isto koliko i ketova?