数学における集合とは何ですか？

集合とは、要素（エレメント）または部員と呼ばれる、明確に定義された区別可能な対象の集まりです。集合は通常、大文字（A、B、C）で表され、その要素は中括弧の中にリストされます（例：A = {1, 2, 3}）。集合には数字、文字、またはその他の任意のオブジェクトを含めることができます。

和集合と共通部分（積集合）の違いは何ですか？

和集合（A ∪ B）は、両方の集合のすべての要素を組み合わせたものです。要素がAまたはBのいずれかに含まれていれば、和集合に含まれます。共通部分（A ∩ B）は、両方の集合に共通する要素のみを含みます。要素がAとBの両方に含まれている場合にのみ、共通部分に含まれます。

直積集合とは何ですか？

直積集合 A × B は、a が A の要素であり、b が B の要素であるすべての順序対 (a, b) の集合です。例えば、A = {1, 2}、B = {x, y} の場合、A × B = {(1,x), (1,y), (2,x), (2,y)} となります。直積集合のサイズは |A| × |B| です。

べき集合とは何ですか？

べき集合 ℘(A) は、空集合と A 自体を含む、A のすべての可能な部分集合の集合です。A に n 個の要素がある場合、べき集合には 2^n 個の要素があります。例えば、℘({1,2}) = {∅, {1}, {2}, {1,2}} です。

集合論電卓

和集合 (A ∪ B)、共通部分 (A ∩ B)、差集合 (A − B)、対称差 (A ∆ B)、直積 (A × B)、べき集合、補集合などの集合演算を行います。インタラクティブなベン図で視覚化します。

集合論電卓

∩

集合を定義する

カンマで区切って要素（数字、文字、または単語）を入力してください

⚡ クイック例

A 集合 A

カンマで区切られた要素

B 集合 B

カンマで区切られた要素

▶ 集合 C および全体集合 (オプション)

C 集合 C (オプション)

3つの集合演算およびトリプルベン図用

U 全体集合

補集合の計算に必要です

⚠

✓ 集合演算の計算完了

Embed 集合論電卓 Widget

集合論電卓

集合論とは？

集合論は、集合と呼ばれる対象の集まりを研究する数学論理学の一分野です。1870年代にゲオルク・カントールによって創設され、事実上すべての現代数学の基礎となっています。集合はその構成員によって定義されます。2つの集合が等しいのは、それらがまったく同じ要素を持っている場合のみです。

離散数学 — 組合せ論、グラフ理論、形式言語の基礎
コンピュータサイエンス — データ構造（HashSet、TreeSet）、データベースクエリ（JOIN = 共通部分、UNION = 和集合）、型システム
確率論 — 事象は集合としてモデル化され、和集合と共通部分はそれぞれ「または（OR）」と「かつ（AND）」の事象に対応します
論理学 — ベン図は論理的関係を視覚化し、集合演算は論理演算子を反映します

この集合論電卓の使い方

各集合の要素をカンマで区切って入力してください。数字、文字、単語、または任意のテキストを要素として使用できます。電卓は自動的に主要な集合演算をすべて計算し、インタラクティブなベン図を表示します。

要素をカンマで区切って入力します — 例：1, 2, 3, 4, 5 や りんご, バナナ, さくらんぼ
3つの集合演算やトリプルベン図を表示するには、集合C（オプション）を使用します
補集合（Aᶜ, Bᶜ）を計算するには、全体集合を定義します
ベン図演算ボタンをクリックして、異なる領域をハイライト表示します
プロパティタブを使用して、濃度（要素数）、部分集合関係、集合の相等性を確認します

集合演算リファレンス

演算	記号	説明	例
和集合	A ∪ B	AまたはB（あるいは両方）に含まれる要素	`{1,2,3} ∪ {3,4,5} = {1,2,3,4,5}`
共通部分	A ∩ B	AとBの両方に含まれる要素	`{1,2,3} ∩ {3,4,5} = {3}`
差集合	A − B	Aに含まれ、Bには含まれない要素	`{1,2,3} − {3,4,5} = {1,2}`
対称差	A ∆ B	AまたはBのいずれか一方のみに含まれる要素	`{1,2,3} ∆ {3,4,5} = {1,2,4,5}`
直積	A × B	a∈A, b∈B となるすべての順序対 (a,b)	`{1,2} × {a,b} = {(1,a),(1,b),(2,a),(2,b)}`
べき集合	℘(A)	Aのすべての部分集合からなる集合	`℘({1,2}) = {∅,{1},{2},{1,2}}`
補集合	Aᶜ	全体集合に含まれるが、Aには含まれない要素	`もし U={1,2,3,4,5}, A={1,2} ならば ℒ Aᶜ={3,4,5}`
部分集合判定	A ⊆ B	Aのすべての要素がBにも含まれているかどうか	`{1,2} ⊆ {1,2,3} = True`