- ベストアンサー
マンデルブロート集合で、すぐ近くの点は?
マンデルブロート集合のカオス領域において、点c(複素数)が、含まれるとします。 では、Lim Δ→0 c+Δ という点(Δは実数としてもよい)は、含まれますか? それとも、定義されない のでしょうか?
- みんなの回答 (6)
- 専門家の回答
質問者が選んだベストアンサー
c=1/4 z_0=0 z_{n+1}={(z_n)^2}+(1/4) とする |z_0|=0<1/2 あるkに対して|z_k|<1/2を仮定すると |z_{k+1}|=|{(z_k)^2}+(1/4)|≦|z_k|^2+(1/4)<1/2 だからすべての自然数n≧0に対して |z_n|<1/2 だから 点(1/4)はマンデルブロ集合に含まれる 任意の実数Δ>0に対して (1/4)+Δはマンデルブロ集合に含まれない なぜなら c=(1/4)+Δ>1/4 z_0=0 z_{n+1}={(z_n)^2}+c とすると z_1-z_0=c>0 z_1>z_0≧0 あるkに対してz_k>z_{k-1}≧0を仮定すると z_{k+1}-z_k =(z_k)^2+c-z_k =(z_k)^2-(z_{k-1})^2 =(z_k-z_{k-1})(z_k+z_{k-1})>0 z_{k+1}>z_k>0 {z_n}_{n∈N}は単調増加 cがマンデルブロ集合に含まれる仮定すると {z_n}_{n∈N}は有界単調増加だから収束するから lim_{n→∞}z_n=x とすると x^2+c=x x^2-x+c=0 (x-1/2)^2=(1/4)-c≧0 c≦1/4となってc>1/4に矛盾する
その他の回答 (5)
区間[-2、0.999・・・]はともかく 区間[-2、0.251]はM集合では?
>命題1.4 マンデルブロー集合M と実軸R との共通部分は >区間[-2, 1/4] である --------------------------------------- 区間[-2, 1/4]を”1/4”にしたのは、マンデルブロート集合の図形の特徴が最大に出るのと、数字の区切りが良いからである。 私の定義では、区間[-2, 0.999・・]となる。 区間[-2, 1/4]が区間[-2, 0.999・・]より 収束が早いと言うのに過ぎない。 従って 区間[-2, 0.251]でも似たような図形が出てくるはずで、 むしろ命題1.4として区間[-2, 1/4] と決め付けることは いかがなものかと思う。
補足
すいません。 #3 の証明では、 「任意の実数Δ>0に対して」 (1/4)+Δはマンデルブロ集合に含まれることを、仮定して、 背理法で、 含まれないことを、証明されているように思えます。 それなのに、何故、 >私の定義では、区間[-2, 0.999・・]となる のでしょうか? 1/4<c では、有界単調増加だから LimΔ→0 1-Δ=cがマンデルブロ集合に含まれる仮定すると (Δ>0) x^2+c=x x^2-x+c=0 (x-1/2)^2-(1/4)+c=0 c=1-Δ とすると、 (x-1/2)^2+(3/4)-Δ=0 (x-1/2)^2≧0 なので、(3/4)-Δ>0 なら矛盾! ∴ 1-Δ>1/4 は、マンデルブロ集合に含まれない したがって、 LimΔ→0 1-Δはマンデルブロ集合に含まれないのでは?
>任意の実数Δ>0に対して >(1/4)+Δはマンデルブロ集合に含まれない ---------------------------- (1/4)+Δ(Δ=0.001として) =0.25+0.001 =0.251 はマンデルブロー集合のような気がしますが 気のせいかな?
お礼
調べて頂き、ありがとうございます。 http://www.math.nagoya-u.ac.jp/~kawahira/courses/mandel.pdf を見ると、 命題1.4 マンデルブロー集合M と実軸R との共通部分は区間[-2, 1/4] である また、 系1.3 マンデルブロー集合M は複素平面C の閉集合である. とあります。
・マンデルブロー集合のフラクタル的階層図形は 赤色と青色の境界のところで出現しています。 つまり境界点は存在するのかと言う問題と密接にかかわっているのです。しかもいくらCGで出力しても問題は以前未解決のままです。 つまり、数学的に証明しない限り解決しないのです。 しかし、この点を証明した論文があるとも聞いたことがあります。 私が知らないだけで、専門家の間では解決しているのかもしれません。 ・マンデルブロート集合は緻密かそうでないか、つまりは 孤立点か」については素直に考えれば緻密です。 なぜなら、もしそうでないとするなら、赤の領域内に 青の領域が存在することになります。それは考えられない。 フラクタル的階層図形は赤色と青色の境界領域で出現しているのであって、内点では出現していない。 しかし、これらことは単なる私の推測であって数学的に証明されたわけではない。よって私にはわかりません。
お礼
ありがとうございます!! なるほど、実数のcで考えるて、収束を見るですか。 cが、複素数の場合は、絶対値で考えて、同様にすればいいですね。 自分でやってみます!!
補足
とは、言ったものの、、、 cが、 -2 の時、任意の実数Δ>0に対して (-2)+Δはマンデルブロ集合に含まれない とは、言えないので、 LimΔ→0 (-2)+Δ の点がどうなるか、同じようにやろうと したのですが、 > {z_n}_{n∈N}は有界単調増加 と言えないような気がします。 どうしたら、よいでしょうか?