コラッツ数列の最大値とメルセンヌ数の最大値の比例関係から、ボトムアップ方式で生成したコラッツテーブルがコラッツ予想を証明していることを説明してみました。
https://note.com/s_hyama/n/nda0b090799c0
ご意見があれば、コメントください。
前の質問は以下になります。
https://oshiete.goo.ne.jp/qa/12980388.html
No.9
- 回答日時:
群論テーブルとして
生成したとしても
ツリーとしてつながる事を確認するから
生成した
数の世代が確定するのです
1は0世代
5は1につながるから1世代
9は17→13→5→1につながるから4世代
13は5→1につながるから2世代
17は13→5→1につながるから3世代
21は1につながるから1世代
というように
つながるのだけれども
たまたま値が小さいために1につながって世代が確定しているけれども
その中に1とつながらないどの世代にも属さない
4n+1
のグループ
がある事を否定できないのです
1とつながらないどの世代にも属さない
4n+1
のグループ
があれば
それにつながっている数は
すべて
1とつながらないしどの世代にも属さないのです
だから
すべての自然数に対して、
世代が確定する事を証明する必要があるのです
すべての自然数に対して、
世代が確定できるというのならば
3^43
は
何世代のメンバーか求めて下さい
いいえ、実際に世代が何世代であることと、
世代がないテーブルが一意でできることとは別です。
出来たコラッツテーブルは、3の奇数倍の行の4n+1が他の3n+1の数に置き換わってリンクできるようにリンクできます。
No.8
- 回答日時:
別観点から。
以下、引用部分は、
https://note.com/s_hyama/n/nda0b090799c0
です。
数学用語を普通とは違った意味で使っていて、かつ用語を定義していないから、ホントは何を示しているのか考えながら文章を読まなければならないので非常にメンドイというのが第一印象。
そして、解読した後の話になりますが、
>コラッツ数列の最大値とメルセンヌ数の最大値の比例関係
ここにゴマカシがありそう。
表-4にて、メルセンヌ数255の列の値を例とします。
メルセンス数行最大値は、初期値をメルセンヌ数255としたときのコラッツ行列の最大値。(メルセンスって何?メルセンヌの単純な誤字とみなす。)
初期奇数/コラッツ行列の最大値 は、この値までコラッツ行列の最大値を計算してもメルセンス数行最大値以下となるような初期値と、その初期値に対するコラッツ行列の値。
※計算メンドイのできっちり計算したわけではない。
そうであれば、
>コラッツ数列の最大値とメルセンヌ数の最大値 は、比例するのに決まっていて、問題となるのは、メルセンヌ数と初期値の関係。
明らかに、初期値の伸びが悪い。(数値で見ても、桁数で見ても、伸びが悪い。)
※別法。メルセンス数行最大値と、メルセンス数以下の数値すべてを初期値としたときのコラッツ行列の最大値 を比べる。 表4の範囲内で、明らかに比例より強烈に初期値のほうが伸びている。
※比例関係とは、Y=AXの関係で、別にAが100でも1兆でもいいのだけど、Y=AX^1.000001
とかはアウト。Y=AX^0.99999は、比例でないけど、証明の趣旨としてはセーフ。
以下、数学の問題。あなたの題意に沿うような解釈 ということを解除し、数学で普通に解釈する。
図1。
比例関係示したいなら、このグラフはだめ。
そもそも、X軸が何か説明がない。まあ、表4のメルセンヌ桁数なんだろうけど。
X、Yが メルセンヌ数の行の最大値 と 任意の数のコラッツ数列の最大値
でないとダメ。X、Yの数値の幅が大きすぎるので意味ないが、かといって両対数(=桁数)で書くと、
Y=X^B のようなグラフも直線となってしまい、比例かどうか見分けるのがメンドイ。
冒頭部分。
>任意の数のコラッツ数列における最大値と、その任意の数の2進桁のメルセンヌ数の最大値に比例関係がある
たとえば、任意の数とは、5とする。
・任意の数のコラッツ数列における最大値 とは。
任意の数の2進桁は、5の2進桁なので3。
任意の数の2進桁のメルセンヌ数 は、2^3-1なので7。
任意の数の2進桁のメルセンヌ数の最大値 は、7までのメルセンヌ数の最大値なので7。
※題意通りに解釈すると、7のコラッツ数列の最大値なので52。字句通りの解釈では、こうならない。(任意の任数の2進桁のメルセンヌ数におけるコラッツ数列における最大値 であるのだけど、「コラッツ数列における」、が省略されたため、意味が変わってしまう。)
・任意の数のコラッツ数列における最大値 とは。
任意の数とは、5とした場合、最大値は16。
・任意の数のコラッツ数列における最大値と、その任意の数の2進桁のメルセンヌ数の最大値をグラフ化
任意の数とは、たとえば1024を含むが、これは簡単に収束する。(偶数含むとは書いていないのでこうなる。)
・任意の数のコラッツ数列における最大値と、その任意の数の2進桁のメルセンヌ数の最大値に比例関係がある
は、そういう数も含めて(そうでないと任意の数といえない。)任意の数の2進桁のメルセンヌ数の最大値に比例関係があるとしないとNGなのだけど、ばらつきがすごすぎて、そんなわけない。
それを救うためには、
・任意の数の2進桁のメルセンヌ数の最大値 は、メルセンヌ数を初期値としたコラッツ数列の最大値
・メルセンヌ数以下の値を初期値としたコラッツ数列(複数あり)のうちの最大数
と読み替え、ようやく意味が通ることになるのだけど、忖度しすぎだし、肝心の表-4がそうなっていないので
いったいどう読めば表-4のような解釈できるのか?が、わかりません。
要するに、文章がへたくそ。
それ私がやり始めるまえの考え方ですね。
たとえば初期値27の二進数で5桁のメルセンヌ数行の中の4n+1、つまり01(2)は161ですが、それはメルセンヌ数255までのリンクを必要とします。そのメルセンヌ数行の12n+3は13120なんです。それは27のコラッツ数列の最大値9232と比例すると言うことです。
だから誤魔化しでも何でもなくて翻訳してるだけで同じことなんです。
文章が下手くそなのは認めますが・・・
あとでまとまればいい。
No.7
- 回答日時:
1,5,9・・・というふうに4n+1の順に生成しても
その順番にはつながらないのです
実際には
1←0世代
5←1世代
13←2世代
17←3世代
9←4世代
と
つながるのだけれども
たまたま値が小さいために1につながって世代が確定しているけれども
その中に1とつながらないどの世代にも属さない
4n+1
のグループ
がある事を否定できないのです
1とつながらないどの世代にも属さない
4n+1
のグループ
があれば
それにつながっている数は
すべて
1とつながらないしどの世代にも属さないのです
だから
すべての自然数に対して、
世代が確定する事を証明する必要があるのです
すべての自然数に対して、
世代が確定できるというのならば
3^43
は
何世代のメンバーか求めて下さい
それ私がやり始めるまえの考え方ですね。
たとえば初期値27の二進数で5桁のメルセンヌ数行の中の4n+1、つまり01(2)は161ですが、それはメルセンヌ数255までのリンクを必要とします。そのメルセンヌ数行の12n+3は13120なんです。それは27のコラッツ数列の最大値9232と比例すると言うことです。
だから誤魔化しでも何でもなくて翻訳してるだけで同じことなんです。
No.5
- 回答日時:
1,5,9・・・というふうに4n+1の順に生成しても
その順番にはつながらないのです
実際には
1←5←13←17←…←9
と
つながるのだけれども
たまたま値が小さいために1につながってはいるけれども
その中に1とつながらない4n+1がある事を否定できないのです
別に最大値を決めて、0世代で現れた奇数から第一世代、次の世代という手順でも生成できますよ?
Table 6. A table of the Collatz pairs, ordered by Generations 0-3 of the Roots Odd group with a numerical limit of 10 000.
https://note.com/s_hyama/n/n207a1363c9aa
また4n-1からでも、1,2,3からでもマッチング手順が違うだけで、できるコラッツテーブルの世代と奇数メンバの関係は同じです。
それが群論テーブルとツリー理論の違いです。
あなたのいってるのは、ツリー理論の世代がない考え方に留まってます。
No.4
- 回答日時:
テーブルに一回だけ数値はあることは保証されてはいません
」
というのは
「
1につながるテーブルに一回だけ数値はあることは保証されてはいません
1につながるテーブルに一回もあらわれない数値がある可能性を否定できない
」
という意味です
コラッツはツリー理論からコラッツ予想を思いついたらしいですが、
ボトムアップのコラッツテーブルっていうのは、0世代から世代ごとにジェネレートしますので群論なんです。
最大値によって、世代内の奇数メンバは増えますけど、たとえば27という数字は、最大値に関係なく17世代のメンバに過ぎません。
だからツリー理論ではないんです、群論なんです。
0世代グループ→1世代グループ→・・・・
No.3
- 回答日時:
コラッツ数列にすべての自然数が現れる保証はどこにもないのです
最大値が存在することは証明されていません
中の個々の数値は小さくても、後で出てくる保証はどこにもないのです
テーブルに一回だけ数値はあることは保証されてはいません
任意の数の桁数により最大値が存在することは証明されていません
個々では小さな数値が、それを含む行がコラッツテーブルでは後で出てくる保証はどこにもないのです
たまたま数値が小さいため、有限回の操作で出てきたという疑いを否定できません
ので
証明が必要なのです
自然数のように無限にあるものに対しての証明は
通常
数学的帰納法を使って証明するのです
数学的帰納法を使えば
n=1の時成り立つ事を証明し
ある自然数nに対して
自然数k≦nに対して成り立つ事を仮定し
n+1に対して成り立つ事を証明すれば
すべての自然数nに対して成り立つ事を証明できるのです
この数学的帰納法を使うためには
ある程度の順に並んでいなければならないのです
例えば
4n+3型の奇数は4n+1型の奇数に有限回の操作で到達できる事は証明できますが
4n+1型の奇数はk<nとなる4k+1型の奇数に到達できる事は証明できません
>テーブルに一回だけ数値はあることは保証されてはいません
Odd-Evenのコラッツペアは重なることはないので、たとえば5-16-8の行のコラッツ行はテーブル内で一意ですよ?
またそれが一意であれば、それに繋がるOdd-Oddペアも一意です。
3-5-16-8
それが一回だけでないとおっしゃる方がおかしいです。
1,5,9・・・というふうに4n+1の順に生成すれば、行ごとに一回だけ、無限に向かってテーブル生成します。
その行の奇数と最大値制限しなければRoots Odd zの奇数は必ずつながりますよ?
その繋がる順番が自然数順でないだけです。
1-4-2の行から、次の世代に繋がるっていくだけですが?
数値単位に1,2,3に増えていくだけないだけです。
数値の大きさに関係なく、つながる順番が行単位になるだけでしょうね。
No.2
- 回答日時:
1からコラッツ漸化の逆をたどることで
コラッツ予想を証明しようというのなら、
逆をたどっていくと全ての自然数が登場する ←[*]
ことを示さなければならない。それができてない
って前回質問でも前々回質問でも回答したが、
ブロックするだけで、反論は全くしていないね。
コラッツの漸化を、偶数漸化と奇数漸化でなく、
奇数漸化のほうは後続する偶数漸化とまとめることで
3で割って1余る数は表に現れないようにした上で
「全ての自然数は登場しないだろ」というのは、
話を誤魔化しているに過ぎない。
表を偶数→偶数漸化と偶数→奇数漸化に分けたことも、
その誤魔化しを見えにくくする迷彩だろうと思う。
[*]で全ての自然数が登場することを示していなければ、
「全ての自然数が」漸化の末に1になることを
示したことにはならない。単純にそれだけの話だ。
リンク先の「説明」は、255以下 とか 131071以下とか
具体的ないくつかの自然数がコラッツ予想を満たすことの
例になっているが、そのような例示は
全ての自然数がコラッツ予想を満たすことの証明にはならない。
その証明が完成するためには、[*]を示さなければならない。
そうでなければ、その説明は、証明ではなく
コラッツ予想が成り立ちそうな気がする理由であるに過ぎない。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
歩いた自慢大会
「めちゃくちゃ歩いたエピソード」を教えてください。 長時間でも長距離でも結構です。
-
フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
あなたが普段思っている「これまだ誰も言ってなかったけど共感されるだろうな」というあるあるを教えてください
-
映画のエンドロール観る派?観ない派?
映画が終わった後、すぐに席を立って帰る方もちらほら見かけます。皆さんはエンドロールの最後まで観ていきますか?
-
海外旅行から帰ってきたら、まず何を食べる?
帰国して1番食べたくなるもの、食べたくなるだろうなと思うもの、皆さんはありますか?
-
天使と悪魔選手権
悪魔がこんなささやきをしていたら、天使のあなたはなんと言って止めますか?
-
コラッツ予想解けました。どうして80年間も未解決な理由が解りません。
数学
-
コラッツ予想の証明してみました。
数学
-
エクセルVBAで「コラッツの予想」の検証?
Excel(エクセル)
-
-
4
ボトムアップ方式の定式化によりコラッツ予想を証明したPart2
数学
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
婿養子です、妻と離婚して妻の...
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
素数の性質
-
3,4,7,8を使って10を作る
-
血がつながっていない父親と結...
-
お婿さんを貰った時の結婚式に...
-
微分法の問題 解けないので解説...
-
兄弟の子どもの養子縁組は可能...
-
素数の積に1を加算すると素数で...
-
「・・・のとき」という言葉の...
-
夫が亡くなった後の義理家族と...
-
無理数って二乗しても有理数に...
-
中学校の2年生に仮定と結論を...
-
素数の平方根は無理数である。
-
結婚式には身内はどこまで呼ぶか
-
リウヴィル数
-
証明終了の記号。
-
0.999999999・・・=1
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
婿養子です、妻と離婚して妻の...
-
√2が無理数であることの証明で...
-
証明終了の記号。
-
素数の性質
-
婿養子に入ったのに出て行けと...
-
3,4,7,8を使って10を作る
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
素数の積に1を加算すると素数で...
-
素数の平方根は無理数である。
-
親の再婚相手との問題です。私...
-
「証明証」と「証明書」はどう...
-
下の問題では漸化式の形から≠0...
-
47歳、母親の再婚を子供の立場...
-
ぶすですか?
-
直角三角形の性質
おすすめ情報
ひゃま的には、自然数なら、1,2,3,4・・・
と最大値が後発ででてきますが、
コラッツ数列では、コラッツテーブルの行ごとが、一つの数値みたいな取り扱いで、中の個々の数値は小さくても、後で出てきてもいいじゃないと言う発想なために、大きな数値でも実際に証明してよにぴんときてないんですよね。
テーブルに一回だけ数値はあることは保証されてたらいいじゃないって発想なんです。
今回は、任意の数の桁数により最大値を先に決めて、テーブルをジェネレートする理由を示しましたが、
個々では小さな数値が、それを含む行がコラッツテーブルでは後で出てきたら、ダメな理由はありますか?
あなたの自然数が1,2,3・・・の順に出てきて最後に最大値がくると言う考え方を、数値群の並びで出てくると言う考え方にすればよいだけです。
行の4n+1が他の3n+1の数に置き換わってリンクできるようにリンクできますが、
その3n+1が高次のxx111(2)である場合、数が増えるので、
それを許容する最大値が求められるだけです。
それはメルセンヌ数の桁を上げて行けば、抜けの無い自然数を網羅できることと、
任意の数がコラッツ数列で0世代繋がるのは、同じことです。