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.
Contenido
[ocultar]

1 Definicin

1.1 Generalizaciones

2 Propiedades

2.1 Cardinalidad

3 Axioma de la unin 4 Referencias

5 Vase tambin

[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:n 1

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 se utilice 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 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

[editar]Cardinalidad
Artculos principales: Principio de la suma y Principio de inclusin-exclusin

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.

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 inclusinexclusin:

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

Todas estas frmulas se demuestran con facilidad para el caso en el que los conjuntos involucrados sean finitos. Sin embargo, tambin son ciertas en el caso de conjuntos infinitos, aunque requieren el uso de cardinales infinitos.

En teora de conjuntos, la interseccin de dos (o ms) conjuntos es una operacin que resulta en otro conjunto que contiene los elementos comunes a los conjuntos de partida. Por ejemplo, dado el conjunto de los nmeros pares P y el conjunto de los cuadrados C de nmeros naturales, su interseccin es el conjunto de los cuadrados pares D : P = {2, 4, 6, 8, 10,...} C = {1, 4, 9, 16, 25, ...} D = {4, 16, 36, 64, ...} La interseccin de conjuntos se denota por el smbolo por lo que D = P C.
Contenido
[ocultar]

1 Definicin

1.1 Generalizaciones

2 Propiedades 3 Teora axiomtica 4 Referencias 5 Vase tambin

[editar]Definicin

Interseccin de dos conjuntos A y B.

Dados dos conjuntos A y B, la interseccin de ambos, A B es un conjunto que contiene los elementos que pertenecen a ambos conjuntos:

LA interseccin de dos conjuntos A y B es otro conjunto A B cuyos elementos son los elementos comunes a A y B :

Ejemplo. Sean A = {5, , , c} y B = {, c, 0, , 5, R}. Entonces la interseccin es A B = {5, c}. Sean los conjuntos de nmeros naturales C = {n: n es una potencia de 2} y D = {n: n es un cubo}. Su interseccin es C D = {n: n es una potencia de 2 y un cubo} = {n: n es una potencia de 2 cuyo exponente es mltiplo de 3} = {8, 64, 512, ...}. Sean los conjuntos de nmeros pares e impares. Su interseccin es el conjunto vaco , ya que no existe ningn nmero natural que sea par e impar a la vez.

Cuando la interseccin de dos conjuntos es vaca, se dice que son disjuntos: Dos conjuntos A y B se dicen disjuntos si su interseccin es el conjunto vaco:

[editar]Generalizaciones La interseccin de un nmero finito de conjuntos, superior a dos, se define teniendo en cuenta que, debido a la propiedad asociativa (ms abajo), el orden en el que se intersequen los conjuntos es irrelevante:

La definicin ms general en teora de conjuntos se refiere a una familia de conjuntos, un conjunto cuyos elementos son conjuntos a su vez: Sea M una familia de conjuntos. Su interseccin M se define como:

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

donde esta ltima se aplica en el caso de que utilicemos un conjunto ndice, definiendo M como {Ai: i I}. [editar]Propiedades
Artculo principal: lgebra de conjuntos

De la definicin de interseccin puede deducirse directamente: Idempotencia. La interseccin de un conjunto A consigo mismo es el propio A : AA=A La interseccin de Ay B es un subconjunto de ambos: ABAyABB La interseccin de un conjunto B con un conjunto A que lo contenga, deja a B inalterado: B A implica A B = B La interseccin de conjuntos posee tambin propiedades similares a las operaciones con nmeros: Propiedad asociativa. La interseccin de los conjuntos A y B C es igual a la interseccin de los conjuntos A B y C : (A B) C = A (B C) Propiedad conmutativa. La interseccin de los conjuntos A y B es igual a la interseccin de los conjuntos B y A : A B = B A. Elemento absorbente. La interseccin de un conjunto A con el conjunto vaco es : A= Todas estas propiedades se deducen de propiedades anlogas para la conjuncin lgica.

En relacin con la operacin de unin existen unas leyes distributivas: Propiedad distributiva 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 conjunto complementario de un conjunto dado es otro conjunto que contiene todos los elementos que no estn en el conjunto original. Para poder definirlo es necesario especificar qu tipo de elementos se estn utilizando, o de otro modo, cul es el conjunto universal. Por ejemplo, si se habla denmeros naturales, el complementario del conjunto de los nmeros primos P es el conjunto de los nmeros no primos C, que est formado por los nmeros compuestos y el 1: P = {2, 3, 5, 7, ...} C = {1, 4, 6, 8, 9,...} A su vez, el conjunto C es el complementario de P. El conjunto complementario se denota por una barra vertical o por el superndice "", por lo que se tiene:P = C, y tambin C = P. El conjunto complementario de A es la diferencia (o complementario relativo) entre el conjunto universal y A, por lo que ambas operaciones (complementario y diferencia) tienen propiedades similares.
Contenido
[ocultar]

1 Definicin 2 Propiedades 3 Vase tambin 4 Referencias

[editar]Definicin

Complementario de un conjunto A.

Dado un conjunto A, su complementario es el conjunto A formado por los elementos que no pertenecen a A: El complementario de A es otro conjunto A cuyos elementos son todos aquellos que no estn en A:

Esta definicin presupone que se ha especificado un conjunto universal U, pues de otro modo, en la afirmacin "todos los x que no est en A", la palabra "todos" es ambigua. Si se menciona explcitamente el conjunto universal U, entonces el complementario de A es el conjunto de todos los elementos de Uque no estn en A, por lo que la relacin con la diferencia es clara:

Por otro lado, considerando un conjunto universal, la diferencia entre dos conjuntos puede expresarse utilizando la nocin de complementariedad:

Ejemplo. El complementario del conjunto de todos los hombres es el conjunto de todas las mujeres (hablando de personas). Hablando de nmeros naturales, el complementario del conjunto {1, 5, 6, 7, 8, 10} es el conjunto {2, 3, 4, 9, 11, 12, ...}. El complementario del conjunto A en la imagen es la zona sombreada de azul (el conjunto universal U es toda el rea del rectngulo).

[editar]Propiedades Puesto que el conjunto universal contiene todos los elementos en consideracin, y el conjunto vaco no contiene a ninguno, se tiene lo siguiente:

Puesto que la nocin de complementariedad est relacionada con la negacin en lgica, la primera posee propiedades similares a la segunda: Propiedad involutiva. El complementario del complementario de A es el propio A: (A) = A La unin de un conjunto y su complementario es el conjunto universal: A A = U Un conjunto y su complementario son disjuntos:

A A =

El complementario de A est contenido en el complementario de cualquier subconjunto de A:

B A implica que A B Existen tambin unas relaciones entre las operaciones de unin e interseccin a travs del complemento: Leyes de De Morgan El complementario de la unin de dos conjuntos es la interseccin de los complementarios: (A B) = A B El complementario de la interseccin de dos conjuntos es la unin de los complementarios: (A B) = A B