| Union (set Theory) |
Article Index for Union |
Website Links For Union |
Information AboutUnion (set Theory) |
|
''This article uses Mathematical Symbols .'' BASIC DEFINITION If ''A'' and ''B'' are sets, then the union of ''A'' and ''B'' is the set that contains all elements of ''A'' and all elements of ''B'', but no other elements. The union of ''A'' and ''B'' is usually written "''A'' ∪'' B''". Formally: : ''x'' is an element of ''A'' ∪ ''B'' If And Only If
(This is an ''inclusive'' "or".) For example, the union of the sets {1, 2, 3} and {2, 3, 4} is {1, 2, 3, 4}. The number 9 is ''not'' contained in the union of the set of Prime Number s {2, 3, 5, 7, 11, …} and the set of Even Number s {2, 4, 6, 8, 10, …}, because 9 is neither prime nor even. FINITE UNIONS More generally, one can take the union of several sets at once. The union of ''A'', ''B'', and ''C'', for example, contains all elements of ''A'', all elements of ''B'', and all elements of ''C'', and nothing else. Formally, ''x'' is an element of ''A'' ∪ ''B'' ∪ ''C'' if and only if ''x'' is in ''A'' or ''x'' is in ''B'' or ''x'' is in ''C''. Union is an . ALGEBRAIC PROPERTIES Binary union (the union of just two sets at a time) is an Associative operation; that is, A In fact, ''A'' ∪ ''B'' ∪ ''C'' is equal to both of these sets as well, so parentheses are never needed when writing only unions. Similarly, union is Commutative , so the sets can be written in any order. The Empty Set is an Identity Element for the operation of union. That is, {} ∪ ''A'' = ''A'', for any set ''A''. Thus one can think of the empty set as the union of Zero sets. In terms of the definitions, these facts follow from analogous facts about Logical Disjunction . Together with Intersection and Complement , union makes any Power Set into a Boolean Algebra . For example, union and intersection Distribute over each other, and all three operations are combined in De Morgan's Laws . Replacing union with Symmetric Difference gives a Boolean Ring instead of a Boolean algebra. INFINITE UNIONS The most general notion is the union of an arbitrary collection of sets. If M is a set whose elements are themselves sets, then ''x'' is an element of the union of M If And Only If For At Least One element ''A'' of M, ''x'' is an element of ''A''. In symbols: : That this union of M is a set no matter how large a set M itself might be, is the content of the Axiom Of Union in Axiomatic Set Theory . This idea subsumes the above paragraphs, in that for example, ''A'' ∪ ''B'' ∪ ''C'' is the union of the collection {''A'',''B'',''C''}. Also, if M is the empty collection, then the union of M is the empty set. The analogy between finite unions and logical disjunction extends to one between infinite unions and Existential Quantification . The notation for the general concept can vary considerably. Hardcore set theorists will simply write : while most people will instead write : The latter notation can be generalised to : which refers to the union of the collection {''A''''i'' : ''i'' is in ''I''}. Here ''I'' is a set, and ''A''''i'' is a set for every ''i'' in ''I''. In the case that the Index Set ''I'' is the set of Natural Number s, the notation is analogous to that of Infinite Series : : When formatting is difficult, this can also be written "''A''1 ∪ ''A''2 ∪ ''A''3 ∪ ···". (This last example, a union of countably many sets, is very common in Analysis ; for an example see the article on σ-algebras .) Finally, let us note that whenever the symbol "∪" is placed ''before'' other symbols instead of ''between'' them, it is of a larger size. Intersection distributes over infinitary union, in the sense that : We can also combine infinitary union with infinitary intersection to get the law : SEE ALSO EXTERNAL LINKS
> |
|
|