부분집합



집합론에서 집합 B부분집합(部分集合, 영어: subset) A는, 모든 원소가 B에도 속하는 집합이다. 이런 관계를 주로 AB라 표기한다. 예를 들어 집합 {1, 2}는 {1, 2, 3}의 부분집합이다. 벤 다이어그램에서는 부분집합 관계를 하나가 하나를 완전히 감싼 두 원으로 나타낸다. A = B인 경우에도 A는 B의 부분집합이 되는데, 그렇지 않은 부분집합을 진부분집합(眞部分集合, 영어: proper subset)이라고 한다.

임의의 집합의 원소에 일정한 제약을 가해 그 집합의 부분집합을 만들 수 있다. 이는 ZFC의 분류 공리꼴에도 반영된다.

집합의 모든 부분집합을 모아놓은 집합을 멱집합이라고 한다.

목차

정의, 용어, 표기법


집합 A, B가 주어졌을 때, A의 모든 원소가 B의 원소인 경우, 즉

\({\displaystyle \forall x\in A:x\in B}\)

가 성립하는 경우, 집합 AB부분집합이라고 한다. AB포함된다, 또는 BA포함한다(영어: include, contain)고도 한다. 기호로는

\({\displaystyle A\subseteq B}\) 또는 \({\displaystyle B\supseteq A}\)

로 나타낸다.

AB의 부분집합이지만 같지는 않은 경우, 즉 AB의 부분집합이고, A에 속하지 않는 B의 원소가 적어도 하나 존재하는 경우, AB진부분집합이라고 한다. 기호로는

\({\displaystyle A\subsetneq B}\) 또는 \({\displaystyle B\supsetneq A}\)

로 나타낸다.

때로는 부분집합, 진부분집합 관계를 각각 \({\displaystyle \subset ,\subsetneq }\) 기호로 나타내거나, 각각 \({\displaystyle \subseteq ,\subset }\)로 나타낸다.

드물게 AB의 부분집합이라 하는 대신 BA초집합(超集合) 또는 상위집합(上位集合, 영어: superset), AB의 진부분집합이라 하는 대신 BA진초집합 또는 진상위집합이라 표현하는 경우도 있다.


세 집합 A = {1, 2}, B = {2, 3}, C = {1, 2, 3}이 있을 때, A, B의 모든 원소는 C의 원소이므로, A, B 둘 다 C의 부분집합이다(AC, BC). 나아가 A, B 둘 다 C와 같은 집합이 아니기 때문에 C의 진부분집합이다(A, BC). 또 AB에 포함되지도, B를 포함하지도 않는다.

성질


(부분집합 관계가 만족하는 더 많은 성질은 여기 참고)

모든 집합은 공집합과 자기 자신을 부분집합으로 갖는다. 어떤 집합의 부분집합을 모두 모아놓은 집합을 그 집합의 멱집합이라고 하는데, 이는 자연히 적어도 공집합과 그 집합을 원소로 둔다. 부분집합 관계는 집합의 멱집합 위에서 자주 다루어지며, 이는 부분순서의 전형적인 예이다.

같이 보기





분류: 집합론의 기본 개념


데이트: 15.03.2021 10:55:14 CET

출처: Wikipedia (저자들 [역사])    Lizenz: CC-by-sa-3.0

변화들: 모든 그림과 그와 관련된 대부분의 디자인 요소가 제거되었습니다. 일부 아이콘은 이미지로 대체되었습니다. 일부 템플릿이 제거되거나 (예 : "문서 확장 필요) 할당되었습니다. CSS 클래스가 제거되거나 조화되었습니다.
기사 또는 카테고리로 연결되지 않는 위키백과 특정 링크 (예 : "레드 링크", "편집 페이지 링크", "포털 링크")는 제거되었습니다. 모든 외부 링크에는 추가 이미지가 있습니다. 약간의 디자인 변경 외에도 미디어 컨테이너,지도, 내비게이션 상자 및 음성 버전이 제거되었습니다.

부디 을 알아차리다 주어진 콘텐츠는 주어진 시점에 위키백과에서 자동으로 가져 오기 때문에 수동 확인이 가능했고 불가능했습니다. 따라서 kowiki.org는 획득 한 콘텐츠의 정확성과 실제 성을 보장하지 않습니다. 현재 잘못된 정보 나 부정확 한 표시가있는 정보가있는 경우 언제든지 문의하기: 이메일.
또한보십시오: 법적 고지 & 개인 정보 정책.