원천동고1수학과외: 공집합이 모든 집합의 부분집합인 까닭
원천동에서 학교 수업과 귀가 후 학습 시간이 겹치는 시기에는 공집합의 성질을 외운 뒤 다음 문제로 넘어가기 쉽다. 그러나 ∅ ⊆ A가 성립하는 이유를 말로 설명하지 못하면 집합의 포함관계를 묻는 문장에서 판단이 흔들린다.
“원소가 없는데 어떻게 포함될까?”라는 질문
집합 A={2, 5, 8}에 대하여 ∅ ⊆ A인지 판단해 보자. 부분집합의 뜻은 “∅의 모든 원소가 A의 원소이다”라는 명제다. 그런데 ∅에는 확인할 원소가 하나도 없다. 따라서 A에 속하지 않는 원소가 ∅ 안에서 발견될 수 없으며, 조건을 어기는 반례도 존재하지 않는다.
∅ ⊆ A는 A의 원소가 비어 있다는 뜻이 아니라, ∅의 원소가 모두 A에 들어 있다는 뜻이다.
예를 들어 A가 ∅이더라도 ∅ ⊆ ∅는 참이다. 또한 B={a}처럼 원소의 종류가 달라도 ∅ ⊆ B가 성립한다. 집합의 크기나 원소의 모양이 아니라, 포함관계의 조건을 검사해야 한다.
답안에서 빠진 것은 계산이 아니라 판단의 근거
수업에서 집합 문제를 푼 학생의 답안에는 “∅ ⊆ {1, 4, 7}”이라고만 적혀 있었고, 곧바로 다음 계산으로 넘어갔다. 마지막에 답의 범위나 부호를 따로 점검하지 않았으며, 공집합의 부분집합 성질을 말로 확인한 흔적도 없었다.
이 답은 결론 자체는 맞지만, 공집합이 모든 집합의 부분집합인 이유를 적용한 풀이로 보기 어렵다. 특히 문제에서 “다음 중 항상 참인 명제”를 고르라고 하면, 단순히 외운 기호만으로는 ∅⊆A와 A⊆∅를 구별하지 못할 수 있다. A={3}일 때 ∅⊆A는 참이지만 A⊆∅는 거짓이다. 3이 공집합의 원소가 아니기 때문이다.
부분집합 기호를 명제로 번역하기
오류를 고칠 때는 기호를 바로 외우지 않고 다음처럼 문장으로 바꾼다.
- ∅⊆A: ∅의 원소라면 A의 원소이다.
- A⊆∅: A의 원소라면 ∅의 원소이다.
첫 번째 문장은 검사할 공집합의 원소가 없으므로 거짓인 사례를 만들 수 없다. 반면 A에 원소가 하나라도 있으면 두 번째 문장은 거짓이다. 이 차이를 확인한 뒤에는 “공집합은 모든 집합의 부분집합”이라고만 적지 말고, 공집합에는 조건을 위반할 원소가 없기 때문이라고 근거를 덧붙인다.
조건이 하나 추가된 문장으로 확인하기
다음 문장을 새로 제시한다.
“집합 C={x|x는 4보다 작은 자연수}와 집합 D={x|x는 4의 배수}의 공통부분을 E라 할 때, E는 C의 부분집합인가?”
자연수를 1, 2, 3, …으로 보면 C={1,2,3}, D={4,8,12,…}이므로 E=C∩D=∅이다. 따라서 E⊆C이다. 이때 먼저 E가 공집합임을 확인하고, 이어서 “E의 원소가 모두 C에 속한다”는 뜻으로 부분집합 기호를 해석해야 한다.
조건을 하나 더 바꾸어 C={x|x는 4 이하의 자연수}로 만들면 C={1,2,3,4}이고, 여전히 D와의 공통부분은 {4}이다. 이 경우 E={4}이므로 E⊆C는 원소 4를 직접 확인하여 판단한다. 공집합일 때와 원소가 생겼을 때의 판단 과정을 구별하는지가 검증 기준이다.
짧은 복습 시간에 남길 한 줄
원천삼성아파트나 원천레이크아파트 생활권에서 귀가 후 시간이 짧더라도, 학교 프린트의 집합 문항을 정리할 때 기호만 다시 쓰지 않는다. “부분집합은 왼쪽 집합의 원소를 검사하는 관계이며, 왼쪽이 ∅이면 위반 원소가 없다”라는 한 줄을 답안 옆에 남긴다. 새 문장에서 공통부분이 ∅인지 먼저 찾아 같은 설명을 혼자 재현했다면 이 개념은 복습 목록에서 제외할 수 있다.