
-
生物通官微
陪你抓住生命科技
跳动的脉搏
《混合选择模型之间的同构定理》勘误表:修正内容及其影响
【字体: 大 中 小 】 时间:2025年09月27日 来源:Mathematical Structures in Computer Science
编辑推荐:
同构定理在混合选择模型中需针对天使案例增加局部凸紧或紧致性假设,修正了特定符号条件下结论的严谨性,恶魔案例不受影响。
2017年论文“混合选择模型之间的同构定理”第3.1节的结果需要一个额外的假设,当
$\bullet$$\bullet$$1$时。如果
$\bullet$$\leq 1$,则无需任何更改。此外,这个错误仅适用于“天使型”情况,即映射
$r_{{\mathtt {A}}{\mathtt {P}}}$和
$s^\bullet _{{\mathtt {A}}{\mathtt {P}}}$;“恶魔型”情况
$r_{{\mathtt {D}}{\mathtt {P}}}$和
$s^\bullet _{{\mathtt {D}}{\mathtt {P}}}$不受影响。如果
$\bullet$$1$,并且在“天使型”情况下,我们不仅需要假设
$\mathcal L X$是局部凸的,还需要额外假设
$X$是紧凑的,或者
$\mathcal L X$是局部凸-紧凑的、清醒的,并且是拓扑的——例如,如果
$X$是核心紧凑的——或者
$X$是LCS-完全的,即它是局部紧凑且清醒空间的
$G_\delta$子空间的同胚。