{"schema_version":"ocme-site-results-v1","locale":"zh-Hant","page_type":"derivations","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"q":"mko-real-banach-space"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-real-banach-space-01","title":{"zh-Hant":"實 Banach 空間：(ℝ², ℓ¹) 的範數、誘導度量與完備性","en":"Real Banach space: norm, induced metric and completeness of (ℝ², ℓ¹)"},"summary":{"zh-Hant":"在 V=ℝ² 上取 ℓ¹ 範數 ‖x‖₁=|x₁|+|x₂| 與同一範數誘導的度量 d₁(x,y)=‖x−y‖₁。（一）證明 ‖·‖₁ 是範數、d₁ 是度量，並算出 d₁((3,−1),(1,2))。（二）由實數的 Cauchy 完備性完整證明 (ℝ²,d₁) 完備，所以 (ℝ²,‖·‖₁) 是實 Banach 空間；並引用有限維實賦範空間完備的命名定理。（三）證明 ‖·‖₁ 不滿足平行四邊形律，所以不是由任何內積誘導。","en":"On V=ℝ² take the ℓ¹ norm ‖x‖₁=|x₁|+|x₂| and the metric induced by that same norm, d₁(x,y)=‖x−y‖₁. (1) Prove that ‖·‖₁ is a norm and d₁ a metric, and compute d₁((3,−1),(1,2)). (2) Prove completely, from the Cauchy completeness of the reals, that (ℝ²,d₁) is complete, so (ℝ²,‖·‖₁) is a real Banach space; also cite the named theorem that finite-dimensional real normed spaces are complete. (3) Prove that ‖·‖₁ violates the parallelogram law and hence is induced by no inner product."},"mko_ids":["mko-real-banach-space"]}],"title":"概念推導導讀"}