집합 — 수학의 언어

💡 왜 필요할까요?

데이터베이스의 SQL 쿼리 `WHERE A AND B`, `WHERE A OR B`, `WHERE NOT A`는 정확히 집합의 교집합($A \cap B$), 합집합($A \cup B$), 여집합($A^c$)입니다. 소셜미디어 피드 추천, 온라인 쇼핑 필터, 스팸 차단 등 모든 디지털 서비스가 집합 연산으로 작동합니다.

📜 역사 이야기

1874년, 독일의 수학자 게오르크 칸토어(Georg Cantor)는 수학계를 뒤흔드는 논문을 발표했습니다. "실수의 집합과 자연수의 집합은 크기가 다르다"는 것이었습니다. 무한이라도 크기가 다를 수 있다는 이 혁명적 발견은 동료 수학자들의 강한 반발을 불렀습니다. 특히 칸토어의 스승 크로네커는 "수학에서 무한을 다루는 것은 죄악"이라며 공개적으로 비난했습니다. 그러나 칸토어는 굴하지 않았습니다. 그는 원소(element), 집합(set), 부분집합(subset), 합집합(union), 교집합(intersection) 등의 개념을 엄밀히 정의하고, 집합 사이의 크기를 비교하는 '일대일 대응' 개념으로 무한의 위계를 세웠습니다. 자연수 집합 $\mathbb{N}$, 정수 집합 $\mathbb{Z}$, 유리수 집합 $\mathbb{Q}$는 모두 같은 크기(가산 무한)이지만, 실수 집합 $\mathbb{R}$은 더 큰 무한(비가산 무한)이라는 사실을 증명했습니다. 칸토어의 집합론은 처음에는 이단으로 여겨졌지만, 20세기에 이르러 현대 수학 전체의 언어이자 토대가 되었습니다. 함수도, 위상수학도, 논리학도 모두 집합론의 언어로 서술됩니다. 다비트 힐베르트는 "아무도 칸토어가 만든 낙원에서 우리를 쫓아낼 수 없다"는 말로 그의 업적을 기렸습니다. 안타깝게도 칸토어 자신은 동료들의 지속적인 비난과 반박 때문에 반복적인 우울증에 시달리며 생의 마지막을 정신병원에서 보냈습니다. 그러나 그가 남긴 집합의 언어는 오늘날 데이터베이스 SQL, 검색엔진의 AND/OR 연산, 머신러닝의 특성 집합까지 모든 정보 과학의 뿌리가 되어 살아 숨 쉬고 있습니다.

"수학의 본질은 그 자유로움에 있다."

🔬 직접 발견하기

📐 공식 이해하기

두 집합의 합집합 원소 개수를 구하는 포함-배제 원리입니다. 단순히 더하면 교집합 원소가 두 번 계산되므로 한 번 빼줍니다. 세 집합으로 확장하면 $n(A \cup B \cup C) = n(A)+n(B)+n(C)-n(A \cap B)-n(B \cap C)-n(A \cap C)+n(A \cap B \cap C)$입니다.

n(A)

집합 $A$의 원소 개수(원소의 수)

n(B)

집합 $B$의 원소 개수

n(A \cap B)

두 집합에 공통으로 속하는 원소 개수

n(A \cup B)

두 집합 중 적어도 한 집합에 속하는 원소 개수

1. 1
   벤 다이어그램에서 $A$와 $B$의 원소를 모두 합산하면 교집합 $A \cap B$가 두 번 포함됨
2. 2
   따라서 $n(A) + n(B)$에서 $n(A \cap B)$를 한 번 빼야 함
3. 3
   결론: $n(A \cup B) = n(A) + n(B) - n(A \cap B)$ — 포함-배제 원리

📝 퀴즈로 확인하기

📋 수능 기출 문제