查找相關知識與題目 →

第 19338 題:估計量偏誤

本頁導覽
  1. 原題與已知條件
  2. 定義與適用範圍
  3. 逐步推導
  4. 逐步反向核對
  5. 結論
  6. 本題覆核與來源綁定

返回所在分頁 97

← 逐題詳解目錄 · 原題批次

R0037-19338 · q-20261014-advance-20261106-r03-estimator-bias-0038

原題與已知條件

共同有限樣本空間、逐theta sampling law與同一total estimator。操作=bias-family-readback;資料={"theta_values":[[1,2],[13,15]],"laws":[[[1,22],[2,22],[3,22],[16,22]],[[2,26],[3,26],[4,26],[17,26]]],"statistic":[0,1,14,15]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。

  • G001 — 共同有限樣本空間、逐theta sampling law與同一total estimator。操作=bias-family-readback;資料={"theta_values":[[1,2],[13,15]],"laws":[[[1,22],[2,22],[3,22],[16,22]],[[2,26],[3,26],[4,26],[17,26]]],"statistic":[0,1,14,15]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。

定義與適用範圍

沿用原題明示的論域、假設與來源 MKO 定義。本題已完成第二對話數理與中英語義覆核,並由原始參數逐題獨立重算模型、答案與每個算術步驟;原題仍為 candidate。

逐步推導

S001 · implies

操作前

source operation=bias-family-readback;original snapshot and mathematics retained

操作後

explicit ordered source output fields=[parameter_bias_rows, boundary]

條件:無

原題快照保留歷史介面標記;本頁直接列原始欄位順序,不需JavaScript或查外部表。欄位名字本身不自動是數學證據,No依各題的聲稱範圍解讀。

步驟識別與依賴

規則:source_ordered_interface_explicit_without_javascript · 依賴:G001

S002 · calculation

操作前

bias parameter0 full law mass := sum(1/22, 1/11, 3/22, 8/11)

操作後

bias parameter0 full law mass = 1

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S001

S003 · implies

操作前

bias:original parameter SLOT=0;same outcome carrier Fin(4);ALL aligned law masses=[1/22, 1/11, 3/22, 8/11]

操作後

full sum=1;all masses nonnegative=是;qualified probability law;zero-mass outcomes retained

條件:無

每一參數的完整law須各自非負且總和1;零質量結果仍在原表,不能把參數列相加正規化來捏一個prior或posterior。

步驟識別與依賴

規則:finite_statistical_full_law_not_partial_or_prior · 依賴:G001, S002

S004 · calculation

操作前

bias parameter1 full law mass := sum(1/13, 3/26, 2/13, 17/26)

操作後

bias parameter1 full law mass = 1

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S003

S005 · implies

操作前

bias:original parameter SLOT=1;same outcome carrier Fin(4);ALL aligned law masses=[1/13, 3/26, 2/13, 17/26]

操作後

full sum=1;all masses nonnegative=是;qualified probability law;zero-mass outcomes retained

條件:無

每一參數的完整law須各自非負且總和1;零質量結果仍在原表,不能把參數列相加正規化來捏一個prior或posterior。

步驟識別與依賴

規則:finite_statistical_full_law_not_partial_or_prior · 依賴:G001, S004

S006 · implies

操作前

bias:parameter SLOT carrier Fin(2);common outcome carrier Fin(4);ONE total original statistic array=[0, 1, 14, 15]

操作後

T takes only the observation index,not the unknown parameter;SAME function at all parameter slots;its sampling law may still vary with the slot

條件:無

T函數定義不吃未知參數,與T(X)分布是否依參數是不同事。每個outcome只有一個原T值,不用每列另換一個T來調答案。

步驟識別與依賴

規則:finite_statistic_definition_not_distribution_free · 依賴:G001, S005

S007 · implies

操作前

original parameter SLOT order0..1;aligned exact theta_values=[1/2, 13/15]

操作後

declared target g(theta)=theta;indices are not targets;claims range over THIS supplied finite parameter model only

條件:無

目標值與參數索引分開,theta值不必互異。沒有未提供的連續參數空間、prior或統計量序列,不能把有限模型內的全稱結論外推。

步驟識別與依賴

規則:bias_declared_target_and_finite_parameter_scope · 依賴:G001, S006

S008 · calculation

操作前

bias parameter0 original outcome0 weighted statistic := mul(1/22, 0)

操作後

bias parameter0 original outcome0 weighted statistic = 0

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S007

S009 · calculation

操作前

bias parameter0 original outcome1 weighted statistic := mul(1/11, 1)

操作後

bias parameter0 original outcome1 weighted statistic = 1/11

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S008

S010 · calculation

操作前

bias parameter0 original outcome2 weighted statistic := mul(3/22, 14)

操作後

bias parameter0 original outcome2 weighted statistic = 21/11

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S009

S011 · calculation

操作前

bias parameter0 original outcome3 weighted statistic := mul(8/11, 15)

操作後

bias parameter0 original outcome3 weighted statistic = 120/11

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S010

S012 · calculation

操作前

bias parameter0 same-law expectation := sum(0, 1/11, 21/11, 120/11)

操作後

bias parameter0 same-law expectation = 142/11

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S011

S013 · calculation

操作前

bias parameter0 expectation minus actual target := sub(142/11, 1/2)

操作後

bias parameter0 expectation minus actual target = 273/22

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S012

S014 · implies

操作前

fixed original parameter SLOT=0;actual aligned theta VALUE=1/2;SAME complete law=[1/22, 1/11, 3/22, 8/11];same statistic=[0, 1, 14, 15];weighted terms=[0, 1/11, 21/11, 120/11]

操作後

E_at_slot[T]=142/11;Bias=E_at_slot[T]-ACTUAL theta value=273/22

條件:無

這裡已明示g(theta)=theta,所以減原theta_values裡的目標值,不減slot索引、不減一次estimate,也不混別參數的law。

步驟識別與依賴

規則:bias_same_law_expectation_minus_target_not_index · 依賴:G001, S013

S015 · calculation

操作前

bias parameter1 original outcome0 weighted statistic := mul(1/13, 0)

操作後

bias parameter1 original outcome0 weighted statistic = 0

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S014

S016 · calculation

操作前

bias parameter1 original outcome1 weighted statistic := mul(3/26, 1)

操作後

bias parameter1 original outcome1 weighted statistic = 3/26

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S015

S017 · calculation

操作前

bias parameter1 original outcome2 weighted statistic := mul(2/13, 14)

操作後

bias parameter1 original outcome2 weighted statistic = 28/13

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S016

S018 · calculation

操作前

bias parameter1 original outcome3 weighted statistic := mul(17/26, 15)

操作後

bias parameter1 original outcome3 weighted statistic = 255/26

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S017

S019 · calculation

操作前

bias parameter1 same-law expectation := sum(0, 3/26, 28/13, 255/26)

操作後

bias parameter1 same-law expectation = 157/13

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S018

S020 · calculation

操作前

bias parameter1 expectation minus actual target := sub(157/13, 13/15)

操作後

bias parameter1 expectation minus actual target = 2186/195

條件:無

依原始角色與已核中間量精確代值,保留參數、樣本、目標與分母,不交換未授權的聲稱。

步驟識別與依賴

規則:exact_rational_arithmetic · 依賴:G001, S019

S021 · implies

操作前

fixed original parameter SLOT=1;actual aligned theta VALUE=13/15;SAME complete law=[1/13, 3/26, 2/13, 17/26];same statistic=[0, 1, 14, 15];weighted terms=[0, 3/26, 28/13, 255/26]

操作後

E_at_slot[T]=157/13;Bias=E_at_slot[T]-ACTUAL theta value=2186/195

條件:無

這裡已明示g(theta)=theta,所以減原theta_values裡的目標值,不減slot索引、不減一次estimate,也不混別參數的law。

步驟識別與依賴

規則:bias_same_law_expectation_minus_target_not_index · 依賴:G001, S020

S022 · implies

操作前

ALL fixed-parameter target/expectation/bias rows=[[0, 1/2, 142/11, 273/22], [1, 13/15, 157/13, 2186/195]]

操作後

Bias is this complete indexed family;no averaging over parameters and no prior inferred

條件:無

按原slot順序保留每一列,不能由一個參數的偏差代替全部,也不把不同參數的偏差加權平均。

步驟識別與依賴

規則:bias_full_family_no_unstated_parameter_average · 依賴:G001, S021

逐步反向核對

  • S022 · premise_and_result_audit — 回到原始資料與本步條件核對,不把單向推論誤稱等價。
  • S021 · premise_and_result_audit — 回到原始資料與本步條件核對,不把單向推論誤稱等價。
  • S020 · premise_and_result_audit — 以精確有理數重算 bias parameter1 expectation minus actual target,不以小數近似替代。
  • S019 · premise_and_result_audit — 以精確有理數重算 bias parameter1 same-law expectation,不以小數近似替代。
  • S018 · premise_and_result_audit — 以精確有理數重算 bias parameter1 original outcome3 weighted statistic,不以小數近似替代。
  • S017 · premise_and_result_audit — 以精確有理數重算 bias parameter1 original outcome2 weighted statistic,不以小數近似替代。
  • S016 · premise_and_result_audit — 以精確有理數重算 bias parameter1 original outcome1 weighted statistic,不以小數近似替代。
  • S015 · premise_and_result_audit — 以精確有理數重算 bias parameter1 original outcome0 weighted statistic,不以小數近似替代。
  • S014 · premise_and_result_audit — 回到原始資料與本步條件核對,不把單向推論誤稱等價。
  • S013 · premise_and_result_audit — 以精確有理數重算 bias parameter0 expectation minus actual target,不以小數近似替代。
  • S012 · premise_and_result_audit — 以精確有理數重算 bias parameter0 same-law expectation,不以小數近似替代。
  • S011 · premise_and_result_audit — 以精確有理數重算 bias parameter0 original outcome3 weighted statistic,不以小數近似替代。
  • S010 · premise_and_result_audit — 以精確有理數重算 bias parameter0 original outcome2 weighted statistic,不以小數近似替代。
  • S009 · premise_and_result_audit — 以精確有理數重算 bias parameter0 original outcome1 weighted statistic,不以小數近似替代。
  • S008 · premise_and_result_audit — 以精確有理數重算 bias parameter0 original outcome0 weighted statistic,不以小數近似替代。
  • S007 · premise_and_result_audit — 回到原始資料與本步條件核對,不把單向推論誤稱等價。
  • S006 · premise_and_result_audit — 回到原始資料與本步條件核對,不把單向推論誤稱等價。
  • S005 · premise_and_result_audit — 回到原始資料與本步條件核對,不把單向推論誤稱等價。
  • S004 · premise_and_result_audit — 以精確有理數重算 bias parameter1 full law mass,不以小數近似替代。
  • S003 · premise_and_result_audit — 回到原始資料與本步條件核對,不把單向推論誤稱等價。
  • S002 · premise_and_result_audit — 以精確有理數重算 bias parameter0 full law mass,不以小數近似替代。
  • S001 · premise_and_result_audit — 回到原始資料與本步條件核對,不把單向推論誤稱等價。

結論

([[0, 1/2, 142/11, 273/22], [1, 13/15, 157/13, 2186/195]], bias_is_parameter_indexed_family)

依上列完整代值及條件核對得到原題答案;原題編號、格式與狀態保持不變。

本題覆核與來源綁定

覆核日期:2026-10-26

原題、答案、步驟表達式、數值 AST 與既有歷史保持原樣;原來的候選狀態屬於來源歷史,不覆寫為形式化證明。

來源雜湊與覆核憑證
  • input commit: 0f7be61e2c22317a4075561dc822c87d881a50db
  • original question SHA-256: 9f0b708ca91f837ea9aec300d766584f3ee60891114c973b70743bfb65a2f237
  • candidate record SHA-256: 2ec9be6ec514eb6bcb11984220663a997ecbe162fd28af2aa40f09bd6382503b
  • semantic review receipt SHA-256: 065507b602ceee60cf47a700d387a51940e0c6724c35a3336a7a7948a199ed80
  • question-first witness SHA-256: 7203f33b030792559673b0fee520a8c0e70903c4dd970b35293aa40852f333d6
  • Lean: NOT_RUN · human review: NOT_PERFORMED
同源完整 JSON