数学の難問「足し算のルール」が実は成り立たない場合があった

「単調性」って、グラフがずっと右上がりか右下がりするってこと？それとも別の意味なの？

グラフがずっと右上がりか右下がりするっていうのは、その通りなんです。ただし、この記事で言う「単調性」はもう少し広い概念を指しています。 通常の関数なら、あなたが言ったように「増加し続ける」か「減少し続ける」か、その二択です。ですが、この記事に登場する「$c_0$」や「$\ell^1$」といった関数空間では、扱う対象がグラフの点ではなく、無限個の数列や関数そのものになります。そこでの「単調性」は、その抽象的な数学オブジェクト間に大小関係があるかどうかを判定する性質に拡張されているわけです。 興味深いのは、日常感覚では「右上がり同士を足せば、もっと右上がりになる」と思うことが、無限の世界では通用しないという点です。有限の範囲なら直感は正しいのに、無限次元に入った瞬間にルールが変わってしまう。その違いを捉えた反例だからこそ、60年近く数学者たちを悩ませてきたのだと言えそうです。

60年前の数学の予想が間違ってたって、今勉強してる人の教科書とかに影響するの？

教科書に載る前に、その予想は「証明されていない仮説」として扱われていたはずなんですよね。だから実は、既に出ている教科書のほとんどは、ロックフェラーの予想を「未解決問題」として紹介しているか、あるいは記述を避けているかのどちらかです。今回の反例発表で変わるのは、教科書の次の改訂版。「この予想は2026年に反例により否定された」と脚注が付く程度かもしれません。 ただ、勉強する側からすると、もっと直接的な影響があるかもしれません。単調性を扱う応用数学の授業では、講師が「単調な関数同士の和は必ず単調」という簡潔なルールで教えることがあります。その説明の際に、「実は無限次元ではそうとは限らない」という注釈が加わる可能性がある。あるいは、「この領域では気をつけるべき落とし穴」として認識されるようになります。つまり、知識そのものより、「数学は直感的に見える規則でも疑う必要がある」という思考方法の部分に響いてくるんではないでしょうか。

ロックフェラーは当時、『足し算なら性質が保たれるはず』って思う理由があったのかな？なぜそんな予想を立てたの？

ロックフェラーが予想を立てた具体的な理由は記事からは分かりませんが、背景を補えば見えてくるものがあります。 1960年代の数学は、有限次元の世界から無限次元へと理論を広げている途中でした。有限次元なら、単調な関数を足すと単調になるというのは直感的に正しい。だから、その性質が無限次元でも保たれると想像するのは、自然な発想だったはずです。 ただ、無限次元の関数空間というのは、私たちの日常的な直感が効かない世界です。有限個の変数なら「増えたら増える、減ったら減る」という足し算の法則も通用しますが、無限に続く次元では、その組み合わせ方によって予期しない現象が起きる。そこに気づくには、実際に反例を構成する必要があった。 つまり、ロックフェラーの予想は「有限次元での当たり前」が無限次元でも成り立つと信じた、むしろ自然な推測だったのかもしれません。60年近く誰も反例を見つけられなかったのも、それが「まさか」に思えたからこそ、と言えそうです。

これって『有限の世界では当たり前だけど、無限になると壊れる』っていう数学あるあるの一つなの？

そういう一般的なパターンもあるんですが、この話はちょっと違う筋かもしれません。 単調性は有限でも無限でも、ふつうは保たれる性質なんですよね。例えば、実数の範囲なら「単調な関数を足しても単調」は本当に成り立つ。むしろ問題は、関数空間という「物体のなり方」そのものが変わることにあるのかもしれません。 $c_0$ や $\ell^1$ という空間は、数列全体の空間です。ここでは「単調」の定義が、私たちが直感的に思う単調とズレ始める。有限なら「グラフが右肩上がり」で済む話も、無限次元では「ベクトル間の順序関係」という抽象的な構造を使う必要が出てくる。その瞬間、足し算後に順序が「壊れる」というか、関数空間の内部ルールに合わなくなる。 つまり無限化というより、抽象化によって「素直さ」の定義が複雑化して、初期の直感が外れるというタイプに見えます。60年の間、数学者たちもそれを疑わなかったという点が興味深いのは、単なる無限の奇異さではなく、理論と直感の距離の問題だったのだと言えそうです。

60年間、この予想が『正しい』と信じて使ってきた人たちって、その間に立てた他の理論とかは大丈夫なの？

良い質問ですね、という言葉は抜きにして。 60年間の「間違い」も、じつは被害が限定的だった可能性が高いんです。理由は、この予想が使われていた場面が限定的だったから。無限次元の関数空間で単調性を厳密に扱う分野は、実応用ではそこまで一般的ではないんですよね。物理学や工学は、ほとんどの場合もっと「良い振る舞い」をする有限次元か、特殊な無限次元空間で動いていました。 むしろ重要なのは、この反例が示した条件です。「どういう関数空間ならダメなのか」が明確になれば、既存の理論から「そこは適用外だった」という部分を事後的に取り除くだけで済む。数学ではそういう修正の方法があるんです。完全に根底が崩れるのではなく、適用範囲の境界線が引き直される形になります。 むしろ厳しいのは工学や物理で、この予想を暗黙に前提に立てた応用があれば、そこは要再検討です。ただ60年の間にそうした応用に深刻な矛盾が見つかっていないとすれば、実際の問題設定がこの「反例の領域」には入っていなかったということなのかもしれません。