非线性系统中吸引集与吸引子的区别及稠密轨道直觉疑问

这问题太经典了——我当年啃非线性系统教材的时候，也对着“稠密轨道”这个条件抓耳挠腮，总觉得这俩概念差不离。别急，咱们从定义落地到直观例子一步步拆解，你就能get到本质差异了。

先把定义掰碎了说 #

先把你学的核心定义用大白话再梳理一遍：

• 吸引集：一个闭子集 ( A \subseteq \mathbb{R}^n )，如果存在一个包含 ( A ) 的开邻域 ( U )，所有从 ( U ) 出发的轨道最终都留在 ( U ) 里，而且随着时间推移，轨道会无限靠近 ( A )（也就是 ( \lim_{t \to \infty} \text{dist}(x(t), A) = 0 ) 对所有 ( x(0) \in U ) 成立）。
• 吸引子：是满足额外条件的吸引集——它包含一条稠密轨道，简单说就是这条轨道能“填满”整个吸引集（轨道的闭包就是吸引集本身）。

实例：不属于吸引子的吸引集 #

当然存在！而且例子超级直观，一看就懂：

一维系统：两个稳定不动点的联合区间 #

假设我们有一维系统：$\dot{x} = x(1 - x)(x - 2)$。这个系统有三个不动点：( x=0 )（不稳定）、( x=1 )（稳定）、( x=2 )（稳定）。

现在看区间 ( [1, 2] )：

• 它是吸引集：所有从 ( (0, 2) ) 出发的轨道，要么趋近于1，要么趋近于2；区间[1,2]本身包含这两个稳定点，所有附近的轨道最终都会进入这个区间并靠近它内部的点。
• 但它不是吸引子：你找不到一条轨道能“填满”整个[1,2]。所有轨道最终都会收敛到1或者2，没有轨道能在[1,2]里到处跑——轨道的闭包要么是{1}，要么是{2}，都不等于整个[1,2]。

二维系统：两个稳定极限环的联合区域 #

再举个二维例子：一个系统里有两个不相交的稳定极限环，周围的轨道要么趋近于第一个环，要么趋近于第二个环。这两个环的并集加上它们之间的区域构成的闭集是吸引集，但没有轨道能稠密覆盖整个集合，所以不是吸引子。

本质差异：“不可分割的核心” vs “可拆分的集合” #

吸引子的“稠密轨道”条件，本质上是要求这个集合是不可分解的——你不能把它拆成两个互不相交的非空吸引子集。而普通的吸引集可以是多个吸引子的“联合体”，或者包含多个独立的吸引核心。

用直觉化的比喻说：

• 吸引集就像一个城市，所有周边的人都往这个城市里走，但人们最终会分散到不同的小区（每个小区就是一个吸引子）。
• 吸引子就是其中一个小区，里面的人会在小区里到处逛（对应稠密轨道），不会只待在某一栋楼里。

额外小贴士：别混淆“吸引集”和“吸引域” #

很多初学者会把吸引集和它的**吸引域（basin of attraction）**搞混：吸引域是所有会被吸引到吸引集的点的集合，而吸引集是这个域里的“目标集合”。比如刚才一维例子里，[1,2]是吸引集，它的吸引域是(0,2)。

内容的提问来源于stack exchange，提问作者Fahrenheit997