
这是一个 到 的函子,我记作 好了。最小是指它是全体包含了 的sigma algebra 的交,某种意义上这是一个闭包的操作。这恰恰是用开集取交并补等一系列运算生成的sigma algebra. 所以如你所见,这里的最小是为了得到一个函子,保证了对于连续函数 , 你得到的 是可测函数。

这是一个 到 的函子,我记作 好了。最小是指它是全体包含了 的sigma algebra 的交,某种意义上这是一个闭包的操作。这恰恰是用开集取交并补等一系列运算生成的sigma algebra. 所以如你所见,这里的最小是为了得到一个函子,保证了对于连续函数 , 你得到的 是可测函数。