ジュリア集合
複素力学系におけるジュリア集合(ジュリアしゅうごう、英: Julia set)は、ある複素関数の反復で無限遠に行かない出発点から成る集合の境界として定義される複素平面上の集合である[1]。より技術的・標準的には、ジュリア集合は反復の族が正規ではない点の集合として定義される[2][3]。たいていのジュリア集合はフラクタルと呼ばれる図形になる[4][5]。名称は、20世紀初頭に複素関数の反復を研究したガストン・ジュリアに因む[6]。
定義
f をリーマン球面 ˆC からそれ自身への正則関数 f : ˆC → ˆC とする。f の n 回反復合成を f n(z) と表すとする。点 z ∈ ˆC のある近傍 U(z) ⊂ ˆC 上で、族 {f n|U}∞
n=1 が正規族となるとき、このような点全体の集合をファトゥ集合と呼ぶ[7]。f のファトゥ集合を Ff と表すとする。ジュリア集合はファトゥ集合の補集合として定義される。すなわち、f のジュリア集合を Jf と表せば
である[8]。
上記のジュリア集合の定義は、有理関数や有理型関数などの一般の複素関数論の中で使われ、応用範囲も広い[9]。他方、反復する複素関数を多項式として次のようにジュリア集合を定義することもある。P を2次以上の複素多項式 P(z) = anzn + an−1zn−1 + … + a0 とする。係数 an, an−1 … a0 も複素数である。まず、複素平面 C からそれ自身への多項式関数 P : C → C の充填ジュリア集合 KP を
と定義する。ジュリア集合は充填ジュリア集合の境界として定義される。すなわち、P のジュリア集合を JP と表せば
である[10][11]。
基本的性質
定義よりファトゥ集合は開集合なので、ジュリア集合は閉集合である[8][12]。以下、関数 f を超越整関数または2次以上の有理関数とする。ジュリア集合 Jf は空集合ではない[13]。また、Jf は完全集合である。すなわち、Jf は孤立点を持たない[13]。さらに、ジュリア集合は完全不変である。すなわち、f (J) ⊂ J かつ f −1(J) ⊂ J が成り立つ[14][12]。
ジュリア集合 Jf は、Jf が C または ˆC と一致しなければ、内点を持たない[15]。f が多項式関数のときは、Jf は常に内点を持たない[16]。
出典
- ^ ファルコナー 2020, p. 271.
- ^ Falconer 2006, pp. 274–275.
- ^ Devaney 2003, p. 202.
- ^ 宇敷 1987, p. 58.
- ^ Falconer 2006, p. 271.
- ^ グーリック 1995, p. 193.
- ^ 上田・谷口・諸沢 1995, pp. 35–36.
- ^ a b 上田・谷口・諸沢 1995, p. 36.
- ^ Falconer 2006, pp. 275–276.
- ^ Falconer 2006, pp. 270–271.
- ^ 上田・谷口・諸沢 1995, p. 2.
- ^ a b 宇敷 1987, p. 57.
- ^ a b 上田・谷口・諸沢 1995, p. 52.
- ^ 上田・谷口・諸沢 1995, pp. 36–37.
- ^ 上田・谷口・諸沢 1995, p. 48.
- ^ Devaney 2003, p. 254.
参照文献
- 上田 哲生・谷口 雅彦・諸沢 俊介、1995、『複素力学系序説 ―フラクタルと複素解析―』初版、培風館 ISBN 4-563-00585-1
- 志賀 啓成、2023、「複素力学系」、『幾何学百科Ⅲ 力学系と大域幾何』初版、朝倉書店 ISBN 978-4-254-11618-2
- Kenneth Falconer、服部 久美子・村井 浄信(訳)、2006、『フラクタル幾何学』、共立出版〈新しい解析学の流れ〉 ISBN 4-320-01801-X
- ケネス・ファルコナー、服部 久美子(訳)、2020、『フラクタル』、岩波書店〈岩波科学ライブラリー291〉 ISBN 978-4-00029691-5
- Robert L. Devaney、國府 寛司・石井 豊 ・新居 俊作・木坂 正史(新訂版訳)、後藤 憲一(訳)、2003、『カオス力学系入門』新訂版、共立出版 ISBN 4-320-01705-6
- デニー・グーリック、前田 恵一・原山 卓久(訳)、1995、『カオスとの遭遇 ―力学系への数学的アプローチ』初版、産業図書 ISBN 4-7828-1009-1
- 宇敷 重広、1987、『フラクタルの世界 ―入門・複素力学系―』第1版、日本評論社 ISBN 4-535-78159-1
外部リンク
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
- Julia set - Encyclopedia of Mathematics
- Julia Set - MathWorld
| ||
---|---|---|
特徴 | ![]() | |
反復関数系 |
| |
ストレンジアトラクター |
| |
L-system | ||
Escape-time fractals |
| |
確率的フラクタル | ||
人物 | ||
その他 |
| |
![]() |