Yamagishi Complexity Torus Lab | 山岸勇輝ラボ

要旨

「近づく」は、列だけの性質ではない。本稿は $\ell^1,\ell^2,\ell^\infty$ の三つのものさしを数で置き、有限次元では同値であることとその同値が保証する範囲が次元とともに壊れることを書く。新しい数学定理も新しい法則も主張しない。

第一に、三つのノルムの最良の定数は $\sqrt{n}$ と $n$ である。$n=10^6$ では $\|x\|_1$ と $\|x\|_\infty$ が百万倍違いうる。それでも「同値」である（第2・3節）。

第二に、その極端はどの向きにも無い。無作為な $20$ 万本のうち $\|x\|_1/\|x\|_2$ の最大は $n=1000$ で $26.21$ にとどまり、上限 $31.62$ には全座標が等しい一方向でしか届かなかった（第2節）。

第三に、これが本稿の芯である。$x_n=(1/n,\dots,1/n)$ は $\|x\|_1=1$ のまま動かないのに、$\|x\|_2=1/\sqrt n$ も $\|x\|_\infty=1/n$ も零へ行く。同じ列が、片方のものさしでは近づき、もう片方では一歩も動かない（第4節）。

第四に、関数ではもっと激しい。高さ $n^{1/4}$・幅 $1/n$ の尖りは、$\sup$ ノルムで $100$ へ登り、$L^2$ で $0.01$、$L^1$ で $10^{-6}$ へ落ちる。同じ列が、零へも無限へも行く（第5節）。

第五に、単位球の体積は $n=50$ で $\ell^1$ が $\ell^\infty$ の $\mathbf{3.04\times10^{64}}$ 分の $1$ であった（第7節）。

射程（何を示さないか）

新しい数学定理も新しい法則も主張しない。有限次元でのノルムの同値、リースの補題、$\ell^p$ の単位球の体積は、いずれも標準的である。同値定理を証明しない。本稿は定数を測るのであって、定理は引用する。一般のバナッハ空間を扱わない。出てくるのは $\ell^p$ と $C[0,1]$ だけである。完備性も双対も扱わない。「どのノルムが正しいか」を論じない。書くのは選ぶと何が変わるかだけである。論文177 との関係：177 は量化子の順序を扱い、コンパクト性の柵を書いた。本稿の「同値」も定数が先か次元が先かの問題であり、同じ柵の裏側である。論文197 との関係：197 は「収束する」の四つの別根を扱った。本稿が変えるのは収束の種類ではなく距離の測り方である。体系には「単位球」が $25$ 編に現れるが、いずれも幾何的な球であり、ノルム空間の単位球は本稿が初出である。加えたのは最良の定数を六つの次元で並べたこと、無作為な標本がその極端に届かないことを測ったこと、同じ列が二つのノルムで別の答を返すのを書いたこと、尖りの列で三つのノルムが零・零・無限に分かれるのを見たこと、それを格子上の積分と突き合わせたこと、単位球の体積比を四つの次元で出したことである。

1. 記法と位置づけ

$x\in\mathbb{R}^n$ に対し

$$ \|x\|_1=\sum_i|x_i|,\quad \|x\|_2=\Bigl(\sum_i x_i^2\Bigr)^{1/2},\quad \|x\|_\infty=\max_i|x_i| $$

とする。二つのノルムが同値であるとは、$a\|x\|_A\le\|x\|_B\le b\|x\|_A$ がある正の定数 $a,b$ ですべての $x$ について成り立つことをいう。有限次元では、どの二つのノルムも同値である。

位置づけ：論文182 は「次元の呪い」が一つの呪いではないことを扱った。本稿で呪われるのは同値の定数である。論文208 では曲率が次元と同じ仕事をした。ここでは次元だけが仕事をする。

2. 三つのノルムと、最良の定数

検算 2.1：不等式 $\|x\|_\infty\le\|x\|_2\le\|x\|_1$ は常に成り立つ。逆向きの最良の定数は次の通りである。

検算 2.2：その極端がどれだけ稀かを測る。各次元で正規乱数を $200000$ 本つくり、$\|x\|_1/\|x\|_2$ の最大を見る。

観察 2.3　無作為な向きは、上限に近づきさえしない。上限に届くのは全座標が等しい一方向だけである。球面全体のうち一点にすぎない。「最悪の場合」と「典型的な場合」は別根である。

3. 同値なのに、定数は発散する

観察 3.1　$\|x\|_\infty\le\|x\|_1\le n\|x\|_\infty$ はどの $n$ でも真である。だから $\ell^1$ と $\ell^\infty$ は有限次元では常に同値である。

検算 3.2：その保証が何を言っているか。

観察 3.3　定理は $n$ ごとに真であり、$n$ が大きいほど何も言わなくなる。百万次元では「二つのものさしは百万倍まで食い違ってよい」と言っているにすぎない。それでも「同値」という語は真である。語が真であることと、語が役に立つことは別である。

4. 芯：同じ列が、片方では近づき、片方では動かない

検算 4.1：$x_n=(1/n,1/n,\dots,1/n)$（$n$ 個）。

観察 4.2　同じ列である。$\ell^2$ と $\ell^\infty$ では零へ行き、$\ell^1$ では一歩も動かない。「零に近づく」は列の性質ではない。列と、ものさしの組の性質である。

観察 4.3　ここで同値定理は破られていない。各 $n$ では三つとも同値である。壊れているのは$n$ を動かしたときである。論文211 と同じ形である：どちらの変数を動かすかを言うまで、答は決まらない。

5. 関数では、零へも無限へも行く

区間 $[0,1]$ 上で、高さ $n^{1/4}$・幅 $1/n$ の尖り $f_n$ をとる。

検算 5.1：

観察 5.2　同じ列が、一つのものさしでは無限へ、二つのものさしでは零へ行く。ここではもはや「食い違う倍率」の問題ではない。収束するかどうかで意見が割れている。そしてこれは無限次元だからできることである：有限次元では、こうはならない。

6. 数値でも確かめる

検算 6.1：尖りを $400$ 万点の格子で実際に積分し、閉じた形と突き合わせる。

観察 6.2　格子と閉じた形が一致した。前節の表は式の上の話ではなく、実際に積分して出た数である。

7. 単位球を測る

検算 7.1：$\ell^1,\ell^2,\ell^\infty$ の単位球の体積。

観察 7.2　$\ell^1$ の球は $\ell^\infty$ の球の $1/n!$ である。$n=50$ では $\mathbf{3.04\times10^{64}}$ 分の $1$、「同値」な二つのものさしの単位球が、体積で六十四桁違う。そして $\ell^2$ の球は $n=50$ で $1.73\times10^{-13}$ にまで縮む：論文182 が測った「次元の呪い」が、ここではものさしの選び方の呪いとして現れている。

8. 分離子と柵

観察 8.1 （分離子）　「近い」を分けているのはどのノルムで測るかである。有限次元では選び方が答を変えない。ただしどれだけ変えないかは次元とともに悪くなる。無限次元では選び方が答を変える。収束するかしないかまで変える。

観察 8.2 （柵）　「どのものさしで測っても同じ」という言い方を囲っている柵は、次元が有限であることである。同じ柵の裏側にリースの補題がある：閉じた単位球がコンパクトなのも、次元が有限なときだけである。二つは同じ一つの柵である。同値を保証していた定数が発散する場所が、球のコンパクト性が失われる場所である。

観察 8.3　論文177 は量化子の順序が中身のすべてだと書いた。本稿の「同値」も定数が先か次元が先かである。$n$ を決めてから定数を探せば、いつでも見つかる。定数を先に決めて、すべての $n$ で通用するものを探せば、無い。同じ文が、順序を入れ替えるだけで真から偽へ変わる。

9. 点呼と結び

本稿が測ったことを並べる。

1. 最良の定数は $\sqrt n$ と $n$（検算2.1）。
2. その極端は一方向だけ（検算2.2）：無作為 $20$ 万本で $26.21$ 対 $31.62$。
3. 同値なのに定数は発散（検算3.2）：$10^6$ 次元で六桁。
4. 同じ列が片方で動かない（検算4.1）：$\|x\|_1=1$ のまま。
5. 関数では零へも無限へも（検算5.1）：$100$ と $0.01$ と $10^{-6}$。
6. 格子と閉じた形が一致（検算6.1）。
7. 単位球は $3.04\times10^{64}$ 分の $1$（検算7.1）。

結び：「この列は零に近づく」という文は、列だけでは意味を持たない。$\ell^1$ で測れば動かず、$\ell^2$ で測れば近づく。同じ数の並びについて、である。有限次元ではこの差は倍率の差にとどまり、ものさしを取り替えても結論は変わらない。ところがその「変わらない」を保証していた定数は、次元とともに発散する。そして発散しきった先では、同じ列が零へも無限へも行く。定理が破れたのではない：定理が守っていた範囲を、こちらが出たのである。

参考文献

1. Riesz, F. (1918). Über lineare Funktionalgleichungen. Acta Mathematica, 41.
2. Banach, S. (1932). Théorie des opérations linéaires. Warsaw.
3. Conway, J. B. (1990). A Course in Functional Analysis. Second edition. New York: Springer.
4. Rudin, W. (1991). Functional Analysis. Second edition. New York: McGraw-Hill.
5. Ball, K. (1997). An elementary introduction to modern convex geometry. In Flavors of Geometry. Cambridge: Cambridge University Press.
6. Brezis, H. (2011). Functional Analysis, Sobolev Spaces and Partial Differential Equations. New York: Springer.
7. 山岸勇輝 (2026). 量化子の順序が、中身のすべてである [論文177]. Zenodo. 10.5281/zenodo.22098103
8. 山岸勇輝 (2026). 「次元の呪い」は一つの呪いではない [論文182]. Zenodo. 10.5281/zenodo.22104170
9. 山岸勇輝 (2026). 「収束する」は四つの別の主張であり、分けているのは何を捨てることを許すかである [論文197]. Zenodo. 10.5281/zenodo.22107590
10. 山岸勇輝 (2026). 曲率は、次元と同じ仕事をする [論文208]. Zenodo. 10.5281/zenodo.22111071
11. 山岸勇輝 (2026). 足し続けると、答から遠ざかる [論文211]. Zenodo. 10.5281/zenodo.22111772
12. 山岸勇輝 (2026). 「戻ってくる」には別根がある [論文213]. Zenodo. 10.5281/zenodo.22119380
13. 山岸勇輝 (2026). レンズは明るくできるが、明るさは増やせない [論文214]. Zenodo. 10.5281/zenodo.22119392

作成にあたって：本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI（大規模言語モデル）の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。

書誌

山岸勇輝（2026）「同じ列が、零へも無限へも行く」［論文215］. Zenodo.
DOI: 10.5281/zenodo.22119477

@misc{yamagishi2026yoi215,
  author = {Yamagishi, Yuuki},
  title = {One Sequence Goes Both to Zero and to Infinity},
  year = {2026},
  howpublished = {YOI: https://www.yamagishiyuuki.com/yoi/215},
  doi = {10.5281/zenodo.22119477},
  note = {Preprint, edition 1}
}