集合范畴的广义分离

我们表明，现有的广义分离声明，包括常规极端原理及其扩展，因产品空间中范数定义方式的不同而有所不同。我们证明了涵盖此类现有结果的任意产品范数下的一般分离语句。该证明分为一系列论点，揭示了在证明广义分离语句时所使用的关键步骤和论证。作为应用，我们证明了抽象产品范数延伸的近似stationarity（近似横截面）性质的双向必要（充分）条件。