2.3.3.2 正规空间与 Urysohn 引理

文档摘要

2.3.3.2 正规空间与 Urysohn 引理我们来直面一个在工业级拓扑建模系统中反复刺痛工程师的幽灵问题：当两个不相交的闭集在数值计算中“看似分离”，却因浮点误差或离散化失真而意外粘连，导致 Urysohn 函数构造失败、连续延拓崩溃、乃至整个嵌入式控制器的状态切换逻辑震荡——此时，你不是在做数学证明，而是在调试一块烧得发烫的 FPGA 板卡。这不是教科书里“设 $X$ 是正规空间”那样轻盈的假设。这是凌晨三点的产线报警日志里跳出来的；是自动驾驶域控制器在毫米波雷达点云聚类后，对“障碍物A（刹车片）”与“障碍物B（路沿石阴影）”生成的模糊隶属度函数在边界处突变，引发轨迹规划器输出非 Lipschitz 连续的加速度指令；