집합

수학에서 집합(集合, 영어: set)은 어떤 명확한 조건을 만족시키는 서로 다른 대상들의 모임이다. 게오르크 칸토어의 설명에 따르면, 집합은 “하나로 간주한 여럿”이다. 임의의 대상이 집합에 속하는지 여부는 명확해야 하며, 집합 위에는 순서나 연산 따위의 구조가 주어지지 않는다. 집합은 현대 수학에서 가장 기본적인 개념이다. 집합론은 19세기 말에 개발되어 다른 수학 이론들에 비해 젊은 편이나, 거의 모든 수학 이론을 전개하는 토대로 삼을 수 있다.

소박한 집합론은 집합을 정의하는 조건에 제한을 가하지 않는다. 즉, 임의의 성질에 대하여 이 성질을 만족시키는 대상들의 집합이 존재한다고 가정한다. 이러한 가정은 모순을 일으키며, 모순을 유도하는 가장 쉬운 방법은 러셀의 역설이다. 오늘날 역설을 해결하는 다양한 집합론이 개발되어 있으며, 이 가운데 선택 공리를 추가한 체르멜로-프렝켈 집합론이 기본적으로 쓰인다. 이 집합론은 이미 알려진 모든 역설을 회피했지만, 그 밖의 모순이 존재할 가능성까지 배제한 것은 아니다. 또한, 이 이론의 무모순성을 증명하는 것은 무모순성 여부와 관계 없이 어떤 의미에서 불가능하다 (괴델의 불완전성 정리). 즉, 앙리 푸앵카레의 비판을 인용하면 “양 떼를 보호하기 위해 울타리를 쳤지만, 울타리 안에 늑대가 없으리라는 법은 없는 꼴”이다.

대개 집합은 대문자 $A,B,C,\dots$ 로 표기하며, 원소는 소문자 $a,b,c,\dots$ 로 표기한다. $a$ 가 $A$ 의 원소임을 $a\in A$ 와 같이 표기하며, $a$ 가 $A$ 의 원소가 아님을 $a\notin A$ 와 같이 표기한다. 또한 '12보다 크고 7보다 작은 자연수들의 모임'같은 원소가 0개일 경우, φ으로 표기한다.

표현

집합을 표현하는 방법에는 여러 가지가 있다. 하나는 집합에 속하는 원소들을 일일이 나열하는 것이다. 또 하나는 집합에 속하는 원소들이 만족하여야 하는 조건을 제시하는 것이다. 문자를 쓰는 대신 도형을 그려 나타낼 수도 있다.

원소 나열법

원소 나열법은 말 그대로 집합의 원소를 나열하여 집합을 표현하는 방법이다. 중괄호 '{}' 속에 쉼표 ','로 구별하여 나열한다. 예를 들어, 다음과 같다.

{1, 2, 3}
{흰색, 검은색}

무한 개의 원소가 있거나 유한 개더라도 나열하기에 너무 많은 경우, 그 중의 몇 개를 나열하여 남은 원소들을 유추할 수 있게끔 한 뒤 줄임표 '...'를 쓴다. 예를 들어, 다음과 같다.

{1, 2, 3, ..., 100}은 1부터 100까지의 모든 자연수의 집합이다.
{2, 4, 6, 8, ...}은 모든 양의 짝수의 집합이다.

집합의 원소들 사이에 눈에 띄는 규칙이 없을 경우, 원소 나열법으로 표현하기 힘들다. 또한, 모든 실수의 집합을 비롯한 비가산 집합은 이러한 표현이 불가능하다.

조건 제시법

조건 제시법도 말 그대로 집합의 원소인지를 판단하는 조건을 제시하여 집합을 표현하는 방법이다. 중괄호 '{}' 속을 수직선 '|'이나 쌍점 ':'을 써서 두 구역으로 나눈 뒤, 왼쪽 구역에 집합의 원소를 나타내는 식을 적고, 오른쪽 구역에 원소가 만족시킬 조건을 적는다. 예를 들어, 다음과 같다.

{n|n은 자연수, 1 ≤ n ≤ 5}는 1부터 5까지의 모든 자연수의 집합이다.
{2n|n은 정수}는 모든 짝수의 집합이다.

오일러 다이어그램

오일러 다이어그램은 집합을 나타내는 원을 그려 집합을 표현하는 방법이다. 어떤 원의 안쪽은 그 원이 나타내는 집합에 속하는 부분, 바깥쪽은 그 집합에 속하지 않는 부분을 의미한다. 두 원이 겹치는 부분은 두 집합에 공통으로 속하는 부분을 나타낸다. 어떤 원이 다른 원의 안쪽에 놓인다면, 집합의 모든 원소가 다른 집합의 원소라는 의미인데, 이때 첫째 집합이 둘째 집합의 부분 집합이라고 한다. 원이 서로 겹치는 두 집합은 공통 원소가 있는 집합을 의미하며, 원이 서로 겹치지 않는 두 집합은 공통 원소가 없는 집합, 즉 서로소 집합을 의미한다.

벤 다이어그램은 더 강한 조건을 만족시키는 오일러 다이어그램이다. 즉, $n$ 개의 원으로 이루어진 벤 다이어그램은 총 $2^{n}$ 개의 영역으로 나뉘어야 한다. 예를 들어, 세 집합으로 이루어진 벤 다이어그램은 총 8개의 영역으로 나뉘며, 이들은 각각 다음과 같다.

세 집합 모두에 속하는 영역
첫째 집합에만 속하지 않는 영역
둘째 집합에만 속하지 않는 영역
셋째 집합에만 속하지 않는 영역
첫째 집합에만 속하는 영역
둘째 집합에만 속하는 영역
셋째 집합에만 속하는 영역
세 집합 모두에 속하지 않는 영역

수학 교육에서, 벤 다이어그램은 오일러 다이어그램의 동의어로 쓰이기도 한다.

연산

둘 또는 더 많은 집합들로부터 새로운 집합을 만드는 연산은 여러 가지가 있다.

합집합과 교집합과 곱집합

일련의 집합들 $A_{i}$ ( $i\in I$ )이 주어졌다고 하자. 여기서 $I$ 는 집합이며, 각 $i\in I$ 는 $A_{i}$ 를 식별하는 데 쓰이는 첨수이다.

집합들 $A_{i}$ ( $i\in I$ )의 합집합은 이들 가운데 적어도 하나에 속하는 원소의 집합이다. 합집합을 나타내는 기호는 $\bigcup _{i\in I}A_{i}$ 이다.

\bigcup _{i\in I}A_{i}=\{x|\exists i\in I\colon x\in A_{i}\}

특히, 두 집합 $A$ 와 $B$ 의 합집합을 나타내는 기호는 $A\cup B$ 이다.^[1]

A\cup B=\{x|x\in A{\text{ or }}x\in B\}

예를 들어, 모든 오각형의 집합과 모든 정다각형의 집합의 합집합은, 정오각형이 아닌 오각형, 오각형이 아닌 정다각형, 그리고 정오각형으로 이루어진 집합이다. 또 한 가지 예를 들어, 두 집합

A=\{1,2,7,15,23\}

B=\{2,15,16,27\}

의 합집합은

A\cup B=\{1,2,7,15,16,23,27\}

이다.

집합들 $A_{i}$ ( $i\in I$ )의 교집합은 이들 모두에 속하는 원소의 집합이다. 교집합을 나타내는 기호는 $\bigcap _{i\in I}A_{i}$ 이다.

\bigcap _{i\in I}A_{i}=\{x|\forall i\in I\colon x\in A_{i}\}

특히, 두 집합 $A$ 와 $B$ 의 교집합을 나타내는 기호는 $A\cap B$ 이다.^[1]

A\cap B=\{x|x\in A{\text{ and }}x\in B\}

예를 들어, 모든 오각형의 집합과 모든 정다각형의 집합의 교집합은, 모든 정오각형의 집합이다. 또한, 두 집합

A=\{1,2,7,15,23\}

B=\{2,15,16,27\}

의 교집합은

A\cap B=\{2,15\}

이다.

집합들 $A_{i}$ ( $i\in I$ )의 곱집합은 각 $i$ -좌표를 $A_{i}$ 에서 취하는 튜플의 집합이다. 곱집합을 나타내는 기호는 $\prod _{i\in I}A_{i}$ 이다.

\prod _{i\in I}A_{i}=\{(x_{i})_{i\in I}|\forall i\in I\colon x_{i}\in A_{i}\}

특히, 두 집합 $A$ 와 $B$ 의 곱집합을 나타내는 기호는 $A\times B$ 이다.

A\times B=\{(a,b)|a\in A,b\in B\}

예를 들어, 두 집합

A=\{1,2,3\}

B=\{4,5,6\}

의 곱집합은

A\times B=\{(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)\}

이다. 또한, 실수의 집합 $\mathbb {R}$ 과 자기 자신의 곱집합은 2차원 유클리드 공간

\mathbb {R} \times \mathbb {R} =\mathbb {R} ^{2}=\{(a,b)|a,b\in \mathbb {R} \}

이다. 이 집합과 $\mathbb {R}$ 의 곱집합은 3차원 유클리드 공간

\mathbb {R} \times \mathbb {R} \times \mathbb {R} =\mathbb {R} ^{3}=\{(a,b,c)|a,b,c\in \mathbb {R} \}

이다.

차집합과 대칭차

집합 $A$ 와 집합 $B$ 의 차집합은 $A$ 에 속하지만 $B$ 에는 속하지 않는 원소의 집합이다. 차집합을 나타내는 기호는 $A\setminus B$ 나 $A-B$ 이다.

A\setminus B=\{x|x\in A{\text{ and }}x\not \in B\}

예를 들어, 두 집합

A=\{1,2,7,15,23\}

B=\{2,15,16,27\}

의 차집합은

A\setminus B=\{1,7,23\}

이다.

만약 $A$ 가 $B$ 의 모든 원소를 포함한다면, (즉, $B$ 가 $A$ 의 부분 집합이라면,) $A$ 와 $B$ 의 차집합을 $B$ 의 여집합이라고 한다. 여집합을 나타내는 기호는 $B^{\operatorname {C} }$ 나 ${\bar {B}}$ 이다.

집합 $A$ 와 집합 $B$ 의 대칭차는 $A$ 에 속하거나 $B$ 에 속하지만, 동시에 둘 다에 속하지는 않는 원소의 집합이다. 대칭차를 나타내는 기호는 $A\,\triangle \,B$ 이다.

A\,\triangle \,B=\{x|(x\in A{\text{ and }}x\not \in B){\text{ or }}(x\not \in A{\text{ and }}x\in B)\}

예를 들어, 두 집합

A=\{1,2,7,15,23\}

B=\{2,15,16,27\}

의 대칭차는

A\,\triangle \,B=\{1,7,16,23,27\}

이다.

항등식

집합의 연산에 대한 여러 가지 항등식이 성립한다.

(드모르간 법칙) $X\setminus \bigcup _{i\in I}A_{i}=\bigcap _{i\in I}{}(X\setminus A_{i})$
(드모르간 법칙) $X\setminus \bigcap _{i\in I}A_{i}=\bigcup _{i\in I}{}(X\setminus A_{i})$

관계

두 집합은 두 가지 방면에서 비교할 수 있다. 첫째는 혹여 한 집합의 모든 원소가 다른 한 집합의 원소이기도 한지, 즉 한 집합이 다른 한 집합에 완전히 포함되는지 살펴보는 것이고, 하나는 어느 집합의 원소가 더 많은지, 즉 어느 집합의 규모가 더 큰지를 비교하는 것이다.

부분 집합

만약 집합 $A$ 에 속하는 모든 원소가 집합 $B$ 의 원소이기도 하다면, $A$ 를 $B$ 의 부분 집합이라고 한다. 이를 나타내는 기호는 $A\subseteq B$ 이다.

오일러 다이어그램에서, 두 집합 가운데 하나가 다른 하나의 부분 집합이라면, 이 부분 집합을 나타내는 원은 다른 한 집합을 나타내는 원의 안쪽에 놓인다.

예를 들어, $A$ 가 모든 삼각형의 집합, $B$ 가 모든 다각형의 집합이라면, $A$ 는 $B$ 의 부분 집합이다. 이는 모든 삼각형이 다각형이기 때문이다. 그러나, $A$ 가 모든 사각형의 집합, $B$ 가 모든 정다각형의 집합이라면, $A$ 는 $B$ 의 부분 집합이 아니다. 이는 가로 길이가 2, 세로 길이가 3인 사각형은 정사각형이 아니기 때문이다. 즉, 이러한 사각형은 $A$ 의 원소이지만, $B$ 의 원소가 아니다. 만약 $A=\{1,3,5\}$ , $B=\{1,2,3,5\}$ 라면, $A\subseteq B$ 이다. 만약 $A=\{1,3,5\}$ , $B=\{1,2,4,5\}$ 라면, $A\not \subseteq B$ 인데, 이는 3이 $A$ 의 원소이지만 $B$ 의 원소가 아니기 때문이다.

만약 $A$ 가 $B$ 의 부분 집합이면서, $B$ 가 $A$ 의 부분 집합이라면, $A$ 와 $B$ 의 원소는 완전히 같아진다. 이때 $A$ 와 $B$ 가 서로 같다고 하며, 이를 나타내는 기호는 $A=B$ 이다. 만약 $A$ 가 $B$ 의 부분 집합이면서, $A$ 와 $B$ 가 서로 같지는 않다면, $A$ 를 $B$ 의 진부분 집합이라고 한다. 이를 나타내는 기호는 $A\subsetneq B$ 이다.

집합 $A$ 의 모든 부분 집합을 모은 집합을 생각할 수 있다. 이를 $A$ 의 멱집합이라고 한다. 멱집합을 나타내는 기호는 ${\mathcal {P}}(A)$ 나 $2^{A}$ 이다. 예를 들어, $A=\{1,2\}$ 의 멱집합은

{\mathcal {P}}(A)=\{\varnothing ,\{1\},\{2\},\{1,2\}\}

이다.

크기 비교

두 집합 $A,B$ 가 모두 유한 개의 원소만을 가진다고 하자. 만약 $A$ 의 원소 개수가 $B$ 의 원소 개수보다 많다면, $A$ 가 $B$ 보다 크다고 한다. 반대로 만약 $A$ 의 원소 개수가 $B$ 의 원소 개수보다 적다면, $A$ 가 $B$ 보다 작다고 한다. 만약 $A$ 의 원소 개수가 $B$ 의 원소 개수와 같다면, $A$ 가 $B$ 와 크기가 같다고 한다.

예를 들어, $A$ 가 1부터 20까지의 자연수의 집합, $B$ 가 21부터 30까지의 자연수의 집합이라면, $A$ 의 원소 개수는 20, $B$ 의 원소 개수는 10이다. 20이 10보다 크므로, $A$ 의 크기는 $B$ 의 크기보다 크다.

두 집합 $A,B$ 가운데 적어도 하나가 무한 개의 원소를 갖는다고 하여도, 이 두 집합의 크기를 비교할 수 있다. 만약 $A$ 의 서로 다른 원소와 $B$ 의 서로 다른 원소가 남김 없이 짝지어질 수 있다면, 다시 말해 $A$ 와 $B$ 사이에 전단사 함수가 존재한다면, $A$ 와 $B$ 의 크기가 같다고 한다. 만약 $A$ 가 $B$ 의 어떤 진부분 집합과 크기가 같지만, $B$ 와 크기가 같지 않다면, $A$ 가 $B$ 보다 크기가 작다고 한다. 만약 $B$ 가 $A$ 의 어떤 진부분 집합과 크기가 같지만, $A$ 와 크기가 같지 않다면, $A$ 가 $B$ 보다 크기가 크다고 한다.

예를 들어, $A=\{1,2,3,\dots \}$ 이고, $B=\{2,3,4,\dots \}$ 라면, $B$ 는 $A$ 의 진부분 집합이지만, $A$ 와 $B$ 의 크기는 같다. 이는 $A$ 의 원소 $n$ 을 $B$ 의 원소 $n+1$ 에 대응시키는 함수가 전단사 함수이기 때문이다. 이 예가 보여주듯, 진부분 집합은 원래의 집합과 크기가 같을 수 있다.

집합의 크기는 기수로 양화될 수 있다. 집합 $A$ 의 크기를 나타내는 기호는 $|A|$ 또는 $\#A$ 이다. 집합 $A$ 의 크기가 $B$ 의 크기보다 큼을 나타내는 기호는 $|A|\geq |B|$ 또는 $\#A\geq \#B$ 이다.

예

수의 집합

$\mathbb {N}$ 은 모든 자연수의 집합이다. 문맥에 따라 0부터 시작할 수도 있고, 1부터 시작할 수도 있다.
$\mathbb {Z} =\{\dots ,-2,-1,0,1,2,\dots \}$ 는 모든 정수의 집합이다.
$\mathbb {Q} =\{m/n\colon m,n\in \mathbb {Z} ,\;n\neq 0\}$ 는 모든 유리수의 집합이다.
$\mathbb {R}$ 는 모든 실수의 집합이다.
$\mathbb {C} =\{a+bi\colon a,b\in \mathbb {R} \}$ 는 모든 복소수의 집합이다.
$\mathbb {H} =\{a+bi+cj+dk\colon a,b,c,d\in \mathbb {R} \}$ 는 모든 사원수의 집합이다.
$\mathbb {O}$ 는 모든 팔원수의 집합이다.
$\mathbb {S}$ 는 모든 십육원수의 집합이다.
T는 2의 배수이며 홀수인 수의 집합이다(=φ)

집합족

집합 역시 또 다른 집합의 원소가 될 수 있으므로, 일정한 조건을 만족시키는 집합들을 모은 집합을 생각할 수 있다. 한 가지 예는 어떤 집합의 멱집합이다. 예를 들어, $A=\{-1,-2,-3\}$ 와 $B=\{1,2,3\}$ 이 집합이므로,

\{A,B\}=\{\{-1,-2,-3\},\{1,2,3\}\}

는 집합족이다.

같이 보기

위키미디어 공용에 관련된
미디어 분류가 있습니다.

집합

각주

↑ ^가 ^나 《수리통계학 입문》 1판. 1995년 3월 10일. 7쪽.

외부 링크

“Set”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
Weisstein, Eric Wolfgang. “Set”. 《Wolfram MathWorld》 (영어). Wolfram Research.
“Category of sets”. 《nLab》 (영어).
“Set”. 《PlanetMath》 (영어).
“Definition:Set”. 《ProofWiki》 (영어).

[kim-1] 가 ^나 《수리통계학 입문》 1판. 1995년 3월 10일. 7쪽.

[1]

v t e 수리논리학
일반	형식 언어 Formation rule 형식 체계 형식 증명 형식 의미론 논리식 집합 원소 모임 고전 논리 공리 자연 연역 추론 규칙 관계 정리 논리적 결과 공리계 유형 이론 논리기호 통사 Theory
명사논리학	명제 추론 논증 타당성 Cogency 삼단논법 대당관계 벤 다이어그램
명제 논리 불 논리	불 함수 명제 논리 규범논리 논리 연산 진리표
술어 논리	1차 논리 양화 술어 2차 논리 Monadic predicate calculus
소박한 집합론	집합 공집합 원소 열거 외연성 무한 집합 부분집합 멱집합 가산 집합 비가산 집합 재귀 집합 정의역 공역 상 사상 함수 이항연산 순서쌍
집합론	수학기초론 체르멜로-프렝켈 집합론 선택 공리 General set theory 크립키-플레이텍 집합론 폰 노이만-베르나이스-괴델 집합론 모스-켈리 집합론 타르스키-그로텐디크 집합론
모형 이론	모형 해석 비표준 모형 유한 모형 이론 진릿값 타당성
증명 이론	형식 증명 연역 체계 형식 체계 정리 논리적 귀결 추론 규칙 구문
계산 가능성 이론	계산 가능성 이론 처치-튜링 논제 재귀 재귀 집합 재귀 열거 집합 결정 문제 정지 문제 계산 가능한 수 μ-재귀 함수 원시 재귀 함수

v t e 집합론
집합	원소 공집합 한원소 집합 부분집합 교집합 합집합 여집합 대칭차 멱집합 곱집합 순서쌍 유한 집합 무한 집합 무한 공리 가산 집합 드 모르간의 법칙
함수	정의역 공역 치역 상 전사 함수 단사 함수 전단사 함수 다가 함수 역함수 항등 함수 상수 함수 지시 함수 함수의 합성
기수	집합의 크기 칸토어의 정리 대각선 논법 알레프 수 베트 수 극한 기수 기멜 함수 가능 공종도
순서수	정렬 순서 초한귀납법 공종도 쾨니그의 정리 하르톡스 수 정규 함수
역설의 해소	소박한 집합론 러셀의 역설 칸토어 역설 부랄리포르티 역설 모임 유형 이론 《수학 원리》 체르멜로-프렝켈 집합론 새 기초 폰 노이만-베르나이스-괴델 집합론 모스-켈리 집합론
선택 공리	가산 선택 공리 의존적 선택 공리 초른 보조정리 슈필라인 확장정리 바나흐-타르스키 역설 티호노프 정리
집합론의 모형	구성 가능 전체 추이적 집합 추이적 모형 순서수 정의 가능 집합 강제법
큰 기수	도달 불가능한 기수 가측 기수 약콤팩트 기수 강콤팩트 기수 초콤팩트 기수
ZF와 독립된 명제	연속체 가설 특이 기수 가설 수슬린 가설 화이트헤드 문제 결정 공리 마틴 공리 다이아몬드 원리