ドイツ語の予習をしていたから眠いです。
それはさておき、現在、猪木・川合「量子力学」の第六章を読んでいますが、ブラベクトルはn次元空間Vから一次元空間Cへの写像であり、ケットベクトルが一次元空間Cからn次元空間Vへの写像であると書かれていますが、これってブラとケットがdualってことですよね？
ちなみにDiracの§６には、
whenever we have a set of vectors in any mathematical theory,we can always set up a second set of vecors,which mathematicians call the dual vectors
と書かれています。表があれば裏があるように、必ずペアが存在するということでしょうか？
何か、深いような気がしますが、眠いんで寝ます。