← 遊び場の入口

📐 数学・幾何

コンパクト性・極限・対称性・曲線。抽象を目で触る。

コンパクト性 — 開区間はなぜ"覆いきれない"のか
区間を「開いた毛布(開区間)」で覆っていく。コンパクトとは「どんな覆い方をしても、有限枚だけ選んで覆い直せる」こと。
閉区間 [0,1] はいつでも有限枚で足りる。でも開区間 (0,1) は、端の 0 に向かって毛布を無限に小さくし続けないと覆えない——その「追いつかない」感じを動かして確かめる。覆いの族は Uₙ =(1/(n+1), 1)。
NUMBER LINE — 毛布(開区間)で覆う / 赤 = まだ覆えていない
4
中心極限定理
どんな分布から取った値でも、n 個の平均を何度も作ってヒストグラムにすると、n が大きいほど正規分布(ガウス)に近づく。
元の分布がサイコロでも二山でも指数でも関係ない、というのが面白い所。スライダで n を上げて、▶再生で試行をためていくと、形がガウス曲線(点線)に吸い寄せられていくのが見える。
① 元の分布(ここから1個ずつ引く)
② n 個の平均のヒストグラム + 理論ガウス(点線)
1
20 回/フレーム
元の分布:
DEFINITION
平均は μ のまま、ばらつき(標準偏差)は σ/√n で縮む。だから n を4倍にすると山の幅は半分になる。元の分布の形にはほとんど依らない、というのが中心極限定理だよ。
結晶対称操作の遊び場
1つの点を置くと、選んだ点群の対称操作が等価位置を生成する。2D版でのざっくりした体験用。
ちゃんとした3D版(全230空間群)は sg.tnks1407.com にある。
クリックで基本点を置く
点群(2D)
リサージュ図形
X・Y軸に異なる周波数の正弦波を入れると現れる曲線。オシロスコープのXYモードで見るあれ。
周波数比が整数比なら安定した閉曲線になり、位相差が変化すると図形がゆっくり変形していく。
LISSAJOUS — x=sin(fx·t+δ), y=sin(fy·t)
3
2
90°
6
プリセット:
色相は円になる — 物理の「線」が知覚の「輪」へ
物理の波長は、紫(380nm)から赤(700nm)までの一本の線でしかない。両端は別の色で、つながっていない。
でも知覚は、スペクトルに無い紫(マゼンタ=赤と青紫の混色)で両端を糊づけして、輪(色相環 S¹)に閉じてしまう。スライダーを動かすと、線が曲がって円になり、間を非スペクトルの紫が埋めるのが見える。位相が「物理」から「知覚」へ移るときに変わる、いい例だよ。
スライダー:線(波長) → 円(色相環)
0%
2Dガウシアンスプラッティングの遊び場
画像を「たくさんの“にじみ”(2次元ガウシアン)の重ね合わせ」で描き直す実験。これが最近のニューラルレンダリング ── 3Dガウシアンスプラッティングの心臓部の、2D版だよ。
スプラット数を増やすほど元画像に近づく。「異方性」をオンにすると、各にじみがエッジに沿って楕円に伸びて、少ない数でも輪郭がシャープになる。なぜ“まんまる”より“楕円”のガウシアンが効くのかが見えるはず。
RECONSTRUCTION — ガウシアンの重ね合わせ
TARGET — 元画像
300
1.0
元画像:
MATH メモ
① にじみ1つ(2Dガウシアン)μ=中心、Σ=共分散(楕円の形)
② 楕円=回転×拡大で作る異方性=σx≠σy。この遊び場ではσをエッジ強度、θを勾配方向で決めてる
③ 重ね合わせ(前からアルファ合成)
④ 元画像との誤差=“学習”で下げる量
逆二乗じゃない重力 — 軌道はどう閉じる?
中心からの引力を F ∝ 1/rp として、冪 p を変えてみる。私たちの宇宙は p=2(逆二乗)。そこから少しずらすと、軌道は閉じずに回り続けて、バラのような歳差軌道を描く。
じつは「p=2」は空間が3次元だからなんだ。点源から出た力の流束は、広がる球面(面積 ∝ r²)に薄まるので力は 1/r² になる ── これがガウスの法則の幾何的な中身だよ。N次元なら面積 ∝ rN−1F ∝ 1/rN−1(p=N−1)。そして閉じた軌道を作れるのは p=2(3次元)とバネ p=−1 だけ(ベルトランの定理)。安定してきれいに回る軌道は、3次元の宇宙でこそ自然に生まれる、とも読める。
ORBIT — 中心力 F ∝ 1/r^p
2.00
0.80
1.0×
次元: