{"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-linear-transformation"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-linear-transformation-01","title":{"zh-Hant":"線性映射：證明 v↦Mv 線性，且仿射式 Mv+b 線性當且僅當 b=0","en":"Linear maps: proving v↦Mv is linear, and Mv+b is linear exactly when b=0"},"summary":{"zh-Hant":"對任意 2×2 實矩陣 M，證明 T(v)=Mv 是 ℝ²→ℝ² 的線性映射（對所有向量 u、v 與實數 c 滿足加法相容與純量相容）；證明仿射式 F(v)=Mv+b 線性當且僅當 b=0。以 M₀=[[2,−1],[3,4]]、b=(1,−2)ᵀ、u=(1,1)ᵀ、w=(2,−3)ᵀ 為例：算出 M₀u，說明 F 不線性並給出具體失效等式；以數字示範 T 的加法相容；最後以 g(x,y)=(x²,y) 說明有限測點不能證明任意映射線性。","en":"For every 2×2 real matrix M, prove that T(v)=Mv is a linear map ℝ²→ℝ² (additivity and homogeneity for all vectors u, v and real c); prove that the affine map F(v)=Mv+b is linear exactly when b=0. For the example M₀=[[2,−1],[3,4]], b=(1,−2)ᵀ, u=(1,1)ᵀ, w=(2,−3)ᵀ: compute M₀u, show that F is not linear with an explicit failing equation, and illustrate additivity of T numerically; finally use g(x,y)=(x²,y) to show that finitely many test points cannot prove that an arbitrary map is linear."},"mko_ids":["mko-linear-transformation"]}],"title":"概念推導導讀"}