{"schema_version":"ocme-site-results-v1","locale":"en","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-20261025","title":{"zh-Hant":"現代結構 Wave3 收束：邊界值、凸函數、凸最佳化與四項密度深化","en":"Modern Structures Wave3 Closure: Boundary Values, Convex Functions, Convex Optimization and Four Density 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-partial-differential-equation","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-domain-codomain-range","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-equation","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-convex-set","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-order-relation","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-optimization-problem","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-real-vector-space","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-linear-combination-span","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-system-linear-equations","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-determinant","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-sigma-algebra-measure-space","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-set-operations","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-matrix","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-conditional-probability","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-multivariable-real-function","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-derivative","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-rate-of-change","position":1,"requirement":"required","rationale":{"zh-Hant":"本脈衝新物件的既有 Canonical 前置。","en":"Existing canonical prerequisite for the new objects in this pulse."}},{"id":"mko-boundary-value-problem","position":2,"requirement":"optional","rationale":{"zh-Hant":"邊界值問題把定義域內的微分方程責任與邊界上的值或導數資料同時指定；候選通過不等於適定性。","en":"A boundary-value problem specifies both an interior differential equation and boundary values or derivative data; successful candidate checks do not establish general well-posedness."}},{"id":"mko-convex-function","position":2,"requirement":"optional","rationale":{"zh-Hant":"凸域上的函數為凸，若每個兩點凸組合處的函數值不超過相同權重的端點函數值。","en":"A function on a convex domain is convex when its value at every two-point convex combination is at most the same weighted combination of endpoint values."}},{"id":"mko-linear-independence-basis","position":2,"requirement":"optional","rationale":{"zh-Hant":"深化既有R²基底語義，以顯式重建與非平凡零和證書區分span、dependence與座標唯一性。","en":"Deepen the existing R² basis semantics through explicit reconstruction and nontrivial zero-sum certificates, separating span, dependence and coordinate uniqueness."}},{"id":"mko-measurable-function","position":2,"requirement":"optional","rationale":{"zh-Hant":"深化完整有限可測空間上的逆像補集／聯集律、常值映射及來源sigma代數細化。","en":"Deepen complement and union preimage laws, constant maps and source-sigma refinement on complete finite measurable spaces."}},{"id":"mko-finite-markov-chain","position":2,"requirement":"optional","rationale":{"zh-Hant":"深化精確有限時間齊次kernel的n步矩陣、端點joint與給定初態的條件路徑機率。","en":"Deepen exact n-step matrices, endpoint joint probabilities and paths conditional on a given initial state in a finite time-homogeneous kernel."}},{"id":"mko-partial-derivative","position":2,"requirement":"optional","rationale":{"zh-Hant":"深化二次多項式的x／y偏導多項式、固定x的y切片及符號差商消去後極限。","en":"Deepen the x/y partial polynomials of a quadratic, fixed-x y-slices and limits after symbolic difference-quotient cancellation."}},{"id":"mko-convex-optimization-problem","position":3,"requirement":"optional","rationale":{"zh-Hant":"凸最佳化問題在凸可行域上最小化凸目標；問題資格、可行性、求值與全域最優是不同責任。","en":"Convex optimization minimizes a convex objective on a convex feasible domain; problem qualification, feasibility, evaluation and global optimality are distinct obligations."}}]},"title":"Modern Structures Wave3 Closure: Boundary Values, Convex Functions, Convex Optimization and Four Density Extensions"}