Paper 4:NTLA-O III:觀察拓樸、不可區分核與商空間

Observer-Induced Topology, Indistinguishability Kernels, and Quotient Spaces

NTLA-O 系列第 4 篇。回答:一族任意的觀察 predicates,如何合法升級成拓樸?證明任意區分族可作為 subbasis 生成唯一最弱拓樸,且關鍵在於這個拓樸閉包不會增加新的點級可區分性,有限交與任意聯只是重組原本已存在的 predicates。並研究一般有效觀察映射誘導的初始拓樸與 observer-relative quotient。