本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261025-r05-measurable-function-foundations · 2026-10-13 · 100 題
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[0,0,0,0],"event":[0,1]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([0, 0, 0, 0], [0, 1], [2, 3], [0, 1, 2, 3], [], [], 是)
收束波核對=([0, 0, 0, 0], [0, 1], [2, 3], [0, 1, 2, 3], [], [], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[1,0,0,0],"event":[1,2]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([1, 0, 0, 0], [1, 2], [0, 3], [0], [1, 2, 3], [1, 2, 3], 是)
收束波核對=([1, 0, 0, 0], [1, 2], [0, 3], [0], [1, 2, 3], [1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[2,0,0,0],"event":[2,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([2, 0, 0, 0], [2, 3], [0, 1], [0], [1, 2, 3], [1, 2, 3], 是)
收束波核對=([2, 0, 0, 0], [2, 3], [0, 1], [0], [1, 2, 3], [1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[3,0,0,0],"event":[0,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([3, 0, 0, 0], [0, 3], [1, 2], [0, 1, 2, 3], [], [], 是)
收束波核對=([3, 0, 0, 0], [0, 3], [1, 2], [0, 1, 2, 3], [], [], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[0,1,0,0],"event":[0,1]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([0, 1, 0, 0], [0, 1], [2, 3], [0, 1, 2, 3], [], [], 是)
收束波核對=([0, 1, 0, 0], [0, 1], [2, 3], [0, 1, 2, 3], [], [], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[1,1,0,0],"event":[1,2]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([1, 1, 0, 0], [1, 2], [0, 3], [0, 1], [2, 3], [2, 3], 是)
收束波核對=([1, 1, 0, 0], [1, 2], [0, 3], [0, 1], [2, 3], [2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[2,1,0,0],"event":[2,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([2, 1, 0, 0], [2, 3], [0, 1], [0], [1, 2, 3], [1, 2, 3], 是)
收束波核對=([2, 1, 0, 0], [2, 3], [0, 1], [0], [1, 2, 3], [1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[3,1,0,0],"event":[0,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([3, 1, 0, 0], [0, 3], [1, 2], [0, 2, 3], [1], [1], 是)
收束波核對=([3, 1, 0, 0], [0, 3], [1, 2], [0, 2, 3], [1], [1], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[0,2,0,0],"event":[0,1]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([0, 2, 0, 0], [0, 1], [2, 3], [0, 2, 3], [1], [1], 是)
收束波核對=([0, 2, 0, 0], [0, 1], [2, 3], [0, 2, 3], [1], [1], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[1,2,0,0],"event":[1,2]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([1, 2, 0, 0], [1, 2], [0, 3], [0, 1], [2, 3], [2, 3], 是)
收束波核對=([1, 2, 0, 0], [1, 2], [0, 3], [0, 1], [2, 3], [2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[2,2,0,0],"event":[2,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([2, 2, 0, 0], [2, 3], [0, 1], [0, 1], [2, 3], [2, 3], 是)
收束波核對=([2, 2, 0, 0], [2, 3], [0, 1], [0, 1], [2, 3], [2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[3,2,0,0],"event":[0,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([3, 2, 0, 0], [0, 3], [1, 2], [0, 2, 3], [1], [1], 是)
收束波核對=([3, 2, 0, 0], [0, 3], [1, 2], [0, 2, 3], [1], [1], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[0,3,0,0],"event":[0,1]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([0, 3, 0, 0], [0, 1], [2, 3], [0, 2, 3], [1], [1], 是)
收束波核對=([0, 3, 0, 0], [0, 1], [2, 3], [0, 2, 3], [1], [1], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[1,3,0,0],"event":[1,2]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([1, 3, 0, 0], [1, 2], [0, 3], [0], [1, 2, 3], [1, 2, 3], 是)
收束波核對=([1, 3, 0, 0], [1, 2], [0, 3], [0], [1, 2, 3], [1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[2,3,0,0],"event":[2,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([2, 3, 0, 0], [2, 3], [0, 1], [0, 1], [2, 3], [2, 3], 是)
收束波核對=([2, 3, 0, 0], [2, 3], [0, 1], [0, 1], [2, 3], [2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[3,3,0,0],"event":[0,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([3, 3, 0, 0], [0, 3], [1, 2], [0, 1, 2, 3], [], [], 是)
收束波核對=([3, 3, 0, 0], [0, 3], [1, 2], [0, 1, 2, 3], [], [], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[0,0,1,0],"event":[0,1]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([0, 0, 1, 0], [0, 1], [2, 3], [0, 1, 2, 3], [], [], 是)
收束波核對=([0, 0, 1, 0], [0, 1], [2, 3], [0, 1, 2, 3], [], [], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[1,0,1,0],"event":[1,2]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([1, 0, 1, 0], [1, 2], [0, 3], [0, 2], [1, 3], [1, 3], 是)
收束波核對=([1, 0, 1, 0], [1, 2], [0, 3], [0, 2], [1, 3], [1, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[2,0,1,0],"event":[2,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([2, 0, 1, 0], [2, 3], [0, 1], [0], [1, 2, 3], [1, 2, 3], 是)
收束波核對=([2, 0, 1, 0], [2, 3], [0, 1], [0], [1, 2, 3], [1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[3,0,1,0],"event":[0,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([3, 0, 1, 0], [0, 3], [1, 2], [0, 1, 3], [2], [2], 是)
收束波核對=([3, 0, 1, 0], [0, 3], [1, 2], [0, 1, 3], [2], [2], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[0,1,1,0],"event":[0,1]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([0, 1, 1, 0], [0, 1], [2, 3], [0, 1, 2, 3], [], [], 是)
收束波核對=([0, 1, 1, 0], [0, 1], [2, 3], [0, 1, 2, 3], [], [], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[1,1,1,0],"event":[1,2]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([1, 1, 1, 0], [1, 2], [0, 3], [0, 1, 2], [3], [3], 是)
收束波核對=([1, 1, 1, 0], [1, 2], [0, 3], [0, 1, 2], [3], [3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[2,1,1,0],"event":[2,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([2, 1, 1, 0], [2, 3], [0, 1], [0], [1, 2, 3], [1, 2, 3], 是)
收束波核對=([2, 1, 1, 0], [2, 3], [0, 1], [0], [1, 2, 3], [1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[3,1,1,0],"event":[0,3]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([3, 1, 1, 0], [0, 3], [1, 2], [0, 3], [1, 2], [1, 2], 是)
收束波核對=([3, 1, 1, 0], [0, 3], [1, 2], [0, 3], [1, 2], [1, 2], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-complement-law；資料={"source_n":4,"target_n":4,"mapping":[0,2,1,0],"event":[0,1]}。請依 [mapping,event,target_complement,preimage,source_complement,preimage_of_complement,equal] 欄序回答。
([0, 2, 1, 0], [0, 1], [2, 3], [0, 2, 3], [1], [1], 是)
收束波核對=([0, 2, 1, 0], [0, 1], [2, 3], [0, 2, 3], [1], [1], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-complement-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[0,0,0,0],"left_event":[0],"right_event":[1,2]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([0, 0, 0, 0], [0], [1, 2], [0, 1, 2], [0, 1, 2, 3], [], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([0, 0, 0, 0], [0], [1, 2], [0, 1, 2], [0, 1, 2, 3], [], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[1,0,0,0],"left_event":[1],"right_event":[2,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([1, 0, 0, 0], [1], [2, 3], [1, 2, 3], [0], [], [0], [0], 是)
收束波核對=([1, 0, 0, 0], [1], [2, 3], [1, 2, 3], [0], [], [0], [0], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[2,0,0,0],"left_event":[2],"right_event":[0,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([2, 0, 0, 0], [2], [0, 3], [0, 2, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([2, 0, 0, 0], [2], [0, 3], [0, 2, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[3,0,0,0],"left_event":[3],"right_event":[0,1]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([3, 0, 0, 0], [3], [0, 1], [0, 1, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([3, 0, 0, 0], [3], [0, 1], [0, 1, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[0,1,0,0],"left_event":[0],"right_event":[1,2]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([0, 1, 0, 0], [0], [1, 2], [0, 1, 2], [0, 2, 3], [1], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([0, 1, 0, 0], [0], [1, 2], [0, 1, 2], [0, 2, 3], [1], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[1,1,0,0],"left_event":[1],"right_event":[2,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([1, 1, 0, 0], [1], [2, 3], [1, 2, 3], [0, 1], [], [0, 1], [0, 1], 是)
收束波核對=([1, 1, 0, 0], [1], [2, 3], [1, 2, 3], [0, 1], [], [0, 1], [0, 1], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[2,1,0,0],"left_event":[2],"right_event":[0,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([2, 1, 0, 0], [2], [0, 3], [0, 2, 3], [0], [2, 3], [0, 2, 3], [0, 2, 3], 是)
收束波核對=([2, 1, 0, 0], [2], [0, 3], [0, 2, 3], [0], [2, 3], [0, 2, 3], [0, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[3,1,0,0],"left_event":[3],"right_event":[0,1]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([3, 1, 0, 0], [3], [0, 1], [0, 1, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([3, 1, 0, 0], [3], [0, 1], [0, 1, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[0,2,0,0],"left_event":[0],"right_event":[1,2]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([0, 2, 0, 0], [0], [1, 2], [0, 1, 2], [0, 2, 3], [1], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([0, 2, 0, 0], [0], [1, 2], [0, 1, 2], [0, 2, 3], [1], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[1,2,0,0],"left_event":[1],"right_event":[2,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([1, 2, 0, 0], [1], [2, 3], [1, 2, 3], [0], [1], [0, 1], [0, 1], 是)
收束波核對=([1, 2, 0, 0], [1], [2, 3], [1, 2, 3], [0], [1], [0, 1], [0, 1], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[2,2,0,0],"left_event":[2],"right_event":[0,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([2, 2, 0, 0], [2], [0, 3], [0, 2, 3], [0, 1], [2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([2, 2, 0, 0], [2], [0, 3], [0, 2, 3], [0, 1], [2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[3,2,0,0],"left_event":[3],"right_event":[0,1]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([3, 2, 0, 0], [3], [0, 1], [0, 1, 3], [0], [2, 3], [0, 2, 3], [0, 2, 3], 是)
收束波核對=([3, 2, 0, 0], [3], [0, 1], [0, 1, 3], [0], [2, 3], [0, 2, 3], [0, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[0,3,0,0],"left_event":[0],"right_event":[1,2]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([0, 3, 0, 0], [0], [1, 2], [0, 1, 2], [0, 2, 3], [], [0, 2, 3], [0, 2, 3], 是)
收束波核對=([0, 3, 0, 0], [0], [1, 2], [0, 1, 2], [0, 2, 3], [], [0, 2, 3], [0, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[1,3,0,0],"left_event":[1],"right_event":[2,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([1, 3, 0, 0], [1], [2, 3], [1, 2, 3], [0], [1], [0, 1], [0, 1], 是)
收束波核對=([1, 3, 0, 0], [1], [2, 3], [1, 2, 3], [0], [1], [0, 1], [0, 1], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[2,3,0,0],"left_event":[2],"right_event":[0,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([2, 3, 0, 0], [2], [0, 3], [0, 2, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([2, 3, 0, 0], [2], [0, 3], [0, 2, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[3,3,0,0],"left_event":[3],"right_event":[0,1]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([3, 3, 0, 0], [3], [0, 1], [0, 1, 3], [0, 1], [2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([3, 3, 0, 0], [3], [0, 1], [0, 1, 3], [0, 1], [2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[0,0,1,0],"left_event":[0],"right_event":[1,2]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([0, 0, 1, 0], [0], [1, 2], [0, 1, 2], [0, 1, 3], [2], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([0, 0, 1, 0], [0], [1, 2], [0, 1, 2], [0, 1, 3], [2], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[1,0,1,0],"left_event":[1],"right_event":[2,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([1, 0, 1, 0], [1], [2, 3], [1, 2, 3], [0, 2], [], [0, 2], [0, 2], 是)
收束波核對=([1, 0, 1, 0], [1], [2, 3], [1, 2, 3], [0, 2], [], [0, 2], [0, 2], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[2,0,1,0],"left_event":[2],"right_event":[0,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([2, 0, 1, 0], [2], [0, 3], [0, 2, 3], [0], [1, 3], [0, 1, 3], [0, 1, 3], 是)
收束波核對=([2, 0, 1, 0], [2], [0, 3], [0, 2, 3], [0], [1, 3], [0, 1, 3], [0, 1, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[3,0,1,0],"left_event":[3],"right_event":[0,1]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([3, 0, 1, 0], [3], [0, 1], [0, 1, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([3, 0, 1, 0], [3], [0, 1], [0, 1, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[0,1,1,0],"left_event":[0],"right_event":[1,2]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([0, 1, 1, 0], [0], [1, 2], [0, 1, 2], [0, 3], [1, 2], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([0, 1, 1, 0], [0], [1, 2], [0, 1, 2], [0, 3], [1, 2], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[1,1,1,0],"left_event":[1],"right_event":[2,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([1, 1, 1, 0], [1], [2, 3], [1, 2, 3], [0, 1, 2], [], [0, 1, 2], [0, 1, 2], 是)
收束波核對=([1, 1, 1, 0], [1], [2, 3], [1, 2, 3], [0, 1, 2], [], [0, 1, 2], [0, 1, 2], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[2,1,1,0],"left_event":[2],"right_event":[0,3]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([2, 1, 1, 0], [2], [0, 3], [0, 2, 3], [0], [3], [0, 3], [0, 3], 是)
收束波核對=([2, 1, 1, 0], [2], [0, 3], [0, 2, 3], [0], [3], [0, 3], [0, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[3,1,1,0],"left_event":[3],"right_event":[0,1]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([3, 1, 1, 0], [3], [0, 1], [0, 1, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([3, 1, 1, 0], [3], [0, 1], [0, 1, 3], [0], [1, 2, 3], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-preimage-union-law；資料={"source_n":4,"target_n":4,"mapping":[0,2,1,0],"left_event":[0],"right_event":[1,2]}。請依 [mapping,left,right,union,left_preimage,right_preimage,union_preimage,preimage_union,equal] 欄序回答。
([0, 2, 1, 0], [0], [1, 2], [0, 1, 2], [0, 3], [1, 2], [0, 1, 2, 3], [0, 1, 2, 3], 是)
收束波核對=([0, 2, 1, 0], [0], [1, 2], [0, 1, 2], [0, 3], [1, 2], [0, 1, 2, 3], [0, 1, 2, 3], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-preimage-union-law · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":0}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1],[0,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":1}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1],[2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":2}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[2],[0,1,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":3}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,2],[1,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":0}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1,2],[0,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":1}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1,2],[3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":2}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":3}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1],[0,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":0}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1],[2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":1}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[2],[0,1,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":2}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,2],[1,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":3}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1,2],[0,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":0}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1,2],[3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":1}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":2}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1],[0,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":3}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1],[2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":0}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[2],[0,1,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":1}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,2],[1,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":2}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1,2],[0,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":3}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1,2],[3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":0}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":1}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 1, [1, 1, 1, 1], [[[], [], 是], [[0], [], 是], [[1], [0, 1, 2, 3], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1],[0,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":2}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 2, [2, 2, 2, 2], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [0, 1, 2, 3], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1, 2, 3], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [], 是], [[1, 3], [], 是], [[0, 1, 3], [], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1],[2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":3}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 3, [3, 3, 3, 3], [[[], [], 是], [[0], [], 是], [[1], [], 是], [[0, 1], [], 是], [[2], [], 是], [[0, 2], [], 是], [[1, 2], [], 是], [[0, 1, 2], [], 是], [[3], [0, 1, 2, 3], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1, 2, 3], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1, 2, 3], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1, 2, 3], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-constant-map-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[2],[0,1,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"value":0}。請依 [source_n,target_n,value,mapping,preimage_rows,measurable] 欄序回答。
(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=(4, 4, 0, [0, 0, 0, 0], [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-constant-map-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0],[1,2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[0,0,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([0, 0, 0, 0], 是, [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是, [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([0, 0, 0, 0], 是, [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是, [[[], [], 是], [[0], [0, 1, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1],[0,2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[1,0,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([1, 0, 0, 0], 是, [[[], [], 是], [[0], [1, 2, 3], 否], [[1], [0], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 2, 3], 否], [[1, 2], [0], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 2, 3], 否], [[1, 3], [0], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [1, 2, 3], 否], [[1, 2, 3], [0], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 2, 3], 是], [[1], [0], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 2, 3], 是], [[1, 2], [0], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 2, 3], 是], [[1, 3], [0], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [1, 2, 3], 是], [[1, 2, 3], [0], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([1, 0, 0, 0], 是, [[[], [], 是], [[0], [1, 2, 3], 否], [[1], [0], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 2, 3], 否], [[1, 2], [0], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 2, 3], 否], [[1, 3], [0], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [1, 2, 3], 否], [[1, 2, 3], [0], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 2, 3], 是], [[1], [0], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 2, 3], 是], [[1, 2], [0], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 2, 3], 是], [[1, 3], [0], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [1, 2, 3], 是], [[1, 2, 3], [0], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1],[2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[2,0,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([2, 0, 0, 0], 是, [[[], [], 是], [[0], [1, 2, 3], 否], [[1], [], 是], [[0, 1], [1, 2, 3], 否], [[2], [0], 否], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 2, 3], 否], [[1, 3], [], 是], [[0, 1, 3], [1, 2, 3], 否], [[2, 3], [0], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 2, 3], 是], [[1], [], 是], [[0, 1], [1, 2, 3], 是], [[2], [0], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([2, 0, 0, 0], 是, [[[], [], 是], [[0], [1, 2, 3], 否], [[1], [], 是], [[0, 1], [1, 2, 3], 否], [[2], [0], 否], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 2, 3], 否], [[1, 3], [], 是], [[0, 1, 3], [1, 2, 3], 否], [[2, 3], [0], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 2, 3], 是], [[1], [], 是], [[0, 1], [1, 2, 3], 是], [[2], [0], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[2],[0,1,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[3,0,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([3, 0, 0, 0], 是, [[[], [], 是], [[0], [1, 2, 3], 否], [[1], [], 是], [[0, 1], [1, 2, 3], 否], [[2], [], 是], [[0, 2], [1, 2, 3], 否], [[1, 2], [], 是], [[0, 1, 2], [1, 2, 3], 否], [[3], [0], 否], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 2, 3], 是], [[1], [], 是], [[0, 1], [1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([3, 0, 0, 0], 是, [[[], [], 是], [[0], [1, 2, 3], 否], [[1], [], 是], [[0, 1], [1, 2, 3], 否], [[2], [], 是], [[0, 2], [1, 2, 3], 否], [[1, 2], [], 是], [[0, 1, 2], [1, 2, 3], 否], [[3], [0], 否], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 2, 3], 是], [[1], [], 是], [[0, 1], [1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,2],[1,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[0,1,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([0, 1, 0, 0], 是, [[[], [], 是], [[0], [0, 2, 3], 否], [[1], [1], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 2, 3], 否], [[1, 2], [1], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 2, 3], 否], [[1, 3], [1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 2, 3], 否], [[1, 2, 3], [1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [0, 2, 3], 是], [[1], [1], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 2, 3], 是], [[1, 2], [1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 2, 3], 是], [[1, 3], [1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 2, 3], 是], [[1, 2, 3], [1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([0, 1, 0, 0], 是, [[[], [], 是], [[0], [0, 2, 3], 否], [[1], [1], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 2, 3], 否], [[1, 2], [1], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 2, 3], 否], [[1, 3], [1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 2, 3], 否], [[1, 2, 3], [1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [0, 2, 3], 是], [[1], [1], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 2, 3], 是], [[1, 2], [1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 2, 3], 是], [[1, 3], [1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 2, 3], 是], [[1, 2, 3], [1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1,2],[0,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[1,1,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([1, 1, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [0, 1], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 否], [[1, 2], [0, 1], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 否], [[1, 3], [0, 1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [2, 3], 否], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [0, 1], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 是], [[1, 2], [0, 1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 是], [[1, 3], [0, 1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([1, 1, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [0, 1], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 否], [[1, 2], [0, 1], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 否], [[1, 3], [0, 1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [2, 3], 否], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [0, 1], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 是], [[1, 2], [0, 1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 是], [[1, 3], [0, 1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1,2],[3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[2,1,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([2, 1, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [1], 否], [[0, 1], [1, 2, 3], 否], [[2], [0], 否], [[0, 2], [0, 2, 3], 否], [[1, 2], [0, 1], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 否], [[1, 3], [1], 否], [[0, 1, 3], [1, 2, 3], 否], [[2, 3], [0], 否], [[0, 2, 3], [0, 2, 3], 否], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [1], 是], [[0, 1], [1, 2, 3], 是], [[2], [0], 是], [[0, 2], [0, 2, 3], 是], [[1, 2], [0, 1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 是], [[1, 3], [1], 是], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([2, 1, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [1], 否], [[0, 1], [1, 2, 3], 否], [[2], [0], 否], [[0, 2], [0, 2, 3], 否], [[1, 2], [0, 1], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 否], [[1, 3], [1], 否], [[0, 1, 3], [1, 2, 3], 否], [[2, 3], [0], 否], [[0, 2, 3], [0, 2, 3], 否], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [1], 是], [[0, 1], [1, 2, 3], 是], [[2], [0], 是], [[0, 2], [0, 2, 3], 是], [[1, 2], [0, 1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 是], [[1, 3], [1], 是], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0],[1,2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[3,1,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([3, 1, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [1], 否], [[0, 1], [1, 2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 否], [[1, 2], [1], 否], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 2, 3], 否], [[1, 3], [0, 1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 2, 3], 否], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [1], 是], [[0, 1], [1, 2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 是], [[1, 2], [1], 是], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 2, 3], 是], [[1, 3], [0, 1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([3, 1, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [1], 否], [[0, 1], [1, 2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 否], [[1, 2], [1], 否], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 2, 3], 否], [[1, 3], [0, 1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 2, 3], 否], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [1], 是], [[0, 1], [1, 2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 是], [[1, 2], [1], 是], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 2, 3], 是], [[1, 3], [0, 1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1],[0,2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[0,2,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([0, 2, 0, 0], 是, [[[], [], 是], [[0], [0, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 2, 3], 是], [[2], [1], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是, [[[], [], 是], [[0], [0, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 2, 3], 是], [[2], [1], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([0, 2, 0, 0], 是, [[[], [], 是], [[0], [0, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 2, 3], 是], [[2], [1], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是, [[[], [], 是], [[0], [0, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 2, 3], 是], [[2], [1], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [0, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1],[2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[1,2,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([1, 2, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 是], [[1], [0], 否], [[0, 1], [0, 2, 3], 否], [[2], [1], 否], [[0, 2], [1, 2, 3], 否], [[1, 2], [0, 1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 是], [[1, 3], [0], 否], [[0, 1, 3], [0, 2, 3], 否], [[2, 3], [1], 否], [[0, 2, 3], [1, 2, 3], 否], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [0], 是], [[0, 1], [0, 2, 3], 是], [[2], [1], 是], [[0, 2], [1, 2, 3], 是], [[1, 2], [0, 1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 是], [[1, 3], [0], 是], [[0, 1, 3], [0, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([1, 2, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 是], [[1], [0], 否], [[0, 1], [0, 2, 3], 否], [[2], [1], 否], [[0, 2], [1, 2, 3], 否], [[1, 2], [0, 1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 是], [[1, 3], [0], 否], [[0, 1, 3], [0, 2, 3], 否], [[2, 3], [1], 否], [[0, 2, 3], [1, 2, 3], 否], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [0], 是], [[0, 1], [0, 2, 3], 是], [[2], [1], 是], [[0, 2], [1, 2, 3], 是], [[1, 2], [0, 1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 是], [[1, 3], [0], 是], [[0, 1, 3], [0, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[2],[0,1,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[2,2,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([2, 2, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [], 是], [[0, 1], [2, 3], 否], [[2], [0, 1], 否], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 否], [[1, 3], [], 是], [[0, 1, 3], [2, 3], 否], [[2, 3], [0, 1], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [], 是], [[0, 1], [2, 3], 是], [[2], [0, 1], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [2, 3], 是], [[2, 3], [0, 1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([2, 2, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [], 是], [[0, 1], [2, 3], 否], [[2], [0, 1], 否], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 否], [[1, 3], [], 是], [[0, 1, 3], [2, 3], 否], [[2, 3], [0, 1], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [], 是], [[0, 1], [2, 3], 是], [[2], [0, 1], 是], [[0, 2], [0, 1, 2, 3], 是], [[1, 2], [0, 1], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [2, 3], 是], [[1, 3], [], 是], [[0, 1, 3], [2, 3], 是], [[2, 3], [0, 1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,2],[1,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[3,2,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([3, 2, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [], 是], [[0, 1], [2, 3], 否], [[2], [1], 否], [[0, 2], [1, 2, 3], 否], [[1, 2], [1], 否], [[0, 1, 2], [1, 2, 3], 否], [[3], [0], 否], [[0, 3], [0, 2, 3], 否], [[1, 3], [0], 否], [[0, 1, 3], [0, 2, 3], 否], [[2, 3], [0, 1], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [], 是], [[0, 1], [2, 3], 是], [[2], [1], 是], [[0, 2], [1, 2, 3], 是], [[1, 2], [1], 是], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 2, 3], 是], [[1, 3], [0], 是], [[0, 1, 3], [0, 2, 3], 是], [[2, 3], [0, 1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([3, 2, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [], 是], [[0, 1], [2, 3], 否], [[2], [1], 否], [[0, 2], [1, 2, 3], 否], [[1, 2], [1], 否], [[0, 1, 2], [1, 2, 3], 否], [[3], [0], 否], [[0, 3], [0, 2, 3], 否], [[1, 3], [0], 否], [[0, 1, 3], [0, 2, 3], 否], [[2, 3], [0, 1], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [], 是], [[0, 1], [2, 3], 是], [[2], [1], 是], [[0, 2], [1, 2, 3], 是], [[1, 2], [1], 是], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 2, 3], 是], [[1, 3], [0], 是], [[0, 1, 3], [0, 2, 3], 是], [[2, 3], [0, 1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1,2],[0,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[0,3,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([0, 3, 0, 0], 是, [[[], [], 是], [[0], [0, 2, 3], 否], [[1], [], 是], [[0, 1], [0, 2, 3], 否], [[2], [], 是], [[0, 2], [0, 2, 3], 否], [[1, 2], [], 是], [[0, 1, 2], [0, 2, 3], 否], [[3], [1], 否], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [1], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [0, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 2, 3], 是], [[3], [1], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([0, 3, 0, 0], 是, [[[], [], 是], [[0], [0, 2, 3], 否], [[1], [], 是], [[0, 1], [0, 2, 3], 否], [[2], [], 是], [[0, 2], [0, 2, 3], 否], [[1, 2], [], 是], [[0, 1, 2], [0, 2, 3], 否], [[3], [1], 否], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [1], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [0, 2, 3], 是], [[1], [], 是], [[0, 1], [0, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [0, 2, 3], 是], [[3], [1], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1,2],[3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[1,3,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([1, 3, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [0], 否], [[0, 1], [0, 2, 3], 否], [[2], [], 是], [[0, 2], [2, 3], 否], [[1, 2], [0], 否], [[0, 1, 2], [0, 2, 3], 否], [[3], [1], 否], [[0, 3], [1, 2, 3], 否], [[1, 3], [0, 1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [1], 否], [[0, 2, 3], [1, 2, 3], 否], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [0], 是], [[0, 1], [0, 2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 是], [[1, 2], [0], 是], [[0, 1, 2], [0, 2, 3], 是], [[3], [1], 是], [[0, 3], [1, 2, 3], 是], [[1, 3], [0, 1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([1, 3, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [0], 否], [[0, 1], [0, 2, 3], 否], [[2], [], 是], [[0, 2], [2, 3], 否], [[1, 2], [0], 否], [[0, 1, 2], [0, 2, 3], 否], [[3], [1], 否], [[0, 3], [1, 2, 3], 否], [[1, 3], [0, 1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [1], 否], [[0, 2, 3], [1, 2, 3], 否], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [0], 是], [[0, 1], [0, 2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 是], [[1, 2], [0], 是], [[0, 1, 2], [0, 2, 3], 是], [[3], [1], 是], [[0, 3], [1, 2, 3], 是], [[1, 3], [0, 1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0],[1,2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[2,3,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([2, 3, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [], 是], [[0, 1], [2, 3], 否], [[2], [0], 是], [[0, 2], [0, 2, 3], 否], [[1, 2], [0], 是], [[0, 1, 2], [0, 2, 3], 否], [[3], [1], 否], [[0, 3], [1, 2, 3], 是], [[1, 3], [1], 否], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0, 1], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [], 是], [[0, 1], [2, 3], 是], [[2], [0], 是], [[0, 2], [0, 2, 3], 是], [[1, 2], [0], 是], [[0, 1, 2], [0, 2, 3], 是], [[3], [1], 是], [[0, 3], [1, 2, 3], 是], [[1, 3], [1], 是], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0, 1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([2, 3, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [], 是], [[0, 1], [2, 3], 否], [[2], [0], 是], [[0, 2], [0, 2, 3], 否], [[1, 2], [0], 是], [[0, 1, 2], [0, 2, 3], 否], [[3], [1], 否], [[0, 3], [1, 2, 3], 是], [[1, 3], [1], 否], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0, 1], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [], 是], [[0, 1], [2, 3], 是], [[2], [0], 是], [[0, 2], [0, 2, 3], 是], [[1, 2], [0], 是], [[0, 1, 2], [0, 2, 3], 是], [[3], [1], 是], [[0, 3], [1, 2, 3], 是], [[1, 3], [1], 是], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0, 1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1],[0,2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[3,3,0,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([3, 3, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [], 是], [[0, 1], [2, 3], 否], [[2], [], 是], [[0, 2], [2, 3], 否], [[1, 2], [], 是], [[0, 1, 2], [2, 3], 否], [[3], [0, 1], 否], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [], 是], [[0, 1], [2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [2, 3], 是], [[3], [0, 1], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([3, 3, 0, 0], 是, [[[], [], 是], [[0], [2, 3], 否], [[1], [], 是], [[0, 1], [2, 3], 否], [[2], [], 是], [[0, 2], [2, 3], 否], [[1, 2], [], 是], [[0, 1, 2], [2, 3], 否], [[3], [0, 1], 否], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1], 否], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [2, 3], 是], [[1], [], 是], [[0, 1], [2, 3], 是], [[2], [], 是], [[0, 2], [2, 3], 是], [[1, 2], [], 是], [[0, 1, 2], [2, 3], 是], [[3], [0, 1], 是], [[0, 3], [0, 1, 2, 3], 是], [[1, 3], [0, 1], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0, 1], 是], [[0, 2, 3], [0, 1, 2, 3], 是], [[1, 2, 3], [0, 1], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1],[2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[0,0,1,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([0, 0, 1, 0], 是, [[[], [], 是], [[0], [0, 1, 3], 否], [[1], [2], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 3], 否], [[1, 2], [2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 3], 否], [[1, 3], [2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 3], 否], [[1, 2, 3], [2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [0, 1, 3], 是], [[1], [2], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 3], 是], [[1, 2], [2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 3], 是], [[1, 3], [2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 3], 是], [[1, 2, 3], [2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([0, 0, 1, 0], 是, [[[], [], 是], [[0], [0, 1, 3], 否], [[1], [2], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 3], 否], [[1, 2], [2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 3], 否], [[1, 3], [2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 3], 否], [[1, 2, 3], [2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [0, 1, 3], 是], [[1], [2], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 1, 3], 是], [[1, 2], [2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 1, 3], 是], [[1, 3], [2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 1, 3], 是], [[1, 2, 3], [2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[2],[0,1,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[1,0,1,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([1, 0, 1, 0], 是, [[[], [], 是], [[0], [1, 3], 否], [[1], [0, 2], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 3], 否], [[1, 2], [0, 2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 3], 否], [[1, 3], [0, 2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [1, 3], 否], [[1, 2, 3], [0, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 3], 是], [[1], [0, 2], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 3], 是], [[1, 2], [0, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 3], 是], [[1, 3], [0, 2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [1, 3], 是], [[1, 2, 3], [0, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([1, 0, 1, 0], 是, [[[], [], 是], [[0], [1, 3], 否], [[1], [0, 2], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 3], 否], [[1, 2], [0, 2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 3], 否], [[1, 3], [0, 2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [1, 3], 否], [[1, 2, 3], [0, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 3], 是], [[1], [0, 2], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 3], 是], [[1, 2], [0, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 3], 是], [[1, 3], [0, 2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [1, 3], 是], [[1, 2, 3], [0, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,2],[1,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[2,0,1,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([2, 0, 1, 0], 是, [[[], [], 是], [[0], [1, 3], 是], [[1], [2], 否], [[0, 1], [1, 2, 3], 否], [[2], [0], 否], [[0, 2], [0, 1, 3], 否], [[1, 2], [0, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 3], 是], [[1, 3], [2], 否], [[0, 1, 3], [1, 2, 3], 否], [[2, 3], [0], 否], [[0, 2, 3], [0, 1, 3], 否], [[1, 2, 3], [0, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 3], 是], [[1], [2], 是], [[0, 1], [1, 2, 3], 是], [[2], [0], 是], [[0, 2], [0, 1, 3], 是], [[1, 2], [0, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 3], 是], [[1, 3], [2], 是], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 1, 3], 是], [[1, 2, 3], [0, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([2, 0, 1, 0], 是, [[[], [], 是], [[0], [1, 3], 是], [[1], [2], 否], [[0, 1], [1, 2, 3], 否], [[2], [0], 否], [[0, 2], [0, 1, 3], 否], [[1, 2], [0, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 3], 是], [[1, 3], [2], 否], [[0, 1, 3], [1, 2, 3], 否], [[2, 3], [0], 否], [[0, 2, 3], [0, 1, 3], 否], [[1, 2, 3], [0, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 3], 是], [[1], [2], 是], [[0, 1], [1, 2, 3], 是], [[2], [0], 是], [[0, 2], [0, 1, 3], 是], [[1, 2], [0, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [1, 3], 是], [[1, 3], [2], 是], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 1, 3], 是], [[1, 2, 3], [0, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1,2],[0,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[3,0,1,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([3, 0, 1, 0], 是, [[[], [], 是], [[0], [1, 3], 否], [[1], [2], 否], [[0, 1], [1, 2, 3], 否], [[2], [], 是], [[0, 2], [1, 3], 否], [[1, 2], [2], 否], [[0, 1, 2], [1, 2, 3], 否], [[3], [0], 否], [[0, 3], [0, 1, 3], 否], [[1, 3], [0, 2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 否], [[0, 2, 3], [0, 1, 3], 否], [[1, 2, 3], [0, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 3], 是], [[1], [2], 是], [[0, 1], [1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 3], 是], [[1, 2], [2], 是], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 1, 3], 是], [[1, 3], [0, 2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 1, 3], 是], [[1, 2, 3], [0, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([3, 0, 1, 0], 是, [[[], [], 是], [[0], [1, 3], 否], [[1], [2], 否], [[0, 1], [1, 2, 3], 否], [[2], [], 是], [[0, 2], [1, 3], 否], [[1, 2], [2], 否], [[0, 1, 2], [1, 2, 3], 否], [[3], [0], 否], [[0, 3], [0, 1, 3], 否], [[1, 3], [0, 2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 否], [[0, 2, 3], [0, 1, 3], 否], [[1, 2, 3], [0, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [1, 3], 是], [[1], [2], 是], [[0, 1], [1, 2, 3], 是], [[2], [], 是], [[0, 2], [1, 3], 是], [[1, 2], [2], 是], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 1, 3], 是], [[1, 3], [0, 2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 1, 3], 是], [[1, 2, 3], [0, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1,2],[3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[0,1,1,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([0, 1, 1, 0], 是, [[[], [], 是], [[0], [0, 3], 否], [[1], [1, 2], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 3], 否], [[1, 2], [1, 2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 3], 否], [[1, 3], [1, 2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 3], 否], [[1, 2, 3], [1, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [0, 3], 是], [[1], [1, 2], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 3], 是], [[1, 2], [1, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 3], 是], [[1, 3], [1, 2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 3], 是], [[1, 2, 3], [1, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([0, 1, 1, 0], 是, [[[], [], 是], [[0], [0, 3], 否], [[1], [1, 2], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 3], 否], [[1, 2], [1, 2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 3], 否], [[1, 3], [1, 2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 3], 否], [[1, 2, 3], [1, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [0, 3], 是], [[1], [1, 2], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [0, 3], 是], [[1, 2], [1, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 3], 是], [[1, 3], [1, 2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [0, 3], 是], [[1, 2, 3], [1, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0],[1,2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[1,1,1,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([1, 1, 1, 0], 是, [[[], [], 是], [[0], [3], 否], [[1], [0, 1, 2], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [3], 否], [[1, 2], [0, 1, 2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [3], 否], [[1, 3], [0, 1, 2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [3], 否], [[1, 2, 3], [0, 1, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [3], 是], [[1], [0, 1, 2], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [3], 是], [[1, 2], [0, 1, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [3], 是], [[1, 3], [0, 1, 2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [3], 是], [[1, 2, 3], [0, 1, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([1, 1, 1, 0], 是, [[[], [], 是], [[0], [3], 否], [[1], [0, 1, 2], 否], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [3], 否], [[1, 2], [0, 1, 2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [3], 否], [[1, 3], [0, 1, 2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [3], 否], [[1, 2, 3], [0, 1, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [3], 是], [[1], [0, 1, 2], 是], [[0, 1], [0, 1, 2, 3], 是], [[2], [], 是], [[0, 2], [3], 是], [[1, 2], [0, 1, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [3], 是], [[1, 3], [0, 1, 2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [], 是], [[0, 2, 3], [3], 是], [[1, 2, 3], [0, 1, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[1],[0,2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[2,1,1,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([2, 1, 1, 0], 是, [[[], [], 是], [[0], [3], 否], [[1], [1, 2], 否], [[0, 1], [1, 2, 3], 否], [[2], [0], 否], [[0, 2], [0, 3], 否], [[1, 2], [0, 1, 2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [3], 否], [[1, 3], [1, 2], 否], [[0, 1, 3], [1, 2, 3], 否], [[2, 3], [0], 否], [[0, 2, 3], [0, 3], 否], [[1, 2, 3], [0, 1, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [3], 是], [[1], [1, 2], 是], [[0, 1], [1, 2, 3], 是], [[2], [0], 是], [[0, 2], [0, 3], 是], [[1, 2], [0, 1, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [3], 是], [[1, 3], [1, 2], 是], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 3], 是], [[1, 2, 3], [0, 1, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([2, 1, 1, 0], 是, [[[], [], 是], [[0], [3], 否], [[1], [1, 2], 否], [[0, 1], [1, 2, 3], 否], [[2], [0], 否], [[0, 2], [0, 3], 否], [[1, 2], [0, 1, 2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [3], 否], [[1, 3], [1, 2], 否], [[0, 1, 3], [1, 2, 3], 否], [[2, 3], [0], 否], [[0, 2, 3], [0, 3], 否], [[1, 2, 3], [0, 1, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [3], 是], [[1], [1, 2], 是], [[0, 1], [1, 2, 3], 是], [[2], [0], 是], [[0, 2], [0, 3], 是], [[1, 2], [0, 1, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [3], 是], [[1, 3], [1, 2], 是], [[0, 1, 3], [1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 3], 是], [[1, 2, 3], [0, 1, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[0,1],[2,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[3,1,1,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([3, 1, 1, 0], 是, [[[], [], 是], [[0], [3], 否], [[1], [1, 2], 否], [[0, 1], [1, 2, 3], 否], [[2], [], 是], [[0, 2], [3], 否], [[1, 2], [1, 2], 否], [[0, 1, 2], [1, 2, 3], 否], [[3], [0], 否], [[0, 3], [0, 3], 否], [[1, 3], [0, 1, 2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 否], [[0, 2, 3], [0, 3], 否], [[1, 2, 3], [0, 1, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [3], 是], [[1], [1, 2], 是], [[0, 1], [1, 2, 3], 是], [[2], [], 是], [[0, 2], [3], 是], [[1, 2], [1, 2], 是], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 3], 是], [[1, 3], [0, 1, 2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 3], 是], [[1, 2, 3], [0, 1, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([3, 1, 1, 0], 是, [[[], [], 是], [[0], [3], 否], [[1], [1, 2], 否], [[0, 1], [1, 2, 3], 否], [[2], [], 是], [[0, 2], [3], 否], [[1, 2], [1, 2], 否], [[0, 1, 2], [1, 2, 3], 否], [[3], [0], 否], [[0, 3], [0, 3], 否], [[1, 3], [0, 1, 2], 否], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 否], [[0, 2, 3], [0, 3], 否], [[1, 2, 3], [0, 1, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [3], 是], [[1], [1, 2], 是], [[0, 1], [1, 2, 3], 是], [[2], [], 是], [[0, 2], [3], 是], [[1, 2], [1, 2], 是], [[0, 1, 2], [1, 2, 3], 是], [[3], [0], 是], [[0, 3], [0, 3], 是], [[1, 3], [0, 1, 2], 是], [[0, 1, 3], [0, 1, 2, 3], 是], [[2, 3], [0], 是], [[0, 2, 3], [0, 3], 是], [[1, 2, 3], [0, 1, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate
完整有限sigma代數與總映射。操作=measdeep-source-sigma-refinement-audit；資料={"source_n":4,"target_n":4,"source_sigma":[[],[2],[0,1,3],[0,1,2,3]],"refined_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"target_sigma":[[],[0],[1],[0,1],[2],[0,2],[1,2],[0,1,2],[3],[0,3],[1,3],[0,1,3],[2,3],[0,2,3],[1,2,3],[0,1,2,3]],"mapping":[0,2,1,0]}。請依 [mapping,is_refinement,before_rows,before_measurable,after_rows,after_measurable] 欄序回答。
([0, 2, 1, 0], 是, [[[], [], 是], [[0], [0, 3], 否], [[1], [2], 是], [[0, 1], [0, 2, 3], 否], [[2], [1], 否], [[0, 2], [0, 1, 3], 是], [[1, 2], [1, 2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 3], 否], [[1, 3], [2], 是], [[0, 1, 3], [0, 2, 3], 否], [[2, 3], [1], 否], [[0, 2, 3], [0, 1, 3], 是], [[1, 2, 3], [1, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [0, 3], 是], [[1], [2], 是], [[0, 1], [0, 2, 3], 是], [[2], [1], 是], [[0, 2], [0, 1, 3], 是], [[1, 2], [1, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 3], 是], [[1, 3], [2], 是], [[0, 1, 3], [0, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [0, 1, 3], 是], [[1, 2, 3], [1, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)
收束波核對=([0, 2, 1, 0], 是, [[[], [], 是], [[0], [0, 3], 否], [[1], [2], 是], [[0, 1], [0, 2, 3], 否], [[2], [1], 否], [[0, 2], [0, 1, 3], 是], [[1, 2], [1, 2], 否], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 3], 否], [[1, 3], [2], 是], [[0, 1, 3], [0, 2, 3], 否], [[2, 3], [1], 否], [[0, 2, 3], [0, 1, 3], 是], [[1, 2, 3], [1, 2], 否], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 否, [[[], [], 是], [[0], [0, 3], 是], [[1], [2], 是], [[0, 1], [0, 2, 3], 是], [[2], [1], 是], [[0, 2], [0, 1, 3], 是], [[1, 2], [1, 2], 是], [[0, 1, 2], [0, 1, 2, 3], 是], [[3], [], 是], [[0, 3], [0, 3], 是], [[1, 3], [2], 是], [[0, 1, 3], [0, 2, 3], 是], [[2, 3], [1], 是], [[0, 2, 3], [0, 1, 3], 是], [[1, 2, 3], [1, 2], 是], [[0, 1, 2, 3], [0, 1, 2, 3], 是]], 是)；依完整明示資料重算；精確有限切片不自動升格為一般無限結論；集合律一律由逆像核對；不推出連續可積保測或無限空間結論。
可測函數 · qf-mod25-measdeep-source-sigma-refinement-audit · candidate