不是所有光滑流都有横截面,一个明显的必要条件是流不能有奇点。横截面是由庞加莱 (Poincare,(J.-)H) 引进的。通过横截面可以建立光滑流与微分同胚生成离散动力系统之间的联系。
考虑环面上由微分方程(α 为实数)所确定的
光滑流φ 取环面上一个横截面(如图1),φ 的每条轨道都与 C 横截相交,从 C 上出发的轨道正向、负向都要与 C 相交。
由 φ 诱导出 C 上第一返回映射,由 给出(其中 是使 成立的最小的 t 值),f 是 C 上的微分同胚。一般地,流形 M 上 Cr 流 φ(对应的向量场为 X)的横截面是一个余维为 1 的闭子流形,它满足:
设 Cr 流 φ 有横截面 Σ ,如上可定义第一返回映射,f 是 Cr 微分同胚,因而具有横截面的 Cr 流在横截面上诱导了一个 Cr
微分同胚。