■ベン図・オイラー図(その13)
1935年、フランス人数学者集団ブルバキは、表面的には異なる領域において共通する構造を見出すことを目的として、いくつかの公理から演繹して数学のすべてを形式化する活動を始めた。
彼らは図の使用は避け、その刊行物には図が一切なかった。ブルバキが図による証明を嫌ったことには実質を伴った理由がある。
2円が交差した場合,交差部A∩Bにはアーモンド型ができる.包除の組み合わせは2^2=4通りあるが,どれにも属さない集合が2円の外側の領域で表される.
3円が交差した場合,3つのアーモンドが交差した部分A∩B∩Cにさらにルーローの三角型ができる.包除の組み合わせは2^3=8通りあるが,7通りと3円の外側の領域とですべて表される.
4円が交差した場合,包除の組み合わせは2^4=16通りあるが,外側を含めても14の領域しかできないようにみえる.これでは16通りの包除関係を表現できないことになってしまうが,原因は円を用いているからダメなのであって,楕円などの閉曲線を適宜用いるしかない.「図の危ないところ」といえるだろう.
===================================
図に見えているのは平面幾何学的な特殊事情なのかもしれない。
AとBとCとDの幾何学的な交わりを示す図を2次元の紙に描くことで、何かの関係を推論することには危険が伴うのである。
===================================
n本の直線は平面をn(n+1)/2+1=(n^2+n+2)/2に分割することができるが
n本の円は平面をn^2-n+2に分割することができる
n=3のとき8=2^3、n=3のとき14<2^4
===================================
n(n+1)/2+1=(n,0)+(n+1)+(n+2)
11本の切れ目を入れることによって最大67の断片に切り分けることができる。
三角数が出てくる理由は最初の断片の後、最大で1,2,3、・・・というように断片を付け加えるからである
3次元での切断ならば、8回の裁断で93個に分断することができる。
(n,0)+(n+1)+(n,2)+(n,3)
1+8+28+56=93
===================================
(問)直線をn個の点で分割する.その際,分割によってできる領域が最も多くなるようにする.最大分割領域数Snはいくつになるか,の答は
Sn=(n,0)+(n,1)
(問)平面をn本の線で分割する.その際,分割によってできる領域が最も多くなるようにする.最大分割領域数Snはいくつになるか,の答は
Sn=(n,0)+(n,1)+(n,2)=(n^2+n+2)/2
S0=1,S1=2,S2=4,S3=7,
S4=11,S5=16,S6=22,S7=29,
S8=37,S9=46,S10=56,・・・
(問)空間をn枚の平面で分割する.その際,分割によってできる領域が最も多くなるようにする.最大分割領域数Snはいくつになるか,の答は
Sn=(n,0)+(n,1)+(n,2)+(n,3)=(n3+5n+6)/6
S0=1,S1=2,S2=4,S3=8,
S4=15,S5=26,S6=42,S7=64,
S8=93,S9=130,S10=176,・・・
一般に,
(問)m次元空間をn枚の超平面で分割する.その際,分割によってできる領域が最も多くなるようにする.最大分割領域数Snはいくつになるか,の答は
Sn=(n,0)+(n,1)+(n,2)+(n,3)+・・・+(n,m)
となるが,これらの問題は二項係数で表現するときれいなパターンになる.
===================================
(問)1つの円をn本の弦で分割する.その際,分割によってできる領域が最も多くなるようにする.最大分割領域数Snはいくつになるか?
実はこの問題は
(問)平面をn本の線で分割する.その際,分割によってできる領域が最も多くなるようにする.最大分割領域数Snはいくつになるか
と等価になる.
Sn=(n,0)+(n,1)+(n,2)=(n^2+n+2)/2
(問)1つの球をn個の面で分割する.その際,分割によってできる領域が最も多くなるようにする.最大分割領域数はいくつになるか?
この問題も
(問)空間をn枚の平面で分割する.その際,分割によってできる領域が最も多くなるようにする.最大分割領域数Snはいくつになるか
に等価で,答は
Sn=(n,0)+(n,1)+(n,2)+(n,3)=(n3+5n+6)/6
新しくナイフを入れて増加する3次元領域の数は,新しい平面上にそれがそれまでの平面と交わってできる2次元領域の数に等しいからである.
立方体にナイフを6回入れる場合は27個の小さい立方体を作ることができるが,形にこだわらなければ最大42個の断片にできるというわけである.
===================================