lgebra de conjuntos

El lgebra de conjuntos define las operaciones, reglas y propiedades que podemos aplicar con los conjuntos.

Tabla de contenidos
[ocultar]

1 Conjuntos 2 Operaciones 3 Propiedades !"ase tam#i"n $ Enlaces e%ternos

Conjuntos [editar]

Conjunto: conjunto cualesquiera la nom#raremos con una letra may&scula' Conjunto universal: (ue contiene a todos los conjuntos de los que estemos tratando, lo nom#raremos con la letra u may&scula' Conjunto vaco: (ue es el conjunto que no tiene ning&n elemento, lo nom#raremos con'

Operaciones [editar]

)ni*n de conjuntos ' +a uni*n de 2 conjuntos A y B es el conjunto de todos los elementos que pertenecen a A, a B o a am#os. ,ntersecci*n de conjuntos ' +a intersecci*n de 2 conjuntos A y B es el conjunto de todos los elementos que pertenecen tanto a A como a B. Complemento de un conjunto ' Es el conjunto formado por los elementos que no pertenecen a A. -iferencia de conjuntos o complemento relati.o los elementos de A que no pertenecen a su .e/ a B. ' +a diferencia de A y B, es el conjunto de todos

Propiedades [editar]

Idempotencia o igual potencia:

o o

Asociativa:
o o

Conmutativa:
o o

Distributiva:
o o

Identidad:
o o

Complementariedad:
o o o o

Involutiva:
o

Ley de De Morgan:
o o

Para cualquier conjunto A y B

o

Pero las notaciones pueden .ariar. Esto se aprecia en los distintos li#ros de alge#ra del mercado.

Teora de conjuntos
Artculo de la Enciclopedia Libre Universal en Espaol.

Saltar a navegacin, bsqueda

ndice
[ocultar

! ". "ntroduccin # "". Algunas de$iniciones

#.! A. Subcon%untos & supercon%untos #.# '. Unin e interseccin #.( ). *i$erencia & co+ple+entario

( """. ,lgebra de con%untos - ".. /roducto cartesiano de con%untos 0 .. )orrespondencia entre con%untos

Introduccin
1eora de con%untos, ra+a de las +ate+2ticas a la que el +ate+2tico ale+2n 3eorg )antor dio su pri+er trata+iento $or+al en el siglo 4"4. El concepto de con%unto es uno de los +2s $unda+entales en +ate+2ticas, incluso +2s que la operacin de contar, pues se puede encontrar, i+plcita o e5plcita+ente, en todas las ra+as de las +ate+2ticas puras & aplicadas. En su $or+a e5plcita, los principios & ter+inologa de los con%untos se utili6an para construir proposiciones +ate+2ticas +2s claras & precisas & para e5plicar conceptos abstractos co+o el de in$inito.

II. Algunas definiciones

Un con%unto es una agrupacin, clase o coleccin de ob%etos deno+inados ele+entos del con%unto7 utili6ando s+bolos a S representa que el ele+ento a pertenece o est2 contenido en el con%unto S, o lo que es lo +is+o, el con%unto S contiene al ele+ento a. Un con%unto S est2 de$inido si dado un ob%eto a, se sabe con certe6a que o a 8 S o a 89 S :esto es, a no pertenece a S;. Un con%unto se representa $recuente+ente +ediante llaves que contienen sus ele+entos, &a sea de $or+a e5plcita, escribiendo todos & cada uno de los ele+entos, o dando una $r+ula, regla o proposicin que los describa. /or e%e+plo, S! < =#> -?> S# < =#, -, @, ..., #n, ...? < #N =todos los enteros pares?> S( < =5 A 5# B @5 C !! D (?> S- < =todos los varones vivos lla+ados Euan?. S( se describe co+o el con%unto de todas las 5 tales que 5# B @5 C !! D (.

A. Subconjuntos y superconjuntos
Si todo ele+ento de un con%unto F pertenece ta+biGn al con%unto S, F es un subcon%unto de S, & S es un supercon%unto de F> utili6ando s+bolos, F S, o S F. 1odo con%unto es un subcon%unto & un supercon%unto de s +is+o. Si F S, & al +enos un ele+ento de S no pertenece a F, se dice que F es un subcon%unto propio de S, & S es un supercon%unto propio de F. Si F S & S F, es decir, todo

ele+ento de un con%unto pertenece ta+biGn al otro, entonces F & S son dos con%untos iguales, lo que se escribe F < S. En los e%e+plos del apartado anterior, S! es un subcon%unto propio de S#.

B. Unin e interseccin
Si A & ' son dos subcon%untos de un con%unto S, los ele+entos que pertenecen a A, a ' o a a+bos $or+an otro subcon%unto de S lla+ado unin de A & ', escrito A '. Los ele+entos co+unes a A & ' $or+an un subcon%unto de S deno+inado interseccin de A & ', escrito A H '. Si A & ' no tienen ningn ele+ento co+n, su interseccin no tiene ningn ele+ento, & siendo conveniente representar esta interseccin co+o otro con%unto, Gste se deno+ina con%unto vaco o nulo & se representa con el s+bolo o =? . /or e%e+plo, si A < =#, -, @?, ' < =-, @, I, !J? & ) < =!J, !-, !@, #@?, entonces A ' < =#, -, @, I, !J?, A ) < =#, -, @, !J, !-, !@, #@?, A H ' < =-, @? & A H ) < .

C. Diferencia y co ple entario

El con%unto de ele+entos que pertenecen a A pero no a ' se deno+ina con%unto di$erencia entre A & ', escrito A B ' :& a veces AK';. As, siguiendo con el e%e+plo anterior, A B ' < =#?, ' B A < =I, !J?. Si A es un subcon%unto del con%unto E, el con%unto de los ele+entos que pertenecen a E pero no a A, es decir, E B A, se deno+ina con%unto co+ple+entario de A :con respecto a E;, lo que se escribe E B A < AL :que ta+biGn puede aparecer co+o A, M o NA;.

III. !lgebra de conjuntos

Las siguientes propiedades, utili6ando las de$iniciones del apartado anterior, se cu+plen si A, ', )... son subcon%untos de un con%unto E7
1. A ' < ' A "con utati#idad de $ 2. A H ' < ' H A "con utati#idad de %$ 3. :A '; ) < A :' ); "asociati#idad de $& lo 'ue autori(a la escritura A B C. . :A H '; H ) < A H :' H ); "asociati#idad de %$&lo 'ue autori(a la escritura A % B % C. $. A < A " es ele ento neutro para $ 0. A H < "" es ele ento absorbente para %$ 1. A E < E ") es ele ento absorbente para $ 2. A H E < A ") es ele ento neutro para %$ 3. A :' H ); < "A B$ % "A C$ "distributi#idad de sobre %$ 14. A H :' ); < "A % B$ "A % C$ "distributi#idad de % sobre $ 11. A AL < ) 12. A H AL < 13. :A ';L < A* % B* 1 . :A H ';L < A* B* 1$. A A < A % A + A 10. :AL;L < A 11. A B ' < A % B* 12. :A B '; B ) < A , "B C$ 13. Si A H ' < & entonces "A B$ , B + A 24. A B :' ); < "A , B$ % "A , C$

Ostas son las propiedades del 2lgebra de con%untos, que es un caso particular del siste+a algebraico conocido co+o ,lgebra de 'oole.

I-. .roducto cartesiano de conjuntos

Si A & ' son dos con%untos, el con%unto de todos los posibles pares ordenados de ele+entos de la $or+a :a, b;, donde a pertenece a A & b pertenece a ', se deno+ina producto cartesiano de A & ', que se escribe nor+al+ente A P '. /or e%e+plo, si A < =!, #? & ' < =5, &, 6?, entonces A P ' < =:!, 5;, :!, &;, :!, 6;, :#, 5;, :#, &;, :#, 6;?. Q ' P A < =:5, !;, :&, !;, :6, !;, :5, #;, :&, #;, :6, #;?. En este caso, A P ' R ' P A, pues al ser pares ordenados, el par :!, 5; es distinto del par :5, !;.

-. Correspondencia entre conjuntos

Los ele+entos del con%unto A < =!, #, (? se pueden relacionar o Sacer corresponder +ediante una correspondencia $ con los del con%unto ' < =5, &, 6? de +odo que a todo ele+ento de A le corresponda uno, ninguno o varios ele+entos de '. Esto se puede e5presar ta+biGn as7 $:!; < =5, 6?, $:#; < , $:(; < =6?. 1a+biGn se puede decir que $ < =:!, 5;, :!, 6;, :(, 6;?. /or tanto, una correspondencia entre dos con%untos A & ' es un subcon%unto del producto cartesiano A P '. )uando una correspondencia es tal que a cada ele+ento del pri+er con%unto le corresponde uno & slo uno del segundo con%unto, entonces se lla+a aplicacin.