• ベストアンサー

マンデルブロート集合で、すぐ近くの点は?

マンデルブロート集合のカオス領域において、点c(複素数)が、含まれるとします。 では、Lim Δ→0 c+Δ という点(Δは実数としてもよい)は、含まれますか? それとも、定義されない のでしょうか?

質問者が選んだベストアンサー

  • ベストアンサー
  • muturajcp
  • ベストアンサー率78% (508/650)
回答No.3

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に矛盾する

morimot703
質問者

お礼

ありがとうございます!! なるほど、実数のcで考えるて、収束を見るですか。 cが、複素数の場合は、絶対値で考えて、同様にすればいいですね。 自分でやってみます!!

morimot703
質問者

補足

とは、言ったものの、、、 cが、 -2 の時、任意の実数Δ>0に対して (-2)+Δはマンデルブロ集合に含まれない とは、言えないので、 LimΔ→0 (-2)+Δ の点がどうなるか、同じようにやろうと したのですが、 > {z_n}_{n∈N}は有界単調増加 と言えないような気がします。 どうしたら、よいでしょうか?

その他の回答 (5)

noname#171582
noname#171582
回答No.6

区間[-2、0.999・・・]はともかく 区間[-2、0.251]はM集合では?

noname#171582
noname#171582
回答No.5

>命題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] と決め付けることは いかがなものかと思う。

morimot703
質問者

補足

すいません。 #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-Δはマンデルブロ集合に含まれないのでは?

noname#171582
noname#171582
回答No.4

>任意の実数Δ>0に対して >(1/4)+Δはマンデルブロ集合に含まれない ---------------------------- (1/4)+Δ(Δ=0.001として) =0.25+0.001 =0.251 はマンデルブロー集合のような気がしますが 気のせいかな?

morimot703
質問者

お礼

調べて頂き、ありがとうございます。 http://www.math.nagoya-u.ac.jp/~kawahira/courses/mandel.pdf を見ると、 命題1.4 マンデルブロー集合M と実軸R との共通部分は区間[-2, 1/4] である また、 系1.3 マンデルブロー集合M は複素平面C の閉集合である. とあります。

noname#171582
noname#171582
回答No.2

・マンデルブロー集合のフラクタル的階層図形は 赤色と青色の境界のところで出現しています。 つまり境界点は存在するのかと言う問題と密接にかかわっているのです。しかもいくらCGで出力しても問題は以前未解決のままです。 つまり、数学的に証明しない限り解決しないのです。 しかし、この点を証明した論文があるとも聞いたことがあります。 私が知らないだけで、専門家の間では解決しているのかもしれません。 ・マンデルブロート集合は緻密かそうでないか、つまりは 孤立点か」については素直に考えれば緻密です。 なぜなら、もしそうでないとするなら、赤の領域内に 青の領域が存在することになります。それは考えられない。 フラクタル的階層図形は赤色と青色の境界領域で出現しているのであって、内点では出現していない。 しかし、これらことは単なる私の推測であって数学的に証明されたわけではない。よって私にはわかりません。

noname#171582
noname#171582
回答No.1

マンデルブロート集合を赤点の集合とするとき 青点をその外点とするとき、その境界点は存在するのか? だと思いますが、私にはわかりません。

morimot703
質問者

お礼

ありがとうございます。 ちょっと違います。 マンデルブロート集合は、稠密か? ということで、 逆に言えば、 マンデルブロート集合は、全て 孤立点か? です。 (両者は、異なる概念かもしれませんが)

関連するQ&A