高木曲線（たかぎきょくせん）は、中点を再帰的に分割してできるフラクタル曲線の一種である。高木貞治が1903年の論文で、「連続だが至る所で微分不可能な関数」（高木関数）として構成した。海外では、ブラマンジェ曲線（Blancmange curve）とも呼ばれる。ブラマンジェという名前は、同名のプディングとの類似から来ている。また、高木曲線を一般化した高木‐ランズバーグ曲線（Takagi–Landsberg curve）という名前でも知られている。さらに、一般化されたドラム曲線（）の一種でもある。高木関数は、単位区間 formula_1 上でにより定義される。ここで、 formula_3 は formula_4 により定義されるのこぎり波関数（"sawtooth function"）である。すなわち、 formula_3 は "x" から最も近い整数までの距離を示す。無限和で定義される formula_6 は、すべての "x" に対し絶対収束する。しかし、結果としてできる曲線はフラクタルとなる。高木‐ランズバーグ曲線は、高木曲線の簡単な一般化であり、パラメータ "w" に対してにより定義される。すなわち、高木曲線は formula_8 の場合に相当する。formula_9 で定義される値はHurst parameterとして知られている。ここで、 formula_10 とすると、放物線が得られる。中点を再帰的に分割して放物線を得る方法はアルキメデスにより記述されている。高木関数はすべての実数上に拡張できる。すなわち、上記の定義を各単位区間 formula_11 上で繰り返せばよい。高木曲線は三角波関数により視覚的に構成できる。すなわち、無限和を最初の数項を取って有限和で近似すればよい。そのためには、下記の図において、赤色で示されているのこぎり波関数が段階的に小さくなっているが、それを各段階で曲線に加えればよい。

出典:wikipedia