Unió disjunta

De Viquipèdia
Dreceres ràpides: navegació, cerca

En teoria de conjunts, la unió disjunta de dos o més conjunts és un conjunt que "pràcticament" conté còpies disjuntes dels conjunts originals. Habitualment la unió disjunta dels conjunts A i B es denota A \sqcup B o també A \amalg B tot i que aquesta operació pot estar representada per altres notacions diferents, com ara A \uplus B o fins i tot A + B. Aquestes notacions acostumen a estar relacionades amb el fet que, en teoria de categories, la unió disjunta és el coproducte de la categoria de conjunts.

Quan els conjunts ja són disjunts, la unió disjunta coincideix amb la unió usual AB.

Per a calcular la unió disjunta de dos conjunts amb intersecció no nul·la, cal transformar-ne els seus elements afegint una etiqueta a cadascun d'ells que indiqui el conjunt de provinença. En general, sigui A_i una família de conjunts (no necessàriament diferents) indexats per iI, aleshores la unió disjunta es defineix com:

\coprod_{i\in I}A_i = \bigcup_{i \in I} (A_i \times \{ i \}) = \bigcup_{i\in I}\{(x,i) : x \in A_i\}.

Referències[modifica | modifica el codi]