一、希爾伯特空間的直和和直積
對於有限維空間的直和和直積（或稱張量積）我們不陌生，而在無窮維空間中，這也容易推廣，當然我們得考慮新的空間中的內積，以及新空間關於此內積的完備性。
對於有限個空間的直和，考慮
如果我們把直和的數量推廣至可數個，那麼需要限制
那麼由柯西不等式，可保證內積存在
對於直積，我們只能考慮有限個空間的直積，因為無窮元函式並不好定義，而
是由多重線性對映
構成的線性空間的子空間，需要滿足 2範數有限，即
自然定義
並由柯西不等式保證內積存在。
我們通常用到的是2範數有限的張量，即
（乘方表示笛卡爾積），且
，如同有限維記作
型 張量，
表示2範數有限，括號區別運算元範數，因為運算元是
型張量。
考慮一組向量的直積
，易知（實際上這就是向量直積的定義）
這裡涉及到糾纏態的問題，實際上糾纏態就是不能寫成直積的態，但總可以寫成直積的和，這麼看來糾纏態反而應該是主流的。但大量粒子合在一起時會發生退相干，使得糾纏態退化為直積態，這也是目前量子位元難以製成的原因。
二、fock空間的構造
乙個n粒子態由乙個
型完全對稱或反對稱張量表示：
其中 是
的乙個置換，而
為此置換的逆序數（也可以看作此置換可拆分為對換的個數）。
對於任何
型張量，可以考慮其對稱和反對稱化：
其中對稱
張量表示乙個n粒子玻色子態，記作
；反對稱的
張量表示乙個n粒子費公尺子態，記作
。那麼
就分別構成了玻色子和費公尺子的fock空間。
我們定義粒子數運算元
，這樣n粒子態的全體就構成了粒子數運算元的特徵子空間。
三、產生與湮滅運算元
一般書上的產生與湮滅運算元實際上是一組基底的產生與湮滅運算元，實際上任何乙個態，不管它是否作為基底考慮，都可以對應乙個產生與湮滅運算元。
我們要求產生運算元把n粒子態變為(n+1)粒子態，而湮滅運算元相反，並把無粒子態（即真空）湮滅為0向量
。而最自然地改變張量型別的方法就是張量積和縮並，所以我們定義：
它們滿足對易關係：
或者反對易關係：
一般書上的產生湮滅運算元是其特例
，其中
是一組單粒子空間的正交歸一基，而通常的對易關係，可由上面的一般對易關係和正交歸一基的定義得出。
四、玻色子的相干態
對於玻色子單粒子態
,定義其相干態：
其中 表示n個
的直積，顯然它是對稱的，於是這的確是乙個玻色子態， 對於任何玻色子態
，總有：
那麼我們就可以把任何乙個fock空間中的態對應到乙個單粒子對偶空間上的解析泛函。
五、希爾伯特空間的外代數
外代數的內積要求滿足
這個內積和張量的內積差了個
的因子，實際上乙個n階完全反對稱張量
，對它的任何非0分量，可以做一次置換，保持不變或改變負號，而內積**現兩個張量，於是負號抵消，這個分量在內積中重複運算了
次從而可以去除掉。
重新定義
我們使用一套新記號與原記號做區別，由外積定義：
從而 ，剛好
，於是
。對於一般的fock態，其內積定義為各n粒子分量內積之和，此時
不斷壓低大量粒子分量，使得原來一些範數不收斂的情況變得收斂，也就是說外代數實際上是比費公尺子的fock空間更大的，而
比 也更弱。 而
則保證了
從而使得外代數的外積關於範數連續，使外代數成為乙個巴拿赫代數（由於此範數由內積給出，也可稱為希爾伯特代數）。
在量子場論中，我們對費公尺子做路徑積分時用到了grassmann數，而外代數就是一種grassmann數具體化的方法，而其中grassmann數的生成元可以看作是單粒子空間的一組基，函式可以看作乙個一般的外代數元素，而對函式的積分滿足
，這並不是通常意義的積分，叫做berezin積分，它可以用外代數的內乘（interior product）來解釋。注意內積的英文是 inner product。
而內乘需要用到對偶向量，
，一般外代數是定義在
型張量的空間中，然後用乙個向量做內乘，本文為了對比外代數和費公尺子的fock空間，使用了
型張量。當然有了內積後，向量和對偶向量是通的，不會造成多大問題。
而berezin積分的真實意思是
，這裡*號表示按內積取得對偶，而不是hodge對偶。
歐氏空間內積定義 子空間與對稱變換
摘要 本節主要介紹歐氏空間中子空間與對稱變換在考研中的考察，對於子空間的考察而言，更多的側重於考察正交補空間 而對於對稱變換，大家一定要熟記定義，看到對稱變換的時候，知道如何使用定義去處理題目，達到解決問題的目的.定義1.設 則稱為正交的，記為 乙個向量 如果對於任意的 則稱 與子空間 記作因為只有...
歐氏空間內積定義 向量到子空間的距離與酉空間
摘要 本節主要介紹歐氏空間中子空間的距離和酉矩陣的概念，這一板塊大家在第一遍的複習過程中可以考慮記住概念，當第二遍複習強化刷題階段，看自己報考得院校是否考察酉變換，在確定是否刷對應的題目.定義1.長度 1 2 並且僅當時等號才成立 3 三角不等式 定義2.設v是複數域上的線性空間，在v上定義了乙個二...
向量空間 內積空間 歐氏空間 希爾伯特空間
向量空間乙個最大的特徵是對加法運算和數乘運算封閉。n維向量空間的定義是n維實向量全體構成的集合，同時考慮到向量的線性運算，成為實n維向量空間，用r n r n rn表示，顯然r n r n rn中任意兩個向量的和向量還是r n r n rn中的向量，r n r n rn中任意乙個向量與乙個實數的乘積...