第376章 你愿意尊重知识并为知识而付费吗？（4 / 4）

个引理，也就是在具有交织性的拓扑空间中，存在一个唯一的极小交织子空间，使得对所有的，如果具有交织性，则。对吧？”

“是的。”

“那么让我们来细解这个证明过程：首先当x是具有交织性的拓扑空间，那么根据前置定理可得，一个集合作为所有具有交织性的子空间的集合：i(x)={zx | z具有交织性}。这一步你能理解吗？”

“能理解。”

“那么这个引理我们可以先简化为证明：存在一个唯一的∈，使得对于所有∈，都有，要详细理解这个步骤，我们要从定义一个交织度量开始，对了交织度量的概念你没问题吧？”

“……”

……

一小时后，看着空空如也的聊天窗口，罗伯特·史蒂芬只觉得仿若在做梦一般。

不得不说对方的确不是骗子，整个讲解过程，真就是把过程揉碎了讲解，每一步都要询问他是否理解，如果他说不理解，还会反复答疑。

从定义交织度量，到确定交织中心，再到最后确定交织子空间的唯一性……每一个大步骤都分成无数个小步骤，把整个引理的证明过程讲解的清清楚楚，比论文本身要的论述要清晰数倍。

包括论文中一笔带过的交织度量需要遵循的对称性、非负性跟分离性证明过程都全部展示一遍，的确让他完全弄懂了这个引理的证明过程，就是总感觉怪怪的……