Difference between revisions of "Disjoint union (set)"

From Maths
Jump to: navigation, search
(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

Definition

Let [ilmath](X_\alpha)_{\alpha\in I} [/ilmath] be an arbitrary family of sets. We denote their disjoint union or coproduct as [ilmath]\coprod_{\alpha\in I}X_\alpha[/ilmath] and we define this to be:

  • [ilmath](\beta,x)\in\coprod_{\alpha\in I}X_\alpha\iff(\beta\in I\wedge x\in X_\beta)[/ilmath]
  • We could also define [ilmath]\coprod_{\alpha\in I}X_\alpha[/ilmath] as sets of the form [ilmath](x,\beta)[/ilmath] instead. It doesn't matter.

TODO: Construction as a set


With this we get canonical injections, let [ilmath]\beta\in I[/ilmath] be given, then:

  • [ilmath]i_\beta:X_\beta\rightarrow\coprod_{\alpha\in I}X_\alpha[/ilmath] given by [ilmath]i_\beta:x\mapsto(\beta,x)[/ilmath]

It is common to identify [ilmath]X_\alpha[/ilmath] with its image, [ilmath]i_\alpha(X_\alpha)[/ilmath], or to define [ilmath]X_\beta^*:=i_\beta(X_\beta)[/ilmath]

See also

References

Template:Set theory navbox