{"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-cauchy-sequence"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-cauchy-sequence-01","title":{"zh-Hant":"Cauchy 序列：倒數序列的完整證書、序列在其中無極限的空間、交替反例與最終常值模型","en":"Cauchy sequence: a complete certificate for the reciprocal sequence, a space in which it has no limit, an alternating counterexample and an ultimately constant model"},"summary":{"zh-Hant":"（一）證明 x_n=1/n（n≥1）在 (ℝ, |s−t|) 中是 Cauchy 序列：對每個 ε>0 給出 N，使所有 m,n≥N 都有 |1/m−1/n|<ε。（二）證明同一序列在 X=(0,1]（限制度量）中仍是 Cauchy，但在 X 中沒有極限。（三）證明 y_n=(−1)^n 不是 Cauchy。（四）證明最終常值序列 z（z₁=0、z₂=7、n≥3 時 z_n=5）是 Cauchy。並說明有限尾段為何不能證明 Cauchy。","en":"(1) Prove that x_n=1/n (n≥1) is a Cauchy sequence in (ℝ, |s−t|): for every ε>0 give N such that |1/m−1/n|<ε for all m,n≥N. (2) Prove that the same sequence is still Cauchy in X=(0,1] with the restricted metric, but has no limit in X. (3) Prove that y_n=(−1)^n is not Cauchy. (4) Prove that the ultimately constant sequence z (z₁=0, z₂=7, z_n=5 for n≥3) is Cauchy. Also explain why a finite tail cannot prove the Cauchy property."},"mko_ids":["mko-cauchy-sequence"]}],"title":"概念推導導讀"}