コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

ベン図

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ベンダイアグラムから転送)
ベンにゆかりの深いケンブリッジ大学ゴンヴィル・アンド・キーズ・カレッジにはある、ベン図を描いたステンドグラス

ベン図(ベンず、もしくはヴェン図: Venn diagram)とは、複数の集合の関係や、集合の範囲を視覚的に図式化したものである。イギリス数学者ジョン・ベン (John Venn) によって考え出された。

ベン図はレオンハルト・オイラーによるオイラー図の特殊な場合に相当する。

概要

[編集]
図1. オイラーによる部分集合の表し方

複数の集合を考える際には、各集合をひとつの閉曲線(例えば)で表し、相関をその閉曲線の交わり方によって表すことができる。

例えば、オイラーは、集合 A が集合 B部分集合であることを、図1のように表した。

図2. ベンによる部分集合の表し方

しかし、ベンは同じことを図2のように表した。黒で塗りつぶされた領域は、その領域にが存在しないことを表す。よって、左の円が表す集合に属する元は全て右の円が表す集合に属する。

ベンの方法では、各々の集合に属するか否かの全ての可能性に対して、領域を対応させる。したがって、n 個の集合のベン図は 2n 個の領域を持つ。そして、各々の領域について、(現代的な感覚とは逆であるが)元が存在しないことを斜線で表し、元が存在することをばつ印で表す。どちらも記されていない場合は、元が存在するかどうか不明である。

これに対し、オイラーの方法では必ずしも n 個の集合の図で 2n 個の領域を持つとは限らず、領域が存在しないことは元が存在しないことを意味する。例えば、先の例では A に属して B に属さない元は存在しない。このオイラー流の図も、現代ではしばしばベン図と呼ばれるが、厳密に区別したいときは、オイラー流の図をオイラー図、2n 個の領域を持つ図をベン図と呼び分ける。

図3. 2つの集合の共通部分

ベンの方法では、黒塗りの領域や斜線の領域は元が存在しないことを意味したが、現代では逆に斜線を引いたり色を付けたりして、その領域に注目することが多い。例えば、図3の赤い部分は左の円を集合 A、右の円を集合 B としたときの、AB共通部分 AB を意味する。

多数の集合のベン図

[編集]

ベン図は、2つまたは3つの集合のものが典型的であるが、ベンは4つ以上の集合についても考えている。4つの円では平面を16個の領域に分けることは不可能であり、楕円を用いる必要がある。5つ以上の場合は、さらに複雑な図を描かなければならない。

論理演算とベン図

[編集]
図4. 論理積 (AND) P ∧ Q のベン図による表現

論理演算をベン図で表すことがある。ベン図は本来は集合についての関係を表すもので、論理演算に対してベン図を用いるのは本来の使い方ではないが、現実には、有限加法族と論理演算がブール代数として等価であることから、論理演算を視覚的にわかりやすく表現する手法としてしばしばベン図が用いられる。

論理演算をベン図で表す場合、円は論理演算の入力値を表す論理変数に対応し、円の内部はその変数の値(真理値)が真(1、もしくはT)であること、円の外部は偽(0、もしくはF)であることを表す。論理演算の出力値を真にする入力値の組に対応する領域に斜線を引いたり色を付けたりすることで、入力値と出力値の関係を表す。例えば、図4は左の円をP、右の円をQとして、PとQの論理積 (AND) P ∧ Q をベン図で表したものである。これは集合 A と集合 B共通部分 AB を表すベン図と見かけは同じだが、論理演算 P ∧ Q を表すものとみなす場合、円は集合を意味するものではないことに注意が必要である。

左円:P 右円:Q 赤色:真 白色:偽

論理和 (OR) 論理否定 (NOT) 論理積の否定 (NAND)
PQ ¬P ¬(PQ)
ベン図による含意
論理和の否定 (NOR) 含意(IMP)
¬(PQ) (PQ) ∨ ¬(PQ) (PQ) ⇔ (¬PQ)
排他的論理和 (XOR)
(PQ) ∧ ¬(PQ)

下図は、集合演算を表す場合のベンの方法に対応する表し方で、黒色の領域は「対応する入力値の組合せが起こらない」ことを表す。

左円:P 右円:Q

PQ PQ
(PQ) ⇔ true

参考文献

[編集]
  • 一松信、竹之内脩編『新数学事典』大阪書籍、1991年。ISBN 978-4-7548-4006-8

関連項目

[編集]

外部リンク

[編集]