■離散した点の有限集合
離散した点の有限集合で,最も距離の離れた2点の最大距離をdとする.
[1]どれほど奇妙な形に散乱した点であっても,すべての点は半径d/√3以下の円に包含される.たとえば辺の長さが1の正三角形の辺上に配置された点では,3頂点に接する半径1/√3の円のよって包含される.
r≦d/√3
[2]この3次元版は,r≦d√6/4
[3]この4次元版は,r≦d√(2/5)
[4]このn次元版は,r≦d√(n/2(n+1))となる(ユングの定理)
===================================