数理解析研究所講究録1087 巻 1999 年 67-92

67

Julia 集合にまつわる種々の連続性
特に幾何学的有限な有理写像について
東京大学大学院数理科学研究科

川平友規(Tomoki Kawahira)序集合」 という概念は,「有理写像 $f$ に対しあるコンパクト集合の有理$J(f)$ を対応させる写像」 を定めている, とも考えられる. 次数のコンパク.
写像全体のなす空間 Rat には係数の空間による位相が,ト集合全体のなす空間 C1(C) には Hausdorff 位相が入るから, その意味としての連続性を考えるのは自然であろう.
で写像 :Rat
Rat の位相による収束列几 $arrow f$ は, 写像を多項式の商として表わしたときの係数がそれぞれ収束するようにできる. この写像の収束を代数的に収束すると呼ぶことにする (これは几 $arrow f$ が球面距離について $-$様収束することと同値である). おそらくこれが最も自然な収束の定義だ
ろうが, この収束が実際どの程度, Julia 集合の収束に反映されるのだろうか.
それだけではない. Julia 集合には Hausdorff 次元をはじめ, 種々の次
元にまつわる量 (次元量と呼ぶ) が定義される. これらの値の連続性も,本稿の興味の対象である.
また, Julia 集合と Klein 群の極限集合との共通性を求める動きに伴って, 幾何学的有限性 (geometrically finite) なる概念が Klein 群論から移植の辞書」式に対応づけよう, というわけであされた. いわゆる 「る. 有理写像における幾何学的有限性は双曲性を弱めた条件であり, その最たる特徴は放物的周期点の存在を許すことである. そのため幾何学
的有限な有理写像において Julia 集合などの連続性を考えるとき, 当然ながら放物的分岐現象を考慮しなくてはならない. そこが難しい点であり,$\lceil_{\mathrm{J}\mathrm{u}}1\mathrm{i}\mathrm{a}$$d$$\hat{\mathbb{C}}$

$d$

$J$

$darrow \mathrm{C}1(\hat{\mathbb{C}})$$d$$\mathrm{S}\mathrm{u}\mathrm{l}\mathrm{l}\mathrm{i}_{\mathrm{V}}\mathrm{a}\mathrm{n}$68
また面白いところでもある.

本稿の第 1 章では次元にまつわる不変量をいくつか定義し, 幾何学的
有限な有理写像の場合それらの問に密接な関係があることを紹介する.
第 2 章では, Julia 集合の連続性について–般的な性質を考える. Douady
による多項式に関する結果を新たに–般の有理写像にまで拡張し, さらに放物的分岐をコントロールすることで Julia 集合の収束条件を与える.
特に, 次の結果を得た (定理 29, 系 2.10).
$f\in \mathrm{R}\mathrm{a}\mathrm{t}_{d}(d\geq 2)$とし, その Julia 集合は Siegel 円板と Hermann 環を持たないとする. このとき,が $f$ に円接的に収束すれば,は $J(f)$ に収束する.
特に, $f$ が幾何学的有限ならば上が成り立つ.
$f_{n}\in \mathrm{R}\mathrm{a}\mathrm{t}d$$J(f_{n})$

第 3 章では力学系全体の定量的収束について述べる. ここでもキーワー
ドは幾何学的有限性と放物的分岐であり, 収束の指標として, Julia 集合や次元量の連続性を見る (1 章と 3 章については, 主に [5] を参照されたい.)

用語と記号
以下, 各車で–般に用いる用語を確認しておく.
から
特に断らない限り $f$ はへの次数 2 以上の有理写像とする. また $f$ と共役な写像 (多価関数の 1 つの分岐もふくめて同じ
dynamics を示す写像) も同じ記号 $f$ で表わすことが多い.
$\hat{\mathbb{C}}$$\bullet$$\bullet$$\bullet$$\bullet$$\hat{\mathbb{C}}$Julia 集合 $J(f)$ :反発周期点の閉包
Fatou 集合 $F(f):=\hat{\mathbb{C}}-J(f)$$P(f)$ :分岐点全体の $f$による前方軌道の閉包上の計量は球面計量 $\sigma=2|d_{\mathcal{Z}1}/(1+|z|^{2})$ とする. またあるときは球面計量による微分$\hat{\mathbb{C}}$$\bullet$$|f’(z)|_{\sigma}$と$\frac{f^{*}\sigma}{\sigma}=\frac{1+|_{Z|^{2}}}{1+|f(z)|^{2}}|\frac{df(z)}{dz}|$を表す. また, 距離は基本的に球面距離をもちいる.
$\bullet$$f$の力学系におけるある集合 $X$ の原像とは$’\backslash$

い ).

$\bigcup_{n=1}^{\infty}f-n(X)$

のことを

69

$\bullet$

1$n\gg \mathrm{O}$は$n$が十分大きいことを表す.

種々の次元量と幾何学的有限性

この章では有理写像に対し次元量をいくつか定義し, これらが Julia 集
合に関連して密接な関係を持つことを紹介する. 特に, Klein 群論との対比から導入された有理写像の幾何学的有限性について, 簡単にその性質をみておこう.

1.1.

次元量の定義まずは次元量の定義をまとめておこう.
$\bullet$がまずに属するとは, 任意のに対して$U$で diam $(U)<\epsilon$ なるものと適当な $n>0$ が存在して,傍$x$$\epsilon>0$$J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f, r)$$f^{n}$$x$の近: $Uarrow B(f^{n}(x), \Gamma)$が同相写像になることと定義する (図 1).

$f_{\nearrow}$

図 1:$x\in J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f, r)$の近傍

このとき, 三三 Julia 集合 (radial (or conical) Julia set) を$J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f):=r \bigcup_{>0}J\mathrm{r}\mathrm{a}\mathrm{d}(f, r)$の Hausdorff 次元を H.
と定義する. また,表す. 他の集合についても同様である.
$J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f)$$\dim(J_{\mathrm{r}}\mathrm{a}\mathrm{d}(f))$と70$\bullet$が 次元 $f$ 不変密度 (f-invariant density ofに対し測度dimension ) であるとは, む上の正値有限測度で, Borel 集合 $E$ について $f|E$ が単射ならば,$\alpha>0$$\alpha$$\mu$$\alpha$$\mu(f(E))=\int_{E}|f’|^{\alpha}\sigma d\mu$が成り立つことをいう. 特に $J(f)$ を台にもつような $f$ 不変密度のとる次元の最小値を $f$ の臨界次元 (critical dimension) といい,と表わす.

$\alpha(f)$$\bullet$

む内のコンパクト集合 $X$ に対し, ある $n>0$ が存在して全ての $x\in X$について$|(f^{n})’(x)|\sigma>1$とできるとき$X$は拡大的(expanding) であるという. また $X$ がさらに $f(X)\subset X$ を満たす
とき双曲的 (hyperbolic) であるという. このとき,$\mathrm{h}\mathrm{y}\mathrm{p}.\dim(f):=\sup${$\mathrm{H}.\dim(X)|X$:$f$の双曲的集合}を $f$ の双曲次元 (hyperbolic dimension) という.

双曲開集合全体を$J_{\mathrm{h}\mathrm{y}\mathrm{p}}(f)$また記号として,と表す.

注意 有理写像 $f$ が双曲的または拡大的とは, $J(f)$ 自身が双曲的集合であるときをいう. これは $J(f)\cap P(f)=\emptyset$ またはと同値である.

$J(f)=J_{\mathrm{r}}\mathrm{a}\mathrm{d}(f)=J_{\mathrm{h}\mathrm{y}}(\mathrm{p}f)$$[7,\mathrm{T}\mathrm{h}\mathrm{m}.3.13]$$x\in\hat{\mathbb{C}}$$\bullet$における Poincar\’e 級数 (Poincar\’e series) とは次のものを$’\backslash$い ).
$P_{s}(f,$$x)= \sum\infty$$\sum$$|(f^{n})’(y)|^{-S}\sigma$$n=0f^{n}(y)=x$

この級数に対し,$\delta(f, x):=\inf\{s>0|P_{s}(f, x)<\infty\}$を$x$における収束指数 (critical expornent) と呼び, さらに$\delta(f):=\inf_{x\in_{\hat{\mathbb{C}}}}\delta(f, X)$

を $f$ の収束指数と呼ぶ.

71

以上 4 つの量を定義したが, これらの量は Julia 集合の Hausdorff 次元に密接に関連し, その値は力学系の性質をよく反映するものになっている. もう少し説明を加えておこう.
非接 Julia 集合は Klein 群の非接極限集合 (conical limit set) に対応して,さまざまな定義がなされている. これについては [10] に詳しい.
は任意に小さな近傍が半径 のサイズに膨れ上がるような点の集合であだといえるを に近づけた極限として得られるのがり, その$\cdot$$J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f, r)$

$r$

$0$

$r$

( $r’\leq r$ ならば$J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f)$$J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f,$$r)\subset J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f,$$r’)$となることに注意). 正規族によるは明らかであろう.
一般的な Julia 集合の定義によれば,に属するが, 放物的周期点はこれに属さなしかし反発周期点は$J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f)\subset J(f)$$J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f)$も定義により明らかである.
不変密度は等角測度 (conformal measure) と呼ばれることが多いが, こ
こでも Klein 群論との類似性を見ることができる. Patterson は Klein 群の Poincar\’e 級数を用いて, 極限集合上に台を持つ等角測度を構成した.
その後 Sullivan がこの方法をまねて, 有理写像の Julia 集合上においても等角測度を構成した [11] [13,\S 5.3]. そのとき用いた級数が上で定義した級数である. これに関しては, 次のような結果がある.
また,い.

$J_{\mathrm{h}\mathrm{y}\mathrm{p}}(f)\subset J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f)$定理 1.1 ある $x\in$ むにおいて $\delta(f, x)<\infty$ とする. このとき $J(f)$ 上に
次元 $f$ 不変密度で, 放物的点, 反発周期点とその全ての台を持つ$\delta(f, x)$

原像に点測度を持たないものが存在する.

また臨界次元と放物四点における力学系的性質には量的な関わりがあをる.
の周期点としよう. 力>‘‘ 花弁点 (parabolic point with petals)
$f$

$c$

$c$

であるとは,

ある適当な自然数

$p$

$p$

$i$

と $z(c)=0$ なる局所座標が存在して,(1.1)$f^{i}(z)=z+z^{p+1}+O(z^{p+2})$と書けることである. この用語は, Leau-Fatou の花弁定理 (Leau-Fatou
flower theorem) に由来している.
注意

より –般には $f^{i}(z)=z+az^{p+1}+O(z^{p+2})$ばよいが, 局所座標を

$z$

から

$a^{\frac{1}{p}}z$(ただし $a\neq 0$ ) の形になれに変換して共役をとれば (1.1) の形にできる.

を満たす分岐点 (critical point) が存在の局所被覆度をしたとしよう. このとき の近傍から の近傍へのを $dp$ 花弁分岐点 (preparabolic critical point with $dp$ petals)
として,
$P$

花弁点

$c$

に対し,

$f^{j}(b)=c$
$b$

$b$

と呼ぶ.

$b$

$c$

$f^{j}$

$d$

72

このような
に対しては, $f$ を適当に反復したものと置き換えて$f(b)=c,$ $f(c)=c,$ $f’(C)=1$ が成り立つとしてよい. この $f$ を用いれば,
$b,$

$c$

付近の力学系に対し 付近の力学系との半共役をとることができる. 具体的にいうと, $\zeta(b)=0$ なる適当な局所座標をとってきて $z=f(\zeta)=\zeta^{d}$とできるから, これを用いてを計算し, さらに上の注意の要領で共役をとった
.
$b$

$c$

$f^{-1}\mathrm{o}f\mathrm{o}f(\zeta)$$g(\zeta)=f^{-1}\mathrm{o}f\mathrm{o}f(\zeta)=\zeta+\zeta^{d}p+1+o(\zeta^{d}p+2)$を調べるのである.

は 1:

(1.2)

の多価関数であるからには表示していないあと $d-1$ 個の互いに共役な分岐がある. (1.2) のにおける $dp$ 枚の花弁は (1.2) のにおける 枚の花弁の原像となっていることに注意しよう. この によって,付近の様子も 付近と同様の方法
で扱うことができる.
以上をふまえて, $f$ の花弁数 $p(f)$ とは, これら花弁点と花弁分岐点
における花弁の数の最大値と定義する. もしこれらの点が存在しないときは, $p(f)=0$ と定める.
このとき, 次の評価が成り立つ.
$f^{-1}$$d$$g$$b(\zeta=^{\mathrm{o})}$

$c$

$P$

$b$

$g$

$c$

定理 1.2 $f$ の花弁数 $p(f)$ により, 臨界次元は下から次のように抑えられる.
$\alpha(f)>\underline{p(f)}$$p(f)+1$

この結果も含め, 不変密度 (等角測度) の次元の評価に関しては Denker,

Urbatski による –連の研究がある $[1][2]$ . さらに, [12] を参照されたい.

1.2

次元量の–致と幾何学的有限性

一般の有理写像については, 次のように次元量の–致が見られる.
定理 1.3 $f$ を次数 2 以上の有理写像とする.

このとき,$\alpha(f)=\mathrm{h}\mathrm{y}\mathrm{p}.\dim(f)=\mathrm{H}.\dim(J_{\mathrm{r}}\mathrm{a}\mathrm{d}(f))$

これは Denker ,である $[5][9][10]$ .

.

, Przytycki, Urbatski の結果を合わせたもの$\mathrm{M}\mathrm{c}\mathrm{M}\mathrm{u}\mathrm{l}\mathrm{l}\mathrm{e}\mathrm{n}$さて, 有理写像 $f$ について $J(f)\cap P(f)$ が有限個の元からなるとき,$f$は幾何学的有限 (geometrically finite) であるという. すなわち $J(f)$ に含73
まれる分岐点がすべて (前) 周期的であるときをいう. このとき, Siegel
円板, Hermann 環は $J(f)\cap P(f)$ を境界にもっことから存在し得ない. しかし放物的周期点はもち得る. また, 双法的ならば幾何学的有限である.
やはりこれも Klein 群の幾何学的有限性から移植された概念で,「.Sullivan$.$の辞書」 の–角を成す. その性質は極めて似ており,明確に示した.

$\mathrm{M}\mathrm{c}\mathrm{M}\mathrm{u}\mathrm{l}\mathrm{l}\mathrm{e}\mathrm{n}$はこれを定理 13 でさらに幾何学的有限という性質を加えるとさらに多くの次元量が–致する. これは Sullivan による幾何学的有限な Klein
群の結果にうまく対応している.
$[5,\mathrm{T}\mathrm{h}\mathrm{m}.6.1]$$[4,\mathrm{T}\mathrm{h}\mathrm{m}.3.1]$

定理 14 $f$ を幾何学的有限な有理写像とする. このとき,$\bullet$$\alpha(f)=\mathrm{h}\mathrm{y}\mathrm{p}.\dim(f)=\mathrm{H}.\dim(J_{\mathrm{r}}\mathrm{a}\mathrm{d}(f))=\mathrm{H}.\dim(J(f))=\delta(f)$次元 $f$ 不変密度 が正規化すれば (確率測度として)ただ 1 つ存在する. これは点測度をもたず, かつ
上に台を
もつ.

$\hat{\mathbb{C}}$$\bullet$.

上には$\delta(f)$$\mu$$J_{\mathrm{r}\mathrm{a}\mathrm{d}(f)}$$\bullet$

全ての$x\in.\hat{\mathbb{C}}$に対し,$s=\delta(f)$のとき Poincar\’e 級数 $P_{s}(f_{X},)$ は発散する.

上の確率測度を幾何学的有限な有理写像 $f$ の標準密度 (canonical density) と呼ぶことにする. この定理のもと, 以下の系は容易である.
系 1.5 $f$ が幾何学的有限ならば,である.
証明$\mathrm{H}.\dim(J_{\mathrm{r}\mathrm{a}}\mathrm{d}(f))=\delta(f)=2$

は $f$ の標準密度になる.

である.

よって台

$J(f)=\hat{\mathbb{C}}$かまたは $\mathrm{H}.\dim(J(f))<$ .

$2$と仮定すると, 定理 14 より球上の面積測度より$J(f)=\hat{\mathbb{C}}$$J(f)\subset\hat{\mathbb{C}}$$\hat{\mathbb{C}}=J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f)\subset J(f.),$$\blacksquare$

系 1.6 ある円 $C$ について $f^{-1}(C)=c$ ならば $f$ は幾何学的有限であり,$J(f)=C$ かまたは HHH $\dim(J(f))$. $<1$ が成り立つ.
証明 $f^{-1}(C)=C$ より, $C$ 上に分岐点は無い (存在すると, 分岐点近傍での$C$の逆像は多岐に分裂してしまう). または上正規族をなし,$J(f)\subset C$ である. すなわち $J(f)\cap P(f)$ は存在すれば放物的点であるから, $f$は幾何学的有限である.
$\{f^{n}\}$$\hat{\mathbb{C}}-C$

あとは系 15 と同様である. $\mathrm{H}.\dim(J(f))=\mathrm{H}.\dim(J_{\mathrm{r}}\mathrm{a}\mathrm{d}(f))=\delta(f)=1$ と仮定すると, 定理 14 より $C$ 上の 1 次元 Lebesgue 測度は $f$ の標準密度になる.
$J(f)\subset C$ より $J(f)=C$ である.
よって台
1

$C=J_{\mathrm{r}\mathrm{a}\mathrm{d}}(f)\subset J(f),$$\blacksquare$74
幾何学的有限な Klein 群があるとき, その極限集合から非接極限集合を除いたものはカスプ点の可算集合であることが知られているが, それに対応する結果も得られる.
定理 1.7 $f$ が幾何学的有限ならば,は放物的点とその原
像, および $J(f)$ に含まれる分岐点の原像からなる. 特に,は可算集合である.
$J(f)-J\Gamma \mathrm{a}\mathrm{d}(f)$$J(f)-J\mathrm{r}\mathrm{a}\mathrm{d}(f)$すなわち, 幾何学的有限ならば非接 Julia 集合が Julia 集合に非常に近い
ことがわかる. これより幾何学的有限ならば$\mathrm{H}.\dim(J\mathrm{r}\mathrm{a}\mathrm{d}(f))=\mathrm{H}.\dim(J(f))$

であるが, 一般の有理写像についてこの等式が成り立つのかどうか, まだ未解決である.

Julia 集合の連続性

2

この章では序文で述べたような枠組みで, Jilia 集合の連続性を考えた
い. しかし実際のところ, これについては多くの点で不連続となることが知られている. 簡単な例としては, Siegel 円板の中心での不連続性がある. 中心点 を几 $arrow f$ なる写像列几の反発周期点に摂動させたとき, $x_{n}\in J(f_{n})$ であるが $x\in F(f)$ である. 逆に, Rat の構造
安定性をもつ点 $f$ の近傍では連続であることが知られている. 特に, $f$
が拡大的 (双霊的) なときもその近傍では連続であることが知られており, 両者が同値ではないかと予想されている.
$f\in \mathrm{R}\mathrm{a}\mathrm{t}_{d}$$x$$x_{n}$$d$$[7,\mathrm{T}\mathrm{h}\mathrm{m}.4.2,\mathrm{c}_{\mathrm{o}\mathrm{n}}\mathrm{j}.1.1]$

が拡大的なとき中立固定点を持たないことからもわかるように, Julia
集合の連続性には中立固定点の存在, または放物的分岐現象が重要な意
味をもっている. そこでこの章では,が放物的点をもつ場合に収束列$f_{n}arrow f$ を考え,その Julia 集合が収束するための十分条件を求めること
$f$

$f$

を目標とする.

2.1

Hausdorff 位相、 半連続, 半収束

まずは Julia 集合の連続性というものを定式化しておこう. それには,に Hausdorff 位相を入れなくてはならない.

$\mathrm{C}1(\hat{\mathbb{C}})$を局所コンパクトかつ可分な距離空間とし, その距離をとしよう. $X$ の空でないコンパクト集合の全体を Comp $(x)$ と表し,の間の Hausdorff 距離 (Hausdorff distance) を次のように定$X$$d(\cdot, \cdot)$$I\mathrm{t}_{1}’,$$\mathrm{c}_{\mathrm{o}\mathrm{m}_{\mathrm{P}(x}})$$I\mathrm{t}_{2}’\in$

75

める.
$\delta(K_{1,2}I\acute{\mathrm{t}}):=\max\{_{x}\sup_{\in R’1}d(x, K_{2}),\sup_{y\in R^{r}2}d(K_{1}, y)\}$

ちなみに Douady は,している.

$\sup_{x\in h_{1}^{\prime d}}(x, K_{2})$を半距離として,$\partial(K_{1}, K_{2})$と表

この書き方に従えば, 次のようにも書ける.
$\delta(K_{1}, K_{2}):=\max\{\partial(Ic_{1}, K_{2}), \partial(K_{2}, K_{1})\}$

えらくすっきりしてしまったが, 半距離
うにいえる.

$\partial$の具体的なイメージは次のよ$\partial(K_{1}, K_{2})=\sup_{x\in K_{1}}d(X, K_{2})=r$

中心, 半径が最低とである. 裏を返せば,$x\in K_{1}$ということは, 任意のの点があるというこの閉球内には, 必ずがぎりぎりの
近傍 $N_{r}(IC_{2})$ の閉包に,$I\acute{\mathrm{t}}_{2}$$r$$I\acute{\mathrm{t}}_{2}$$K_{1}$$r$

含まれている状態だといえる (図 2).

この距離が距離の公理を満たすことは容易に分かる. また か\mbox{\boldmath $\sigma$}コンパ
もコンパクト距離空間になることが知られている
クトならば,$X$$\mathrm{C}_{\mathrm{o}\mathrm{m}_{\mathrm{P}}}(x)$[8].
この距離により Comp $(X)$ に入る位相を Hausdorff 位相 (Hausdorff(この場合は閉集合
topology) と呼ぶ. むのコンパクト集合全体全体なのでこう書く) にたいして, この位相を導入する.
$\mathrm{C}1(\hat{\mathbb{C}})$の連続性を議論する土台
集合」
そこができた. しかし前述のように, この連続性は–般にはいえない.
で, 連続性を補助する概念として, 半連続を導入しよう.
さて,

これで

$J:\mathrm{R}\mathrm{a}\mathrm{t}_{d}arrow \mathrm{C}1(\hat{\mathbb{C}})$$\lceil_{\mathrm{J}\mathrm{u}}1\mathrm{i}\mathrm{a}$76
A を位相空間とする. ここで実関数 :の半連続性を思い出しておこう.
が上半連続 (
semi-continuous) であるとは, 任意の収
$f$

$f$

束列

$\lambda_{n}arrow\lambda$$\Lambdaarrow \mathbb{R}$$\mathrm{u}_{\mathrm{P}\mathrm{p}\mathrm{e}\mathrm{r}}$と $\epsilon>0$ に対し,のとき

$n\gg \mathrm{O}$$f(\lambda_{n})<f(\lambda)+\epsilon$とできることであった. また,あるとは, 任意の収束列$f$$\lambda_{n}arrow\lambda$

が下半連続 (lower semi-continuous) で
と
に対し,
のとき
$\epsilon>0$$n\gg \mathrm{O}$$f(\lambda)-\epsilon<f(\lambda)n$とできることであった.
これを踏まえて,:) の半連続性を次のように定義する.
が上半連続 (upper semi-continuous) であるとは, A 内の任意の収$\phi$$\Lambdaarrow \mathrm{c}_{\mathrm{o}\mathrm{m}_{\mathrm{P}(}}X$$\phi$

束列$\lambda_{n}arrow\lambda$と $\epsilon>0$ に対し,

$n\gg \mathrm{O}$のとき$\phi(\lambda_{n})\subset N_{\epsilon}(\emptyset(\lambda))$とできることとする. すなわち,$\partial(\phi(\lambda_{n}), \phi(\lambda))arrow 0$となるときを言う. また,とは, A 内の任意の収束列$\phi$$(narrow\infty)$

が下半連続 (lower semi-continuous) である$\lambda_{n}arrow\lambda$と$\epsilon>0$に対し,$n\gg \mathrm{O}$のとき$\phi(\lambda)\subset N_{\epsilon}(\emptyset(\lambda_{n}))$とできることとする. すなわち,$\partial(\phi(\lambda), \phi(\lambda_{n}))arrow 0$$(narrow\infty)$となるときをいう.

Hausdorff 位相の定義から,
収束列
かつ$\lambda_{n}arrow\lambda$

に対し$\phi$がある$\lambda\in\Lambda$$\delta(\phi(\lambda_{n}), \phi(\lambda))arrow 0$

で連続であるとは, 任意の, すなわち$\partial(\phi(\lambda), \phi(\lambda_{n}))arrow 0$が成り立つことである. 言い換えれば, その点で上半連続かつ下半連続であることだといえる. 具体的には, 写像 :のある点での連続性を調べるとき, その点での上下の半連
続性を調べればよい, ということである.
$\partial(\phi(\lambda_{n}), \phi(\lambda))arrow 0$$J$$\mathrm{R}\mathrm{a}\mathrm{t}_{d}arrow \mathrm{C}1(\hat{\mathbb{C}})$

77
しかし前述のように, この写像は–般には連続でない. 任意の Rat 内の点列几 $arrow f$ にたいし, $\delta(J(f_{n}), J(f))arrow \mathrm{O}$ は言えないわけである. では, どのような条件下でならば収束列が得られるのだろうか. これを考えることも, その不連続性を知るひとつの方法と言えるだろう.
$d$$\cdot$そこで収束性を補助する概念として, 半収束を定義しよう.
が $K$ に上半収束 (upper semiとある点 $K$ にたいし,
内の点三convergence) するとは$\mathrm{C}\mathrm{o}\mathrm{m}_{\mathrm{P}}(x)$$IC_{n}$$\{I\zeta_{n}.\}$$\partial(I\mathrm{t}’K)n’arrow 0$が成り立つこととする. また,するとは$I\mathrm{t}_{n}’$が $K$ に下半収束 (lower semi-convergence)$\partial(K, I\iota_{n}’)arrow 0$が成り立つこととする.
したがって,$\mathrm{C}\mathrm{o}\mathrm{m}_{\mathrm{P}}(x)$$(narrow\infty)$において$(narrow\infty)$$I\text{\c}_{n}arrow K$とは,$I\mathrm{t}_{n}’$が $K$ にたいし上下に半収束することだといえる. つまり $J(f_{n})$ の $J(f)$ への上下半収束が示されれば, Julia 集合の収束列 $J(f_{n})arrow J(f)$ を得たことになる.
では, Julia 集合の収束条件とはどのようなものであろうか. 以下ではそれを考えていこう.

擬似 Julia 集合の半収束性

2.2

Rat の部分集合として次数の多項式全体の集合を考えたとき, その乖は無限遠点を超吸引鉢 (super attractive basin) にもつことから, Julia 集合は写像を定めているといえる. そ:の枠組みで, Douady は次を示した [3].
$d$

$J$

定理 2.1$f\in \mathrm{P}\mathrm{o}\mathrm{l}\mathrm{y}_{d}$$d$$\mathrm{P}\mathrm{o}\mathrm{l}\mathrm{y}_{d}$$\mathrm{P}\mathrm{o}\mathrm{l}\mathrm{y}_{d}arrow \mathrm{C}\mathrm{o}\mathrm{m}\mathrm{p}(\mathbb{C})$にたいし $J(f)$ をその Julia 集合, $K(f)$ をその充填.

Julia 集合とする. このとき, 次が成り立つ.
(a) $K$ : $f\vdasharrow K(f)$ は上半連続(b) $J:f\vdasharrow J(f)$ は下半連続
ここで, 多項式 $f$ の充填 Julia 集合 $K(f)$ とは $f$ による軌道が有界となる点全体からなるコンパクト集合である. この定理により, Julia 集合の連続性に関する次の系を得る.

78
系 2.2 ある

$f_{0}\in \mathrm{P}\mathrm{o}\mathrm{l}\mathrm{y}_{d}$が $K(f_{0})=J(f_{0})$ を満たすとき,

において写$f\mathrm{o}$像 $K:f\mapsto K(f)$ および $J:f\vdasharrow J(f)$ は連続である.

系の証明は次の補題より明らかである.
補題 2.3 位相空間 A に対し, 上半連続写像:
連続写像があって, 全ての点:ではを満たし, かつある点
このとき
において,
は連続である.
$\phi$$\psi$$\lambdaarrow \mathrm{C}\mathrm{o}\mathrm{m}_{\mathrm{P}}(x)$$\psi(\lambda)\subset\phi(\lambda)$$\lambda_{0}$$\phi,$$\lambda_{0}$と下半A で包含関係であるとする.

$\lambdaarrow \mathrm{C}_{\mathrm{o}\mathrm{m}_{\mathrm{P}}}(x)$$\lambda\in$$\psi(\lambda)=\phi(\lambda)$$\psi$

証明 (補題 23) 任意の収束列$n\gg 0$ とすれば

および $\epsilon>0$ に対して, 半連続性よりかつとできる. さら$\lambda_{n}arrow\lambda_{0}$$\partial(\phi(\lambda_{n}), \emptyset(\lambda_{0}))\leq\epsilon$$\partial(\psi(\lambda 0), \psi(\lambda_{n}))\leq\epsilon$に包含関係より, 次を得る.
$\partial(\phi(\lambda 0), \phi(\lambda)n)=\partial(\psi(\lambda_{0}), \phi(\lambda n))\leq\partial(\psi(\lambda 0), \psi(\lambda_{n}))\leq\epsilon$$\partial(\psi(\lambda_{n}), \psi(\lambda_{0}))=\partial(\psi(\lambda)n’\phi(\lambda 0))\leq\partial(\phi(\lambda_{n}), \emptyset(\lambda_{0}))\leq\epsilon$.

$\blacksquare$

このように Douady の方法は, 上半連続性をもつ擬似的な Julia 集合を作り, その特別な場合として Julia 集合の連続性を導こう, というものである.
さて本稿では, この結果を–般の有理写像へ拡張する. このとき, もはや充填 Julia 集合は意味を持たない. それは無限遠点の超吸引鉢の補集合であって, 有理写像では無限遠点を特別湿する理由はないからである.
そこで–般に, 超吸引鉢も含めた吸引鉢を考え, その補集合を考察しよう. 以下この章で取り扱う空間は, 次数 $d(\geq 2)$ の有理写像全体のなす空
間 Rat と, Riemann 球面内のコンパクト集合全体のなす空間 C1(C) である. Rat は係数の空間からある超曲面を除いたものとみなさ$d$$\mathbb{C}\mathrm{P}^{2d+1}$$d$

有理写像の収束列はここでの収束列とみなし, 代数的収束とよぶ.
以下全て, 代数的収束を考えることにする. また,には Hausdorff
位相が入っており, かつコンパクト距離空間となる.
その上で, 定理 2.1 は次のように拡張される.
れる.

$\mathrm{C}1(\hat{\mathbb{C}})$定理 2.4$f\in \mathrm{R}\mathrm{a}\mathrm{t}_{d}$$L(f):=\hat{\mathbb{C}}-A(f)$に対し $A(f)$ を $f$ の (超) 吸引鉢全体, その補集合をとする. このとき, 次が成り立つ.

(a) $f\mapsto L(f)$ は上半連続(b) $f\mapsto J(f)$ , および $f-+$ ] $(f)\cup A(f)$ は下半連続

79
この定理より, 次の系が自然に出る.
系 2.5 ある点$fo$において $L(f_{0})=\hat{\mathbb{C}}-A(f_{0})=J(f_{0})$ ならば,

$f_{0}\in \mathrm{R}\mathrm{a}\mathrm{t}_{d}$において写像 $f\mapsto L(f)$ および $f\mapsto J(f)$ は連続である.
とくに,が双曲的ならば,において写像 $f\mapsto J(f)$ は連続である.
$f_{0}$

証明$f_{0}$

ゐが双曲的なとき,による.

$L(fo)=\hat{\mathbb{C}}-A(f0)=J(f_{0})$である. あとは補題 23$\blacksquare$

さて, 定理の証明のために次の補題を用意しよう.

補題 26$\hat{\mathbb{C}}-I\mathrm{f}_{n},$(i)$I\mathrm{t}_{n}’$$I\mathrm{t}_{n}’$を$\mathrm{C}1(\hat{\mathbb{C}})$$A:=\ovalbox{\tt\small REJECT}-K$内の列,の点とする. さらにとおいたとき, 次は同値.
を$K$$\mathrm{C}1(\hat{\mathbb{C}})$$A_{n}$$:=$

は $K$ に上半収束する(ii) すべての $x\in A$ に対しある近傍 $U\subset A$ が存在して,$U\subset A_{n}$$n\gg \mathrm{O}$

ならば

とできる

とする.
の近傍として開球 $U=$
$B(x, r/3)$ をとろう.
のとであり, また上半収束性より
きとできることから,が成り立つ. よって $U\subset A_{n}$とできる.
$<$ (ii)=\Rightarrow (i)>任意に小さいは $A$ のコンパクト部に対し,分集合である. よってこの集合の各論はそれぞれ (ii) の条件を満たすような近傍を持つ. その全体の中からの有限開被覆をとりだし,としよう. このときとすれば, 全ての防に対してとできる. ゆえにであるから, (i) が示された.
証明$<(\mathrm{i})\Rightarrow(\mathrm{i}\mathrm{i})>x\in A$$\partial(x, I_{\dot{l}^{r}})=r$$x$$\overline{N_{r/3}(I_{\dot{1}}’)}’\cap\overline{U}=\emptyset$$n\gg \mathrm{O}$$\mathrm{A}_{n}’\cap\overline{U}=\emptyset$$\mathrm{A}_{n}^{r}\subset N_{r/3}(I\dot{1}^{r})$$\epsilon>0$$\hat{\mathbb{C}}-N_{\epsilon}(Ii’)$$\hat{\mathbb{C}}-N_{\epsilon}(Il^{\nearrow})$$\{U_{i}\}_{i=}^{m_{1}}$$n\gg \mathrm{O}$$U_{i}\subset A_{n}$$\hat{\mathbb{C}}-N_{\epsilon}(Ii^{\gamma})\subset\hat{\mathbb{C}}-I\dot{1}_{n}^{r}$$\blacksquare$

この補題 26 により, 定理$2.4(\mathrm{a})$は次の命題と同値である.

命題 2.7 $f_{n}arrow f$ を Rat 内の任意の収束列とする. このとき全てのならば $U\subset A(f_{n})$$x\in A(f)$ に対しある近傍 $U\subset A(f)$ が存在して,
とできる.
$d$

$n\gg \mathrm{O}$

証明 (命題 27, 定理) 吸引周期点は有限個しかないので,を適当に反復したものと取り替えてすべて固定点としてよい. $x\in A(f)$ を任意に取る.
このときある吸引固定点 が存在して, $f^{n}(x)arrow c$ となる.
$f_{n}arrow f$ は係数収束だからのとが存在して,の固定点の列$2.4(\mathrm{a})$

$f$

$c$

$f_{n}$

き $|f_{n}’(C_{n})|<1$ とできる. このとき

$n\gg \mathrm{O}$$c_{n}arrow c$

$c$

の近傍

$U$

で,

$\overline{f(U)}\subset U$

かつ$\overline{f_{n}(U)}\subset U$

なるものが存在する.
は十分な反復により $f^{i}(x)\in U$ とできるので, あとは $f^{-i}(U)$ の連結成分をとればよい.
$x$$\blacksquare$

$x$

を含む

80
証明 (定理$2.4(\mathrm{b})$) 任意の$\epsilon>0$を固定しよう. 有限集合

$X_{1}\subset J(f)$$s.t$$X_{2}\subset A(f)$

$s.t$

.

.

$X_{1},$$X_{2}$を$\partial(J(f), X_{1})<\frac{\epsilon}{2}$$\partial(\overline{A(f)}, X_{2})<\frac{\epsilon}{2}$となるようにとる. すなわち, $J(f),$ $A(f)$ の各点の近傍にそれぞれの点があるようにする.
特に,の点は反発周期点からとろう. このときの反発周期点全体はにも収束するから,のとき $\partial(X_{1}, J(f_{n}))<\epsilon/2$ とできる. よって$\epsilon/2$$X_{1}$$X_{1},$$f_{n}$$X_{2}$$X_{1}$$n\gg \mathrm{O}$$\partial(J(f), J(fn))\leq\partial(J(f),x_{1})+\partial(x_{1}, J(fn))<\epsilon$となり, Julia 集合の下半連続性が言えた.
さらに命題 26 により, $n\gg 0$ のとき $X_{2}\subset A(f_{n})$ とできる. よって$\partial(J(f)\cup A(f), J(f_{n})\cup A(fn))<\epsilon$とできる. すなわち, 写像 $f-\succ J(f)\cup A(f)$ の下半連続性が言えた.

$\blacksquare$

以上で重要なのは, Julia 集合自身は–般に下半連続性をもっ, ということである. すなわち, 加えて上半連続性が成り立つ点においては, Julia
集合は連続に変化するわけである. さらにいえば, ある点の Julia 集合への上半収束列があれば, それは収束列になっていることがわかる.
次に, そのような収束列を放物的固定点がある場合に実現しよう.

2.3

放物的分岐のコントロール–円接的収束

ある有理写像が放物的固定点をもつ場合, その有理写像への収束列と対応する Julia 集合列の関係は, いわゆるカオス的であり, コントロールが極めて難しい. 前節で扱った吸引鉢の収束は, 本質的には吸引固定点の固有値の収束のみによって処理できたのに対し, 放物的吸引鉢の場合は固定点付近だけを局所的に見ても, 極めて多様な変化が考えられるのである.

例えば, 固有値の絶対値を 1 に保ったまま摂動させたときの変化は言

うまでもないだろう. しかし反発固定点になるように摂動させたときにも, 次のような現象が考えられる.
原点を固定点にもつような写像の収束列 $f_{n}arrow f$ を
$f_{n}(z)=(1+\epsilon_{n}^{2})_{Z}+\epsilon n^{Z+}2Z^{4}$$arrow f(z)=z+Z4$81のように定める. 単純にとして原点での局所的な力学系を調べると; 几は常に 1 花弁的なのに対し, $f$ は 3 花弁的である.
を–般の複素数で に近づけた場合など, もっと複雑であろう. このように, 放物$\epsilon_{n}\searrow 0$$\epsilon_{n}$$0$的点での局所的な性質は固有値以外の要素が強く影響する.
以下ではそのような放物的分岐回象をコントロールするため, 有理写像の円接的収束 (horocyclicence) というものを定義しよう.
$\mathrm{c}\mathrm{o}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\grave{\mathrm{g}}$上の例からわかるように, Julia 集合の収束を実現するには固有値以外の係数にも注意しなくてはならない. とりあえず, 花弁点には, おとな
しく 花弁的に近づいてもらいたいものである. そこで, 次の状況を考えよう.
内の収束列几 $arrow f$ に対し, $f(c)=c,$ $f(c_{n})=c_{n}$ かつ$c_{n}arrow c$ とし,固有値は $f’.(c_{n})=\lambda narrow f’(c)=$ とする. このとき, 次の.
命題がなりたつ.
$P$$P$$\mathrm{R}\mathrm{a}\mathrm{t}_{d}$$\lambda$

命題 2.8が 1 の原始 乗根でかつ が 花弁点であるとき,は適当な収束座標変換列により, 局所的に次の形に書ける.
$\lambda$

$c$

$P$

$P$

$f_{n}arrow f$$f_{n}(z)=\lambda_{n^{\mathcal{Z}}}+z^{p+1}+o(Z)p+2$$arrow f(z)=\lambda z+z^{p}++1o(z^{p})+2$

証明$f_{n}$

座標変換により, $c=c_{n}=0$ としておく. まず, $n\gg 0$ のとき全てのとなる最小の $s(2\leq s\leq p+1)$ をとろう. すなわち,について $f_{n}^{(s)}(0)\neq 0$$A_{s,n}\neq 0$として$f_{n}(z)=\lambda_{n}z+AS,nz^{S}+O(z^{S+}1)$$-arrow f(z)=\lambda z+A\mathcal{Z}^{s}+sO(z^{S+}1)$と書くことができる. $s=p+1$ ならばりであるから, $s\leq P$ とする.
さて, 天下り的だが$\phi_{S,n}(\mathcal{Z})=\mathcal{Z}-Bs,nZ^{S}$,$z-\succ A_{s,n}^{1/}.s_{Z}$なる座標変換をすれば終わ$B_{s,n}= \frac{A_{s,n}}{\lambda_{n}(\lambda_{n}^{s-1}-1)}$

および $A_{s,n}arrow A_{s}$ , また $2\leq s\leq p$ のときとおこう. ここでより,は収束する. 極限をとしよう. このとき収束列 $\phi_{s,n}(z)arrow\phi_{s}(z)=$$\lambda_{n}arrow\lambda$$B_{s,n}$$z-B_{s}z^{S}$

また,$\lambda^{s-1}\neq 1$$B_{s}$がとれる.

より,のある十分小さな近傍ではによらず$\phi_{s,n}’(z)\neq 0$ であり, 単射である.
さらに, ここで ( $=\phi_{n}(z)$ とおき, $O(z)=o(\zeta)$
であることに注意してを計算すると,$\phi_{s,n}’(z)=1-sB_{s,n}z^{S-}1$

$0$

$n$

$\phi_{s,n^{\mathrm{O}}}f_{n}\mathrm{o}\emptyset_{S,n}^{-1}(()$$\phi_{s,n}\mathrm{o}f_{n}\mathrm{o}\emptyset_{s,n}^{-1}(()=\lambda_{n}\zeta+(AS,n+\lambda B_{s,nn}-\lambda_{s}^{S},Bs,)n(^{s}+O((^{s+}1)$82となる. 冗長になるのでこの計算は割愛するが,はとなるのである. よって,$0$

$B_{s,n}$の定義から見事$\phi_{s,n^{\mathrm{O}}}fn^{\mathrm{O}}\phi_{s,n}-1arrow\phi_{s}\mathrm{o}f\mathrm{o}\phi^{-1}s$

とおくことにする.
あとはこの操作を繰り返し,
で, $s=p+1$ のときに帰着される.

$\zeta^{s}$

の係数

を改めて几

$\phi_{p,n}0\cdots 0\phi 2,narrow\phi_{\mathrm{P}}0\cdots \mathrm{O}\phi 2$$arrow f$

による座標変換$\blacksquare$

上の命題のように正規化できた場合,を計算すると$f_{n}^{p}arrow f^{p}$.
$f_{n}^{p}(_{Z})$$=\lambda^{p}zn+((\lambda_{n}p)p-1+(\lambda_{n}^{p})p-2+ \cdot..+1)\lambda_{n}^{p-1}z^{p}+o(+1p+2)\mathcal{Z}$$arrow f^{p}(z)=z+p\lambda p-1z^{p}+o(+1zp+2)$

となり,

$P$

花弁点へ

$P$

花弁的に収束していくことがわかる.

次に, 固定点の固有値の収束に関する条件を定義しよう.
$\lambda_{n}=\exp(L_{n}+i\theta_{n})$ としたとき,
上の収束が円接的 (horocyclically) であるとは$\mathbb{C}^{*}$$\lambda_{n}arrow 1$$\theta_{n}^{2}/L_{n}arrow 0$を満たすときをいう. またその特別な場合として,$\lambda_{n}arrow 1$

が非接的 (ra-dially) であるとは$\theta_{n}=O(|L_{n}|)$を満たすことをいう. いずれの場合についても,のとする. また–般にに対しても,的) のとき, これを円接的 (非接的) と呼ぶ.
$\lambda_{n}arrow\lambda$$\lambda_{n}=1$$\lambda_{n}/\lambdaarrow 1$のときを含むもが四四的 (寄接注意 (1) この章においては, 非接的収束は詳しく扱わない.

注意 (2) 正則写像 $f$ に対し $f(c)=c\in \mathbb{C},$ $f’(c)=\lambda$ であるとき,$\iota(f_{C},)=\frac{1}{2\pi i}\int_{1z-}c|=r\frac{dz}{z-f(z)}$を正則指数 (holomorphic index) と呼ぶ. ただし積分路は円内に他の固定点を含まないようにを十分小さくとる. 例えば,のとき $\iota(f, c)=1/(1-\lambda)$である. この値は座標変換に対し不変である. 逆に座標変換を用いて, 無限遠$r$$\lambda\neq 1$

点が固定点である場合の値を定義できる.
なる収束列があって $f_{n}(c_{n})=c_{n,arrow}arrow f(c)=c,$ $f_{n}’(C_{n})=\lambda_{n}arrow f’(c)=$であるとき,
が円接的であることは $|{\rm Re}(\iota(fn’ c_{n}))|arrow\infty$ と同値である.
$f_{n}arrow f$$1$$\lambda_{n}arrow 1$

さて以上をふまえて, 写像の円接的収束を定義しよう.
まず, 収束列几 $arrow f$ と周期 の放物的周期点 があるとき, 次の条
件を考える.
$i$

$c$

83

1.

$c$

が

$P$

花弁点ならば,が存在して,

2.

$f_{n}^{i}$3.

$(f_{n}^{i})’(\mathrm{C}_{n})=\lambda_{n}arrow\lambda$の固定点$c_{n}$$\lambda=(f^{i})’(c)$は 1 の原始$P$乗根$c_{n}arrow c$

が円接的収束この 3 条件を円接条件 (horocyclic condition) と呼ぶことにする.
の全ての放物的周期点について円接条件が成り立つとき, $f_{n}arrow f$ を円接的と呼ぶ.
$f$

を連接的収束に変えたとき, 同様にこの 3 条
注意 (1) 円接条件 3. の件を非接条件とよび, また五 $arrow f$ の非接的収束も同様に定義される.
$\lambda_{n}arrow\lambda$

2.4

Julia 集合の条件収束

ここでは次の定理の証明が主題である.
定理 29 $f\in$ Rat に対し $AP(f)$ を $f$ の (超) 吸引鉢全体と放物的吸引鉢全体とし, その補集合を $M(f):=\hat{\mathbb{C}}-AP(f)$ とする. このとき,次が成り立つ.
$f_{n}arrow f$ が円接的収束であるならば,$d$(a) M(五) は $M(f)$ に上半収束(b) $J(f_{n})\cup AP(f_{n})$ は $J(f)\cup AP(f)$ に下半収束
新たに $M(f)$ という疑似 Julia 集合が登場したが, これは $K(f)$ や $L(f)$に比べれば, かなり Julia 集合ご本人様に近いといえる. これより, 次の系を得る.

を円月的収束とする. このとき $M(fo)=J(f0)$ ならば,$M(f_{n})arrow M(f_{0}),$ $J(f_{n})arrow J(f_{0})$ である.
特に f。が幾何学的有限ならば, $J(f_{n})arrow J(f_{0})$ である.
系 2.10$f_{n}arrow f_{0}$すなわち, 放物的固定点をもつ Julia 集合への収束列が構成されたことになる.
が幾何学的有限ならば, Fatou 集合に Siegel 円板, Hermann 環とその証明
より $M(f_{n})$ は $M(f_{0})$原像はない. よって $M(f\mathrm{o})=J(fo)$ である. 定理
上り $J(f_{n})$ は $J(f_{0})$ に下半収束し, あとは補題 23 とに上半収束, 定理$f_{0}$$2.9(\mathrm{a})$$2.4(\mathrm{b})$同様にして示される.

$\blacksquare$

84
証明 (定理 2.9) 証明の方針は定理 24 と全く同様である. まず (a) を示すには,
命題 2.7 と同じく, 全ての $x\in AP(f)$ に対しある近傍 $U\subset AP(f)$ が存在して,ならば $U\subset AP(f_{n})$ とできることを示せばよい. 命題 27 より $x\in A(f)$が $f$ の放物的周期点 へ吸収される場合を考えのときは示されているので,ればよい. また放物的周期点は有限個であるから, $f$ . を適当に反復したものと$n\gg \mathrm{O}$

$x$

$c$

取り替えて放物的野はすべて固定点としてよい.
まず,が 1 花弁点のときを考えよう. このとき円接的収束より, $f_{n}arrow f$ を適当に座標変換して が無限遠点になるようにうつし, その近傍上次のような
$c$

$c$

形にできる.

$f_{n}(z)=\lambda_{n^{Z+1+}}o(1/z)$$arrow f(z)=z+1+o(1/z)$
ただし,は円接的な収束である. このときある無限遠点の近傍で定義された擬等角写像列
により, $f_{n}arrow f$ は M\"obius 変換の収束列 $T_{n}(z)=$$\lambda_{n}z+1arrow T(z)=z+1$ と共役にできる.
ここで十分大きな $R$ をとり, $\phi^{-11},$ が $D=\{|z|\geq R\}$ を定義域にもつ$T$の $D$ における力学系が几, $f$ のそれぞれようにしよう. すなわち,$\phi^{-1}(D)$ における力学系と共役になっているとする (図 3).
この $D$ 上$\lambda_{n}arrow 1$$\phi_{n}arrow\phi$$[5,\mathrm{T}\mathrm{h}\mathrm{m}8.2]$$\phi_{n}-$$T_{n},$$\phi_{n}^{-1}(D),$でモデリンゲして老$x$$\grave{z}$士らは $f$ の反復により無限遠点の十分近くにあるとしてよい. 特に,$y=\phi(x)\in$とする. このとき, さらに $T$ の反復により, ${\rm Re} y>R$ としてよい. また,は $V\subset\{{\rm Re} z>R\}$ となるよう適当に小さくとる. この$V=B(y, r)$ とする.
$D$

$r$

による軌道を調べることにしよう.
のとき, $V$ は放物兜町定点である無限遠点に吸い込まれ, $V\subset AP(f_{n})$である. よって,としてよい. また $\lambda_{n}=\exp(L_{n}+i\theta_{n})$ とおくと, 墨
黒的収束性より, $L_{n}\neq 0$ , すなわちとしてよい.
は
さてのほかに $a_{n}=(1-\lambda_{n})^{-1}$ を固定点としてもち, 固有値はそれぞれである. すなわち, -方が吸引固定点, 他方が反発固定点となつ$V$の$T_{n}$$\lambda_{n}=1$$\lambda_{n}\neq 1$$|\lambda_{n}|\neq 1$$T_{n}$$\lambda_{n}^{-1},$$\infty$$\lambda_{n}$85
よってここでの力学系を見やすくするため,ている.

$\infty$.

なる M\"obius 変換$\cdot.-.\succ\infty.|’ a_{n}\mapsto..0,$.

$y$$\vdasharrow 1$.

$w=S_{n}(z)= \frac{z-a_{n}}{y-a_{n}}$による共役を考えよう.
かとなり, $S_{n}(V)=:V’$ は明らかにの吸引固定点である方に吸い込まれる. すなわち, $L_{n}<1$ ならば $V’$ の軌道はに収束し, $L_{n}>1$ ならばに収束する. よって, もとの力学系で $V\subset A(T_{n})$, といいたいところだが, これをのモデルとして成立させるためには, $V$ の軌道が共役を与えられている $D$ 内を出ない必要がある. これを示そう.
$B=\hat{\mathbb{C}}-D$とする. このとき $S_{n}(B)=:B’$ の式は

このとき$s_{n^{\mathrm{O}}}\tau_{n^{\mathrm{o}S_{n}}}-1(w)=\lambda_{n}w$$0$$\infty$$0$$\infty$$f_{n}$$|$$|w- \frac{a_{n}}{a_{n}-y}|<\frac{R}{|a_{n}-y|}$

.

となる.

この円の中心を $c_{n}=a_{n}/(a_{n}.-y.)$ とおこう. -方 $V’$ の式は$|w-1|< \frac{r}{|a_{n}-y|}$

となる.
は
のとき,
に十分近いことから, $c_{n}\approx 1-y(L_{n}+i\theta_{n})$である. -方,を特に大きくない自然数とするとき, $\lambda_{n}^{k}\approx 1.+k(L_{n}+i\theta_{n})$ で$n\gg \mathrm{O}$$L_{n}+i\theta_{n}$

$0$

$k$

淑

.-9 士嵜 1$z_{\backslash }.arrow \mathrm{J}\prime\prime$のとき,$\iota’\neg\backslash$は $wrightarrow\lambda_{n}w$ の反復により, 正の実軸をいずれかの吸引固定点のある方向へと吸い込まれる. このとき, $B’$ は 1 に関して進行方向と逆方向にあるので, $V’$ の軌道は $B’$ と交わることはない. ゆえに, もとのの力学系に戻せば, $V$ は $D$ を出ることなく吸引固定点へ吸い込まれる.
のとき, $V$ は の周りを回転しながら かいずれかの吸引固定点
へと吸い込まれる.
の正負は回転の方向を定めているだけだから, 簡単のた$\theta=0$$V’$$\ovalbox{\tt\small REJECT}$$\theta_{n}\neq 0$$0$$\theta_{n}$$0$$\infty$$0$か$\infty$86
このとき, $V’$ の軌道は約回の反復によりの正の実軸付近に戻ってくる. すなわち, $L_{n}arrow 0$ の減少速度に比べて減少速度が遅ければ, $V’$ の軌道が を 1 画して $B’$ にかすってしまう可能性がある (図 5). しかし, これがないことを示そう.
めに $\theta>0$ と仮定しよう.

$[2\pi/\theta_{n}]$$\theta_{n}arrow 0$$0$

図 5: $V’$ の軌道 ( $L_{n}<0,$$\theta_{n}>0$のとき)が再び正の実軸付近に来たこのとき, $V’$ と の Euclid 距離はほぼ $l_{n}=$である. これに対し, $B’$ は 1 から $0(|a_{n}|^{-}1)$ の範囲に収まっていることに注意しよう. これは $narrow\infty$ のとき, $B’$ 全体が限りなく 1 に近づくということである. よって $\lim\inf|L_{n}/\theta_{n}|\neq 0$ のとき,は 1 に収束しないことより $B’$ と $V’$ の軌道は交わらない.
次に $L_{n}/\theta_{n}arrow 0$ のときは, $|1-l_{n}|\approx 2\pi|L_{n}|/\theta_{n}$ である. また$|L_{n}+i\theta_{n}|$
より,
$V’$

$0$

$\exp(27\ulcorner L_{n}/\theta_{n}arrow)$$l_{n}$$|a_{n}|^{-1}\approx$$\frac{O(|a_{n}|^{-}1)}{|1-\iota_{n}|}=$$O(|\theta_{n}+i\theta_{n}^{2}/|Ln||)arrow 0$.

も 1 に近づくが, それよりも速く $B’$ 全体が 1 に近づくわけである. よってを十分大きくすれば, $V’$ の軌道は $B’$ と交わることなく螺旋状に
吸引固定点へと吸い込まれる.
のとででは, 話をもとの力学系に戻そう.
の近傍
より,
き $\phi_{n}(U)\subset V$ なるものが存在するから, 以上の議論より, この $U$ がの求める近傍である.
すなわち,$l_{n}$$n$$\phi_{n}arrow\phi$

$x$

$U$

$n\gg \mathrm{O}$$x$

次に が 花弁点のときを考えよう. このとき円接条件と命題 28 より, $f_{n}arrow f$
を適当に座標変換して が無限遠点になるようにうつし, その近傍上次のような形にできる.
$c$

$P$

$c$

$f_{n}(z)=\lambda_{n}z+z^{1-}+po(1/z^{p})$$arrow f(z)=z+z-p+\mathit{0}1(1/z^{p})$ただし,は円接的な収束である. このときある無限遠点の近傍で定義された擬等角写像
により, $f_{n}arrow f$ は次のような収束列 $T_{p,n}arrow T_{p}$ と共$\lambda_{n}arrow 1$$\phi_{p,n},$$\phi_{p}$

87

役である

$[5,\mathrm{T}\mathrm{h}\mathrm{m}.8.3]$.
$T_{p,n}(z)=\lambda_{n}(z+p1)^{1/}p$$arrow T_{p}(z)=(Zp+1)^{1/p}$とできる. ただし, $(z^{p}+1)^{1/p}=z+O(1)$となるように分岐をとることにする. すると, $T_{p,n}arrow T_{p}$ は半共役 $w=z^{p}$ により, 花弁 1 枚ごとに $p=1$ のときと全く同様にして扱うことができる.
示すべきことは, $\partial(M(f_{n}), M(f))arrow \mathrm{O}$ である. そこである $\epsilon>0$ に対し,
$f_{n}arrow f$ の部分列 $f_{n:}arrow f$ で常に $\partial(M(f_{n}\dot{.}), M(f))>\epsilon$ が成り立つものが存在の点列コンパクト性より, $M(f_{n_{i}})$ はあるコしたと仮定しよう. さらにとその適当な部分列とを置き換
ンパクト集合 $M$ に集積するから, 最初から$M(f_{n_{i}})arrow
M$
としてよい
.
すなわち,
えることで,
また, うまく部分列をとって$\phi_{n}arrow\phi$$\mathrm{C}1(\hat{\mathbb{C}})$$f_{n:}$$\delta(M(f_{n:}), M)=\max\{\partial(M(fn_{i}), M), \partial(M, M(fni))\}$$arrow 0$$(iarrow\infty)$とできる. また上に述べたことから, さらなる部分列五,,’ $arrow f$ をとればの近傍 $U$ でとできる. すると $p=1$ のときと同様の議論により,のとき $\phi_{p,n_{i,j}}(U)\subset V$ なるものがとれるから, $M(f_{n_{i,j}})$ は $M(f)$ へ上半収束,すなわち $\partial(M(fn_{i,j}), M(f))arrow \mathrm{O}$ でなくてはならない. ゆえに,$\phi_{p,n_{i,j}}arrow$$x$$\phi_{p}$$i\gg \mathrm{O}$$\partial(M(f_{n}i), M(f))$$\leq\partial(M(fn_{i}), M)+\partial(M, M(fn_{i},j))+\partial(M(fn.\cdot,j),$ $M(f))$$arrow 0$となるが,$(i,jarrow\infty)$

これは部分列几 8 の取り方に矛盾である. よってもとの円接的収束

列 $f_{n}arrow f$ について, \partial (M(五), $M(f)$ ) $arrow 0$ でなくてはならない.
と同様である.
残りの (b) の証明は, 定理$2.4(\mathrm{b})$3$\blacksquare$

幾何学的有限性と力学系的収束内の収束点列がある場合, 対応する力学系の性質がどのよう変化していくのかを問題とするとき, これを定量的に観測するのも –つの手$\mathrm{R}\mathrm{a}\mathrm{t}_{d}$段であろう. 第 1 章で見たように幾何学的有限な有理写像の場合多くの次元量が–致するから, この性質のもとでは力学系の定量的性質は見やの力学系的収束は, これ
すいはずである. ここでとりあげる$\mathrm{M}\mathrm{c}\mathrm{M}\mathrm{u}\mathrm{l}\mathrm{l}\mathrm{e}\mathrm{n}$を実行するひとつの例である.

88

3.1

$=$

次元
特に Hausdorff 次元の連続性
次元量、が力学系的収束 (dynamical convergence) とは以下の条件を満たすときを言う.

定義$f_{n}arrow f$

Dl. $f_{n}arrow f$ は代数的収束
D2. Hausdorff 位相の意味で $J(f_{n})arrow J(f)$D3. $\mathrm{H}.\dim(J(f_{n}))arrow \mathrm{H}.\dim(J(f))$
D4. 臨界次元について,

D5.

$f$

, 及び几

$\alpha(f_{n})arrow\alpha(f)$$(n\gg \mathrm{O})$は幾何学的有限D6. $J(f_{n}),$ $J(f)$ 上の標準密度$\mu_{n},$

$\mu$

について,

$\mu_{n}arrow\mu$は弱収束.

力学系的収束とは, 力学系の代数的な性質, 局所的な性質, 大域的な性質が–斉に収束していく状態だといえる. 特に, 条件 D5 がその仲を取り持つ本質的条件であろうことは, 今までの結果から想像がつくだろう.
しかし条件 D5 のように, 幾何学的有限性を収束の途中からすべてにおいて実現することは, 一般には難しい. ただし, 幾何学的有限でも双曲的な場合ならば, 次の結果は比較的容易にわかる.
定理 3.1 $f_{n}arrow f$ が代数的収束かつ $f$ が双曲的なとき,$f_{n}arrow f$は力学系的に収束する.

双曲的な有理写像全体は開集合をなすから, $n\gg 0$ ならばは双曲的である (よって幾何学的有限). すなわち条件 D5 が成立している. 放$f_{n}$

物的分岐も起きないので Julia 集合の収束も容易である (系 25). また標

準密度の弱収束から収束指数の収束が得られ, 一致する他の次元量も従うというわけである.

一般の幾何学的有限な有理写像の場合, 次のややきつい条件が必要である.
$b$

を $J(f)$ 内の前周期的分岐点で,する. このときそのような全ての$b$$f^{i}(b)=fj(b),$と$n\gg \mathrm{O}$$i>j>0$ を満たすとに対して,$f_{n}$

が $J(f_{n})$ 内にと同じ重複度をもつ分岐点をもち, $f_{n}^{i}(b_{n})=f^{j}n(b)n$ を満たすとする. このとき几 $arrow f$ は分岐関係を保つ (preserving critical relations)
収束であるという.
$b$$b_{n}arrow b$89
上のような状況で, $f$ を幾何学的有限としよう. んの任意の分岐点
は $f$ のある分岐点 に近づく. $b\in J(.f)$ のときこれは前周期的であり, 分
岐関係の保存性からかつ前周期的である. また $b\in F(f)$ のと
き, もしも Julia 集合の連続性が言えるならば,のとき $b_{n}\in F(f_{n})$. . .-.
が言えるので, 条件 D5 は成立する. .: :.
,このとき, 次の結果が成り立つ.
$b_{n}$$b$$b_{n}\in\dot{J}(f_{n})$$n\gg \mathrm{O}$.

$\cdot$定理 3.2 $f$ が幾何学的有限で,とする. このとき,$f_{n}arrow f$

は分岐関係を保つ代数的収束列(a) $f_{n}arrow f$ が非接的, または(b) $f_{n}arrow f$ が円接的かつ$\lim$のとき,$f_{n}arrow f$

inf H. $\dim J(f_{n})>\frac{2p(f)}{p(f)+1}$

は力学系的収束する.

上の結果を応用して, 2 次多項式で Hausdorff 次元が任意に 2 に近いJulia 集合を持つものが存在することがわかる.

$\lambda_{n}arrow\lambda$のとき収束写像$|\lambda_{n}|<1$なる円接的な収列 fn(z) $=\lambda_{n}z+z^{2}$ を考えよう.
定理 3.3束列$\lambda$

を 1 の原始がとれて,$P$乗根とする. このとき$\lambda_{n}arrow\lambda$$\lim$

inf H. $\dim J(f_{n})\geq\frac{2p}{p+1}$

また適当に点列をとることで, 次の系を得る.
系 3.4 $\mathrm{H}.\dim(J(\lambda_{n}z+z^{2}))arrow 2$ となるような列

3.2$|\lambda_{n}|<1$

不連続な例
方, 次のような性質を持つ収束列の例が存在する.

(a) $f_{n}arrow f$ は代数的収束
(b)

$f$

, 及び

$n\gg \mathrm{O}$のときの几は幾何学的有限

がとれる.

90
(c) Hausdorff 位相の意味で $J(f_{n})arrow J(f)$ , しかし(d) H.dim(J(五)) は H. $\dim(J(f))$ に収束しない !

これらの例は定理 32 の条件を 1 つ省くことで構成でき, 力学系的収束という観点からはそれらが過剰な条件でないことがわかる [5,\S 14].
分岐関係の保存を仮定しない例
まず,$f_{n}arrow f$

が非理的に収束し,$\mathrm{H}.\dim(J(f_{n}))arrow 2>\mathrm{H}.\dim(J(f))$となる例. これは定理
合である.

$3.2(\mathrm{a})$において, 分岐関係の保存を仮定しない場

具体的には $f(z)=z^{2}+c$ において,を Misiurewicz 点にとる. すなわち, 分岐点 $z=0$ が前周期的となるようなである. 当然幾何学
的有限であり, また Julia 集合は樹上突起 (dendrite) だから, 系 15 より$\mathrm{H}.\dim(J(f))<2$ が成り立つ. 具体的な例として, $c=-2$ が挙げられる(Julia 集合は閉区間 [-2, 2]). 方法はやや複雑であるが, この $f$ への収
$c$

$c$

束列で上を満たすものが構或できる.

円接的に収束するときの条件を省いた例

もうひとつの例は 2 次の有理写像列で, $f_{n}arrow f$ は分岐関係を保つ円接的な収束だが,$\mathrm{H}.\dim J(fn)arrow 1>\mathrm{H}.\dim(J(f))=\frac{1}{2}+\epsilon$(3.1)となる例である. 特に, 任意の $0<\epsilon<1/2$ に対してそのような例を構成できる. これは定理において条件 $\mathrm{H}.\dim J(f)>2p(f)/(P(f)+1)$を省いた場合である. 具体的には, $r>0$ のとき,
$3.2(\mathrm{b})$$f(z)=,z+1+ \frac{r}{z}$を考える. これは幾何学的有限であり, $c=\infty$ は 1 花弁固定点である. またであるから, 系 16 より
かつ $\mathrm{H}.\dim J(f)<1$
である (Cantor 集合になる).
$f^{-1}(\hat{\mathbb{R}})=\hat{\mathbb{R}}$$J(f)\subset\hat{\mathbb{R}}$91
より, 任意の $0<\epsilon<1/2$ に対して, 適当な $r>0$ をとって $\mathrm{H}.\dim(J(f))=1/2+\epsilon$ とできる. その嫁こ対し, ある円接的な収束$[6,\mathrm{T}\mathrm{h}\mathrm{m}.6.2]$

列$\lambda_{n}arrow\lambda$

をとれば, 写像列$f(z)= \lambda Z+n1+\frac{r}{z}$が (3.1) の関係を満たすことがわかる.

注意

Klein 群についても, この例に対応する結果がある [4,\S 7,8].

参考文献[1] M.Denker and M.Urbatski. Geometric measures for parabolic rational maps. Ergod. $Th$ . & Dynam. Sys. 12(1992), pages 53-66[2] M.Denker and M.Urbatski. On Sullivan’s conformal measures forrational maps of the Riemann sphere. Nonlinearity 4(1991), pages

365-384[3] A.Douady. Does a Julia set depend continuously on the polynomial? In R.Devaney, editor, Complex Analytic Dynamics. AMS.
Proc. Symp. Appl. Math. 49, 1994
[4] C.McMullen. Hausdorff dimension and conformal
I: Strongly convergence of Kleinian groups. preprint.

dynamics[5] C.McMullen. Hausdorff dimension and conformal
II:Geometrically finite rational maps. preprint.

dynamics[6] C.McMullen.

dynamics

Hausdorff dimension andof dimension. preprint.

conformal$\mathrm{I}\mathrm{I}\mathrm{I}:\mathrm{c}_{0}\mathrm{m}_{\mathrm{P}}\mathrm{u}\mathrm{t}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$[7] C.McMullen. Complex Dynamics and Renormalization. Annals ofMath Studies 135, Princeton University Press, 1994
[8] C.McMullen. Renormalization and 3-Manifolds which Fibre over the
Circ le. Annals of Math Studies 142, Princeton University Press, 1996

[9] F.Przytycki and M.Urbatski. Conformal Fractals... Cambridge University Press, in preparation

92[10] F.Przytycki. Conical limit set and Poincar\’e expornent for iterationof rational functions. MPIPrepint, 1996[11] D.Sullivan. Conformal dynamical systems. In Geometric Dynamics,
Lecture Notes in Math725-752. Springer-Verlag, 1983
$1007_{\mathrm{P}^{\mathrm{a}}\mathrm{g}},\mathrm{e}\mathrm{s}$[12] M.Urbatski. Rational functions with no recurrent
god. Th. 8 Dynam. Sys. 14(1994), pages 391-414.al points. Er-$\mathrm{c}\mathrm{r}\mathrm{i}\mathrm{t}\mathrm{i}_{\mathrm{C}}$[13]$-\llcorner \mathrm{f}\mathrm{f}\mathrm{l}\cdot\wedge^{\nearrow\backslash }\square \text{ロ}\cdot\overline{\overline{-}}\mathrm{g}_{\grave{l}}\overline{[]}\backslash \ovalbox{\tt\small REJECT},$$t_{B\not\supset)\overline{\mp}\not\simeq_{\backslash }}^{arrow\doteqdot}\phi_{\backslash }\nearrow r\Gamma^{-}\#^{-}arrow\hslash \mathrm{p}h-,*\mathbb{R}\not\in\wedge \mathrm{g}$, 1995