横断性 (数学)
与えられた有限次元の滑らかな多様体の2つの部分多様体が横断的に交わる (intersect transversally) とは,交わっている任意の点において,その点での部分多様体の2つの接空間が多様体の接空間を生成することをいう.交わらない多様体たちは自明に(英語版)横断的に交わる.多様体の次元が相補的ならば(すなわち次元の和が周囲の空間の次元ならば),条件は周囲の多様体の接空間が2つの小さい接空間の直和であることを意味する.交わりが横断的ならば,交わりは余次元が2つの多様体の余次元の和に等しい部分多様体になる.横断性条件が無ければ,交わりはある種の特異点を持つかもしれず部分多様体になるとは限らない.
特にこれは,次元が相補的な横断的に交わる部分多様体が孤立点(すなわち0次元多様体(英語版))で交わることを意味する.部分多様体と周囲の多様体がともに向き付けられているとき,交わりも向き付けられている.