填满空间的曲线-华南师范大学数科院.doc

充满空间的曲线* *本文档由华南师范大学拓扑网页制作组跟据维基百科 Space filling space翻译, 遵守 \o Wikipedia:GNU自由文档许可证文本 GNU自由文档许可协议. 在 数学分析中，一条充满空间的 曲线是指其范围包含了整个2-维单位正方形（或者更一般的是一个N-维 超立方体）的曲线。因为 贝尔戈米·皮亚诺（1858-1932）是最早发现它的人，所以充满 2-维平面的曲线也通常被称为皮亚诺曲线。 皮亚诺曲线的三次迭代构造，其极限为充满空间的曲线 1. 定义 直观地，在2或3（甚至更高）维里一条“连续曲线”可以被认为是“连续动点的轨迹”。为了消除这个概念的内在模糊性，皮亚诺的发现被公布于众， 约当在1887年介绍了以下严格定义，自此以后被视作是对“连续曲线”的精确描述： 一条 曲线（包括端点）是指一个定义域为 单位区间［0,1］的 连续函数。 最一般地形式是，这种函数的值域可能落在任意一个拓扑空间里，但最常见的情形是，它的值域会落在一个 欧几里得空间，例如2-维平面（一条平面曲线）或者是3-维空间（空间曲线）。有时候，曲线是通过函数的值域（函数所有可能取值的集合）或者图象来定义的，而非函数本身。我们还可以定义不含端点的曲线为在实直线上（或者单位开区间（0，1）上）的连续函数。 2. 历史 1890年 皮亚诺发现了一条通过单位正方形内每个点的稠密的自交曲线。他的目的是想要构造一个从单位区间到单位正方形的连续满射。皮亚诺的想法来自于乔治·康托早期的有违直觉的结果： 单位区间里无限多个点的 基数与任意有限维 流形 (比如 单位正方形) 里无限多个点的基数是相同的。皮亚诺解决的问题是这样的映射是否连续，即一条曲线是否可充满空间。 将模糊概念“薄”与“维数1”用到曲线上是常见的；所有常遇见的曲线都是 分断光滑的（也即是具有分段的连续导数），并且这样的曲线不能充满整个单位正方形。因此，皮亚诺充满空间的曲线也被认为是高度违反直觉的。 从皮亚诺的例子，容易推出值域包含整个n-维 超立方体（对任意正整数n）的连续曲线。也容易将皮亚诺的例子推广到充满整个n-维欧几里得空间（这里n是2,３，或者是任意正整数）的不含端点的连续曲线中。 最著名的充满空间的曲线是经过迭代构造出来的，就像由 分断线性连续曲线的构成的序列的极限一样，一个比一个更靠近填充空间的极限。 希尔伯特曲线的六次迭代构造，其极限为数学家戴维·希尔伯特设计的充满空间的曲线 3. 充满空间的曲线的构造纲要 EQ 设 ADVANCE 为 康托空间。我们以一个从 康托空间到整个单位区间[0,1]的连续函数h开始(从 康托函数在 康托集上的限制就是这样的函数的例子)。接着我们通过令H(x,y)=(h(x),h(y))得到一个从拓扑乘积空间到整个单位正方形[0,1][0,1]的连续函数H。 由于 康托集同胚于乘积，因此存在从 康托集到的连续双射g。H 与g 的复合f是从 康托集到整个单位正方形的连续函数（或者我们也可用以下定理得到函数 f ：每个 紧致度量空间可看作是 康托集上的连续象。） 最后，可以将f延拓为定义域为整个单位区间[0,1]的连续函数F。这个即可以通过将 Tietze扩张定理用到f的每个成员上而得到，也可以通过简单的“线性”地延拓f 得到(也就是说，在构造 康托集中去掉的每个开区间（a, b）上，我们定义F在（a, b）上的延拓部分为单位正方形内连接值f(a), f(b)的线段。) 4. 性质 一条充满空间的曲线必须是处处自交的，在技术意义上来说是指曲线不是 单射。如果一条曲线不是单射，则可以找到该曲线的两条“子曲线”，每个都是通过考虑曲线的定义域（单位直线段）上的两个无交线段的象集得到。如果两个象集的 交集非 空，则这两条子曲线相交。也许有人会试图认为“曲线相交”的是指两条曲线必然要一个穿过另外一个，就像两条非平行直线的交点那样，从一边穿到另一边。但是两条曲线（或者一条曲线的两条子曲线）可以一条不穿过另外一条就接触在一起，比如，举个例子来说，一个圆与它的一条切线正是如此。 一个非自交的连续函数不能充满整个单位正方形这是因为这样会使曲线成为从单位区间到单位正方形（任意一个从 紧致空间到 Haudorff空间的连续 双射都是同胚）的 同胚。但是一个单位正方形没有 割点，而单位区间除端点外的点都是割点，因些它们不同胚。 对于经典的充满空间的皮亚诺与希尔伯特曲线，两条子曲线相交（在某种技术意义），只存在自接触而不存在自横穿的情形。一条充满空间的曲线如果它的逼近曲线自横穿则它也（处处）自横穿。 一条充满空间的曲线的逼近曲线可以是自远离的，正如上面的图形所展示的一样。在3