[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research



Search this article


Sがコンパクト距離空間X上で定義された縮小写像の族のとき, Sの有限部分族Λに対して, 極限集合JΛ (アトラクターあるいはIFSフラクタルともよばれる)が定義できる. HD(JΛ) で極限集合のハウスドルフ次元を表すとき, ハウスドルフ次元の集合{HD(JΛ) : Λ ⊆ S}を次元集合とよぶことにする. 次元集合は, 閉区間[0, HD(Js)]の部分集合である. 極限集合の次元と測度については, MauldinとUrbańskiによる詳細な研究結果[5]があるが, 我々は, 次元集合が閉区間[0, HD(JS)] で稠密になるのはSがどのような条件をみたす場合か, あるいはどのような場合に疎になるか, という問題に興味を持っている. このような問題は, 文献[3]においてKesseböhmerとZhuによって初めて議論された. 特に「単純正則連分数に展開したとき, 指定された有限個の項だけを持つ無理数の集合のハウスドルフ次元は, 単位区間に稠密に存在する」という彼らの結果は非常に興味深い. 本稿では, Xが区間であり更にSがX上のアフィン変換(1次関数)族の場合に限って, この間題を議論する. 関数をアフィン変換に限ることで, この間題に対する明確な判定条件を与えることができた. 本稿の結果は, Xが区間でなくとも, d次元ユークリッド空間の連結なコンパクト集合であればそのまま成り立つと思われるが, その検証はこれからの研究課題である.

Let X be a non-empty compact connected subset of d-dimensional euclidean space and S a conformal iterated function system on X. For Λ ⊆ S, we denote the limit set with respect to Λ by JΛ and the Hausdorff dimension of it by HD(JΛ) . The dimensional and measure-theoretical properties for the limit set were studied in details by Mauldin and Urbański [5]. We are interested in the problem of deciding whether the dimension set {HD(JΛ) : Λ ⊆ S finite} is dense or nowhere dense in the interval [0, HD(JS)]. Such problem was studied by Kesseböhmer and Zhu [3] for the first time. In this paper we shall discuss the problem in the case where X is a closed interval and S a collection of affine transformations on X. Then the clear sufficient conditions of this problem will be obtained.



Report a problem

Back to top