一个 (无限可微) 流形 被称为 流形 的子流形 流形 ,如果 是 的 子集,并且从 到 的 恒等映射是一个嵌入。
更多尝试
Weisstein, Eric W. "子流形。" 来自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/Submanifold.html