コラッツ予想の反例から攻める
あいさつ
んちゃ！
今日はコラッツ予想にチャレンジします。
予想しか書いてません。
コラッツ予想
写像$C:\mathbb{N}\ni n\mapsto C(n)\mathbb{N}$を次の様に定める。なおこの写像を以下コラッツ操作と呼ぶ。
\begin{eqnarray}
C(n)=
\left\{
\begin{array}{l}
\frac{n}{2}\quad(n≡0(mod\ 2)\\
3n+1\quad(n≡1(mod\ 2)
\end{array}
\right.
\end{eqnarray}
また、自然数$n\in\mathbb{N}$に対して$ k$回コラッツ操作を行う事を$C^{k}(n)$の様に書く事にする。
また、以下の様に略記する。
2で割る操作をC1
3かけて1を足す操作をC2
任意の自然数$n\in\mathbb{N}$に対して、ある自然数$k\in\mathbb{N}$が存在して$C^{k}(n)=1$が成り立つ。
コラッツ予想の反例から攻める
今日、僕は仕事中に次の様な方法を思い付いたのでそれを紹介する。
それは次の様だ。
仮にコラッツ予想が成り立たないとすると、ある自然数$n\in\mathbb{N}$が存在して、任意の自然数$k\in\mathbb{N}$に対して$C^{k}(n)\neq1$が成り立つ。
そこで、その様な自然数$n$のうち最小のモノを$n_{0}$を考える。
以下、その様な$n_{0}$が存在しない事を示す事を目指す。
もし、コラッツ予想が成り立たないならば、自然数の集合$\mathbb{N}$は次の様に分割できる。
\begin{eqnarray}
\left\{
\begin{array}{l}
S_{0}\sqcup S_{1}\sqcup S_{2}\sqcup S_{3}\cdots\\
S_{0}=(\textstyle コラッツ予想を満たす自然数全体)\\
S_{k}=(コラッツ予想を満たさない自然数の集合)\quad(k=1,2,...)
\end{array}
\right.
\end{eqnarray}
コラッツ予想を満たさないそれぞれの系列$S_{k}$について最小の自然数$n_{0}\in S_{k}$が存在して次の条件を満たす。
1.$n_{0}$は奇数
2.$n_{0}$から始めた場合C1が現れる回数はC2が現れる回数の2倍を超える事は無い。
[1]$n_{0}$が偶数とすると、$n_{0}$の最小性に反する。
ゆえに奇数でなければならない。
[2]C1が現れる回数をkがC2が現れる回数をlとする。
すると以下の不等式が成り立つ。
\begin{equation}
C^{k+l}(n_{0})\lt\frac{4^{k}}{2^{l}}n_{0}
\end{equation}
ゆえに、$l=2k$とすると$C^{k+l}(n_{0})\lt n_{0}$を得るので$n_{0}$の最小性に反する。
コラッツ操作でC1が現れた時○
コラッツ操作でC2が現れた時●
と書くとコラッツ予想の反例は次の事と等価
●○●○●○○○●○○●○●・・・
ここで、○、●は左から順に置くものとし、○は自身を含む左側の○の総数が●の総数の二倍を超えない様に配置されている。
この様な○、●の配置を反コラッツ的配置と呼ぶ事にする。
反コラッツ的配置の集合を$NCollaz(\omega)$と書く事にする。
また、反コラッツ的配置の一番左から見て長さnの部分を切り取ったモノを有限反コラッツ的配置と呼び、その集合を$NCollaz(n)$と書く事にする。
いかなる有限反コラッツ的配置$FNC\in NCollaz(n)$に対しても、適当な自然数$N_{NFC}(n)\in\mathbb{N}$が存在して、その有限コラッツ的配置を再現する。
有限反コラッツ的配置$FNC\in FNCollaz(n)$を再現する最小の自然数$N_{NFC}(n)\in\mathbb{N}$は$n$に対して単調増加となる。
もし、上記の予想が成り立つなら有限の自然数$n_{0}$ではコラッツ予想の反例を得る事が出来ない事が分かるので証明が完了するはず。
長さ$2n$の反コラッツ的配置
●○●○・・・●○
を再現する自然数$m_{0}$を求めよ。
[1]反コラッツ的配置を数式に変換
自然数$m_{0}$にコラッツ操作$C$を$2k$回作用させた結果を$m_{k}$と書くと以下の連立方程式を得る。
\begin{eqnarray}
\left\{
\begin{array}{l}
m_{k}=\frac{3m_{k-1}+1}{2}\in\mathbb{N}\\
m_{k}\not\equiv0\quad(mod\ 4)
\end{array}
\right.
\end{eqnarray}
[2]$m_{k}$を求めると次の様に書ける。
\begin{eqnarray}
m_{k}&=&\frac{(m_{0}+1)3^{k}-2^{k}}{2^{k}}\in\mathbb{N}\Rightarrow 2^{k}|m_{0}+1\Leftrightarrow \exists q\ s.t.\ m_{0}=2^{n}q-1\quad(k\leq n)\\
&\not\equiv& 0\quad(mod\ 4)
\end{eqnarray}
[3][2]よりさらに次の式を得る。
\begin{eqnarray}
2^{n-k}q3^{k}-1&\equiv&\left\{\begin{array}{l}0\\2\end{array}\right. q(-1)^{k}-1\quad(mod\ 4)\\
&\not\equiv& 0\quad(mod\ 4)\\
\end{eqnarray}
[4]ゆえに、$q$は任意の自然数！
[5]特に$q=1$として$m_{0}=2^{n}-1$は与えられた長さ2nの反コラッツ的配置を満たす事が分かる。
この例では予想が正しいことが示せたね！
やったぜ！
この記事を高評価した人
この記事に送られたバッジ
投稿者
