{ "schema_version": "ocme-reviewed-question-reader-v1", "question_id": "q-20261015-advance-20261116-r01-contraction-mapping-theorem-0018", "pilot_number": "R0051-26268", "number": 26268, "family_id": "qf-mod47-contract-metric-qualification", "title": { "zh-Hant": "第 26268 題：壓縮映射定理", "en": "Question 26268: A Global Contraction Needs Every Metric and Mapping Qualification" }, "original_question": { "schema_version": "ocme-question-v0.1", "id": "q-20261015-advance-20261116-r01-contraction-mapping-theorem-0018", "batch_id": "batch-20261015-advance-20261116-r01-contraction-mapping-theorem-foundations", "language": "zh-Hant", "source_mko_ids": [ "mko-contraction-mapping-theorem" ], "title_zh": "壓縮映射定理", "stem_zh": "完整metric、total self-map與forall-pairs q<1 contraction責任。操作=contract-metric-qualification；資料={\"metric\":[[0,18,54],[18,0,36],[54,36,0]],\"mapping\":[0,0,1],\"q\":[1,2]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。", "answer": { "kind": "expression", "value": "(3, 是, 1/2, 是, [[0, 0, 0, 0, 是], [0, 1, 0, 9, 是], [0, 2, 18, 27, 是], [1, 0, 0, 9, 是], [1, 1, 0, 0, 是], [1, 2, 18, 18, 是], [2, 0, 18, 27, 是], [2, 1, 18, 18, 是], [2, 2, 0, 0, 是]], 是, finite_metric_is_complete_but_full_pair_audit_is_still_required)", "explanation_zh": "Wave6第十層核對=(3, 是, 1/2, 是, [[0, 0, 0, 0, 是], [0, 1, 0, 9, 是], [0, 2, 18, 27, 是], [1, 0, 0, 9, 是], [1, 1, 0, 0, 是], [1, 2, 18, 18, 是], [2, 0, 18, 27, 是], [2, 1, 18, 18, 是], [2, 2, 0, 0, 是]], 是, finite_metric_is_complete_but_full_pair_audit_is_still_required)；依完整明示資料獨立重算；Picard orbit、unique fixed point與geometric tail bound使用exact arithmetic；q=1、非self-map、noncomplete或sampled-pairs不足；finite model不取代一般定理。" }, "difficulty": { "band": "undergraduate_core", "level": 3, "skills": [ "壓縮映射定理" ] }, "variant": { "family_id": "qf-mod47-contract-metric-qualification", "seed": 202611161018, "parameters": { "metric": [ [ 0, 18, 54 ], [ 18, 0, 36 ], [ 54, 36, 0 ] ], "mapping": [ 0, 0, 1 ], "q": [ 1, 2 ], "domain": "Exact_finite_contraction_mapping", "operation": "contract-metric-qualification", "semantic_template": "qf-mod47-contract-metric-qualification/{\"mapping\":[0,0,1],\"metric\":[[[0,1],[18,1],[54,1]],[[18,1],[0,1],[36,1]],[[54,1],[36,1],[0,1]]],\"q\":[1,2]}" } }, "verification": { "status": "candidate", "checks": [ "producer_exact_finite_or_symbolic_model", "producer_source_snapshot_check", "producer_substantive_template_deduplication", "producer_json_schema" ], "warning_zh": "候選須主端重算；不構成人工審定、一般Banach／IVT／Taylor證明、MLE漸近性、factorization theorem、一般DAG iff或primitive-root主張、Lean或Evidence。" }, "provenance": { "generator_role": "question_producer", "generator_model": "model_unknown", "generated_at": "2026-10-15", "contract_version": "ocme-question-factory-v0.1" } }, "original_english_edition": { "schema_version": "ocme-question-localization-v0.1", "question_id": "q-20261015-advance-20261116-r01-contraction-mapping-theorem-0018", "batch_id": "batch-20261015-advance-20261116-r01-contraction-mapping-theorem-foundations", "locale": "en", "translation_state": "ai_candidate", "source": { "question_sha256": "6107e51e4b57a0d78937c288fe11c18d16611ed204db0aa71240c67084f517d7", "family_id": "qf-mod47-contract-metric-qualification", "seed": 202611161018, "semantic_template": "qf-mod47-contract-metric-qualification/{\"mapping\":[0,0,1],\"metric\":[[[0,1],[18,1],[54,1]],[[18,1],[0,1],[36,1]],[[54,1],[36,1],[0,1]]],\"q\":[1,2]}" }, "fields": { "title": "A Global Contraction Needs Every Metric and Mapping Qualification", "stem": "Use the complete exact metric matrix=[[0, 18, 54], [18, 0, 36], [54, 36, 0]], aligned mapping=[0, 0, 1] and q=1/2. Qualify nonnegativity, separation, symmetry and every triangle, the entire self-map and every ordered contraction pair. A finite metric space is complete. Give (point_count, self_map, q, q_in_range, pair_inequality_rows, global_contraction, certificate).", "answer": { "kind": "expression", "value": "(3, Yes, 1/2, Yes, [[0, 0, 0, 0, Yes], [0, 1, 0, 9, Yes], [0, 2, 18, 27, Yes], [1, 0, 0, 9, Yes], [1, 1, 0, 0, Yes], [1, 2, 18, 18, Yes], [2, 0, 18, 27, Yes], [2, 1, 18, 18, Yes], [2, 2, 0, 0, Yes]], Yes, finite_metric_is_complete_but_full_pair_audit_is_still_required)", "explanation": "Retain point count, self-map qualification, q-range check and every exact pair inequality. Being a total array or passing sampled pairs is insufficient. Finite completeness does not replace the all-pairs bound or a general complete-space theorem proof. The exact result, retaining the requested order, is (3, Yes, 1/2, Yes, [[0, 0, 0, 0, Yes], [0, 1, 0, 9, Yes], [0, 2, 18, 27, Yes], [1, 0, 0, 9, Yes], [1, 1, 0, 0, Yes], [1, 2, 18, 18, Yes], [2, 0, 18, 27, Yes], [2, 1, 18, 18, Yes], [2, 2, 0, 0, Yes]], Yes, finite_metric_is_complete_but_full_pair_audit_is_still_required)." }, "skills": [ "A Global Contraction Needs Every Metric and Mapping Qualification" ], "verification_warning": "This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review." } }, "givens": [ { "id": "G001", "text": { "zh-Hant": "完整metric、total self-map與forall-pairs q<1 contraction責任。操作=contract-metric-qualification；資料={\"metric\":[[0,18,54],[18,0,36],[54,36,0]],\"mapping\":[0,0,1],\"q\":[1,2]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。", "en": "Use the complete exact metric matrix=[[0, 18, 54], [18, 0, 36], [54, 36, 0]], aligned mapping=[0, 0, 1] and q=1/2. Qualify nonnegativity, separation, symmetry and every triangle, the entire self-map and every ordered contraction pair. A finite metric space is complete. Give (point_count, self_map, q, q_in_range, pair_inequality_rows, global_contraction, certificate)." } } ], "steps": [ { "id": "S001", "uses": [ "G001" ], "before": "source roles = [contract-metric-qualification]", "after": "derived = [[point_count, self_map, q, q_in_range, pair_inequality_rows, global_contraction, certificate]]", "relation": "implies", "rule_id": "source_ordered_fields_without_JS", "conditions": [], "explanation": { "zh-Hant": "本頁直接列完整來源欄序，不需JavaScript；contract的6/4/6/6與IVT的8/7/8由原mode選，不補欄也不由答案形狀猜。", "en": "List the full source field order without JavaScript.Original modes select contract6/4/6/6 and IVT8/7/8 roles,without padding or answer-shape inference." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。", "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence." } }, "arithmetic": null }, { "id": "S002", "uses": [ "G001", "S001" ], "before": "source roles = [[[0, 18, 54], [18, 0, 36], [54, 36, 0]]]", "after": "derived = [3, 是, 是, 是, [[0, 0, 0, 0, 0, 是], [0, 0, 1, 18, 18, 是], [0, 0, 2, 54, 54, 是], [0, 1, 0, 0, 36, 是], [0, 1, 1, 18, 18, 是], [0, 1, 2, 54, 54, 是], [0, 2, 0, 0, 108, 是], [0, 2, 1, 18, 90, 是], [0, 2, 2, 54, 54, 是], [1, 0, 0, 18, 18, 是], [1, 0, 1, 0, 36, 是], [1, 0, 2, 36, 72, 是], [1, 1, 0, 18, 18, 是], [1, 1, 1, 0, 0, 是], [1, 1, 2, 36, 36, 是], [1, 2, 0, 18, 90, 是], [1, 2, 1, 0, 72, 是], [1, 2, 2, 36, 36, 是], [2, 0, 0, 54, 54, 是], [2, 0, 1, 36, 72, 是], [2, 0, 2, 0, 108, 是], [2, 1, 0, 54, 54, 是], [2, 1, 1, 36, 36, 是], [2, 1, 2, 0, 72, 是], [2, 2, 0, 54, 54, 是], [2, 2, 1, 36, 36, 是], [2, 2, 2, 0, 0, 是]], 是]", "relation": "implies", "rule_id": "Contraction_COMPLETE_metric_axioms_ALL_triangles_finite_completeness", "conditions": [], "explanation": { "zh-Hant": "逐全部三元組核triangle，不由samples推metric。非空有限metric必complete：singleton顯然，否則取最小正距離delta，Cauchy尾段距離