유니언(집합 이론)
Union (set theory)집합론에서 집합 집합의 결합())은 [1]집합 내의 모든 원소의 집합이다.이것은 세트를 조합하여 서로 관련짓는 기본적인 조작 중 하나입니다.Nullary Union은 0 0 의 합을 의미하며, 정의상 빈 집합과 동일합니다.
이 문서에서 사용되는 기호에 대한 설명은 수리 기호 표를 참조하십시오.
두 집합의 합집합
두 세트의 A와 B의 결합은 A, B 또는 A와 [2]B에 모두 있는 요소의 집합이다.기호에서는
- " { : " x " { A \ B = \ { : \ \ {\ B \[3] 。
예를 들어, A = {1, 3, 5, 7} 및 B = {1, 2, 4, 6, 7}이면 A = {1, 2, 3, 4, 5, 6, 7}보다 자세한 예제는 다음과 같습니다(무한 세트 두 개 포함).
- A = {x는 1보다 큰 짝수 정수입니다.
- B = {x는 1보다 큰 홀수 정수입니다.
다른 예로는 소수 {2, 3, 5, 7, 11, …}과 짝수 집합 {2, 4, 6, 8, 10, …}의 조합에는 9가 소수도 짝수도 아니기 때문에 포함되지 않는다.
집합에는 중복 [3][4]요소가 있을 수 없으므로 집합 {1, 2, 3}과(와) {2, 3, 4}의 결합은 {1, 2, 3, 4}입니다.동일한 요소가 여러 번 발생해도 세트의 카디널리티 또는 내용에는 영향을 주지 않습니다.
대수적 성질
바이너리 결합은 관련 연산입니다.즉, 의 집합 A 에 대해{\ A, {\ 및 }}
따라서 괄호는 모호하지 않게 생략할 수 있습니다.상기의 어느쪽이든 C。{ \ B \ C. }또한 결합은 치환성이기 때문에 세트는 임의의 [5]순서로 쓸 수 있습니다.빈 집합은 결합 연산을 위한 ID 요소입니다.즉, 의 에 A" " "A , \ \ \ A , }.\ A .}또, 유니언 조작은 Idempotent 입니다 A A. { A \ A =. }이러한 속성은 모두 논리 분리에 관한 유사한 사실에 근거합니다.
교차로 분포 over union
U { U의 거듭제곱 집합과 결합, 교차 및 보완 연산은 부울 대수입니다.이 부울 대수에서, 결합은 다음 공식에 의해 교집합과 보완의 관점에서 표현될 수 있다.
유한 연합
동시에 여러 세트를 조합할 수 있습니다.예를 들어, A, B, C의 조합에는 A의 모든 요소, B의 모든 요소 및 C의 모든 요소가 포함되며, 다른 요소는 포함되지 않습니다.따라서 x가 A, B 및 C 중 적어도1개에 있는 경우에만 x는 A b B c C의 요소가 됩니다.
유한 결합은 유한한 수의 집합의 결합입니다. 이 문구는 결합 집합이 유한 [6][7]집합이라는 것을 의미하지 않습니다.
임의 결합
가장 일반적인 개념은 임의의 집합 집합의 결합이며, 때로는 무한 결합이라고 불립니다.M이 원소가 세트된 집합 또는 클래스일 경우, x는 M의 요소 A가 적어도 하나이고 x가 [8]A의 요소인 경우에만 M의 결합 요소이다.기호:
이 아이디어는 앞의 항을 상정하고 있습니다.예를 들어 A, B, C는 컬렉션 {A, B, C}의 결합입니다.또한 M이 빈 컬렉션인 경우 M의 합계는 빈 집합입니다.
표기법
일반적인 개념의 표기법은 상당히 다를 수 있습니다. }, 의 유한 조합에서는 종종 } \ 이라고 씁니다임의의 결합의 표기법에는 "" { 및"가 있습니다.이러한 표기법 중 마지막은 컬렉션{ : i I { \ { I\rightI는 인덱스 이고 는에 세트입니다(가 자연수 세트인 세트 I가1 a \ style일렬로 [8]늘어선
기호 """을 다른 기호들 사이에 놓는 것이 아니라 그 기호들 앞에 놓는 경우, 보통 더 큰 크기로 표현됩니다.
표기 부호화
Unicode unicode 、 U+222A union UNION the 。TeX , \ \는 \cup에서 렌더링됩니다.
「 」를 참조해 주세요.
- 집합 대수 – 집합과 관련된 동일성과 관계
- 교대(공식 언어 이론) - 문자열 집합의 결합
- 결합의 공리 – 공리 집합론의 개념
- 분리합집합 – 수학에서 집합 연산을 말합니다.
- 포함 – 제외 원리 – 조합학에서의 계수 기법
- 교차로(세트 이론) – 일부 세트에 공통되는 요소 집합
- 반복 바이너리 연산– 시퀀스에 대한 연산 반복 적용
- 세트 아이덴티티 및 관계 목록– 세트 조합에 대한 동등성
- 순진한 집합론 – 비공식 집합론
- 대칭적 차이– 2개의 세트 중 정확히 1개의 요소로 구성
메모들
- ^ Weisstein, Eric W. "Union". Wolfram's Mathworld. Archived from the original on 2009-02-07. Retrieved 2009-07-14.
- ^ a b "Set Operations Union Intersection Complement Difference Mutually Exclusive Partitions De Morgan's Law Distributive Law Cartesian Product". www.probabilitycourse.com. Retrieved 2020-09-05.
- ^ a b Vereshchagin, Nikolai Konstantinovich; Shen, Alexander (2002-01-01). Basic Set Theory. American Mathematical Soc. ISBN 9780821827314.
- ^ deHaan, Lex; Koppelaars, Toon (2007-10-25). Applied Mathematics for Database Professionals. Apress. ISBN 9781430203483.
- ^ Halmos, P. R. (2013-11-27). Naive Set Theory. Springer Science & Business Media. ISBN 9781475716450.
- ^ Dasgupta, Abhijit (2013-12-11). Set Theory: With an Introduction to Real Point Sets. Springer Science & Business Media. ISBN 9781461488545.
- ^ "Finite Union of Finite Sets is Finite - ProofWiki". proofwiki.org. Archived from the original on 11 September 2014. Retrieved 29 April 2018.
- ^ a b Smith, Douglas; Eggen, Maurice; Andre, Richard St (2014-08-01). A Transition to Advanced Mathematics. Cengage Learning. ISBN 9781285463261.
외부 링크
- "Union of sets", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- 무한 연합과 ProvenMath De Morgan의 법칙은 집합론의 공리에서 공식적으로 증명되었습니다.
이 문서에는 추가 카테고리 또는 보다 구체적인 카테고리가 필요합니다.(2021년 5월) |