實Banach空間

數學敘述

實Banach空間必須把同一載體、實向量運算、範數、由該範數誘導的度量及完備性綁成一體。本輪使用有限維R^n配命名l1或linfinity範數的精確定理證書，不以序列抽樣證完備。

代表公式（精確 TeX）

B(V)

成立條件

• 空間為明示有限維R^n，範數限命名l1或linfinity，metric必須由同一norm誘導。
• 完備證書使用有限維實賦範空間的命名定理；有限條Cauchy序列樣本不足。

符號作用域

• B — 實Banach空間
• V — 同一實賦範空間

直觀、定義與常見誤解

norm與metric不可來自不同空間或不同公式。

有限維R^n的命名範數提供完備性定理證書。

Banach不自動具有內積或Hilbert結構。

測過幾條Cauchy序列，或只知道metric完備，就宣稱任意normed space是Banach。

已採用的推導導讀

原始 MKO 保留；導讀有自己的追加式修訂與驗證界線，不代表新 Lean 證明。

前置知識

• 實賦範向量空間 — Banach先是一個實賦範空間。
• 範數誘導度量 — 完備性使用同一norm的metric。
• 完備度量空間 — 所有Cauchy序列須在空間內收斂。
• 實向量空間 — 載體與運算須為同一實向量空間。

驗證界線

命名證書只涵蓋明示有限維R^n與同一norm；不推出Hilbert、緊緻或任意無限維結論。

not_formalized

這不表示內容錯誤；只表示尚未登錄可重播的計算或形式證據。

下一個義務

與內積誘導範數共同支撐實Hilbert空間。

同源結構化資料

本頁與互動版共用同一個物件與既有語言 edition；未新增證明或人工審定。