In the mathematical branch of set theory there are two slightly different uses of the term disjoint union .
definition
The following distinction corresponds exactly to the difference between inner and outer direct sum . The two definitions represent the different states of affairs, but both are referred to as disjoint union. Therefore, the term must be understood depending on its context. The notations in the article are not only used in this way in the literature, mostly the latter for the former.
Union of disjoint sets
A set is the disjoint union of a system of subsets , written
X
{\ displaystyle X}
(
X
i
)
i
∈
I.
{\ displaystyle (X_ {i}) _ {i \ in I}}
X
i
⊆
X
{\ displaystyle X_ {i} \ subseteq X}
X
=
⋃
i
∈
I.
˙
X
i
,
{\ displaystyle X = {\ dot {\ bigcup _ {i \ in I}}} X_ {i},}
if the following two conditions are met:
X
i
∩
X
j
=
∅
,
{\ displaystyle X_ {i} \ cap X_ {j} = \ varnothing,}
if , that is to say, they are pairwise disjoint ;
i
≠
j
{\ displaystyle i \ neq j}
X
i
{\ displaystyle X_ {i}}
X
=
⋃
i
∈
I.
X
i
{\ displaystyle \ textstyle X = \ bigcup \ limits _ {i \ in I} X_ {i}}
, that is, is the union of all sets .
X
{\ displaystyle X}
X
i
{\ displaystyle X_ {i}}
Disjoint union of arbitrary sets
Are sets of given, it means the amount
X
i
{\ displaystyle X_ {i}}
i
∈
I.
{\ displaystyle i \ in I}
⨆
i
∈
I.
X
i
=
⋃
i
∈
I.
{
(
i
,
x
)
∣
x
∈
X
i
}
{\ displaystyle \ bigsqcup _ {i \ in I} X_ {i} = \ bigcup _ {i \ in I} \ {(i, x) \ mid x \ in X_ {i} \}}
the disjoint union of the sets . It is roughly a union in which the sets are artificially disjointed beforehand.
X
i
{\ displaystyle X_ {i}}
properties
For the widths applies: . In cardinal number arithmetic , the sum is precisely defined by this relationship.
|
⨆
i
∈
I.
X
i
|
=
∑
i
∈
I.
|
X
i
|
{\ displaystyle \ left | \ bigsqcup \ limits _ {i \ in I} X_ {i} \ right | = \ sum _ {i \ in I} | X_ {i} |}
The disjoint union is the categorical coproduct in the category of sets. This means: images correspond to one-to-one systems of images with .
⨆
i
∈
I.
X
i
{\ displaystyle \ bigsqcup \ limits _ {i \ in I} X_ {i}}
f
:
⨆
i
∈
I.
X
i
→
Y
{\ displaystyle f \ colon \ bigsqcup \ limits _ {i \ in I} X_ {i} \ to Y}
(
f
i
)
i
∈
I.
{\ displaystyle (f_ {i}) _ {i \ in I}}
f
i
:
X
i
→
Y
{\ displaystyle f_ {i} \ colon X_ {i} \ to Y}
If the sets are disjoint, the canonical mapping is bijective.
X
i
{\ displaystyle X_ {i}}
⨆
i
∈
I.
X
i
→
⋃
i
∈
I.
X
i
{\ displaystyle \ bigsqcup \ limits _ {i \ in I} X_ {i} \ to \ bigcup \ limits _ {i \ in I} X_ {i}}
Examples
Example of the union of disjoint sets
Disjoint union of and .
A.
=
{
1
,
2
,
3
}
{\ displaystyle A = \ {1,2,3 \}}
B.
=
{
4th
,
5
,
6th
}
{\ displaystyle B = \ {4,5,6 \}}
A.
∩
B.
=
∅
{\ displaystyle A \ cap B = \ varnothing}
Both sets are disjoint
A.
∪
˙
B.
=
C.
{\ displaystyle A \; {\ dot {\ cup}} \; B = C}
C.
{\ displaystyle C}
is the disjoint union of the sets and ⇒
A.
{\ displaystyle A}
B.
{\ displaystyle B}
C.
=
{
1
,
2
,
3
,
4th
,
5
,
6th
}
{\ displaystyle C = \ {1,2,3,4,5,6 \}}
The sets and form a partition of the set
A.
{\ displaystyle A}
B.
{\ displaystyle B}
C.
{\ displaystyle C}
The disjoint union in the second sense yields the pair set . The projection maps bijectively on .
A.
⊔
B.
{\ displaystyle A \ sqcup B}
D.
=
{
(
1
,
1
)
,
(
1
,
2
)
,
(
1
,
3
)
,
(
2
,
4th
)
,
(
2
,
5
)
,
(
2
,
6th
)
}
{\ displaystyle D = \ {(1.1), (1.2), (1.3), (2.4), (2.5), (2.6) \}}
π
2
{\ displaystyle \ pi _ {2}}
D.
{\ displaystyle D}
C.
{\ displaystyle C}
Example of a disjoint union of arbitrary sets
Disjoint union of and .
X
1
=
{
1
,
2
,
3
}
{\ displaystyle X_ {1} = \ {1,2,3 \}}
X
2
=
{
1
,
2
,
3
,
4th
}
{\ displaystyle X_ {2} = \ {1,2,3,4 \}}
I.
=
{
1
,
2
}
{\ displaystyle I = \ {1,2 \}}
⨆
i
∈
I.
X
i
=
⋃
i
∈
I.
{
(
i
,
x
)
∣
x
∈
X
i
}
=
{
(
1
,
1
)
,
(
1
,
2
)
,
(
1
,
3
)
,
(
2
,
1
)
,
(
2
,
2
)
,
(
2
,
3
)
,
(
2
,
4th
)
}
{\ displaystyle \ textstyle \ bigsqcup \ limits _ {i \ in I} X_ {i} = \ bigcup \ limits _ {i \ in I} \ {(i, x) \ mid x \ in X_ {i} \} = \ {(1.1), (1.2), (1.3), (2.1), (2.2), (2.3), (2.4) \}}
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">