Está en la página 1de 6

Unin de conjuntos

La unin de los conjuntos A y B es otro conjunto A B que contiene todos los elementos de A y de B.

En la teora de conjuntos, la unin de dos (o ms) conjuntos es una operacin que resulta en otro conjunto cuyos elementos son los elementos de los conjuntos iniciales. Por ejemplo, el conjunto de los nmeros naturales es la unin del conjunto de los nmeros pares positivos P y el conjunto de los nmero impares positivos I: P = {2, 4, 6, ...} I = {1, 3, 5, ...} N = {1, 2, 3, 4, 5, 6, ...} La unin de conjuntos se denota por el smbolo , de modo que por ejemplo, N = P I.

[editar]Definicin

Unin de dos conjuntos A y B.

Dados dos conjuntos A y B, la unin de ambos, A B, es el conjunto que contiene todos los elementos de A y de B:

La unin de dos conjuntos A y B es otro conjunto A B cuyos elementos son todos los elementos de A o deB:

Ejemplo.

Sean A = {a, , 5} y B = {8, #}. La unin es A B = {5, #, a, , 8}. Considerando los conjuntos de nmeros naturales C = {n: n es un nmero primo} y D = {m: m es un nmero compuesto}. La

unin es entonces (C D) = {n: n es primo o compuesto} = {2, 3, 4, 5, ...}, ya que el nico nmero natural que no es ni primo ni compuesto es (por definicin) 1. En la unin de conjuntos, los elementos repetidos slo aparecen una vez, pues los conjuntos no pueden tener elementos repetidos (a diferencia de los multiconjuntos, que s permiten repeticiones).

La unin de {1, 2, 3, 4, 5} y {6, 2, 9, 1} es {1, 2, 3, 4, 5, 6, 9}.

[editar]Generalizaciones
Es posible definir la unin de un nmero finito de conjuntos, superior a dos:

Y la unin se puede calcular utilizando la propiedad asociativa de la unin (ms abajo). De este modo, para unir varios conjuntos el orden en el que se haga es irrelevante:

Una definicin ms general en teora de conjuntos se refiere a una familia de conjuntos:

Sea M una familia de conjuntos. Su unin M se define como:

De este modo, la unin de un nmero finito de conjuntos es slo un caso particular de la definicin general anterior. A B = M, donde M = {A, B} A1 ... An = M, donde M = {A1, ..., An} La unin general de conjuntos se denota de diversas maneras:

donde esta ltima se aplica en el caso de que utilicemos un conjunto ndice, tomando M como {Ai: i I}.

[editar]Propiedades
Artculo principal: lgebra de conjuntos

De la definicin de unin puede deducirse directamente:

Idempotencia. La unin de un conjunto A consigo mismo es el propio A :

AA=A Tanto A como B son subconjuntos de su unin:

AAByBAB La unin de un conjunto A con un subconjunto suyo B lo deja inalterado:

B A implica que A B = A

La unin de conjuntos posee tambin propiedades similares a las operaciones con nmeros:

Propiedad asociativa. La unin de los conjuntos A y B C es igual que la unin de los conjuntos A B y C :

(A B) C = A (B C) Propiedad conmutativa. La unin de los conjuntos A y B es igual a la unin de los conjuntos B y A :

A B = B A. Elemento neutro. La unin de un conjunto A con el conjunto vaco es el mismo conjunto A:

A=A

Todas estas propiedades se deducen de propiedades anlogas para la disyuncin lgica. En relacin con la operacin de interseccin existen unas leyes distributivas:

Propiedad distributiva [editar]Cardinalidad


Artculos principales: Principio de la suma y Principio de inclusin-exclusin

A (B C) = (A B) (A C), y por tanto: A (A B) = A A (B C) = (A B) (A C), y por tanto: A (A B) = A

El nmero de elementos de la unin de dos conjuntos finitos A y B es la suma de los elementos de A y de B, si no tienen elementos en comn.

Dada una coleccin finita de conjuntos A1, ..., An :

Si A y B son conjuntos disjuntos:

Como en un conjunto los elementos no pueden repetirse, si A y B tienen elementos en comn, al sumar sus elementos se contaran los elementos comunes ms de una vez. Por ejemplo: {1, a, } y {b, a, 5} tienen ambos tres elementos, pero su unin {1, a, , b, 5} tiene cinco elementos y no seis. Por ello, es necesario eliminar las repeticiones al contar los elementos de A B:

Dados dos conjuntos finitos A y B :

Esta frmula se generaliza para el caso ms complicado de una unin de un nmero arbitrario de conjuntos finitos. Por ejemplo en el caso de tres conjuntos se tiene: |A B C| = |A| + |B| + |C| |A B| |B C| |C A| + |A B C| y en general se tiene el llamado principio de inclusin-exclusin:

Idempotencia
En matemtica, la idempotencia es la propiedad para realizar una accin determinada varias veces y an as conseguir el mismo resultado que se obtendra si se realizase una sola vez. Un elemento que cumple esta propiedad es un elemento idempotente, o un idempotente. De esta manera, si un elemento al multiplicarse por s mismo sucesivas veces da l mismo, este elemento esidempotente. Por ejemplo, los dos nicos nmeros reales que son idempotentes, para la operacin producto (), son 0 y 1. (00=0,11=1). Formalmente, si S es un magma, es decir, un conjunto con una operacin binaria * , entonces un elemento idempotente si s * s = s. Si todo s fuese idempotente bajo * , entonces la operacin en s se denominara operacin idempotente. En particular, cualquier elemento identidad es un idempotente bajo *. En lgebra conjuntista, las operaciones de unin e interseccin de conjuntos son idempotentes. En efecto, la unin o interseccin de un conjunto consigo mismo, entregan como resultado el conjunto mismo. Anlogamente, en lgebra booleana, los operadores Y (and, si V=Verdadero, F=Falso: ) y O (or, ) son idempotentes. En efecto, se dice

. Anlogamente para F.

En lgebra lineal, la proyeccin es idempotente. Es decir, cualquier matriz que proyecta todos los vectores sobre un subespacio V (no necesariamente ortogonalmente) es idempotente, si V mismo est fijo punto por punto. Una funcin f de un conjunto M a s mismo se llama idempotente si se cumple que para la composicin de funciones, , es decir: , es decir: Esto es equivalente a decir que f(x) = x,

tambin para todo x en f (M). Ejemplos triviales de funciones idempotentes en S son la funcin identidad y las funciones constantes. Ejemplos menos triviales son el valor absoluto y la funcin que asigna a cada subconjunto U de un cierto espacio topolgico X la clausura de U. La ltima es una funcin idempotente en el conjunto de partes de X. Es un ejemplo de operador de clausura; todos los operadores de clausura son funciones idempotentes. Un anillo en el cual la multiplicacin es idempotente ( ) se llama anillo de Boole. Puede ser demostrado que

en cada tal anillo, la multiplicacin es conmutativa, y cada elemento es su propio inverso aditivo.