"M", φ) 为一个全局动态系统, 其中 R 是实数, "M" 为相空间 , φ 为演化函数. 设 γ 为通过点"p"的周期轨道, "S"局部可微, 为过点"p"的庞加莱截面, 即在点"p"处横截穿过φ .对包含点 "p" 的连通开邻域 "U",函数称为通过点 "p" 的轨道 γ 在庞加莱截面 "S" 上的庞加莱映射, 如果