空間填充曲線

迭代前3次的皮亞諾曲線，其極限為空間填充曲線。
數學分析中，空間填充曲線是值域覆蓋了高維空間每一點的曲線，通常是單位正方形（或更一般的n維單位超方形）。由於朱塞佩·皮亞諾（1858–1932）首先發現了空間填充曲線，因此二維平面上的空間填充曲線有時也稱為皮亞諾曲線。這個術語也可以指皮亞諾發現的具體的曲線例子。
與之密切相關的FASS曲線（近似空間填充、自避、簡單、自相似曲線）可看作是某類空間填充曲線的有限近似。

**定義**
直觀地說，多維曲線可看作是連續運動點的軌跡。為消除這樣定義的模糊性，卡米爾·若爾當於1887年提出了以下的嚴格定義，後來一直是曲線的精確定義：
在最一般的形式中，這種函數的值域可能位於任意拓撲空間；但在最常研究的形式中，其將位於歐幾里得空間，如2維平面（平面曲線）或3維空間（空間曲線）。
有時曲線是函數的像（函數所有可能取值的集合），而非函數本身。也可以把沒有端點的曲線定義為數線上的連續函數（或位於單位開區間(0, 1)）。

**歷史**
1890年，朱塞佩·皮亞諾發現了皮亞諾曲線，它可以經過單位正方形的每一點。1890格奧爾格·康托爾之前提出了一個反直覺的結論：單位區間中的無限多點與任意有限維流形的無限多點等勢。皮亞諾受到他的啟發，試圖構造一個從單位區間到單位正方形的連續函數。皮亞諾證明，這樣的映射可以是連續的，即一條能填充高維空間的曲線。不過，他沒有在單位區間和單位正方形之間建立連續雙射，事實上也不可能建立。
人們通常會把“薄”和“1維”這兩個模糊的概念同曲線聯繫起來；所有通常遇到的曲線也確實分段可微（即有分段連續導數），而這樣的曲線不能填滿單位正方形。因此，皮亞諾的空間填充曲線非常反直覺。
從皮亞諾的例子中，很容易推導出其範圍包含n維超方形的連續曲線。將皮亞諾的例子擴展到無端點連續曲線也很容易，可以填充整個n維歐幾里得空間I（n均為自然數）。
大多數知名的空間填充曲線都是分段線性函數的迭代序列極限。
皮亞諾的開創性文章沒有說明他的構造，其是用三進制和鏡像運算定義的。但他對圖形構造非常清楚——他在都靈的家中製作了一塊瓷磚，紋樣便是皮亞諾曲線。皮亞諾的文章最後還指出，除了三進制以外，這種技術還可以擴展到其他奇數進制。他迴避了任何無字證明的請求，因為他希望有一個完全嚴謹的證明，而不需要任何圖。當時的一般拓撲尚處於起步階段，圖形化的無字證明尚被學界所接受，但並不利於理解反直覺結論。
一年後，大衛·希爾伯特在同一刊物上發表了皮亞諾構造的變體。1891希爾伯特的文章包含了圖形證明，幫助讀者直觀瞭解構造方法，與此處的圖基本相同。然而希爾伯特曲線的解析形式比皮亞諾更復雜。
6次迭代的希爾伯特曲線。

**空間填充曲線構造概要**
令表示康托爾空間。
我們從康托爾空間到整個單位區間的連續函數開始（康托爾函數對康托爾集的約束就符合）。由此，可以得到從拓撲積到整個單位正方形的連續函數，方法是令
由於康托爾集與積同胚，因此存在從康托爾集到的連續雙射。、組合為，是將康托爾集映射到整個單位正方形上的連續函數（也可以利用每個緊度量空間都是康托爾集的連續像，得到函數）。
最後，可以把擴展為連續函數，其定義域為單位區間。要實現這一點，可以在的組分上使用蒂茨擴張定理，或簡單地“線性”擴展（即在構造康托爾集時刪除的每個開區間上，定義的擴展為單位正方形內連接、的線段）。

**性質**
迭代6次的Z階曲線和希爾伯特曲線（遞歸正方形分割中的45=1024各單元），以RGB繪製每處的不同顏色，並使用Geohash標籤。相鄰的點有相似的顏色，不同曲線在小範圍內提供了不同的分組模式。
非單射曲線上有兩條相交子曲線，每條都從曲線定義域（單位線段）中兩個不相交線段的像得到。若兩條子曲線的交點非空，則相交。人們可能認為，曲線相交的意義在於必然相互交叉，就像兩條不平行直線的交點。不過，兩條曲線（或一條曲線的兩條子曲線）可以相互接觸而不相交，例如與圓相切的直線。
不自交連續曲線不能填充單位正方形，因為這會使曲線成為單位區間到單位正方形的同胚（任何緊空間到豪斯多夫空間的連續雙射都是同胚）。但單位正方形沒有切割點，因此與單位區間不同胚，因為單位區間除端點之外都是切割點。存在面積不為零的不自交曲線，例如奧斯古德曲線，但由內託定理，它們不是空間填充曲線。p=131
對於經典皮亞諾和希爾伯特空間填充曲線，在兩條子曲線相交處，實際上有接觸而無交叉。空間填充曲線的近似曲線若自交叉，那麼將（處處）自交叉；空間填充曲線的近似也可以自避，如上圖所示。3維空間中，自避近似曲線甚至可以包含扭結。近似曲線會保持在n維空間的有界部分內，但長度可以無限增加。
空間填充曲線是分形曲線的特例。不存在可微的空間填充曲線。粗略地說，可微限制了曲線轉彎的速度。Michał Morayne證明，連續統假設等同於存在這樣的皮亞諾曲線：在實數軸的每一點上，至少有一個組分可微。

**哈恩–馬祖爾克維奇定理**
哈恩–馬祖爾克維奇定理是對曲線連續像的空間性質的描述：
單位區間的連續像有時也被稱為皮亞諾空間。
在哈恩-馬祖爾克維奇定理的許多表述中，“第二可數”等同於“可測”。在一個方向上，緊豪斯多夫空間就是正規空間；由烏雷松度量化定理，第二可數意味著可測。反過來說，緊度量空間是第二可數空間。

**克萊因群**
在雙重退化克萊因群理論中，有許多空間填充的自然例子。例如2007指出，偽阿諾索夫映射環纖維的萬有覆疊空間在無窮遠處的圓是球面填充曲線（此處球面是雙曲3空間的無窮遠球面）。

**積分**
諾伯特·維納在《傅里葉積分及其部分應用》中指出，空間填充曲線可將高維勒貝格積分簡化為一維勒貝格積分。

**另見**
 龍形曲線- 高斯帕曲線- 希爾伯特曲線- 科赫曲線- 摩爾曲線- 皮亞諾曲線- 謝爾賓斯基曲線- 空間填充樹- 希爾伯特R樹- Bx樹- Z階曲線- 以豪斯多夫維度排序的分形列表

**註釋**

**參考文獻**
  doi-access=free - dead-url=no- year=1982.- citation|first=Douglas M.|last=McKenna|contribution=SquaRecurves, E-Tours, Eddies, and Frenzies: Basic Families of Peano Curves on the Square Grid|title=The Lighter Side of Mathematics: Proceedings of the Eugene Strens Memorial Conference on Recreational Mathematics and its History|publisher=Mathematical Association of America|year=1994|pages= 49–73|editor1-first=Richard K.|editor1-last=Guy|editor1-link=Richard K. Guy|editor2-first=Robert E.|editor2-last=Woodrow|isbn=978-0-88385-516-4|url=https://archive.org/details/lightersideofmat0000unse/page/49.- citation|first=G.|last=Peano|author-link=Giuseppe Peano|url=http://www.digizeitschriften.de/dms/img/?PID=GDZPPN002252376|title=Sur une courbe, qui remplit toute une aire plane|journal=Mathematische Annalen|volume=36|issue=1|year=1890|pages=157–160|doi=10.1007/BF01199438|s2cid=179177780|language=fr|accessdate=2023-09-17|archive-date=2021-12-31|archive-url=https://web.archive.org/web/20211231121317/http://www.digizeitschriften.de/dms/img/?PID=GDZPPN002252376|dead-url=no.- doi=10.1007/978-1-4612-0871-6.

**外部鏈接**
  Multidimensional Space-Filling Curves date=20230323043221 -  Proof of the existence of a bijection date=20230518172506  at cut-the-knot
Java applets:-  Peano Plane Filling Curves date=20230610121251  at cut-the-knot-  Hilbert's and Moore's Plane Filling Curves date=20230330083106  at cut-the-knot-  All Peano Plane Filling Curves date=20230327210402  at cut-the-knot