补充资料：法丛

法丛
normal bundle

　　法丛【加。n目h.血;.opM幼‘Hoe pac幼oe.即]，子流形的 由原来流形的与子流形正交的切向量所构成的向量丛.如果X是Rj曰.加流形(R记~刀妇n侧犯而ld)，Y是它的(浸人)子流形，Tx和T:是X和Y上的切丛(妞卿ntburde)，则Y的法丛NYlx是Txl，的子丛，它由这样的向最“任Tx.，组成:u与TY.，垂直. 借助于法丛，可以构造，比如，子流形的管状邻域(tubular画沙加urj比ed).在等价的意义下，Y上的法丛不依赖于X上R」。比以nn度量的选择，因为无需求助于度量可以直接将它定义为切丛T二在Y上的限制模掉向量丛T，的商丛T二}，/T:.稍许一般一点可以构造可微流形之间任意浸人(见流形的怪入(双“江坦玲玩ofam姐而记))f:y~X的法丛: 价lx=厂Tx/几. 类似地，可以定义非奇异代数簇(碱罗玩止资币以y)见的非奇异代数子簇Y的法丛或者解析流形(越阁州c侧迩而匕)X的解析子流形Y的法丛，它是Y上秩为codimy的代数(或解析)向量丛.特别地，若c司11五Y=l，则Nyl二同构于X上决定除子Y的丛在Y上的限制‘ 当Y是解析空间(X，心)的解析子空间时，Y的法丛有时定义为向量空间的解析簇，它对偶于余法层N二，:(见法层(加m司shoif)).至于法丛对子流形的可缩性问题的应用，见例外解析集(曰心争石优目吐园州cSet);例外子簇(~ptional sub va康匆).
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。