집합

덤프버전 :

파일:다른 뜻 아이콘.svg
은(는) 여기로 연결됩니다.
수학적 개념이 아닌 구호에 대한 내용은 집합(군대) 문서
집합(군대)번 문단을
집합(군대)# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
참고하십시오.




수학기초론
Foundations of Mathematics


[ 펼치기 · 접기 ]
다루는 대상과 주요 토픽
수리논리학
논리 · 논증{귀납논증 · 연역논증 · 귀추 · 유추} · 공리 및 공준 · 증명{자동정리증명 · 귀류법 · 수학적 귀납법 · 반증 · 더블 카운팅 · PWW} · 논리함수 · 논리 연산 · 잘 정의됨 · 조건문(조각적 정의) · 명제 논리(명제 · 아이버슨 괄호 · · · 대우) · 양상논리 · 술어 논리(존재성과 유일성) · 형식문법 · 유형 이론 · 모형 이론
집합론
집합(원소 · 공집합 · 집합족 · 곱집합 · 멱집합) · 관계(동치관계 · 순서 관계) · 순서쌍(튜플) · 서수(하세 다이어그램 · 큰 가산서수) · 수 체계 · ZFC(선택공리) · 기수(초한기수) · 절대적 무한
범주론
함자 · 수반 · 자연 변환 · 모나드 · 쌍대성
계산가능성 이론
계산 · 오토마타 · 튜링 기계 · 바쁜 비버 · 정지 문제 · 재귀함수
정리
드모르간 법칙 · 대각선 논법 · 러셀의 역설 · 거짓말쟁이의 역설 · 뢰벤하임-스콜렘 정리 · 슈뢰더-베른슈타인 정리 · 집합-부분합 정리 · 퍼스의 항진명제 · 굿스타인 정리 · 완전성 정리 · 불완전성 정리(괴델 부호화) · 힐베르트의 호텔 · 연속체 가설 · 퍼지 논리
기타
예비사항(약어 및 기호) · 추상화 · 벤 다이어그램 · 수학철학
틀:논리학 · 틀:이산수학 · 틀:이론 컴퓨터 과학 · 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보





1. 개요
2. 상세
3. 기본 개념
3.1. 원소
3.2. 원소 나열법
3.3. 조건 제시법
3.5. 집합의 크기
3.6. 집합의 농도
4. 집합의 종류
4.1. 곱집합
4.2. 공집합
4.3. 교집합
4.5. 부분집합
4.6. 상등
4.7. 여집합
4.8. 전체집합
4.9. 중복집합
4.10. 집합족
4.11. 차집합
4.12. 포함집합
4.13. 합집합
4.13.1. 분리합집합
4.14. 그 외
5. 관련항목 및 바깥고리



1. 개요[편집]


"전체는 부분보다 크다"라는 명제가 있다. 만일 존재가 전체와 부분으로 나뉠 수 있다면 이 명제는 증명될 필요가 없으나 공리는 실제와 크기를 끊임 없이 무시한다.

-

-게오르크 칸토어

/ set

국립국어원에 따르면 집합()의 수학적 의미는 특정 조건이 명확하여 그 대상을 분명하게 정할 수 있을 때, 그 기준에 맞는 대상들의 모임. 이때, 해당 집합에 속하는 대상들 각각을 원소라고 한다. 임의의 한 원소가 그 모임에 속하는지를 알 수 있고, 그 모임에 속하는 임의의 두 원소가 다른가 같은가를 구별할 수 있는 명확한 표준이 있는 것을 이르는 것을 말한다.

2. 상세[편집]


수학적인 의미로 집합을 정의한다는 건 사실상 불가능한 일이다. 때문에 집합론에서는 '집합'을 단지 '특정 조건을 만족시키는 대상의 모임' 정도로 뜻풀이를 할 뿐이다. 즉, 직관적으로 받아들이고 시작하는 무정의 용어(無定義 用語)이다. 무언가를 정의하기 위해서는 이미 정의되어 있는 개념이거나 정의하지 않고 사용하는 개념인 것이 미리 있어야 하는데, 수학에서 그러한 '바탕'으로 대표적으로 이용되는 것이 집합이다. 이런 맥락에서 현대 수학의 거의 모든 분야는 집합이란 개념을 통하여 발전하였다. 이 때문에 집합이란 개념의 이용은 현대 수학을 이해하는 데 가장 기초적으로 필요한 소양이다. 과거 중고등학교 수학의 첫 단원이 집합이었던 것도 이러한 맥락에서이다. 중학교에서는 2007 개정 교육과정까지 있었으며,[1] 6차 교육과정 이전엔 초등학교에 있었던 내용이기도 하다. 그나마 5차 교육과정 ~ 6차 교육과정 시기에는 5학년부터, 4차 교육과정 시기에는 4학년부터 배웠지만 3차 교육과정 시기에는 국민학교 1학년부터 배웠다.

그런데 이런 집합이라는 개념을 수학적으로 엄밀하게 구성하는 것은 생각보다 쉽지 않다. 국립국어원의 설명은 직관적 집합론(naïve set theory)에서 받아들이는 개념에 가깝다.[2] 수리논리에서도 공리적 집합론에서도 집합이 무엇인지 정의하지는 않는 경우가 많다. 먼저, 공리적 집합론에서 대표적으로 채택하는 공리계인 ZFC(선택 공리를 추가한 체르멜로-프랭켈 공리계)에서는 집합론에서 사용되는 모든 오브젝트가 집합이고, 공리들은 에 관한 공리들이다. 또한 정칙성 공리 등을 통해 집합이 조건을 공리적으로 제한한다. 한편 NBG(폰 노이만-베르나이스-괴델 공리계)나 MK(모스-켈리 공리계)라는 공리계에서는 집합을 '다른 class(주로 '모임'이라고 번역된다)의 원소인 것'으로 일단 정의하기는 하고 class는 위에서 말한 직관적 집합론에서의 개념과 좀 비슷하다. NBG나 MK가 아니더라도 여러 가지 공리계들 또는 공리들의 관계를 탐구할 때 그 도구로써 '이러이러한 것만 집합이라고 새로 가정하면 어떤 일이 일어나는가'를 살펴보기도 한다. 왜 이런 복잡한 방식을 거치는가 하면, 집합 개념을 단순히 직관적으로 '어떤 성질을 만족시키는 것들의 모임'이라고만 해버리면 러셀의 역설과 같은 여러 가지 역설이 생겨 수학 구조가 붕괴되기 때문이다.

칸토어 이후의 수학은 기본적으로 집합론을 기초로 하여 성립돼 있다. 당장 수학의 가장 기초 공리계인 ZFC부터가 집합을 이야기하는 공리계이고(이는 NBG, MK 등 다른 공리계도 마찬가지) 그 외에 자연수 등 모든 수학적 대상이 집합의 언어로 서술되기 때문이다. 대수, 해석, 위상 등의 모든 이론을 시작할 때 집합이 들어가는 것은 이러한 이유. 연속, 수렴, 이항연산, 컴팩트, 심지어 무한 등 수많은 개념들이 집합을 통하면 수학적으로 엄밀하게 정의하고 조작할 수 있게 된다.

고등학교에서 배우는 직관적 집합론이 아니라 위에 서술한, 수학적으로 엄밀하게 정의된 집합을 더욱 심도 깊게 다루는 것이 (공리적) 집합론으로, 수학과 학부 또는 대학원 과정에서 배울 수 있다. 영미권의 대학에서는 철학과의 전공 과목으로 개설되는 경우도 있다.


3. 기본 개념[편집]



3.1. 원소[편집]


/ element[3]

집합을 구성하는 객체. 집합과 마찬가지로 직관적으로 받아들이고 시작하는 개념 중 하나이다. 좀 더 엄밀하게 말하자면 정의하지 않고 받아들이는 개념. 무정의 용어라고도 한다.

보통 집합은 대문자, 원소는 소문자로 표기하나, 현대 수학은 모든 대상은 집합의 일종이라 보는 경우가 많기에 맥락에 맞게 이해하여야 한다.[4]
'[math(a)]는 집합 [math(A)]의 원소이다.'는 [math(a\,)][math(\in)][math(\,A)]로 표시한다.[5] 이를 함수의 꼴로 만든 것이 집합 판별 함수이다.


3.2. 원소 나열법[편집]


/ tabular form

집합을 중괄호와 원소를 이용하여 서술하는 방법. '집합 [math(A)]는 [math(2)], [math(3)], [math(4)]만을 원소로 가지고 있다.'를 [math(A=\{2,\,3,\,4\})]로 표시한다. 집합에 어떤 원소가 있나 금방 볼 수 있지만 집합의 특성을 설명하거나 무한집합을 다룰 때 취약하다.


3.3. 조건 제시법[편집]


/ set-builder form

집합을 집합에 포함되는 원소의 조건을 이용하여 서술하는 방법. {원소|원소의 특성}으로 사용한다. [math(A=\{2,\,3,\,4\})]를 조건 제시법으로 표시하면 [math(\{n\,|\,n)]은 [math(1)]보다 크고 [math(4)] 이하인 자연수[math(\})], [math(\{n\in\mathbb{N}\,|\,\mathbb{N})]은 자연수의 집합, [math(2\leq n\leq4\})] 등이 된다.[6] 무한집합을 다룰 수 있으나 특정 객체가 집합의 원소인지 확인하는 건 어렵다. 가령 '무리수의 집합'이란 개념은 쉽지만, [math(e^{\pi})]이 무리수인지(=무리수의 집합의 원소인지 아닌지)를 판단하는 건 원소나열법과는 달리 어렵다.


3.4. 벤 다이어그램[편집]


Venn diagram

집합은 원이나 타원 등의 단일폐곡선으로, 원소는 점으로 나타내 집합 간의 간단한 관계를 표현하는 다이어그램. 2차원 공간에 단순도식화하여 표시하는 것이므로 아무래도 복잡한 집합 관계는 표현하기 힘들다. 또한, 벤 다이어그램은 증명에 사용될 수 없다! 증명을 제대로 배우지 못한 학생들에게 집합 증명 문제를 주면 벤 다이어그램을 그려오는 학생들이 상당히 많은데, 그 증명을 보는 사람에게 직관적인 이해를 돕기 위해 사용할 수는 있어도, 증명으로서의 가치는 없다. 명심하자. 이유에 대해서는 해당 문서를 참고하라.


3.5. 집합의 크기[편집]


원소의 개수를 뜻한다. 보통 절댓값 혹은 노름 기호를 사용해[7] [math(|A|)], [math(\|A\|)]로 표기한다.[8] 무한집합의 개수는 [math(\aleph)]를 쓴다. 카디널리티(cardinality) 라고도 한다.


3.6. 집합의 농도[편집]


집합이 얼마나 많은 원소를 가지고 있는가, 어느 집합이 더 많이 원소를 가졌는가의 개념을 생각할 수 있다. 그 비교는 일반적으로 두 집합 사이에 일대일 대응(bijection,one-to-one correspondence)이 존재하는가, 그렇지 않다면 어느 집합에서 어느 집합으로 일대일 함수(injection,one-to-one)가 존재하는가 등을 통하여 이루어진다. 두 집합 사이에 일대일 대응 함수(bijection)가 존재하면 두 집합의 크기가 같다고 정의한다. 만약 비교 대상이 유한집합인 경우, 간단히 원소를 하나씩 센 결과를 그 척도로 쓰면 편리할 것이다. 따라서 [math(|A|)] 혹은 [math(\|A\|)], [math(\mathrm{card}\,A)]로 유한집합 [math(A)]의 원소의 수를 나타낸다. 중고등학교 교육과정에서 사용하는 [math(n(A))]는 대학교 학부 이상의 수학에선 사용하지 않는 표기.

무한집합에서도 [math(|A|)]의 개념을 만들 수 있는데, 대신에 '크기'라고 부르기보다는 '농도' 또는 '기수(cardinal)'라고 불린다. 표기법도 똑같이 [math(|A|)], [math(\|A\|)], [math(\mathrm{card}\,A)]인데, 유한집합에서는 하나씩 세는 과정, 즉 자연수 개념을 이용했다면 무한집합에서는 초한기수(cardinal number)라는 새로운 개념을 이용하여 정의한다. 농도는 사실상 크기와 유사한 개념이라, 집합론이 아닌 맥락에서 집합의 농도를 이야기하는 다른 분야의 수학책에선 size라 간단히 말하기도 하며, 집합론 내에서도 농도 자체에 크기 개념을 적용한 Large cardinal 같은 용어도 있다.

소수의 집합, 자연수의 집합, 정수의 집합, 유리수의 집합은 모두 농도가 같지만, 실수의 집합은 이보다 농도가 크다. 그리고 실수의 집합과 복소수의 집합, 사원수의 집합의 농도는 같다. 이 신비한 사실이 성립하는 이유는, 유한집합과 달리 무한집합은 자신과 자신의 진부분집합간에 1:1 대응이 존재할 수 있기 때문이다. 데데킨트는 이부분에 착안하여 이것을 가지고 무한집합을 정의하기도 하였다. 이 때문에 무한집합의 농도 비교는 비수학전공자가 가장 많이 헷갈리는 개념 중 하나. 오죽하면 무한집합의 농도 비교, 0.999…=1 , 몬티 홀 문제를 '3대 인터넷 수학 떡밥'이라고까지 할까.


4. 집합의 종류[편집]


가나다순으로 정렬한다. 함께 설명하면 좋을 개념들이 있지만, 목차나 Ctrl+F로 원하는 내용을 찾아 읽기 바란다.

4.1. 곱집합[편집]


/ product set

여러 집합의 각 원소들로 이루어진 순서쌍의 집합. 두 개의 집합 [math(A)], [math(B)]가 있을 때 '[math(A)]와 [math(B)]의 곱집합'은 [math(A\times B=\{(a,\,b)|a\in A)] 그리고 [math(s\in X\})]로 쓰인다. 예를 들어 [math(A=\{0,\,1\})] 이고 [math(B=\{2,\,3,\,4\})]이라면 [math(A\times B=\{(0,\,2),\,(0,\,3),\,(0,\,4),\,(1,\,2),\,(1,\,3),\,(1,\,4)\})]이다. 또, [math(A^n)]으로 표시하면 [math(A)]끼리 [math(n)]번 곱했다는 의미이며, 이를 이용해 좌표계[math(\mathbb{R}^n)]으로 정의하곤 한다. 순서쌍은 각 성분의 순서를 바꾸면 다르게 취급하므로 집합의 곱은 교환법칙이 성립하지 않는다.[9] 행렬이나 벡터와 깊은 연관성이 있어 선형대수학 이상의 수학에서 어마어마하게 쓰이는 개념. 곱집합이라고도 하지만, 카테시안 곱(Cartesian Product)이라고도 부른다. 단, 곱하는 집합 중에 공집합이 존재할 경우, 그 결과물은 공집합이 된다.[10]

무한 개의 집합에 대해서도 곱집합을 정의할 수 있는데, 가산 개의 집합의 곱이라면 그 원소들에 대해 위의 순서쌍 표기법을 그대로 사용할 수 있지만, 비가산 개의 곱이라면 더이상 이러한 표기법을 사용할 수 없다. 그래서 이 경우에는 곱집합의 원소를 순서쌍 대신 함수로 표현하여 다음과 같이 정의한다.
임의의 집합모임 [math(\{A_i\}_{i\in I})]에 대하여 [math(A_i)]들의 곱집합 [math(\prod_{i=I}A_i)]는 첨수집합 [math(I)]에서 [math(A_i)]들의 합집합으로 가는 함수 중 각 [math(i\in I)]에 대하여 [math(f(i))]가 [math(A_i)]의 원소인 함수들을 모은 집합으로 정의한다. 수학적인 표기법을 사용하면 [math(\prod_{i=I}A_i:=\{f:I\to \bigcup_{i\in I}A_i|\forall i\in I\;\; f(i)\in A_i \})]가 된다.
위와 같은 일반화된 정의는 유한 개의 곱에 대하여 맨 처음에 정의한 순서쌍을 이용한 정의와 동치인데, 위에서 정의한 두 개의 집합 [math(A)], [math(B)]를 통해 확인하여 보자.

편의상 [math(I=\{1,2\})]로 놓고 [math(A=A_1)], [math(B=A_2)]라고 놓자. 그러면 위에서 순서쌍 표기법으로 [math(A\times B)]의 원소 [math((0,2))]는 함수 표기법으로 [math(f(1)=0)], [math(f(2)=2)]인 함수에 대응시킬 수 있고, 또 다른 원소 [math((1,4))]는 [math(f(1)=1)], [math(f(2)=4)]인 함수에 대응시킬 수 있다. 나머지 원소들도 비슷하게 대응시키면 순서쌍 표기법과 함수 표기법 사이에 일대일 대응 관계가 있으며, 따라서 [math(A\times B)]를 어느 쪽으로 표기해도 상관 없음을 알 수 있다.


쉬운 버전
곱집합(카티션 프로덕트)은 집합 A와 집합 B의 곱셈을 의미한다. 만약 집합 A에 (1, 2)가 있으며 집합 B에 (5, 6)이 있다면 곱집합을 수행 시 아래의 절차가 수행된다.

수행 1. = 1 * 5
수행 2. = 1 * 6
수행 3. = 2 * 5
수행 4. = 2 * 6

문장으로 "A와 B의 곱집합은 (5, 6, 10, 12)이다." 라고 적을 수 있다. 관계대수에서 곱집합(카티션 프로덕트)의 기호는 × 로 표현된다.

4.2. 공집합[편집]


/ empty set

[math(\|A\| = 0)], 즉 원소가 없는 집합. 따라서 모든 집합의 부분집합이 될 수 있다. 공집합 역시 직관적으로 받아들이고 시작하는 개념 중 하나. 집합세계에서의 0이라고 생각하면 된다. 공리적 집합론에선 공리를 통해 공집합의 존재성을 보일 수 있다. 또는 아예 처음부터 공집합이 존재한다는 공리(존재 공리, axiom of existence)를 깔기도 한다. 집합론의 추상성을 처음 느낄 수 있는 개념이다.

공집합을 나타내는 고유의 기호는 ∅, 즉 [math(\emptyset)] 또는 [math(\varnothing)], 유니코드로는 U+2205이다. 알파벳 Ø에서 따온 것이나, 공집합을 숫자 0처럼 동그라미, 또는 동그라미에 사선이 그어진 형태로 나타낸 것에서 왔다고 볼 수도 있다. 간혹 편의상 알파벳 Ø을 그대로 사용하거나 비슷하게 생긴 그리스문자 Φ([math(\phi)])로 대체하는 책이나 논문도 있다. 한때 중고등학교 교과서 등에서도 그리스 문자로 나타내었기에 제대로 알고 있지 않은 경우가 많다. 그리스문자에서 따온 것이 아니므로 파이라고 읽지 않아야 한다.[11]

0은 분명히 하나의 수이므로, 수 0만을 원소로 가지고 있는 집합은 원소가 1개인 집합이지 공집합이 아니다. 마찬가지로 공집합을 원소로 가진 집합 또한 원소가 1개인 집합이지 공집합이 아니다. 쉽게 말해 ∅와 {∅}의 차이라고 생각하면 된다.

4.3. 교집합[편집]


/ intersection

여러 집합의 공통적으로 포함된 원소를 모은 집합. '[math(A)]와 [math(B)]의 교집합'은 [math(A\cap B=\{a|a\in A)] 그리고 [math(a\in B\})]라 쓴다. 합집합처럼 인덱스를 사용한 표기법이 존재하며 [math(\displaystyle \bigcap_{i\in I} A_i)]와 같이 사용한다.

쉬운 버전


교집합(인터섹션)은 집합 A와 집합 B에 모두 해당되는 값을 의미한다. 만약 집합 A에 (1, 2)가 있으며 집합 B에 (5, 6)이 있다면 교집합이 없는 것이라고 할 수 있으며 만약 집합 C에 (1, 3)이 있다면 교집합의 값으로 [math(A\cap C)]로 표기된다.

관계대수에서 교집합(인터섹션)의 기호는 ∩ 로 표현되며, 마치 U를 뒤집어놓은 모습의 기호이다.

4.4. 멱집합[편집]


파일:나무위키상세내용.png   자세한 내용은 멱집합 문서를 참고하십시오.

/ power set

어떤 집합의 모든 부분집합을 모은 집합. '[math(A)]의 멱집합'은 멱집합의 영어 표기인 'power set'에서 [math(P)]를 따와 [math(\mathcal{P}(A))]로, 혹은 [math(2^A)]로 표현한다. 예를 들어 [math(\mathcal{P}(\{1,\,2,\,3\})=\{ \varnothing,\,\{1\},\,\{2\},\,\{3\},\,\{1,\,2\},\,\{1,\,3\},\,\{2,\,3\},\,\{1,\,2,\,3\}\})]. 추가로, 어떤 집합의 멱집합은 그 집합에 대해 위상을 이루는데, 이 위상을 이산위상이라 하고 [math(A)]에 대한 이산위상을 [math((A,\,D))]로 나타낸다. 이산위상의 모든 원소는 개집합이면서 동시에 폐집합이다. 현대 집합론에서 멱집합이 존재한다는 것은 공리로 받아들인다. 동시에 어떤 집합의 멱집합은 항상 원래 집합보다 크다. 유한 집합이든 무한 집합이든 상관없이. 자세한건 대각선 논법 참조


4.5. 부분집합[편집]


/ subset

한 집합의 원소들로만 구성한 집합. 공집합은 모든 집합의 부분집합이며, 모든 집합은 자기 자신의 부분집합이다. '[math(A)]는 [math(B)]의 부분집합이다.'는 [math(A\subset B)] 또는 [math(A\subseteq B)]로 표현한다. 부분집합이되 원래 집합과 같지 않은 집합을 진부분집합(proper subset)이라고도 부르기도 하며 [math(A \subsetneq B)] 로 나타낸다.[12][주의] 중고등학교 교육과정에선 진부분집합이더라도 전자([math(A\subset B)])만을 사용한다.


4.6. 상등[편집]


파일:다른 뜻 아이콘.svg
은(는) 여기로 연결됩니다.
복소수의 상등에 대한 내용은 복소수 문서
3.2번 문단을
복소수# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
참고하십시오.




/ equality

서로 같은 집합을 말한다. '[math(A)]가 [math(B)]의 부분집합이면서 동시에 [math(B)]가 [math(A)]의 부분집합인 경우', 즉 [math(A\subset B)]이면서 [math(B\subset A)]도 성립하는 경우 등호를 써서 [math(A=B)]로 나타낸다. 예를 들어, 집합 [math(A)]를 '2의 배수인 자연수'로 정의하고 집합 [math(B)]를 '짝수인 자연수'로 정의하면 [math(A)]와 [math(B)]는 둘 다 [math(\{2,\,4,\,6,\,8,\,10,\,\cdots\})] 이렇게 똑같이 가므로, 이 때 '[math(A)]와 [math(B)]는 상등'이 성립한다. 앞서 말한 '진부분집합'은 '부분집합이지만 상등은 성립하지 않는 집합'을 말하는 것이다.


4.7. 여집합[편집]


/ complement

전체집합 [math(U)]가 먼저 결정되어 있을 때, 해당 집합의 원소를 제외한 나머지를 모은 집합. 따라서 여집합은 전제집합의 존재를 전제로 하는 개념이다. 일반적으론 [math(A^c)]로 [math(c)]를 그 집합 위에 지수 표기로 작게 써서 나타내고 여집합 기호 [math(\complement)]를 쓰는 경우 [math(\complement A)] 혹은 전체집합 [math(U)]를 명시하고자 한다면 [math(\complement_UA)]로도 나타낸다. 한편, 포함 관계를 따져보면 여집합은 차집합과 동치이므로 전체집합에서 [math(A)]를 차집합한다는 의미로 [math(U \setminus A)]로 쓰는 경우가 더 많다. 예를 들자면 무리수 집합을 나타내는 [math(\complement\mathbb Q)] 의 경우, 전체 집합을 암묵적으로 실수로 보는 경우이다. 복소수를 전체집합으로 본다면 [math(\complement\mathbb Q)] 는 무리수가 아닐 수 있기 때문에 명확하게 표현하기 위해 차집합 기호([math(\setminus)])를 쓰는 것.


4.8. 전체집합[편집]


/ universal set

전체집합을 단순하게 '다루는 모든 대상을 포함하는 집합'이라고만 정의하면 러셀의 역설과 같은 모순이 일어나기 때문에 집합론을 엄밀하게 전개하게 된 뒤로는 이러한 집합을 인정하지 않는다. 대신 NBG나 MK에서는 '모든 집합의 클래스'는 존재한다. 때로는 '다루고자 하는 대상을 충분히 많이 포함하고 있는 집합이 존재한다' 등과 같은 가정을 집합론에 추가해서 살펴보기도 한다.(weakly inaccessible cardinal, Grothendieck universe 등 참조)

고등학교 교과서에서는 '주어진 집합에 대하여 그 부분집합을 생각할 때, 처음에 주어진 집합을 전체집합'으로 정의하여 러셀의 역설을 회피한다.


4.9. 중복집합[편집]


/ multiset

동일한 원소가 둘 이상 있는 집합. 중복집합의 크기는 중복조합을 이용해 구할 수 있다.

4.10. 집합족[편집]


/ family of sets

집합의 원소가 집합인 집합. 곱집합과 멱집합은 집합족의 특수한 경우이다. 이 개념은 중고등학교 과정에서는 상대적으로 소홀히 다뤄지는 편이지만, 집합론, 그리고 집합론을 기본기 삼아 별별 기괴한 집합을 꾸려나가는 실해석학, 위상수학 등 전공수학 고급과정에서 학습자의 뒤통수를 후려갈긴다.

볼드체로 쓰는 경우가 많은 벡터와 비슷하게 (특히 추상공간의) 집합족은 필기체로 표기하는 암묵의 룰이 있다.

통계학에서 자주 쓰이는 예로는 지수족이 있다.

4.11. 차집합[편집]


/ difference of sets

두 집합 사이의 겹치는 원소를 제외하는 연산. '[math(A)] 차집합 [math(B)]'는 [math(A-B)] 또는 [math(A \setminus B)]라 쓴다. 조건제시법으론 [math(A-B=\{a|a\in A \rm{~and~} \it a\notin B\})].


4.12. 포함집합[편집]


/ superset

한 집합의 모든 원소를 포함하는 집합. 부분집합과 반대되는 개념이다. 모든 집합은 공집합의 포함집합이며, 모든 집합은 자기 자신의 포함집합이다. ‘[math(A)]는 [math(B)]의 포함집합이다.’는 [math(A\supset B)] 또는 [math(A\supseteq B)]로 표현한다. 부분집합에서의 진부분집합처럼, 포함집합이되 원래 집합과 같지 않은 집합을 진포함집합(proper superset)[13]이라 하고, [math(A\supsetneq B)] 로 나타낸다.[14]


4.13. 합집합[편집]


/ union

여러 집합의 원소를 모두 모은 집합. '[math(A)]와 [math(B)]의 합집합'은 [math(A\cup B=\{a|a\in A)] 또는 [math(a\in B\})]라 쓴다. 교집합과 합집합을 두 개의 집합이 아닌 여러 개의 집합에 대하여 행할 때는 합 기호([math(\sum)])를 사용할 때처럼 인덱스를 쓴다. [math(\displaystyle \bigcup_{i\in I} A_i)]와 같이 사용한다.


4.13.1. 분리합집합[편집]


/ disjoint union

합집합의 변형으로, 합집합 시 교집합을 따로 빼 놓는다고 생각하면 편하다. 기호도 합집합 기호를 각지게 쓰는 식([math(\sqcup)])이다. 마찬가지로 인덱스를 이용해 [math(\displaystyle{\bigsqcup_{i\in I}A_{i}}=\displaystyle{\bigcup_{i\in I}\left(A_{i}\times\{i\}\right)})]와 같이 사용한다.

4.14. 그 외[편집]


열린집합, 닫힌집합, 옹골집합해석학 또는 위상수학적 성질을 가진 집합들이 있다.


5. 관련항목 및 바깥고리[편집]


러셀의 역설을 제시하여 공리적 집합론의 필요성을 일깨운 수학자이자 철학자.
칸토어 집합론, 러셀의 역설, 힐베르트 형식주의로 이어지는 집합론/수리논리의 역사가 설명되어 있다.


파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-12-18 06:47:35에 나무위키 집합 문서에서 가져왔습니다.

[1] 여담으로 이것 때문에 세대차이 해프닝들이 일어나기도 했다. ##[2] 수리논리 또는 컴퓨터과학의 결정 문제(decidable problem)를 생각하면 국립국어원의 설명은 미묘한 감이 있다.[3] 과학에서 다루는 원소와 같은 단어다.[4] 모든 집합의 모임이라는 것은 집합이 아니지만, 충분히 생각해볼 만한 것이다. 그 외에도 모든 벡터공간의 모임 등을 생각할 법하지만 그 크기나 너무나 커서 집합으로 정의하면 모순이 발생하는 것들이 있는데, 이들을 proper class(보통 '고유 모임'으로 번역한다)로 분류하고 이용하는 경우도 있다. NBG나 MK가 대표적이고 카테고리 이론에서도 class가 꽤 자주 나타난다.[5] 수학에서 상당히 자주 쓰는 표현인 존재 양화사 기호 [math(\exists)]와 헷갈리므로 [math(A\ni a)]는 거의 사용하지 않는다. 또한 오래된 논문이나 책에서는 간혹 그리스문자를 써서 [math(a~\varepsilon~A)]라고 쓰기도 한다.[6] 바(bar;|) 대신 콜론(:)을 사용하기도 한다.[7] 노름 기호를 차용했을 뿐, 노름은 아니다.[8] 고등학교 1학년 수학 과정에서는 number의 n을 딴 [math(n(A))]를 사용한다.[9] 엄밀히는 결합법칙도 성립하지 않으나, 보통 "[math(A\times B\times C= \{(a,\,b,\,c)|a\in A,\,b\in B,\,c\in C\})]"와 같이 '약속'한다. 이렇게 하지 않으면 [math(A\times B\times C)] 혹은 [math((A\times B)\times C)]의 일반원소가 [math(((a,\,b),\,c))]와 같이 되어 쓸데없이 복잡해진다. 따라서 후자의 엄밀한 표기가 필요한 경우는 저자가 명확하게 정의하고 넘어가야 한다. 다만 튜플 자체를 재귀적으로 [math((a,\,b,\,c) = ((a,\,b),\,c))]와 같이 정의하기도 하므로 문제가 되지 않을 수 있다.[10] 어떤 수이든 0을 곱하면 0이 되는 것과 마찬가지이다.[11] 어원은 다르지만 사실 파이라고 발음하는 것이 틀리다고 볼 순 없는 게 외국에서부터 파이라고 읽는다. 원주율 파이와는 문맥상으로만 구별한다. 우리말로 비유하면 2인칭 대명사 '너'와 '네'의 차이이다.[12] 진부분집합 기호에 해당하는 유니코드 문자도 등재되어 있다. ⊊(U+228A, SUBSET OF WITH NOT EQUAL TO).[주의] 경우에 따라 진부분집합을 [math(\subset)]으로, 일반적인 부분집합을 [math(\subseteq)]으로 쓰기도 하니 표기를 잘 확인해야 한다.[13] 대한수학회에서는 proper superset에 대한 한국어 용어를 수록하지는 않았다.[14] 부분집합에서와 같이, 경우에 따라 진포함집합을 [math(\supset)]으로, 일반적인 포함집합을 [math(\supseteq)]으로 쓰기도 한다.