[ petarm @ 15.03.2008. 10:10 ] @
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?
[ tomkeus @ 15.03.2008. 11:37 ] @
Deluje mi kao teško pitanje. Bolje ga postavi matematičarima.
[ petarm @ 18.03.2008. 16:43 ] @
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!