Difference between revisions of "Disjoint union (set)"
From Maths
(Created page with "{{Stub page|grade=C|msg=I've created this page to provide some content, it needs references and proofs though}} : '''Note: ''' a closely related concept is that of a tagged...") |
m (Adding note about convention, which we use does not matter) |
||
| Line 5: | Line 5: | ||
Let {{M|(X_\alpha)_{\alpha\in I} }} be an arbitrary family of [[sets]]. We denote their ''disjoint union'' or ''{{link|coproduct|category theory}}'' as {{M|1=\coprod_{\alpha\in I}X_\alpha}} and we define this to be: | Let {{M|(X_\alpha)_{\alpha\in I} }} be an arbitrary family of [[sets]]. We denote their ''disjoint union'' or ''{{link|coproduct|category theory}}'' as {{M|1=\coprod_{\alpha\in I}X_\alpha}} and we define this to be: | ||
* {{M|1=(\beta,x)\in\coprod_{\alpha\in I}X_\alpha\iff(\beta\in I\wedge x\in X_\beta)}} | * {{M|1=(\beta,x)\in\coprod_{\alpha\in I}X_\alpha\iff(\beta\in I\wedge x\in X_\beta)}} | ||
| + | * We could also define {{M|\coprod_{\alpha\in I}X_\alpha}} as sets of the form {{M|(x,\beta)}} instead. It doesn't matter. | ||
{{Todo|Construction as a set}} | {{Todo|Construction as a set}} | ||
With this we get ''canonical injections'', let {{M|\beta\in I}} be given, then: | With this we get ''canonical injections'', let {{M|\beta\in I}} be given, then: | ||
Latest revision as of 20:21, 25 September 2016
Stub grade: C
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
I've created this page to provide some content, it needs references and proofs though
- Note: a closely related concept is that of a tagged union
Contents
[hide]Definition
Let (Xα)α∈I be an arbitrary family of sets. We denote their disjoint union or coproduct as ∐α∈IXα and we define this to be:
- (β,x)∈∐α∈IXα⟺(β∈I∧x∈Xβ)
- We could also define ∐α∈IXα as sets of the form (x,β) instead. It doesn't matter.
TODO: Construction as a set
With this we get canonical injections, let β∈I be given, then:
- iβ:Xβ→∐α∈IXα given by iβ:x↦(β,x)
It is common to identify Xα with its image, iα(Xα), or to define X∗β:=iβ(Xβ)
