tkenichi の日記

毒舌皮肉系恥さらし日記

2012-11-22から1日間の記事一覧

Helly の定理

離散幾何の有名な定理で Helly の定理というのがある。 の m 個の凸集合について、任意の n+1 個の部分族の交わりが非空ならば、すべての交わりも非空である。逆は自明なので、以下が言える。 Helly の定理 この証明をいくつか探しているうちに、Homology を…