推 tiger790815: 也可以問數學版看看 12/13 14:01
→ wohtp: 推文回應都回溯掉了 ╮(╯_╰)╭ 12/14 00:31
→ wohtp: 那就再說一次：量力會碰到的Hilbert space，你都當作維度可 12/14 00:33
→ wohtp: 數、有內積的向量空間去想就好了。 12/14 00:33
→ wohtp: Hilbert space的定義是把沒有可數基底的空間也包涵進去。 12/14 00:42
→ wohtp: 但是...反正當這些不可數／無限小／無限大造成問題的時候， 12/14 00:43
→ wohtp: 搞物理的第一個直覺就是逃回格點或甜甜圈上面去，把問題變 12/14 00:43
→ wohtp: 成有可數基底 XD 12/14 00:44
→ wohtp: 所以拿向量空間來當成直覺圖像不會有什麼大問題。 12/14 00:46
→ wohtp: 要是想知道真正的數學意義，你還是先從高微啃起吧 12/14 00:49
→ kuromu: inner product space ⊂ normed space ⊂ metric space 12/14 02:04
→ kuromu: ↓ ↓ ↓ (完備化) 12/14 02:05
→ kuromu: Hilbert space ⊂ Banach space ⊂ complete metric 12/14 02:08
→ kuromu: space 12/14 02:09
→ kuromu: 不知道有沒有錯 12/14 02:09
→ speedshuffle: 舉個例子 給定三維向量(1,2,3)跟(4,5,6) 你能找到 12/14 15:35
→ speedshuffle: 不為零的C1 C2 使C1(1,2,3)+C2(4,5,6)=(7,8,9)嗎? 12/14 15:37
→ speedshuffle: 如果不行的話表示這兩個向量不是完備的內積空間 12/14 15:38
→ speedshuffle: 函數的情形也一樣 不過基底是無窮維的 基本上已知的 12/14 16:05
→ speedshuffle: 就那幾種 12/14 16:06
→ speedshuffle: 滿足Sturm-Liouville problem所得出的基底都是完備 12/14 16:09
→ speedshuffle: 基底 12/14 16:09
→ wohtp: 樓上你說的好像有點怪怪的耶... 12/14 16:33
→ wohtp: span{(1,2,3), (4,5,6)} 是很乖的二維向量空間。從R^3繼承 12/14 16:36
→ wohtp: inner product過來的話也是完備的。 12/14 16:36
→ wohtp: 絕大部分的R^3的確都不在span{(1,2,3), (4,5,6)}裡面，但這 12/14 16:37
→ wohtp: 只是說明{(1,2,3), (4,5,6)}不是R^3的基底 12/14 16:38
→ speedshuffle: 你這樣一說我也覺得有點怪.. 12/14 17:17
→ speedshuffle: 應該說我觀念錯誤 確實是完備的二維向量空間 12/14 17:23
推 Landau: 除非你對數學有興趣，不然不用管完備是甚麼 12/14 18:06
→ Landau: 對物理學家來說，就是個inner product space 12/14 18:07
→ Landau: 簡單一點說，完備就是保證所有「應該收斂」的數列收斂 12/14 18:09
→ Landau: 所謂「應該收斂」的數列就是愈到後面間距愈小，趨於零的 12/14 18:10
→ Landau: 數列，這種數列就是柯西數列。 12/14 18:11
→ Landau: 舉個簡單的例子，考慮{1/n}在R\{0}中，它是柯西但不收斂 12/14 18:12
→ Landau: 因為我們把0挖掉了。所以完備你可想做是沒有「洞」的空間 12/14 18:14
→ recorriendo: speedshuffle說的是基底complete 不是分析的complete 12/15 02:22
→ speedshuffle: 基底如果完備SPAN的空間可能不是HILBERT SPACE嗎？ 12/15 09:52
推 fermion: 我覺得就物理而言，Hilbert 空間的嚴格定義其實沒那麼重 12/15 11:51
→ fermion: 要。 12/15 11:51
→ fermion: 不過就是n維線性向量空間，加上一些條件罷了。 12/15 11:55
→ recorriendo: 物理上Hilbert space對基底展開常是無窮級數 12/15 16:27
→ recorriendo: 有個取極限的過程 數學上和有限維下的SPAN是不一樣 12/15 16:28
→ recorriendo: 雖然這是很枝微末節的細節 不過嚴格來說Hilbertian 12/15 16:31
→ recorriendo: basis不是complete basis 12/15 16:32
→ recorriendo: 分析上的complete僅是保證這個取極限的動作會收斂 12/15 16:33
→ speedshuffle: 所以如果有一函數對其基底展開成無窮級數 可是她的 12/15 17:06
→ speedshuffle: NORM值不存在 也就是說平方不可積 那此級數必定發散 12/15 17:08
→ speedshuffle: 所以這組基底的內積空間就不是HILBER SPACE？ 12/15 17:08
→ recorriendo: 看不懂你的問題 1.SPAN本身的定義是有窮和 所以基底 12/16 02:48
→ recorriendo: 的SPAN要完備化(加入極限點)才會是Hilbert space 12/16 02:49
→ recorriendo: 2.即使此你那個函數還是不在這個空間裡啊 12/16 02:50