부분집합의 개수를 구하는 방법을 기억하고 있죠? 부분집합의 개수는 원소의 개수만큼 2를 거듭제곱 하는 거죠.

A = {1, 2, 3, 4, 5}이라면 2⁵ = 32니까 부분집합의 수는 32개네요.

이제 여기서 조금 더 어려운 문제를 풀어보죠. A의 부분집합 중에서 2가 들어있지 않은 부분집합의 개수는 몇 개일까요? 반대로 2를 반드시 포함하는 부분집합의 개수는 몇 개일까요?

특정 원소를 포함하지 않는 부분집합의 개수

A = {1, 2, 3, 4, 5}일 때, 2를 포함하지 않는 부분집합을 구해보죠.

1. 원소가 하나도 없는 공집합:
2. 원소가 한 개인 부분집합: {1}, {3}, {4}, {5}
3. 원소가 두 개인 부분집합: {1, 3}, {1, 4}, {1, 5}, {3, 4}, {3, 5}, {4, 5}
4. 원소가 세 개인 부분집합: {1, 3, 4}, {1, 3, 5}, {1, 4, 5}, {3, 4, 5}
5. 원소가 네 개인 부분집합: {1, 3, 4, 5}

직접 구해봤더니 16개네요.

좀 더 쉬운 방법으로 구해볼까요? A라는 집합에 애초부터 2라는 원소가 없다고 생각해보세요. 그리고 A대신 B라고 이름 붙여볼까요? B = {1, 3, 4, 5}라는 집합이 되겠네요. 이 집합의 부분집합의 개수는 2⁴ = 16, 총 16개네요.

처음부터 2라는 원소를 가지고 있지 않다면 당연히 그 집합의 부분집합에는 2라는 원소가 포함되지 않겠죠. 이 방법을 이용해서 A의 부분집합 중 2를 포함하지 않는 부분집합을 구하면 16개가 나와요.

그럼 A의 부분집합 중 2와 4를 포함하지 않는 부분집합의 개수도 구할 수 있겠네요. 처음부터 2, 4를 포함하고 있지 않다고 생각하면 C = {1, 3, 5}가 되고, 원소의 개수는 세 개, 2³ = 8, 8개가 되겠네요.

정리해보면 특정한 원소를 포함하지 않는 부분집합의 개수는 원래 원소 개수에서 특정한 원소 개수를 뺀 만큼 2를 거듭제곱하는 겁니다.

특정 원소를 포함하는 부분집합의 개수

이번에는 반대로 반드시 2를 포함하는 부분집합의 개수를 구해볼까요?

2를 포함하는 부분집합은 2를 포함하지 않는 부분집합에서 구하면 쉬워요. 2를 포함하지 않는 부분집합을 모두 구한 다음에 거기에 2를 집어넣으면 되거든요.

위에서 직접 구해본 부분집합이 있죠. 거기에 전부 다 2를 집어넣어 볼게요.

1. 원소가 하나도 없는 공집합: {2}
2. 원소가 한 개인 부분집합: {1, 2}, {2, 3}, {2, 4}, {2, 5}
3. 원소가 두 개인 부분집합: {1, 2, 3}, {1, 2, 4}, {1, 2, 5}, {2, 3, 4}, {2, 3, 5}, {2, 4, 5}
4. 원소가 세 개인 부분집합: {1, 2, 3, 4}, {1, 2, 3, 5}, {1, 2, 4, 5}, {2, 3, 4, 5}
5. 원소가 네 개인 부분집합: {1, 2, 3, 4, 5}

모든 부분집합이 2를 포함하고 있어서 원소의 개수가 한 개씩 늘었어요. 부분집합의 개수는 총 16개고요.

2를 포함하는 부분집합은 2를 포함하지 않는 부분집합에 원소 2를 집어넣어서 찾았어요. 그렇다면 그 개수는 몇 개일까요? 2를 포함하는 부분집합의 개수와 2를 포함하지 않는 부분집합의 개수는 같아요.

그래서 2를 포함하는 부분집합의 개수는 2를 포함하지 않는 부분집합의 개수를 구하는 것과 똑같은 방법으로 구합니다.

2⁴ = 16 개입니다.

부분집합의 개수 구하기

n(A) = n일 때
집합 A의 부분집합의 개수 = 2ⁿ
집합 A의 진부분집합의 개수 = 2ⁿ - 1
특정원소 k개를 포함하지 않는 부분집합의 개수 = 2^{n - k}
특정원소 k개를 포함하는 부분집합의 개수 = 2^{n - k}
특정원소 k개 중 적어도 한 개를 포함하는 부분집합의 개수 = 2ⁿ - 2^{n - k}

진부분집합은 자기 자신을 제외한 부분집합이니까 전체 부분집합의 개수에서 1을 빼서 구해요.

특정 원소 k개를 포함하지 않는 부분집합은 애초부터 그 원소를 포함하지 않은 집합으로 생각하면 됩니다. 애초부터 원소에 포함되지 않았으면 부분집합에도 포함되지 않으니까요. 또 특정 원소 k개를 포함하는 부분집합은 특정 원소 k개를 포함하지 않는 부분집합에 그 원소들을 넣어주는 것으로 생각하면 쉬워요. 따라서 둘은 개수가 서로 같은 거예요.

마지막에 있는 게 처음으로 나오는 건데요. 적어도 한 개가 들어있는 것의 개수를 바로 구하기 어려우니까 반대로 생각해봤어요. 적어도 한 개를 포함하는 것의 반대는 하나도 들어있지 않은 거잖아요. 그래서 전체에서 한 개도 들어있지 않는 부분집합의 개수를 빼서 구하는 거죠. 하나도 들어있지 않는 부분집합의 개수는 (특정원소 k개를 포함하지 않는 부분집합의 개수)에요.
(특정 원소 k 개중 적어도 하나를 포함하는 부분집합의 개수)
= (전체 부분집합의 개수) - (특정 원소 k개를 포함하지 않는 부분집합의 개수)

집합 A = {1, 2, 3, 4, 5}일 때 다음을 구하여라.
(1) 2, 4를 포함하지 않는 부분집합의 개수
(2) 2, 4를 반드시 포함하는 부분집합의 개수
(3) 2, 4중 적어도 하나를 포함하는 부분집합의 개수

(1) 2, 4를 포함하지 않는 부분집합의 개수를 구하라고 했는데, 애초부터 A라는 집합이 2, 4를 포함하지 않았다고 생각해보죠. 이 집합을 B라고 한다면 B = {1, 3, 5}예요. (B의 부분집합의 개수) = (2, 4를 포함하지 않는 부분집합의 개수)이므로 2³ = 8이에요.

공식을 이용해서 바로 구해보면 n(A) = 5이고, 2, 4라는 두 개의 원소를 포함하지 않으니까 2^{5 - 2} = 2³ = 8(개)이에요. 공식으로 바로 구해도 같네요.

(2)번은 (1)에서 구한 B의 부분집합에는 2, 4가 들어있지 않으니까 거기에 2, 4를 모두 넣어준다고 생각하면 돼요. 따라서 개수가 같죠. 8개에요.

(3)번 2, 4중 적어도 하나를 포함한다는 건 2를 포함하거나 4를 포함하거나 2, 4 둘 다를 포함하는 거예요. 전체 부분집합의 개수에서 2, 4를 둘 다 포함하지 않는 부분집합의 개수를 빼서 구해요. 2⁵ - 2^{5 - 2} = 32 - 8 = 24(개)

두 집합 A = {x|x는 5 이하의 자연수}, B = {1, 3, 5}일 때 B ⊂ X ⊂ A를 만족하는 X의 개수를 구하여라.

문제가 좀 복잡하네요. A = {1, 2, 3, 4, 5}, B = {1, 3, 5}

B ⊂ X니까 X는 B의 모든 원소를 포함하고 있어요. 그리고 X ⊂ A죠. 정리해보면 X는 B의 원소인 {1, 3, 5}를 포함하는 A의 부분집합이에요.

특정한 원소를 포함하는 부분집합의 개수를 구하는 공식을 사용하면 되겠네요.

2^{5 - 3} = 4

X를 직접 구하는 게 아니라 개수만 구하는 거니까 답은 4개입니다.