Apuntes de Matem´ atica Discreta 1.

Conjuntos y Subconjuntos

Francisco Jos´ e Gonz´ alez Guti´ errez
C´ adiz, Octubre de 2004

Universidad de C´ adiz Departamento de Matem´ aticas ii .

. . . . 1. . bien determinados y diferenciables los unos de los otros. . . . . .2. . 9 . . . . . . . . . . Para eliminar tales paradojas. . . . . . . . . . . . . . . . . . . aparecieron contradicciones o paradojas en la misma. . . . . . . . . 1. . . . . . . . . 1. . . . . 1. . . . . . . . 1. . .2. 1. . . . . . . . . . . . . . . . . . pero es especialmente conocido por ser el creador de la Teor´ ıa de los conjuntos. . . . . . . . . . . . . . . . . . . 12 . .2. . . . . . . . . .1. . . . . . . . . . . . . . . . . .2. . . . 1. . . . . . . . . . 1. . . . . . . . . . . .2 Inclusi´ on de conjuntos . 2 . . . . . . . . . . . fue profesor de la universidad de Halle (1879). . . . . 13 Un conjunto es la reuni´ on en un todo de objetos de nuestra intuici´ on o de nuestro pensar. . . .4 Proposici´ on . . . . . . . . .6 Corolario . Un tratamiento introductorio de la teor´ ıa de conjuntos se ocupa. . . . . . . . . . .7 Transitividad de la Inclusi´ on . . Georg Cantor (1845-1918) El concepto de conjunto es de fundamental importancia en las matem´ aticas modernas. . . . . . . . Despu´ es de estudiar en Alemania.6 Axioma de Extensi´ on . . . . .3 Determinaci´ on por Comprensi´ on . . . 7 . . . . . 1. . . . .1. . . 5 . . . . . . . . . . . . . . . . . 1. 1. .1. .1 Subconjuntos . . . . . . . . . . . . . . . . . . . . . . . . .1. . . . . . .5 Caracterizaci´ on de la Igualdad . . . . . Utilizaremos esta aproximaci´ on m´ as simple y desarrollaremos una teor´ ıa de conjuntos de la cual es posible 1 Georg Cantor.5 Conjunto Vac´ ıo . . 12 . . . . . . . . . Escribi´ o numerosas memorias.2 Inclusi´ on Estricta . Despu´ es de que la teor´ ıa de conjuntos se estableciera como un ´ area bien definida de las matem´ aticas. . . . .1. . . . . . . . .1 Conjuntos y Elementos . . . . .2. . . 9 . . . . . 1. 7 . .3 Diagramas de Venn . . . . . . de la teor´ ıa elemental. . . . . . . . 1. . . . 11 . . . . .2. . 5 . . . . 8 . . . . . . . . . . . . . . . . 2 . . . . . . 5 . . . . . . . . . . . . . . . . . . . . Los conjuntos fueron estudiados formalmente por primera vez por Georg Cantor1 . . . 2 . 1. . .Lecci´ on 1 Conjuntos y Subconjuntos Contenido 1. . . Matem´ atico alem´ an de origen ruso (San Petesburgo 1845-Halle 1918). . . . . . . . . . . . 3 . . . Nuestro inter´ es en los conjuntos se debe tanto al papel que representan en las matem´ aticas como a su utilidad en la modelizaci´ on e investigaci´ on de problemas en la inform´ atica. 1. .3 Proposici´ on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . La mayor´ ıa de los matem´ aticos creen que es posible expresar todas las matem´ aticas en el lenguaje de la teor´ ıa de conjuntos. . . .1 Generalidades . . . . . . . . . . . . . la cual es bastante similar al trabajo original de Cantor. . . . . 1 . . . . generalmente. . . .2. . . .4 Conjunto Universal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2 Determinaci´ on por Extensi´ on . . . . . . . . . . . . . . . se desarrollaron aproximaciones m´ as sofisticadas que las que hizo Cantor. . . . . . . . . .1. . . . . . .

A´ un m´ as. elemento. el universo del discurso se define convenientemente. un conjunto es cualquier colecci´ on de objetos que pueda tratarse como una entidad.2 Definir por extensi´ on los siguientes conjuntos. u} (b) El conjunto formado por los n´ umeros enteros pares no negativos y menores que diez. pero las contradicciones no son un problema si. a un conjunto.1. 1. e. 1. o no. 6. o. se escribe a∈ /A La definici´ on de un conjunto no debe ser ambigua en el sentido de que pueda decidirse cuando un objeto particular pertenece. determinaci´ on de un conjunto por extensi´ on.1 Generalidades Definimos los conceptos fundamentales del tema como conjunto. 2.2 Determinaci´ on por Extensi´ on Un conjunto est´ a definido por extensi´ on cuando se especifican todos los elementos que forman el mismo. B = {0. 4. como es nuestro caso.Universidad de C´ adiz Departamento de Matem´ aticas derivar contradicciones. por comprensi´ on y estudiamos la igualdad de dos conjuntos.1 Conjuntos y Elementos Intuitivamente. (b) El conjunto de las letras de mi nombre.1 Los siguientes conjuntos est´ an definidos por extensi´ on. 2 . (a) El conjunto de las vocales del alfabeto. A los conjuntos los designaremos con letras may´ usculas y a sus elementos con letras min´ usculas. la existencia de las paradojas en la teor´ ıa elemental no afecta a la validez de nuestros resultados ya que los teoremas que presentaremos pueden demostrarse mediante sistemas alternativos en los que las paradojas no ocurren. 1. ¬(a ∈ A). i. (a) El conjunto de los enteros no negativos menores que cinco. Ejemplo 1.1. A cada objeto de la colecci´ on lo llamaremos elemento o miembro del conjunto. Ejemplo 1. Parece extra˜ no el proponerse tal cosa deliberadamente. La afirmaci´ on “el elemento a pertenece al conjunto A” se escribe a∈A y la negaci´ on de este hecho. 8} Obs´ ervese que los elementos del conjunto est´ an separados por comas y encerrados entre llaves. A = {a.

2. 6. 3. 4} (b) B = {p.Matem´ atica Discreta Francisco Jos´ e Gonz´ alez Guti´ errez (c) El conjunto cuyo u ´nico elemento es el primer Presidente de Gobierno de la democracia. se hace a menudo mediante un predicado con una variable libre. Esta propiedad o especificaci´ on impl´ ıcita. Ejemplo 1. 4. el conjunto A = {x : p(x)} denota al conjunto A tal que a ∈ A si. 17. 6. 10. 8.3 Determinaci´ on por Comprensi´ on Se dice que un conjunto est´ a definido por comprensi´ on cuando se especifica una propiedad que caracteriza a todos los elementos del mismo. los conjuntos siguientes: (a) A = {x : x ∈ Z ∧ 3 < x < 12} (b) B = {x : x es un n´ umero de un d´ ıgito} (c) B = {x : x = 2 ∨ x = 5} Soluci´ on (a) A = {4. 8.1 Los elementos de un conjunto infinito no pueden especificarse de una forma expl´ ıcita. 1. 9.4 Definir por comprensi´ on los siguientes conjuntos: 3 . 19} (e) E = {12. 1. 7. 13. 5} Nota 1.1.3 Definir. Soluci´ on (a) A = {0. 3. necesitaremos una forma alternativa de describir tales conjuntos impl´ ıcitamente. 60} Ejemplo 1. (e) El conjunto de los m´ ultiplos de 12 que son menores que 65. 11} (b) B = {0. c. por extensi´ on. y s´ olo si p(a) es verdad. o} (c) C = {Adolfo Su´ arez} (d) D = {11. (d) El conjunto de los n´ umeros primos entre 10 y 20. 48. 1. consecuentemente. 2. 36. 5. a. El conjunto estar´ a determinado por aquellos elementos del universo que hacen del predicado una proposici´ on verdadera. 7. De aqu´ ı que si p(x) es un predicado con una variable libre. 24. 9} (c) C = {2. 5.

2. 3. . .Universidad de C´ adiz (a) El conjunto de los enteros mayores que diez. 2.2 Muchas veces se utilizan significados algo menos formales para describir conjuntos. (c) El conjunto {1. . .5 Definir por extensi´ on el siguiente conjunto dado por comprensi´ on. 4 . 2. Por ejemplo. y ∈ Z} A veces tanto en conjuntos finitos demasiado grandes como en conjuntos infinitos. el conjunto de los n´ umeros enteros mayores que diez. (b) El conjunto de los enteros pares. se utiliza la elipsis matem´ atica para caracterizar a los elementos de un conjunto. . Q: Conjunto de los n´ umeros racionales. 2} Nota 1. 100} o el conjunto de los enteros pares no negativos. Por ejemplo. 6. 3. D = {0. 4. podemos escribir A = {1. C = {1. R: Conjunto de los n´ umeros reales. N = Z+ : Conjunto de los n´ umeros naturales o enteros positivos. Z: Conjunto de los n´ umeros enteros. 4. 5} Soluci´ on (a) A = {x : x ∈ Z ∧ x > 10} (b) B = {x : x ∈ Z ∧ ∃y ∈ Z ∧ x = 2y } (c) C = {x : x ∈ Z ∧ 1 x 5} Departamento de Matem´ aticas Ejemplo 1.} Algunos conjuntos aparecer´ an muy frecuentemente a lo largo del curso y se usan s´ ımbolos especiales para designarlos. . A = x ∈ R : x2 − 3x + 2 = 0 Soluci´ on Dado que las soluciones de la ecuaci´ on son 1 y 2. . suele escribirse: A = {x ∈ Z : x > 10} y el conjunto de los enteros pares. el conjunto de los n´ umeros enteros del 1 al 100. Z+ 0 : Conjunto de los enteros no negativos. B = {x : x = 2y. C: Conjunto de los n´ umeros complejos.

Lo notaremos por U .5 Conjunto Vac´ ıo Al conjunto u ´nico que no contiene elementos.1. y s´ olo si tienen los mismos elementos. y ∈ Z} 1.Matem´ atica Discreta Francisco Jos´ e Gonz´ alez Guti´ errez Incluso si podemos especificar todos los elementos de un conjunto puede que no sea pr´ actico hacerlo. (c) El conjunto de los m´ ultiplos de 10. independientemente de como est´ en definidos. 1.3 El axioma de extensi´ on asegura que si dos conjuntos tienen los mismos elementos. 1. aunque te´ oricamente es posible definirlo. (b) El conjunto de los enteros positivos impares.4 Conjunto Universal En cualquier aplicaci´ on de la teor´ ıa de conjuntos. en caso contrario describiremos un conjunto mediante una propiedad que caracterice a los mismos. 5 . los elementos de todos los conjuntos en consideraci´ on pertenecen a un gran conjunto fijo llamado conjunto universal. lo llamaremos conjunto vac´ ıo. Su expresi´ on formal en notaci´ on l´ ogica es: A = B ⇐⇒ ∀x [(x ∈ A =⇒ x ∈ B ) ∧ (x ∈ B =⇒ x ∈ A)] o bien. x = 10y } ´ o C = {x : x = 10y. no definir´ ıamos por extensi´ on el conjunto de los estudiantes de la Universidad de C´ adiz que estudien Inform´ atica.6 Axioma de Extensi´ on Dos conjuntos A y B son iguales si. A = B ⇐⇒ ∀x (x ∈ A ⇐⇒ x ∈ B ) Nota 1. y ∈ Z+ } (c) C = {x : ∃y ∈ Z.1. Lo notaremos con el s´ ımbolo ∅ que proviene del alfabeto noruego. Soluci´ on (a) A = {x : x ∈ Z ∧ x > 0 ∧ x < 100} ´ o A = {x ∈ Z : 0 < x < 100} (b) B = {x : ∃y ∈ Z+ .6 Para cada uno de los conjuntos siguientes. Ejemplo 1. describiremos un conjunto mediante un listado exhaustivo de sus elementos s´ olo si contiene unos pocos elementos. Por ejemplo. ambos son iguales.1. Es decir. cada elemento del conjunto A es un elemento de B y cada elemento de B es un elemento de A. elegir un conjunto universal y un predicado apropiados para definirlo. (a) El conjunto de los enteros entre 0 y 100. As´ ı pues. x = 2y − 1} ´ o B = {x : x = 2y − 1.

en el conjunto de los n´ umeros enteros. −2.7 iguales. y ∈ Z ∧ x = 2y } C = {1. 2. {a. a. se sigue que si un conjunto est´ a definido por extensi´ on. 3. el orden el que los elementos figuren en ´ el es intrascendente. a. Ejemplo 1. y ∈ Z =⇒ x2 = 4y 2 . . por tanto. Tambi´ en se sigue del axioma de extensi´ on que la aparici´ on de un elemento m´ as de una vez en un conjunto. c}. b. . De todo lo anterior. −2. los conjuntos {a. y ∈ Z =⇒ x2 = 2(2y 2 ). c. G es el conjunto vac´ ıo. cu´ ales de los siguientes conjuntos son A = x : x es par y x2 es impar B = {x : ∃y. {b. por lo tanto. se sigue que ∗ ∗ ∗ ∗ A=G B=E C=F El conjunto D no es igual a ninguno de los otros. 6 . 1. 2} G = x : x3 − 6x2 − 7x − 6 = 0 Soluci´ on Sea x cualquier n´ umero entero. 3. x ∈ B ⇐⇒ ∃y : y ∈ Z ∧ x = 2y ⇐⇒ x es par. 3} D = {0. 2. . Por ejemplo. por lo tanto. la proposici´ on ∀x(x es par ∧ x2 es impar) es falsa o dicho de otra forma no hay ning´ un n´ umero par cuyo cuadrado sera impar y. 2y 2 ∈ Z =⇒ x2 es par Por lo tanto. . a} y {c. son especificaciones diferentes del mismo conjunto. los conjuntos {a. b} son iguales ya que todo elemento de cualquiera de ellos est´ a en los dem´ as. b. 2. b} y {a. −3. es igualmente intrascendente. 4.} E = {2x : x ∈ Z} F = {3. −6. . −4. . b. 2. Determinar. 6. a} son iguales. 4. b}.} = {x ∈ Z : x es par} x ∈ F ⇐⇒ x = 1 ∨ x = 2 ∨ x = 3 x ∈ G ⇐⇒ x3 − 6x2 − 7x − 6 = 0 Pero no existe ning´ un n´ umero entero que satisfaga la ecuaci´ on anterior. luego B = {x ∈ Z : x es par} x ∈ C ⇐⇒ x = 1 ∨ x = 2 ∨ x = 3 E = {0. A no tiene elementos es decir es el conjunto vac´ ıo. As´ ı pues. entonces x es par =⇒ x = 2y. −4.Universidad de C´ adiz Departamento de Matem´ aticas Como todo conjunto tiene los mismos elementos que ´ el mismo.

Ejemplo 1. por el axioma de extensi´ on A = B ⇐⇒ ∀x [(x ∈ A =⇒ x ∈ B ) ∧ (x ∈ B =⇒ x ∈ A)] de aqu´ ı que por asociatividad (??). una condici´ on necesaria y suficiente para que dos conjuntos A y B sean distintos es que exista un elemento en A que no est´ e en B o que exista un elemento en B que no est´ e en A.1 Inclusi´ on de conjuntos Subconjuntos Sean A y B dos conjuntos. 1. A ⊆ B ⇐⇒ ∀x (x ∈ A =⇒ x ∈ B ) Tambi´ en puede decirse que B contiene a A. es decir. Entonces. o sea. A ⊆ B . Entonces. Diremos que A est´ a contenido en B o que es un subconjunto de B .10 Dar una condici´ on necesaria y suficiente para que un conjunto A no est´ e contenido en otro conjunto B . 3} . sea a un elemento cualquiera de R.9 Soluci´ on En efecto.Matem´ atica Discreta Francisco Jos´ e Gonz´ alez Guti´ errez Ejemplo 1. tendremos ¬(A = B ) ⇐⇒ ¬ [∀x (x ∈ A =⇒ x ∈ B ) ∧ ∀x (x ∈ B =⇒ x ∈ A)] por lo tanto. si cada elemento de A es un elemento de B . en cuyo caso escribiremos B ⊇ A. Sean A y B dos conjuntos cualesquiera de un universal arbitrario U .8 Soluci´ on Dar una condici´ on necesaria y suficiente para que dos conjuntos sean distintos. a ∈ A ⇐⇒ a2 − 3a + 2 = 0 ⇐⇒ a = 2 ´ o a = 1 =⇒ a ∈ B luego ∀x (x ∈ A =⇒ x ∈ B ) y seg´ un la definici´ on anterior. Ejemplo 1. Soluci´ on 7 Probar que el conjunto A = x ∈ R : x2 − 3x + 2 = 0 es subconjunto del B = {1.2. A=B ⇐⇒ ⇐⇒ ⇐⇒ ⇐⇒ ⇐⇒ ⇐⇒ ¬ [∀x (x ∈ A =⇒ x ∈ B ) ∧ ∀x (x ∈ B =⇒ x ∈ A)] [¬∀x (x ∈ A =⇒ x ∈ B )] ∨ [¬∀x (x ∈ B =⇒ x ∈ A)] [∃x : ¬ (x ∈ A =⇒ x ∈ B )] ∨ [∃x : ¬ (x ∈ B =⇒ x ∈ A)] [∃x : ¬ (¬(x ∈ A) ∨ (x ∈ B ))] ∨ [∃x : ¬ (¬(x ∈ B ) ∨ (x ∈ A))] {De Morgan} {Regla General} {Implicaci´ on} [∃x : (¬¬(x ∈ A) ∧ ¬(x ∈ B ))] ∨ [∃x : (¬¬(x ∈ B ) ∧ ¬(x ∈ A))] {De Morgan} [∃x : (x ∈ A ∧ x ∈ / B )] ∨ [∃x : (x ∈ B ∧ x ∈ / A)] {Doble Negaci´ on} As´ ı pues. tengamos que A = B ⇐⇒ [∀x (x ∈ A =⇒ x ∈ B ) ∧ ∀x (x ∈ B =⇒ x ∈ A)] y si ahora negamos ambos miembros. 2. un n´ umero real arbitrario. y lo notaremos por A ⊆ B .2 1.

{a. un paquete.11 Soluci´ on No. Si tuvi´ eramos una caja con tres paquetes de caramelos. por tanto. A ⊂ B ⇐⇒ A ⊆ B ∧ [∃x : (x ∈ B ∧ x ∈ / A)] Ejemplo 1. una condici´ on necesaria y suficiente para que A no est´ e contenido en B es que exista. 8 . {b} y {c}. luego 3 ∈ / A. un elemento en A que no est´ e en B . {∅}}. Tendremos que ∅ ∈ {∅} e incluso ∅ ⊆ {∅}. ∅. pero ∅ = {∅}.12 tenido en otro. {a. {c}} tiene cuatro elementos que son los conjuntos {a. A. se sigue que A ⊂ B ⇐⇒ A ⊆ B ∧ A = B Dar una condici´ on necesaria y suficiente para que un conjunto est´ e estrictamente con- Nota 1.2 Inclusi´ on Estricta Si A ⊆ B y adem´ as B tiene un elemento que no est´ a en A. Ejemplo 1.Universidad de C´ adiz Departamento de Matem´ aticas A B ⇐⇒ ⇐⇒ ⇐⇒ ⇐⇒ ⇐⇒ ⇐⇒ ¬(A ⊆ B ) ¬ [∀x (x ∈ A =⇒ x ∈ B )] ∃x : [¬ (x ∈ A =⇒ x ∈ B )] ∃x : [¬ (¬(x ∈ A) ∨ (x ∈ B ))] ∃x : [¬¬(x ∈ A) ∧ ¬(x ∈ B )] ∃x : (x ∈ A ∧ x ∈ / B) es decir. seg´ un acabamos de ver A ⊂ B ⇐⇒ A ⊆ B ∧ [∃x : (x ∈ B ∧ x ∈ / A)] de donde. b} . {∅} y {∅. la considerar´ ıamos como una caja con paquetes antes que una caja con caramelos. Un caso curioso ocurre con el conjunto vac´ ıo. por ejemplo.8. diremos que A est´ a estrictamente incluido en B o que A es un subconjunto propio de B y lo notaremos por A ⊂ B . Entonces. si A es un conjunto. c} .13 Describir brevemente la diferencia entre los conjuntos {a} y {{a}} y entre los conjuntos ∅. al menos. Soluci´ on Sean A y B dos conjuntos cualesquiera de un universal arbitrario U . teniendo en cuenta el resultado del ejemplo 1. sin importarnos cuantos elementos tenga A.2. as´ ı que ∅ y {∅} son conjuntos distintos. entonces {A} es un conjunto con un u ´nico elemento. 3} un subconjunto de A = x ∈ R : x2 − 3x + 2 = 0 ? 1. An´ alogamente. es decir. sin embargo. B A. hemos encontrado un elemento en B que no est´ a en A. Una caja con un paquete vac´ ıo de caramelos no es una caja vac´ ıa ya que contiene algo. por lo que se tratar´ ıa de un conjunto (la caja) con tres elementos (los paquetes). c} . ya que 3 ∈ B y. b} . luego pueden ser elementos de otros conjuntos. 32 − 3 · 3 + 2 = 2 = 0. 2. Ejemplo 1. De la misma forma {∅} es un conjunto con un elemento mientras que ∅ no contiene elementos. el conjunto A = {{a. ¿Es B = {1. {b} .4 Los conjuntos tambi´ en son objetos.

5).Matem´ atica Discreta Soluci´ on {a} es un conjunto cuyo u ´nico elemento es el a.4 Proposici´ on Sea A un conjunto cualquiera. Conjunto con dos elementos. y s´ olo si la implicaci´ on x ∈ A =⇒ x ∈ U es verdad para cada x de U . El conjunto A es un subconjunto de U si. consecuentemente.1. Pero x ∈ U es verdad para todos los x.2. entonces ∅ ⊆ A. x ∈ U es una tautolog´ ıa. {∅}. ∅⊆A Ejemplo 1. {∅}}. A⊆U 1.2. por lo tanto. sea x un elemento arbitrario del universal. 9 . ∅. Pues bien. {{a}} es un conjunto cuyo u ´nico elemento es el conjunto {a}. es decir siempre es falsa. se sigue que ∀x (x ∈ A =⇒ x ∈ U ) es verdad y. {∅. el ∅ y el {∅}.3 Proposici´ on Sea U el conjunto universal y A un conjunto cualquiera. Demostraci´ on Esta demostraci´ on es un ejemplo de demostraci´ on vac´ ıa ya que la definici´ on de conjunto vac´ ıo nos permite afirmar que la proposici´ on ∃x : x ∈ ∅ es una contradicci´ on. Como x ∈ ∅ es falsa para todos los elementos de U tendremos que la implicaci´ on x ∈ ∅ =⇒ x ∈ A es verdadera. Conjunto u ´nico que no tiene elementos (definici´ on 1. es decir es verdad siempre. Francisco Jos´ e Gonz´ alez Guti´ errez 1. Entonces A ⊆ U .14 Determinar los subconjuntos de un conjunto. Conjunto con un u ´nico elemento que es el ∅. De la arbitrariedad de x se sigue que ∀x (x ∈ ∅ =⇒ x ∈ A) y. Como x es un elemento arbitrario de U . Demostraci´ on La demostraci´ on es un ejemplo de demostraci´ on trivial basada en la definici´ on de conjunto universal que nos permite afirmar que la proposici´ on ∀x. luego la implicaci´ on tambi´ en es verdad independientemente de que x ∈ A sea verdadero o falso.

2. 2. Aqu´ ı tenemos que 1 y {2. 3} . luego {1. {b} .2. 2. b} y {a} ∈ / {a. 1. {2. 2. {1. {2. 3}. 1 ∈ {1. 3}. {2. b}. 2. 3} y 3 ∈ {1. 2. 2} . y {a. 2} . 3} ∅ ⊆ {1. b}. a ∈ A y b ∈ B luego por la definici´ on de inclusi´ on (1. b}. 3} son los dos elementos que tiene este conjunto. 2. 1.4). 3}. 2. {2. 2. 1 ∈ {1. 3}.2. 3}}. {2. {{2. 2. 2} .1). 3}. 2.2. Tambi´ en ∅ ⊆ {a. 1} . Ejemplo 1. 3}}. 2. pero a ∅∈ / {a. 3} y {1. 2 ∈ {1.2. 3}. b} Obs´ ervese que {a} ⊆ {a. 3} (b) {1. Sus subconjuntos son el ∅ y el {{a}}. 3}} (c) {{1. 3}. 3} (Proposici´ on 1. {2. 3} y 3 ∈ {1. 3} ⊆ {1. b} son subconjuntos de {a. 3}} y {1. b}. 2 ∈ {1. el conjunto {a}. por lo tanto.4 se sigue que el conjunto vac´ ıo. 1 ∈ {1. {b} y {a. {a} . 3}} (c) {{1. b} {a. 2. {2}} Soluci´ on Utilizaremos la definici´ on de subconjunto (1. luego {1. 3} ⊆ {1. {1} . 2. 3}. luego {2. b} y a ∈ {a. luego {1} ⊆ {1. 3} ⊆ {1. 3} son ∅. 3}}}. {3} . 2. 2. Por otra parte. 1 ∈ {1. Consecuentemente. 3}.Universidad de C´ adiz (a) Veamos cuantos subconjuntos tiene el conjunto {a. b}. {2. 2. 2. pero (b) El conjunto {{a}} es un conjunto unitario ya que tiene un u ´nico elemento. 3}}} 10 Determinar todos los subconjuntos de los siguientes conjuntos: . el conjunto propuesto tiene cuatro subconjuntos distintos: ∅. 3} y 2 ∈ {1. 3} y 3 ∈ {1. 3}. 2. Este conjunto tiene un u ´nico elemento que es {1. 3 ∈ {1. 1. 3}. luego razonando igual que en el apartado anterior. {1} . 2}} (g) {{∅. {∅}} (f) {{1. {a}. los subconjuntos de {1. {2. {1. 3} (b) {1. {2. 3}. luego {2} ⊆ {1. Departamento de Matem´ aticas De la proposici´ on 1. {2} . luego {1. 2} ⊆ {1.15 (a) {1. luego {3} ⊆ {1. ∅ es uno de ellos. 3}. 3}. 2. 2. por lo tanto sus subconjuntos son: ∅ y {{1. 3}}} (d) {∅} (e) {∅. {2. 2.1). A ⊆ B ⇐⇒ ∀x (x ∈ A =⇒ x ∈ B ) (a) {1. 3}. 2. 2. 2 ∈ {1. 2. sus subconjuntos son: ∅.

cada elemento de A es un elemento de B luego por definici´ on de subconjunto. 1. {2. 2} luego el conjunto propuesto es {{1. 1} . es decir. sus subconjuntos son ∅. Este conjunto tiene un elemento que es ∅. Entonces A = B si. Este conjunto tiene dos elementos. entonces A ⊆ B . por lo tanto sus subconjuntos son ∅ (por 1. si A = B . supongamos que A = B .5 Caracterizaci´ on de la Igualdad Sean A y B dos conjuntos cualesquiera de un universal arbitrario U . (A ⊆ B ) ∧ (B ⊆ A) =⇒ [(∀x (x ∈ A =⇒ x ∈ B )] ∧ [(∀x (x ∈ B =⇒ x ∈ A)] consecuentemente. 1.2. {2}}. Demostraci´ on “S´ olo si. por lo tanto tiene dos subconjuntos. 1. Entonces por el axioma de extensi´ on. por lo tanto. Obs´ ervese que {1. {2. De aqu´ ı que (A = B =⇒ A ⊆ B ) ∧ (A = B =⇒ B ⊆ A) lo cual equivale a A = B =⇒ A ⊆ B ∧ B ⊆ A “Si.2. 2} .Matem´ atica Discreta Francisco Jos´ e Gonz´ alez Guti´ errez (d) {∅}. 2}} (g) {{∅. entonces B ⊆ A. {2}} 1. {{2}} y {{∅.4) y {∅} (por 1.2. Siguiendo un razonamiento id´ entico a los anteriores apartados.1) (e) {∅.” A ⊆ B ∧ B ⊆ A =⇒ A = B En efecto. 1.1) (f) {{1. {{∅}} y {∅. 2} . 2} . por el axioma de extensi´ on A=B Este teorema lo utilizaremos con mucha frecuencia para comprobar que dos conjuntos son iguales. {{∅. 2}} . 2}} y. tendremos que si A = B . para probar que A = B . y s´ olo si A ⊆ B y B ⊆ A.2. {∅}} (por 1. A ⊆ B . 11 . As´ ı pues. ∅ (por 1. ∅ y {∅}. probaremos que A ⊆ B y B ⊆ A.” A = B =⇒ A ⊆ B ∧ B ⊆ A En efecto. 2} = {2. Utilizando los mismos argumentos. {∅}}. 1.4) y {∅} .2. 1} = {2. aunque intercambiando los papeles de A y B . sus subconjuntos son ∅ y {{1. 1. 2}}.

¿es posible que A ∈ C ?. 3} C = x ∈ R : x2 − 4x + 3 = 0 D = x ∈ R : x2 − 3x + 2 = 0 E = {x ∈ Z+ : x < 3} F = {x ∈ Z+ : x es impar y x < 5} 12 . Ahora bien. es posible. Si A ∈ B y B ∈ C . sean A = {a} . B = {{a}} y C = {{{a}}} entonces.Universidad de C´ adiz Departamento de Matem´ aticas 1. Demostraci´ on Sea x un elemento arbitrario del universal U . De A ⊆ B . A ∈ B . se sigue que x ∈ A =⇒ x ∈ B De B ⊆ C . A∈ /C Ejemplo 1. B y C tres conjuntos. Por ejemplo. entonces A ⊆ C. {a}} entonces. A∈B yB∈C y sin embargo. Soluci´ on En efecto. En efecto. sean A = {a} B = {{a}} C = {{{a}} .16 Sean A.6 Corolario De la caracterizaci´ on anterior se sigue que para cualquier conjunto A. ¿es siempre verdad que A ∈ C ?. tendremos ∀x (x ∈ A =⇒ x ∈ C ) por lo tanto. A⊆C Ejemplo 1.2. 1.17 Estudiar la relaci´ on que existe entre los siguientes conjuntos: A = {1. Da ejemplos de tus afirmaciones. se sigue que x ∈ B =⇒ x ∈ C De la transitividad de la implicaci´ on l´ ogica se sigue que x ∈ A =⇒ x ∈ C y al ser x arbitrario. 2} B = {1.2. B y C tres conjuntos cualesquiera de un universal arbitrario U . B ∈ C y A ∈ C . Si A ⊆ B y B ⊆ C . se verifica que A ⊆ A.7 Transitividad de la Inclusi´ on Sean A. esto no es verdad siempre.

8. As´ ı pues. A = E . x ∈ C ⇐⇒ x2 − 4x + 3 = 0 ⇐⇒ x = 1 ∨ x = 3 ⇐⇒ x ∈ B o sea. Entonces. {{{∅}}} . . {∅} . {∅}} . A = B. Sea x un entero positivo cualquiera. {∅. Consecuentemente. {∅} . x ∈ E ⇐⇒ x < 3 ⇐⇒ x = 1 ∨ x = 2 ⇐⇒ x ∈ A por lo tanto. El conjunto universal se representa por el interior de un rect´ angulo y todos los dem´ as conjuntos se representan por regiones cerradas incluidos en el mismo. 13 . {∅. {∅. As´ ı. A = D. {∅}} . {∅} . un elemento que es el conjunto que le precede en la sucesi´ on. A=B A=C A=D A=E A=F 2 2 2 2 B=C B=D B=E B=F 2 2 2 C=D C=E C=F 2 2 D=E D=F 2 E=F Nota 1. ya que 2 ∈ A y 2 ∈ /By3∈By3∈ / A.Matem´ atica Discreta Soluci´ on Francisco Jos´ e Gonz´ alez Guti´ errez A y B son distintos. hemos encontrado un elemento en A que no est´ a en B y un elemento en B que no est´ a en A. ∅. Por tanto. contando desde cero. Entonces. {∅} . C = B x ∈ D ⇐⇒ x2 − 3x + 2 = 0 ⇐⇒ x = 1 ∨ x = 2 ⇐⇒ x ∈ A es decir.5 Con el conjunto vac´ ıo puede construirse una sucesi´ on infinita de conjuntos distintos. . . {∅. {∅}}}} cada conjunto tiene como elementos todos los conjuntos que le preceden en la sucesi´ on. ∅. En la sucesi´ on. exactamente. {∅} . el conjunto que ocupa el lugar k tiene k elementos. el primer conjunto no tiene ning´ un elemento y cada uno de los restantes tiene. 1. En la sucesi´ on. Sea x un entero positivo cualquiera.3 Diagramas de Venn Una representaci´ on gr´ afica para los conjuntos son los diagramas de Venn. por el resultado del ejemplo 1. F = B . {∅. {∅. Entonces. x ∈ F ⇐⇒ x es impar x < 5 ⇐⇒ x = 1 ∨ x = 3 ⇐⇒ x ∈ B por lo tanto. {{∅}} . {∅}}} . {∅. Ahora observemos lo siguiente: Sea x un n´ umero real arbitrario.

algunos en los dos. entonces la regi´ on que representa a A estar´ a separada completamente de la regi´ on que representa a B (apartado (b) de la figura). 14 . entonces la regi´ on que representa a A. − Si A y B son dos conjuntos arbitrarios.Universidad de C´ adiz U U Departamento de Matem´ aticas U A B B A B A (a) A ⊆ B (b) A y B son disjuntos (c) A y B no son disjuntos Diagramas de Venn − Si A es un subconjunto de B . estar´ a contenida en la que representa a B (apartado (a) de la figura). − Si A y B no tienen elementos en com´ un (A y B son disjuntos). algunos en B pero no en A. A y B . ni en B (apartado (c) en la figura). entonces es posible que algunos elementos est´ en en A pero no en B . A ⊆ B . y algunos ni en A.