
コラッツ数列の最大値とメルセンヌ数の最大値の比例関係から、ボトムアップ方式で生成したコラッツテーブルがコラッツ予想を証明していることを説明してみました。
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で質問しましょう!
似たような質問が見つかりました
- 数学 コラッツ数値群テーブルによるコラッツ予想の証明の補足しました。 1 2022/06/29 07:50
- 数学 ボトムアップ方式の定式化によりコラッツ予想を証明したPart2 6 2022/06/04 12:02
- 数学 コラッツ数値群テーブルがコラッツ予想を証明していることを説明 9 2022/06/19 17:38
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 日本語 問題: A:トイレにだれ___いませんか。その2 1 2023/03/12 22:01
- 数学 コラッツ予想の証明してみました。 9 2022/05/31 20:48
- 物理学 電磁波の特徴おしえてください。誘電率と透磁率に対する周波数・波長の関係を教えてください。 2 2022/10/01 12:19
- 日本語 格助詞「に」の意義について 1 2022/03/28 17:37
- 数学 京都大学教授が証明。 「ABA予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致しますか? 1 2022/04/11 15:23
- 数学 弱いABC予想でABCトリプルが有限個になって何の意味がありますか? 13 2022/05/15 03:36
このQ&Aを見た人はこんなQ&Aも見ています
-
これまでで一番「情けなかったとき」はいつですか?
これまでの人生で一番「情けない」と感じていたときはいつですか? そこからどう変化していきましたか?
-
【大喜利】【投稿~1/31】『寿司』がテーマの本のタイトル
【お題】 『寿司』がテーマの本のタイトルを考えてください
-
コンビニでおにぎりを買うときのスタメンはどの具?
コンビニでおにぎりを買うとき、何の具材を選ぶことが多いですか?
-
あなたの人生で一番ピンチに陥った瞬間は?
これまでの人生で今振り返ると「あの時、1番ピンチだったなぁ...」という瞬間はありますか?
-
思い出すきっかけは 音楽?におい?景色?
記憶をふと思い出すきっかけは 音楽、におい、景色 どれですか?
-
コラッツ予想解けました。どうして80年間も未解決な理由が解りません。
数学
-
コラッツ予想の証明してみました。
数学
-
ボトムアップ方式の定式化によりコラッツ予想を証明したPart2
数学
-
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・思い出すきっかけは 音楽?におい?景色?
- ・あなたなりのストレス発散方法を教えてください!
- ・もし10億円当たったら何に使いますか?
- ・何回やってもうまくいかないことは?
- ・今年はじめたいことは?
- ・あなたの人生で一番ピンチに陥った瞬間は?
- ・初めて見た映画を教えてください!
- ・今の日本に期待することはなんですか?
- ・【大喜利】【投稿~1/31】『寿司』がテーマの本のタイトル
- ・集中するためにやっていること
- ・テレビやラジオに出たことがある人、いますか?
- ・【お題】斜め上を行くスキー場にありがちなこと
- ・人生でいちばんスベッた瞬間
- ・コーピングについて教えてください
- ・あなたの「プチ贅沢」はなんですか?
- ・コンビニでおにぎりを買うときのスタメンはどの具?
- ・おすすめの美術館・博物館、教えてください!
- ・【お題】大変な警告
- ・【大喜利】【投稿~1/20】 追い込まれた犯人が咄嗟に言った一言とは?
- ・洋服何着持ってますか?
- ・みんなの【マイ・ベスト積読2024】を教えてください。
- ・「これいらなくない?」という慣習、教えてください
- ・今から楽しみな予定はありますか?
- ・AIツールの活用方法を教えて
- ・最強の防寒、あったか術を教えてください!
- ・【大喜利】【投稿~1/9】 忍者がやってるYouTubeが炎上してしまった理由
- ・歳とったな〜〜と思ったことは?
- ・モテ期を経験した方いらっしゃいますか?
- ・好きな人を振り向かせるためにしたこと
- ・スマホに会話を聞かれているな!?と思ったことありますか?
- ・それもChatGPT!?と驚いた使用方法を教えてください
- ・見学に行くとしたら【天国】と【地獄】どっち?
- ・これまでで一番「情けなかったとき」はいつですか?
- ・この人頭いいなと思ったエピソード
- ・あなたの「必」の書き順を教えてください
- ・14歳の自分に衝撃の事実を告げてください
- ・人生最悪の忘れ物
- ・あなたの習慣について教えてください!!
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
無理数には、任意の有限個の数...
-
図形の証明は、日常で役立ちま...
-
よって・ゆえに・したがって・∴...
-
親の再婚相手との問題です。私...
-
直角三角形の性質
-
数学的帰納法を使えないとき
-
再婚を考えてますが、養子縁組...
-
高校数学の証明について質問で...
-
コラッツテーブルがコラッツ予...
-
3,4,7,8を使って10を作る
-
婿養子に入ったのに出て行けと...
-
婿養子です、妻と離婚して妻の...
-
血がつながっていない父親と結...
-
n(Nの2乗+2)が3の倍数にな...
-
フェルマーの最終定理の証明を...
-
いちにーさんしーごーりーらご...
-
47歳、母親の再婚を子供の立場...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
図形の証明は、日常で役立ちま...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
直角三角形の性質
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
47歳、母親の再婚を子供の立場...
-
素数の性質
-
よって・ゆえに・したがって・∴...
-
親の再婚相手との問題です。私...
-
素数の積に1を加算すると素数で...
-
rot rotA=grad divA-∇^2Aの証明...
-
「証明証」と「証明書」はどう...
-
再婚、奨学金
-
正解が一つとは限らない数学の...
-
再婚を考えてますが、養子縁組...
-
婿養子に入ったのに出て行けと...
-
血がつながっていない父親と結...
-
婿養子です、妻と離婚して妻の...
おすすめ情報
ひゃま的には、自然数なら、1,2,3,4・・・
と最大値が後発ででてきますが、
コラッツ数列では、コラッツテーブルの行ごとが、一つの数値みたいな取り扱いで、中の個々の数値は小さくても、後で出てきてもいいじゃないと言う発想なために、大きな数値でも実際に証明してよにぴんときてないんですよね。
テーブルに一回だけ数値はあることは保証されてたらいいじゃないって発想なんです。
今回は、任意の数の桁数により最大値を先に決めて、テーブルをジェネレートする理由を示しましたが、
個々では小さな数値が、それを含む行がコラッツテーブルでは後で出てきたら、ダメな理由はありますか?
あなたの自然数が1,2,3・・・の順に出てきて最後に最大値がくると言う考え方を、数値群の並びで出てくると言う考え方にすればよいだけです。
行の4n+1が他の3n+1の数に置き換わってリンクできるようにリンクできますが、
その3n+1が高次のxx111(2)である場合、数が増えるので、
それを許容する最大値が求められるだけです。
それはメルセンヌ数の桁を上げて行けば、抜けの無い自然数を網羅できることと、
任意の数がコラッツ数列で0世代繋がるのは、同じことです。