{"schema_version":"ocme-site-results-v1","locale":"zh-Hant","page_type":"paths","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":{},"path":{"id":"path-pulse-foundations-20261031","title":{"zh-Hant":"Wave4收束：可數、二分圖、分布收斂、商環、著色與兩項深度密度","en":"Wave4 Closure: Countability, Bipartite Graphs, Distributional Convergence, Quotient Rings, Coloring and Two Depth Extensions"},"summary":{"zh-Hant":"在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。","en":"Complete seven traceable knowledge objects in dependency order on the existing number-system and function foundations."},"audience":["general_learner","upper_secondary"],"review":"candidate","nodes":[{"id":"mko-cardinality-comparison","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-natural-number","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-injective","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-surjective","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-graph","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-subset","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-function-mapping","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-cumulative-distribution-function","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-function-limit","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-sequence","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-finite-joint-distribution","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-finite-unital-ring","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-finite-two-sided-ideal","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-equivalence-class","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-quotient-set","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-order-relation","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-finite-integral-domain","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-finite-abelian-group","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-finite-filtration","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-conditional-expectation","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-discrete-stochastic-process","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-expectation","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-measurable-function","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-at-most-countable-set","position":2,"requirement":"optional","rationale":{"zh-Hant":"集合若有限或存在到自然數的明示單射，則為至多可數；不等同可數無限。","en":"A set is at most countable if it is finite or has an explicit injection into the natural numbers; this is not the same as countably infinite."}},{"id":"mko-bipartite-graph","position":2,"requirement":"optional","rationale":{"zh-Hant":"有限無向簡單圖若全體頂點可分為兩個互斥部分且每條邊跨部，則為二分圖。","en":"A finite undirected simple graph is bipartite when all vertices split into two disjoint parts and every edge crosses between the parts."}},{"id":"mko-convergence-in-distribution","position":2,"requirement":"optional","rationale":{"zh-Hant":"極限CDF每個連續點上F_n逐點收斂到F時，稱依分布收斂。","en":"Convergence in distribution means that F_n tends pointwise to F at every continuity point of the limiting CDF."}},{"id":"mko-finite-quotient-ring","position":2,"requirement":"optional","rationale":{"zh-Hant":"有限環依proper雙邊理想的加法cosets形成商環，運算須與代表元選擇無關。","en":"Additive cosets of a proper two-sided ideal in a finite ring form a quotient ring when its operations are independent of representative choice."}},{"id":"mko-graph-coloring","position":2,"requirement":"optional","rationale":{"zh-Hant":"proper k-coloring使用至多k種顏色並使每條邊兩端顏色不同。","en":"A proper k-coloring uses at most k colors and gives different colors to the endpoints of every edge."}},{"id":"mko-finite-field","position":2,"requirement":"optional","rationale":{"zh-Hant":"深化完整有限域表上的characteristic、非零乘法群、仿射方程與Frobenius恆等。","en":"Deepen characteristic, nonzero multiplicative groups, affine equations and Frobenius identities in the complete finite-field model."}},{"id":"mko-martingale","position":2,"requirement":"optional","rationale":{"zh-Hant":"深化有限filtration上martingale difference、affine stability、公平partial sum與常期望反例。","en":"Deepen martingale differences, affine stability, fair partial sums and constant-expectation counterexamples under finite filtrations."}}]},"title":"Wave4收束：可數、二分圖、分布收斂、商環、著色與兩項深度密度"}