[论文解读] Orthonormal bases of Hilbert spaces

Ilijas Farah|ArXiv.org|Aug 13, 2009

Matrix Theory and Algorithms被引用 5

一句话总结

本文通過證明非分離的希爾伯特空間可以包含不包含該空間任何標準正交基的稠密線性子空間，解決了布魯斯·布萊克達爾提出的一個問題。作者在特定集合論條件下，利用超限歸納法與ℓ²(θ)中投影的性質，構造出此類子空間，並表明格拉姆-施密特過程無法推廣至非分離情形。

ABSTRACT

I prove that a Hilbert space has the property that each of its dense (not necessarily closed) subspaces contains an orthoormal basis if and only if it is separable.

研究动机与目标

• 解決一個開放問題：非分離希爾伯特空間的每個稠密線性子空間是否必然包含該空間的標準正交基。
• 證明經典的格拉姆-施密特過程（在分離希爾伯特空間中保證產生標準正交基）在非分離情形下不成立。
• 構造ℓ²(θ)中稠密子空間的明確例子，使其不包含大小超過給定基數λ < θ的任何標準正交族。
• 釐清此類子空間存在的集合論條件，特別是基數算術與正則性。

提出的方法

• 使用超限歸納法在ℓ²(θ)中構造一組稠密向量{y_{γ,m}}，使其在ℓ²(λ)上的投影線性無關。
• 利用ℂ上ℓ²(λ)的哈默基，以確保在遞歸構造過程中投影的線性無關性。
• 定義稠密線性子空間K為{y_{γ,m}}的線性張成，並證明投影p_λ限制在K上的核為平凡。
• 應用引理1，其內容為：對於正則不可數基數θ與ℓ²(θ)中的標準正交族，除可數多個向量外，其餘所有向量均與ℓ²(λ)正交。
• 利用分解H = ℓ²(𝔠) ⊕ ℓ²(θ)構造H中稠密子空間K₁ = K ⊕ ℓ²(θ)，其中K ⊆ ℓ²(𝔠)不包含大小超過ℵ₀的標準正交族。
• 應用推廣的Δ-系統引理，提取一組具有共同投影支撐的向量，進而於命題4條件(1)下構造出大小為θ的標準正交族。

实验结果

研究问题

• RQ1 每個非分離希爾伯特空間的稠密線性子空間是否必然包含該空間的標準正交基？
• RQ2 格拉姆-施密特過程能否推廣至非分離希爾伯特空間，以從稠密子空間中提取標準正交基？
• RQ3 基數θ與λ的哪些集合論條件可確保在ℓ²(θ)中存在不包含大小超過λ的標準正交族的稠密子空間？
• RQ4 在何種條件下，希爾伯特空間中大小為θ的每個線性子空間都必然包含大小為θ的標準正交族？
• RQ5 連續基數的大小與不可數基數的正則性如何影響此類子空間的存在性？

主要发现

• 存在非分離希爾伯特空間H = ℓ²(θ)，其具有不包含H的標準正交基的稠密線性子空間，從而對布萊克達爾的問題給出否定回答。
• 當θ > 2^ℵ₀時，可構造H = ℓ²(𝔠) ⊕ ℓ²(θ)中的一個稠密子空間K₁ = K ⊕ ℓ²(θ)，使得其中不包含任何大小為θ的標準正交族。
• 當θ為正則且對所有λ < θ有λ^ℵ₀ < θ時，希爾伯特空間中任何大小為θ的線性子空間必包含大小為θ的標準正交族。
• 在ℓ²(θ)中構造的K確保投影p_λ限制在K上的核為平凡，即僅有零向量在p_λ下映射至零。
• 此類子空間的存在性在基數算術上至關重要：當λ^ℵ₀ ≥ θ時，可透過從哈默基中遞歸選擇構造出此類子空間。
• 主要障礙在於：H中的任何標準正交基都需包含不可數多個在ℓ²(𝔠)上有非零投影的向量，但此類向量會違反構造出的K的核條件。