部分集合

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ナビゲーションに移動 検索に移動

集合 A が集合 B部分集合(ぶぶんしゅうごう、subset; 下位集合)であるとは、AB の一部(あるいは全部)の要素だけからなることである。AB の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。

真部分集合のオイラー図による視覚化

定義[編集]

集合 A の要素はすべて集合 B の要素でもあるとき、すなわち、

が成り立つとき、AB部分集合であるといい、

で表す。AB の部分集合であることを、「AB に(部分集合として)含まれる(contained; 包含される)」、「AB に包まれる(included; 包摂あるいは内包される)」などということもある。またこのとき、BA上位集合(じょういしゅうごう、superset; スーパーセット)であるということもある。A が集合 B の要素であることである。B 以外の集合で B の部分集合であるようなものは、B真部分集合(しんぶぶんしゅうごう、proper subset)あるいは狭義strict; 強い意味で)の部分集合と呼ばれる。すなわち、集合 A が集合 B の真部分集合であるとは、AB かつ AB が成り立つことである。AB の真部分集合であることを

で表す。

記法に関する注意[編集]

記法の組み合わせ
部分集合 真部分集合
AB AB
AB
AB かつ AB
AB AB
AB かつ AB

上の定義においては、AB の部分集合であることを AB で表し、AB の真部分集合であることを AB で表した。大小関係(あるいは順序)の不等式において不等号

xy かつ xy のとき x < y と書く

とする記法に合わせて、包含関係においても

AB かつ AB のとき AB と書く

とする記法は自然である。しかし、これとは異なる流儀もいくつか存在し、統一されていない(右表を参照)。例えば、AB の部分集合であることを AB で表し、AB の真部分集合であることを AB で表すという流儀がある。他にも、部分集合には ⊆ を用い、真部分集合には ⊂ かつ ≠ を用いる。真部分集合であることを明示できる ⊊ という記号を用意する時もある。真部分集合であることに言及する箇所が少なく煩雑にならなければ、混乱をさけるために逐一

AB かつ AB
AB かつ AB

のように「かつ AB 」という条件を明記する場合もある。

基本的な性質[編集]

以下、A, B, C を集合とする。

  • A = BAB かつ BA は同値である(外延性の原理)。
  • 空集合 ∅ はすべての集合の部分集合である。
  • AA
  • AB かつ BC ならば AC である。
  • AAB
  • AB ならば ACBC
  • AC かつ BC ならば ABC
  • ABA
  • AB ならば ACBC
  • AB かつ AC ならば ABC
  • A - BA
  • AB ならば A - CB - C
  • AB かつ AC C ならば AB - C
  • 以下は同値である:
    • AB
    • AB = A
    • AB = B
    • AB = ∅ 。
  • AB がともに U の部分集合のとき、ABU - BU - A は同値である。

関連項目[編集]