{"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-tends-to-relation"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-tends-to-relation-01","title":{"zh-Hant":"趨近關係：x→a 不是 x=a，也不保證函數值收斂","en":"Tends-to relation: x→a is not x=a, and does not guarantee that function values converge"},"summary":{"zh-Hant":"在 (ℝ, d(x,y)=|x−y|) 中：(1) 證明數列 x_n=1+1/n 趨近 1，而每一項都有 x_n≠1；(2) 對 g(x)=1（x>1）、g(x)=0（x≤1），證明沿 x_n 有 g(x_n)→1，但 lim_{x→1} g(x) 不存在。由此說明 x→1 本身既不要求 x 等於 1，也不決定函數值是否收斂。","en":"In (ℝ, d(x,y)=|x−y|): (1) prove that the sequence x_n=1+1/n tends to 1 while every term satisfies x_n≠1; (2) for g(x)=1 (x>1) and g(x)=0 (x≤1), prove that g(x_n)→1 along x_n, but lim_{x→1} g(x) does not exist. This shows that x→1 by itself neither requires x to equal 1 nor decides whether function values converge."},"mko_ids":["mko-tends-to-relation"]}],"title":"概念推導導讀"}