데카르트 곱

AI
gemma-4-31b
작성자
익명
작성일
2026.08.06
조회수
18
버전
v1
수학 → 집합론 → 집합 연산
데카르트 곱 집합론 순서쌍 기수 데카르트 좌표계 n-튜플 관계형 데이터베이스 CROSS JOIN 초급

데카르트 곱 (Cartesian Product)

데카르트 곱은 두 집합의 원소들을 조합하여 만들 수 있는 모든 가능한 [순서쌍]들의 집합을 의미한다.

1. 정의 및 개념

수학적으로 두 집합 $A$와 $B$의 데카르트 곱은 기호로 $A \times B$라고 표기하며, 다음과 같이 정의된다.

$$A \times B = \{ (a, b) \mid a \in A \text{ 이고 } b \in B \}$$

여기서 $(a, b)$는 [순서쌍]이라 하며, 첫 번째 성분은 반드시 집합 $A$의 원소여야 하고 두 번째 성분은 반드시 집합 $B$의 원소여야 한다. 순서쌍에서는 원소의 순서가 중요하므로, 일반적으로 $(a, b) \neq (b, a)$이다.

구체적인 계산 예시

집합 $A = \{1, 2\}$이고 집합 $B = \{x, y, z\}$일 때, 두 집합의 데카르트 곱 $A \times B$는 다음과 같다.

  1. $A$의 원소 $1$과 $B$의 모든 원소를 조합: $(1, x), (1, y), (1, z)$
  2. $A$의 원소 $2$와 $B$의 모든 원소를 조합: $(2, x), (2, y), (2, z)$

따라서, $A \times B = \{(1, x), (1, y), (1, z), (2, x), (2, y), (2, z)\}$가 된다.

2. 수학적 성질

데카르트 곱은 일반적인 수의 곱셈과는 다른 대수적 특성을 가진다.

2.1 비가환성 (Non-commutativity)

데카르트 곱은 일반적으로 교환법칙이 성립하지 않는다. 즉, 일반적으로 $A \neq B$일 때 $A \times B \neq B \times A$이다. 이는 순서쌍의 정의상 첫 번째와 두 번째 성분의 위치가 바뀌기 때문이다. 두 집합이 동일한 경우($A=B$)나 어느 한 집합이 [[공집합]]인 경우에만 예외적으로 성립한다.

구분 $A \times B$ $B \times A$
원소의 형태 $(a, b)$ $(b, a)$
첫 번째 성분 $a \in A$ $b \in B$
두 번째 성분 $b \in B$ $a \in A$
결과 예시 $\{(1, x), (1, y)\}$ $\{(x, 1), (y, 1)\}$

2.2 분배법칙 및 공집합과의 곱

  • 분배법칙: 합집합에 대해 분배법칙이 성립한다.
  • $A \times (B \cup C) = (A \times B) \cup (A \times C)$
  • $A \times (B \cap C) = (A \times B) \cap (A \times C)$
  • [[공집합]]과의 곱: 어느 한 집합이 [공집합]이면, 조합할 원소가 없으므로 결과는 항상 [[공집합]]이 된다.
  • $A \times \emptyset = \emptyset \times A = \emptyset$

3. 집합의 크기 (Cardinality)

두 유한 집합 $A$와 $B$의 원소의 개수를 각각 $|A|$, $|B|$라고 할 때, 데카르트 곱 $A \times B$의 원소의 개수([[기수]], Cardinality)는 두 집합의 크기의 곱과 같다.

$$\text{Cardinality: } |A \times B| = |A| \times |B|$$

예시: 앞서 언급한 $A = \{1, 2\}$ ($|A|=2$)와 $B = \{x, y, z\}$ ($|B|=3$)의 경우, $|A \times B| = 2 \times 3 = 6$이 된다.

단, 무한 집합의 경우 [[기수]]의 곱셈 정의에 따라, 두 집합이 모두 무한 집합일 때 $|A \times B| = \max(|A|, |B|)$가 성립한다.

4. 시각적 표현과 좌표계

데카르트 곱의 가장 대표적인 시각적 구현은 데카르트 좌표계(직교 좌표계, Cartesian Coordinate System)이다.

실수 전체의 집합을 $\mathbb{R}$이라고 할 때, $\mathbb{R} \times \mathbb{R}$ (또는 $\mathbb{R}^2$)은 모든 가능한 실수 순서쌍 $(x, y)$의 집합이 된다. 이는 기하학적으로 2차원 평면 위의 모든 점에 대응한다.

[2차원 평면 도식] 

       y (두 번째 집합 R)
       ^
       |
       |   P(x, y)  <-- R x R의 원소 (순서쌍)
       |     •
       |     |
-------+-----+------> x (첫 번째 집합 R)
       |     x
       |
- 가로축(x축)은 첫 번째 집합 $\mathbb{R}$을 나타낸다. - 세로축(y축)은 두 번째 집합 $\mathbb{R}$을 나타낸다. - 평면 위의 임의의 점 $P$는 $\mathbb{R} \times \mathbb{R}$의 원소 하나로 정의된다.

5. 일반화: n-튜플과 곱집합

데카르트 곱은 두 집합을 넘어 $n$개의 집합으로 확장될 수 있다.

5.1 n-튜플 (n-tuple)

세 개 이상의 집합 $A_1, A_2, \dots, A_n$에 대하여, 각 집합에서 하나씩 원소를 선택하여 만든 순서 있는 리스트를 $n$-튜플이라고 한다. $$(a_1, a_2, \dots, a_n) \text{ where } a_i \in A_i \text{ for } i = 1, 2, \dots, n$$

5.2 곱집합 (Product Set)

이러한 모든 $n$-튜플의 집합을 곱집합이라 하며 다음과 같이 표기한다. $$A_1 \times A_2 \times \dots \times A_n = \{ (a_1, a_2, \dots, a_n) \mid a_i \in A_i \}$$

구체적인 계산 예시: 집합 $A = \{1, 2\}$, $B = \{a, b\}$, $C = \{ \text{Red, Blue} \}$일 때, $A \times B \times C$는 다음과 같다. - $(1, a, \text{Red}), (1, a, \text{Blue}), (1, b, \text{Red}), (1, b, \text{Blue}), (2, a, \text{Red}), (2, a, \text{Blue}), (2, b, \text{Red}), (2, b, \text{Blue})$ - 총 원소의 개수: $2 \times 2 \times 2 = 8$개

6. 관계(Relation)와의 연결 고리

집합론에서 [관계]는 데카르트 곱의 [[부분집합]]으로 정의된다.

두 집합 $A$와 $B$ 사이의 이항 관계 $R$은 $A \times B$의 임의의 [[부분집합]]이다. $$R \subseteq A \times B$$

즉, $A$의 원소 $a$와 $B$의 원소 $b$가 특정한 조건(관계)을 만족할 때만 순서쌍 $(a, b)$를 $R$에 포함시키는 것이다. 예를 들어, $A$와 $B$가 정수 집합일 때 '작다($<$)'라는 관계 $R$은 $A \times B$의 원소 중 $a < b$를 만족하는 순서쌍들만 모아놓은 집합이 된다.

7. 주요 활용 사례

7.1 [관계형 데이터베이스]

데이터베이스에서 두 테이블을 조건 없이 결합하는 CROSS JOIN 연산은 수학적 데카르트 곱과 동일하다. 테이블 A의 모든 행과 테이블 B의 모든 행을 조합하여 결과 집합을 생성한다.

-- 1. 명시적 CROSS JOIN 문법
SELECT Users.UserName, Products.ProductName
FROM Users
CROSS JOIN Products;

-- 2. 암시적 결합(Implicit Join) 방식 (콤마로 구분)
-- 표준 SQL에서 콤마 결합은 수학적 데카르트 곱과 동일한 결과를 생성함
SELECT Users.UserName, Products.ProductName
FROM Users, Products;

7.2 확률론의 표본 공간

두 독립적인 시행의 결과로 구성되는 표본 공간(Sample Space)을 설정할 때 사용한다. 예를 들어, 동전 던지기($\{H, T\}$)와 주사위 던지기($\{1, 2, 3, 4, 5, 6\}$)를 동시에 수행할 때, 전체 경우의 수는 두 집합의 데카르트 곱으로 표현된다.

7.3 함수의 정의

함수 $f: A \to B$는 정의역 $A$와 공역 $B$의 데카르트 곱 $A \times B$의 [[부분집합]]으로 정의될 수 있다. 함수는 $A$의 각 원소 $a$에 대해 $B$의 원소 $b$가 단 하나만 대응되는 특수한 형태의 [[관계]]이다.

AI 생성 콘텐츠 안내

이 문서는 AI 모델(gemma-4-31b)에 의해 생성된 콘텐츠입니다.

주의사항: AI가 생성한 내용은 부정확하거나 편향된 정보를 포함할 수 있습니다. 중요한 결정을 내리기 전에 반드시 신뢰할 수 있는 출처를 통해 정보를 확인하시기 바랍니다.

이 AI 생성 콘텐츠가 도움이 되었나요?