情報科学 › AI時代の生存戦略 › 数学を学び直す意義

ほぼ直交する方向の本数

系 3.5（「数学を学び直す意義」§3） ・ △証明あり（閉包未完）

d≥2d \ge 2, t∈(0,1)t \in (0,1) とする。nn が

n<edt2/4n < e^{d t^2 / 4}

を満たすならば、Rd\mathbb{R}^d の単位ベクトル u1,…,un\boldsymbol{u}_1,\ldots,\boldsymbol{u}_n で、すべての i≠ji \ne j について ∣cos⁡(ui,uj)∣<t|\cos(\boldsymbol{u}_i, \boldsymbol{u}_j)| < t となるものが存在する。

本文で読む（証明と前後の説明）→

閉包の状態

△ 証明あり（閉包未完）

証明は Rikai にありますが、たどった先に主張のみの定理（または循環）があり、公理まではつながっていません。止めている前提:

印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義（直接 2 件）

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 1 問