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?
Kad malo bolje razmislim mislim da je to ono o cemu smo vec pricali! Naime u ima isto fja kolko i u . Ali ide opet ona prica da ako uzmem neki potprostor u njegovom dualu ce biti vise fja neko u datom potprostoru , ali ce i dalje biti isti broj linearno nezavisnih funkcija!