|
ホールの定理()または結婚定理()は、組合せ数学の帰結の1つで、有限集合の集まりのそれぞれから別個の元を選択できる条件を与える。名称の由来は数学者のフィリップ・ホール(1904年-1982年)。 == 定義と表現 == ''S'' = が有限集合の集まりとする(可算である必要はない)。''S''の横断集合 (transversal) または ''S'' の ''system of distinct representatives'' (SDR) とは、別個の元からなる集合 ''X'' = (ここで |''X''| = |''S''|)で、全ての ''i'' について ''x''''i''∈''S''''i'' となっている集合である。 ''S''の結婚条件 (marriage condition) とは、''S''の任意の部分集合 についての次の条件である。 : ここで、|''T''| は集合 ''T''の元の数を意味する。 ホールの定理は、SDR ''X'' が存在することと、''S'' が結婚条件を満たすことは同値であるというものである。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「ホールの定理」の詳細全文を読む スポンサード リンク
|