부분집합

누리위키, 온 누리의 백과사전
ProtArie (토론 | 기여)님의 2013년 8월 29일 (목) 14:47 판
(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)

어떤 집합 [math]S[/math]집합 [math]X[/math]부분집합(subset)이라는 것은 [math]S[/math]의 원소가 모두 [math]X[/math]에도 있다는 것을 뜻한다. 예를 들어, [math]\{ 1,\ 2,\ 7 \}[/math][math]\{ 1,\ 2,\ 3,\ 7,\ 9 \}[/math]의 부분집합이다. [math]S[/math][math]X[/math]의 부분집합이라는 것을 기호로는 [math]S \subset X[/math]처럼 표현한다. 정의에 의하면, [math]X[/math]의 원소는 모두 [math]X[/math]에 있으므로, [math]X[/math][math]X[/math]의 부분집합이다. 즉, 어떤 집합은 스스로 그 집합의 부분집합이 된다. 자기 자신이 아닌 부분집합을 진부분집합이라고 한다.

성질[편집]

  • [math]X \subset X[/math]
  • [math]\subset X[/math]

만약 [math]S \subset X[/math]라면, 다음이 성립한다.

  • [math]x \in S \Rightarrow x \in X[/math]. (정의)
  • [math]S \cup X = X[/math].
  • [math]S \cap X = S[/math].
  • [math]S - X =[/math] .
  • [math]X^C \subset S^C[/math] (단, [math]X^C[/math][math]X[/math]여집합.)

임의의 두 집합 [math]X, Y[/math]에 대해 다음이 성립한다.

  • [math]X=Y \Leftrightarrow X \subset Y,\ Y \subset X[/math].
  • [math]X \subset \left( X \cup Y \right)[/math].
  • [math]\left( X \cap Y \right) \subset X[/math].

임의의 세 집합 [math]X, Y, Z[/math]에 대해 다음이 성립한다.

  • [math]X \subset Y, Y \subset Z \Rightarrow X \subset Z[/math].
  • [math]X \subset Y, X \subset Z \Rightarrow X \subset \left( Y \cap Z \right)[/math].
  • [math]X \subset Z, Y \subset Z \Rightarrow \left( X \cup Y \right) \subset Z[/math].