離散分離定理

提供: ORWiki
2007年7月17日 (火) 13:31時点における122.17.2.240 (トーク)による版
ナビゲーションに移動 検索に移動

【りさんぶんりていり (discrete separation theorem)】

一般に, あるクラスに属する関数 を満たすならば, ある, が存在して が成り立つ,という形の定理を離散分離定理という. ここで, であり, が整数ベクトルに選べることが離散性の反映である.