n を 0 以上の整数とし, n次元空間内の (n+1) 点の凸包 X に対して, ある整数 m が存在し, 0≦m≦n かつ X は m次元境界付多様体である.

続きを読む