06. 차원의 한계: 동그라미 3개를 넘어서면?

1. 학습 목표 (Learning Objectives)

• 우리는 항상 $A, B, C$ 3개의 집합까지만 벤 다이어그램으로 그려왔습니다. 그 이유를 수학적 경우의 수와 차원의 한계로 깨닫습니다.
• 동그라미 4개를 이용하여 깔끔하고 대칭적인 벤 다이어그램을 절대로 그릴 수 없다는 기하학적 사실과 그 기괴한 타협 본(에드워즈-벤 다이어그램)을 살펴봅니다.

2. 벤 다이어그램의 교차 조건 (Power of 2)

완벽한 벤 다이어그램이 되려면, 단 하나의 구역도 빼놓지 않고 ‘모든 논리적 교차 경우의 수’를 도화지 위에 오롯이 만들어내야 합니다.

집합이 1개면, (원 안), (원 밖) $\rightarrow$ $2^1$ = 2개 영역 집합이 2개면, (순수A), (순수B), (교집합), (원 밖) $\rightarrow$ $2^2$ = 4개 영역 집합이 3개면, (A,B,C 각각), (A∩B, B∩C, A∩C), (A∩B∩C), (원 밖) $\rightarrow$ $2^3$ = 8개 영역

여기까진 동그란 원 3개를 삼각형 모양(미키마우스 얼굴)으로 나란히 예쁘게 겹치면 아주 깔끔하게 8개의 조각 타일 방이 만들어집니다! 수학 교과서가 3개짜리까지만 나오는 이유는 이것이 평면(2D) 도화지에 ‘원(Circle)’이라는 도형으로 그릴 수 있는 미학적 극한이기 때문입니다.

3. 원 4개의 재앙: 그릴 수 없는 영역

자, 집합 D가 난입하여 무려 4개의 집합을 한 장에 그려야 한다고 해보겠습니다. 이 그림은 도합 $2^4$ = 16개의 교차 영역 방을 만들어내야만 존 벤의 엄격한 룰을 통과할 수 있습니다.

그런데… 아무리 컴퍼스를 돌려 원 4개를 최대한 우겨넣고 포개어 겹쳐 그려도, 대칭적이고 예쁜 ‘완벽한 동그라미(Circle)’ 4개로는 절대로 16조각을 만들어 낼 수 없습니다! 아무리 발버둥 쳐도 1~2개의 타겟팅 교차 영역이 필연적으로 누락되어 버리는 2D 평면 기하학의 재앙(모순)이 발생합니다.

4. 뒤틀린 기하학: 에드워즈-벤 다이어그램

그래서 수학자들은 4개 이상의 벤 다이어그램을 그려야 할 땐, 우아한 동그라미를 포기합니다. 대신 기괴하게 찌그러진 타원형이나, 땅콩 껍질 모양, 톱니바퀴 모양으로 외곽선을 찌그러뜨려서 억지로 16조각, 32조각의 방을 만들어 냅니다.

영국의 통계학자 A. W. F. 에드워즈는 원 대신 톱니바퀴 곡선을 층층이 두르는 기괴한 프랙탈 구조(Edwards-Venn Diagram)를 만들어내어, 집합이 10개든 20개든 시각적으로 쪼갤 수 있는 무한 다이어그램 구조를 증명했습니다. 하지만 너무나 어지럽고 찌그러진 거미줄 같아서 인간의 눈으로는 더 이상 직관적으로 알아볼 수가 없는 그로테스크한 모습입니다.

이처럼 무결하게 예쁜 원 3개까지만 등장하는 우리 교과서의 벤 다이어그램은, 사실 2차원 평면이 인간에게 허락한 “가장 직관적이고 아름다운 정보 시각화의 마지노선” 이었던 것입니다!

5. 학습 정리 (Summary)

1. $2^N$ 영역 분할 법칙: $n$ 개의 집합이 얽힌 온전한 벤 다이어그램은 반드시 $2^n$ 개의 쪼개진 교차 퍼즐 조각 구역을 생성해 내야만 합니다 (집합 3개면 바깥 여집합 구역을 포함하여 총 8조각).
2. 원(Circle)의 4차원적 한계: 대칭을 이루는 완벽한 동그라미 모양으로는 $n=3$ 단계가 극한의 한계선이며, 원소 그룹이 4개 이상으로 넘어가는 순간 기하학적 한계에 부딪혀 타원이나 볼록 렌즈 모양으로 도면을 끔찍하게 왜곡시켜야만 논리 구역 분할이 가능합니다.