MyWikiBiz, Author Your Legacy — Friday April 04, 2025
Jump to navigationJump to search
179 bytes added
, 15:22, 4 February 2013
Line 8,766:
Line 8,766:
'''Definition.''' An ''enumerated set'' <math>(S, f)\!</math> is a numbered set with a bijective <math>f.\!</math> …
'''Definition.''' An ''enumerated set'' <math>(S, f)\!</math> is a numbered set with a bijective <math>f.\!</math> …
−
<pre>
+
'''Definition.''' The ''<math>n\!</math>-fold sum'' (''co-product'', ''disjoint union'') of the sets <math>X_1, \ldots, X_n\!</math> is notated and defined as follows:
−
The "n fold sum" ("co product", "disjoint union") of the sets X1, ... , Xn is notated and defined as follows:
−
Ui Xi = X1 + ... + Xn = 1^X1 U ... U n^Xn.
+
{| align="center" cellspacing="8" width="90%"
+
| <math>\coprod_{i=1}^n X_i ~=~ X_1 + \ldots + X_n ~=~ 1 \widehat{~} X_1 \cup \ldots \cup n \widehat{~} X_n.\!</math>
+
|}
+
<pre>
The "n fold product" ("cartesian product") of the sets X1, ... , Xn is notated and defined as follows:
The "n fold product" ("cartesian product") of the sets X1, ... , Xn is notated and defined as follows: