| 수학기초론 Foundations of Mathematics | |||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | 다루는 대상과 주요 토픽 | ||
| 수리논리학 | 논리 · 논증{귀납논증 · 연역논증 · 귀추 · 유추} · 공리 및 공준 · 증명{증명보조기 · 자동정리증명 · 귀류법 · 수학적 귀납법 · 반증 · 더블 카운팅 · PWW} · 논리함수 · 논리 연산 · 잘 정의됨 · 조건문(조각적 정의) · 명제 논리(명제 · 아이버슨 괄호 · 역 · 이 · 대우) · 양상논리 · 술어 논리(존재성과 유일성) · 형식문법 · 유형 이론 · 모형 이론 | ||
| 집합론 | 집합(원소 · 공집합 · 집합족 · 곱집합 · 멱집합) · 관계(동치관계 · 순서 관계) · 순서쌍(튜플) · 서수(하세 다이어그램 · 큰 가산서수) · 수 체계 · ZFC(선택공리) · 기수(초한기수) · 절대적 무한 · 모임 | ||
| 범주론 | 범주 · 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 | ||
| 계산가능성 이론 | 계산 · 오토마타 · 튜링 기계 · 바쁜 비버 · 정지 문제 · 재귀함수 | ||
| 정리 | |||
| 드모르간 법칙 · 대각선 논법 · 러셀의 역설 · 거짓말쟁이의 역설 · 뢰벤하임-스콜렘 정리 · 슈뢰더-베른슈타인 정리 · 집합-부분합 정리 · 퍼스의 항진명제 · 굿스타인 정리 · 완전성 정리 · 불완전성 정리(괴델 부호화) · 힐베르트의 호텔 · 연속체 가설 · 퍼지 논리 | |||
| 기타 | |||
| 예비사항(약어 및 기호) · 추상화 · 벤 다이어그램 · 수학철학 | |||
| 틀:논리학 · 틀:이산수학 · 틀:이론 컴퓨터 과학 · 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 | }}}}}}}}} | ||
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\N\,|\,\N)]은 자연수의 집합, [math(2\le n\le4\})] 등이 된다.[6] 무한집합을 다룰 수 있으나 특정 객체가 집합의 원소인지 확인하는 건 어렵다. 가령 '무리수의 집합'이란 개념은 쉽지만, [math(e^\pi)]이 무리수인지(=무리수의 집합의 원소인지 아닌지)를 판단하는 건 원소나열법과는 달리 어렵다.
문장이나 식으로 조건을 제시하며, 제시된 문장이나 식이 달라도 원소만 모두 일치한다면 같은 집합이다.
3.4. 벤 다이어그램
Venn diagram집합은 원이나 타원 등의 단일폐곡선으로, 원소는 점으로 나타내 집합 간의 간단한 관계를 표현하는 다이어그램. 2차원 공간에 단순도식화하여 표시하는 것이므로 아무래도 복잡한 집합 관계는 표현하기 힘들다. 또한, 벤 다이어그램은 증명에 사용될 수 없다! 증명을 제대로 배우지 못한 학생들에게 집합 증명 문제를 주면 벤 다이어그램을 그려오는 학생들이 상당히 많은데, 그 증명을 보는 사람에게 직관적인 이해를 돕기 위해 사용할 수는 있어도, 증명으로서의 가치는 없다. 명심하자. 이유에 대해서는 벤 다이어그램 문서를 참고하라.
3.5. 집합의 크기
원소의 개수를 뜻한다. 보통 절댓값 혹은 노름 기호를 사용해[7] [math(|A|)], [math(\|A\|)]로 표기한다.[8]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(\operatorname{card}A)]인데, 유한집합에서는 하나씩 세는 과정, 즉 자연수의 개념을 이용했다면, 무한집합에서는 초한기수라는 새로운 개념을 이용하여 정의한다. 농도는 사실상 크기와 유사한 개념이라, 집합론이 아닌 맥락에서 집합의 농도를 이야기하는 다른 분야의 수학책에선 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(b\in B\})]로 쓰인다. 예를 들어 [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(R)][math(^n)]으로 정의하곤 한다. 순서쌍은 각 성분의 순서를 바꾸면 다르게 취급하므로 집합의 곱은 교환법칙이 성립하지 않는다.[9] 행렬이나 벡터와 깊은 연관성이 있어 선형대수학 이상의 수학에서 어마어마하게 쓰이는 개념. 곱집합이라고도 하지만, 카테시안 곱(Cartesian product)이라고도 부른다. 단, 곱하는 집합 중에 공집합이 존재할 경우, 그 결과물은 공집합이 된다.[10]
무한 개의 집합에 대해서도 곱집합을 정의할 수 있는데, 가산 개의 집합의 곱이라면 그 원소들에 대해 위의 순서쌍 표기법을 그대로 사용할 수 있지만, 비가산 개의 곱이라면 더이상 이러한 표기법을 사용할 수 없다. 그래서 이 경우에는 곱집합의 원소를 순서쌍 대신 함수로 표현하여 다음과 같이 정의한다.
| 임의의 집합모임 [math(\{A_i\}_{i\in I})]에 대하여 [math(A_i)]들의 곱집합 [math(\displaystyle\prod_{i=I}A_i)]는 첨수집합 [math(I)]에서 [math(A_i)]들의 합집합으로 가는 함수 중 각 [math(i\in I)]에 대하여 [math(f(i))]가 [math(A_i)]의 원소인 함수들을 모은 집합으로 정의한다. 수학적인 표기법을 사용하면 [math(\displaystyle\prod_{i=I}A_i:=\{f:I\to \bigcup_{i\in I}A_i|\forall i\in I\;\; f(i)\in A_i \})]가 된다. |
편의상 [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)]를 어느 쪽으로 표기해도 상관 없음을 알 수 있다.
4.2. 공집합
空集合 / empty set[math(\|A\| = 0)], 즉 원소가 없는 집합. 따라서 모든 집합의 부분집합이 될 수 있다. 공집합 역시 직관적으로 받아들이고 시작하는 개념 중 하나. 집합세계에서의 0이라고 생각하면 된다. 공리적 집합론에선 공리를 통해 공집합의 존재성을 보일 수 있다. 또는 아예 처음부터 공집합이 존재한다는 공리(존재 공리, axiom of existence)를 깔기도 한다. 집합론의 추상성을 처음 느낄 수 있는 개념이다.
공집합을 나타내는 고유의 기호는 ∅(U+2205), 수식 환경에서는 [math(\emptyset)] 또는 [math(\varnothing)]이다. 니콜라 부르바키의 수괴이자 먼치킨이자 악명높은 장난꾸러기였던 앙드레 베유가 노르웨이어를 배우며[11] 접한 알파벳 Ø에서 따온 것으로 알려져 있으나, 형태가 형태이니만큼, 공집합을 숫자 0처럼 동그라미, 또는 동그라미에 사선이 그어진 형태로 나타낸 것에서 왔다고 볼 수도 있다. 간혹 편의상 알파벳 Ø을 그대로 사용하거나 비슷하게 생긴 그리스문자 Φ([math(\phi)])로 대체하는 책이나 논문도 있고, 이 알파벳을 언어에서 진짜로 써먹느라 혼동이 발생할 수밖에 없는 덴마크어, 노르웨이어 등 일부 언어권의 수학 교과서에서는 슬래시의 방향을 바꿔 ⦰라고 표기하기도 한다. 한국어에서는 대부분 문맥상으로 원주율 파이와 구분한다.
수 0은 분명히 하나의 수이므로, 수 0만을 원소로 가지고 있는 집합은 원소가 1개인 집합이지 공집합이 아니다. 마찬가지로 공집합을 원소로 가진 집합 [math(\{\varnothing\})] [12]또한 원소가 1개인 집합이지 공집합 [math(\varnothing)]이 아니다. 이러한 구분은 얼핏 보면 사소해 보이지만, 수학기초론에서 서수를 다루면서 [math(0=\varnothing)], [math(1=\{\varnothing\})], [math(2=\{\varnothing, \{\varnothing\}\})], [math(3=\{\varnothing, \{\varnothing\}, \{\varnothing, \{\varnothing\}\}\})] 등의 표기를 쓰기도 하니 절대 혼동하면 안된다.
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)]이 존재하며, 집합 [math(I=\{1,2,\ldots, n\})]일 경우 [math(\displaystyle \bigcap_{i\in I} A_i=A_1\cap A_2\cap\cdots\cap A_n)]이다.
교집합 기호는 캡(cap)이라고 읽는다.
4.3.1. 멱집합
冪集合 / 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.4. 부분집합
部分集合 / subset한 집합의 원소들로만 구성한 집합. 공집합은 모든 집합의 부분집합이며, 모든 집합은 자기 자신의 부분집합이다. '[math(A)]는 [math(B)]의 부분집합이다.'는 [math(A\subset B)] 또는 [math(A\subseteq B)]로 표현한다. 부분집합이되 원래 집합과 같지 않은 집합을 진부분집합(proper subset)이라고도 부르기도 하며 [math(A \subsetneq B)] 로 나타낸다.[13][14] 중고등학교 교육과정에선 진부분집합이더라도 전자([math(A\subset B)])만을 사용한다.
4.5. 상등
相等 / 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.6. 여집합
餘集合 / complement전체집합 [math(U)]가 먼저 결정되어 있을 때, 해당 집합의 원소를 제외한 나머지를 모은 집합. 따라서 여집합은 전제집합의 존재를 전제로 하는 개념이다. 일반적으론 [math(A^c)]로 [math(c)]를 그 집합 위에 지수 표기로 작게 써서 나타내고[15], 여집합 기호 [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.7. 전체집합
全體集合 / universal set전체집합을 단순하게 '다루는 모든 대상을 포함하는 집합'이라고만 정의하면 러셀의 역설과 같은 모순이 일어나기 때문에 집합론을 엄밀하게 전개하게 된 뒤로는 이러한 집합을 인정하지 않는다. 대신 NBG나 MK에서는 '모든 집합의 클래스'는 존재한다. 때로는 '다루고자 하는 대상을 충분히 많이 포함하고 있는 집합이 존재한다' 등과 같은 가정을 집합론에 추가해서 살펴보기도 한다. (weakly inaccessible cardinal, Grothendieck universe 등 참고)
고등학교 교과서에서는 '주어진 집합에 대하여 그 부분집합을 생각할 때, 처음에 주어진 집합을 전체집합'으로 정의하여 러셀의 역설을 회피한다.
4.8. 중복집합
重複集合 / multiset동일한 원소가 둘 이상 있는 집합. 중복집합의 크기는 중복조합을 이용해 구할 수 있다.
4.9. 집합족
集合族 / family of sets원소가 집합인 집합. 곱집합과 멱집합은 집합족의 특수한 경우이다. 이 개념은 중고등학교 과정에서는 상대적으로 소홀히 다뤄지는 편이지만, 집합론, 그리고 집합론을 기본기 삼아 별별 기괴한 집합을 꾸려나가는 실해석학, 위상수학 등 전공수학 고급과정에서는 학습자의 뒤통수를 후려갈긴다.
볼드체로 쓰는 경우가 많은 벡터와 비슷하게, (특히 추상공간의) 집합족은 필기체로 표기하는 암묵의 룰이 있다.
통계학에서 자주 쓰이는 예로는 지수족이 있다.
4.10. 차집합
差集合 / difference of sets두 집합 사이의 겹치는 원소를 제외하는 연산. '[math(A)] 차집합 [math(B)]'는 [math(A-B)] 또는 [math(A \setminus B)]라 쓴다. 조건제시법으론 [math(A-B = \{a|a\in A \ {\sf and} \ a\notin B\})].
전체집합을 생각한다면 A와 B의 여집합의 교집합이다.
4.11. 포함집합
包含集合 / superset한 집합의 모든 원소를 포함하는 집합. 부분집합과 반대되는 개념이다. 모든 집합은 공집합의 포함집합이며, 모든 집합은 자기 자신의 포함집합이다. ‘[math(A)]는 [math(B)]의 포함집합이다.’는 [math(A\supset B)] 또는 [math(A\supseteq B)]로 표현한다. 부분집합에서의 진부분집합처럼, 포함집합이되 원래 집합과 같지 않은 집합을 진포함집합(proper superset)[16]이라 하고, [math(A\supsetneq B)] 로 나타낸다.[17]
4.12. 합집합
合集合 / 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)]와 같이 표기하며, 집합 [math(I=\{1,2,\ldots n\})]일 경우 [math(\displaystyle \bigcup_{i\in I} A_i=A_1\cup A_2\cup\cdots\cup A_n)]이다.
합집합 기호는 컵(cup)이라고 읽는다.
4.12.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.13. 그 외
열린집합, 닫힌집합, 옹골집합 등 해석학 또는 위상수학적 성질을 가진 집합들이 있다.5. 관련항목 및 바깥고리
- 버트런드 러셀
러셀의 역설을 제시하여 공리적 집합론의 필요성을 일깨운 수학자이자 철학자. - 네이버 캐스트 괴델의 불완전성 정리
칸토어 집합론, 러셀의 역설, 힐베르트 형식주의로 이어지는 집합론/수리논리의 역사가 설명되어 있다. - 불완전성 정리
- 드모르간의 법칙
- 수 체계 집합
- 자연수 [math(\mathbb{N})]
- 정수 [math(\mathbb{Z})]
- 유리수 [math(\mathbb{Q})]
- 실수 [math(\mathbb{R})]
- 복소수 [math(\mathbb{C})]
- 허수 [math(\mathbb{C\setminus R})]
- 사원수 [math(\mathbb{H})]
- 팔원수 [math(\mathbb{O})]
- 벡터 공간 [math(\mathbb{V})]
- 정수론적 집합 및 집합족
- 유계
- 지시함수
- 초한기수
- 연속체 가설
- ZFC 공리계
- 선택 공리
- 논리 연산
[1] 여담으로 이것 때문에 세대차이 해프닝들이 일어나기도 했다. ##[2] 수리논리 또는 컴퓨터과학의 결정 문제(decidable problem)를 생각하면 국립국어원의 설명은 미묘한 감이 있다.[3] 과학에서 다루는 원소와 같은 단어다.[4] 모든 집합의 모임이라는 것은 집합이 아니지만, 충분히 생각해볼 만한 것이다. 그 외에도 모든 벡터공간의 모임 등을 생각할 법하지만 그 크기나 너무나 커서 집합으로 정의하면 모순이 발생하는 것들이 있는데, 이들을 proper class(보통 '고유 모임'으로 번역한다)로 분류하고 이용하는 경우도 있다. NBG나 MK가 대표적이고 카테고리 이론에서도 class가 꽤 자주 나타난다.[5] 수학에서 상당히 자주 쓰는 표현인 존재 양화사 기호 [math(exists)]와 헷갈리므로 [math(A\ni a)]는 거의 사용하지 않는다. 또한 오래된 논문이나 책에서는 간혹 그리스문자를 써서 [math(a~\varepsilon~A)]라고 쓰기도 한다.[6] 바(bar; |) 대신 콜론(:)을 사용하기도 한다. [math(\{x:0<x<1\})] 이런 식.[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] 수학적 업적도 역사에 남는 거물이지만 수학 외적으로 철학적으로도 조예가 깊었고 언어감각도 굉장히 뛰어난 인물이었다. 알자스 출신이라 프랑스어와 독일어를 기본으로 구사할 수 있었고 영어 또한 유창했으며 10대에 이미 그리스어, 라틴어로 <일리아스>나 <플라톤>을 읽을 수 있었으며 산스크리트어를 익혀 바가바드기타를 읽기도 했다. 심지어는 스웨덴 출신 수학자 미타그-레플러와 프랑스어, 독일어로 대화하면서 미타그-레플러가 흥분하여 스웨덴어 앞담화를 하는 말을 알아들을 정도였다.[12] 이게 공집합의 멱집합이다.[13] 진부분집합 기호에 해당하는 유니코드 문자도 등재되어 있다. ⊊(U+228A, SUBSET OF WITH NOT EQUAL TO).[14] 경우에 따라 진부분집합을 [math(\subset)]으로, 일반적인 부분집합을 [math(\subseteq)]으로 쓰기도 하니 표기를 잘 확인해야 한다.[15] 고등학교 1학년 수학 과정에서는 지수의 [math(C)]가 대문자이다. [math(A^c)]가 아닌 [math(A^C)].[16] 대한수학회에서는 proper superset에 대한 한국어 용어를 수록하지는 않았다.[17] 부분집합에서와 같이, 경우에 따라 진포함집합을 [math(\supset)]으로, 일반적인 포함집합을 [math(\supseteq)]으로 쓰기도 한다.