About: クネーザーの定理 (組み合わせ論)

におけるクネーザーの定理（Kneser's theorem）は群の部分集合の加法的性質に関する定理で、整数列のシュニレルマン密度に関するマンの定理（シュニレルマン密度の記事を参照）に対応する定理である。マルティン・クネーザーによって（整数列の下極限密度に関する定理と共に）1953年から1956年にかけて証明され、Kempermanによって下のわかりやすい形にまとめられた。