stringtranslate.com

Unión disjunta

En matemáticas , la unión disjunta (o unión discriminada ) de los conjuntos A y B es el conjunto formado por los elementos de A y B etiquetados (indexados) con el nombre del conjunto del que provienen. Así, un elemento perteneciente tanto a A como a B aparece dos veces en la unión disjunta, con dos etiquetas diferentes.

Una unión disjunta de una familia indexada de conjuntos es un conjunto que a menudo se denota por con una inyección de cada uno en tal que las imágenes de estas inyecciones forman una partición de (es decir, cada elemento de pertenece exactamente a una de estas imágenes). Una unión disjunta de una familia de conjuntos disjuntos por pares es su unión .

En teoría de categorías , la unión disjunta es el coproducto de la categoría de conjuntos y, por lo tanto, se define hasta una biyección . En este contexto, se utiliza a menudo la notación.

La unión disjunta de dos conjuntos y se escribe con notación infija como . Algunos autores utilizan la notación alternativa o (junto con la correspondiente o ).

Una forma estándar de construir la unión disjunta es definirla como el conjunto de pares ordenados tales que y la inyección como

Ejemplo

Considere los conjuntos y es posible indexar los elementos del conjunto según el origen del conjunto formando los conjuntos asociados.

donde el segundo elemento de cada par coincide con el subíndice del conjunto de origen (por ejemplo, in coincide con el subíndice in, etc.). La unión disjunta se puede calcular de la siguiente manera:

Definición de teoría de conjuntos

Formalmente, sea una familia indexada de conjuntos indexados por La unión disjunta de esta familia es el conjunto Los elementos de la unión disjunta son pares ordenados Aquí sirve como un índice auxiliar que indica de dónde proviene el elemento .

Cada uno de los conjuntos es canónicamente isomorfo al conjunto A través de este isomorfismo, se puede considerar que está canónicamente inserto en la unión disjunta. Pues los conjuntos y son disjuntos incluso si los conjuntos y no lo son.

En el caso extremo en que cada uno de los es igual a un conjunto fijo para cada uno, la unión disjunta es el producto cartesiano de y :

Ocasionalmente, la notación se utiliza para la unión disjunta de una familia de conjuntos, o la notación para la unión disjunta de dos conjuntos. Esta notación pretende sugerir el hecho de que la cardinalidad de la unión disjunta es la suma de las cardinalidades de los términos de la familia. Compárese esto con la notación para el producto cartesiano de una familia de conjuntos.

En el lenguaje de la teoría de categorías , la unión disjunta es el coproducto en la categoría de conjuntos . Por lo tanto, satisface la propiedad universal asociada . Esto también significa que la unión disjunta es el dual categórico de la construcción del producto cartesiano . Consulte Coproducto para obtener más detalles.

Para muchos propósitos, la elección particular del índice auxiliar no es importante y, en un abuso simplificador de la notación , la familia indexada puede tratarse simplemente como una colección de conjuntos. En este caso, se hace referencia a ella como una copia de y, a veces, se utiliza la notación .

Punto de vista de la teoría de categorías

En la teoría de categorías, la unión disjunta se define como un coproducto en la categoría de conjuntos.

Así, la unión disjunta se define hasta un isomorfismo, y la definición anterior es sólo una realización del coproducto, entre otras. Cuando los conjuntos son disjuntos por pares, la unión habitual es otra realización del coproducto. Esto justifica la segunda definición que aparece en la introducción.

Este aspecto categórico de la unión disjunta explica por qué se utiliza con frecuencia, en lugar de, para denotar coproducto .

Véase también

Referencias