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 .

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

A´ un m´ as. elemento. 2. i.Universidad de C´ adiz Departamento de Matem´ aticas derivar contradicciones. o no. o. un conjunto es cualquier colecci´ on de objetos que pueda tratarse como una entidad. 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. La afirmaci´ on “el elemento a pertenece al conjunto A” se escribe a∈A y la negaci´ on de este hecho.1. por comprensi´ on y estudiamos la igualdad de dos conjuntos.1. 2 . 4.2 Definir por extensi´ on los siguientes conjuntos. Ejemplo 1. u} (b) El conjunto formado por los n´ umeros enteros pares no negativos y menores que diez. A = {a. e. 1. (b) El conjunto de las letras de mi nombre. B = {0. 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. 1. 8} Obs´ ervese que los elementos del conjunto est´ an separados por comas y encerrados entre llaves. A cada objeto de la colecci´ on lo llamaremos elemento o miembro del conjunto. Parece extra˜ no el proponerse tal cosa deliberadamente. (a) El conjunto de las vocales del alfabeto. Ejemplo 1.1 Los siguientes conjuntos est´ an definidos por extensi´ on.2 Determinaci´ on por Extensi´ on Un conjunto est´ a definido por extensi´ on cuando se especifican todos los elementos que forman el mismo. como es nuestro caso. 1. 6. pero las contradicciones no son un problema si. ¬(a ∈ A).1 Conjuntos y Elementos Intuitivamente. el universo del discurso se define convenientemente.1 Generalidades Definimos los conceptos fundamentales del tema como conjunto. a un conjunto. A los conjuntos los designaremos con letras may´ usculas y a sus elementos con letras min´ usculas. determinaci´ on de un conjunto por extensi´ on. (a) El conjunto de los enteros no negativos menores que cinco.

consecuentemente. 2. 5.3 Definir. 7. De aqu´ ı que si p(x) es un predicado con una variable libre. 60} Ejemplo 1. 5. 48. 8. y s´ olo si p(a) es verdad. 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. 24. 2. 7. 13. (d) El conjunto de los n´ umeros primos entre 10 y 20.1. el conjunto A = {x : p(x)} denota al conjunto A tal que a ∈ A si. Esta propiedad o especificaci´ on impl´ ıcita. 9} (c) C = {2. 6.1 Los elementos de un conjunto infinito no pueden especificarse de una forma expl´ ıcita. se hace a menudo mediante un predicado con una variable libre. c. 10. 1. 3. por extensi´ on. 1. 6. 11} (b) B = {0. a.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.4 Definir por comprensi´ on los siguientes conjuntos: 3 . Ejemplo 1. Soluci´ on (a) A = {0. 19} (e) E = {12.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. 1. 4. 17. 4} (b) B = {p. 8. (e) El conjunto de los m´ ultiplos de 12 que son menores que 65. 36. El conjunto estar´ a determinado por aquellos elementos del universo que hacen del predicado una proposici´ on verdadera. 9. o} (c) C = {Adolfo Su´ arez} (d) D = {11. 5} Nota 1. 3. necesitaremos una forma alternativa de describir tales conjuntos impl´ ıcitamente.

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

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

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

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

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

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

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

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

Ahora bien. Si A ∈ B y B ∈ C . B y C tres conjuntos. esto no es verdad siempre.Universidad de C´ adiz Departamento de Matem´ aticas 1.16 Sean A. tendremos ∀x (x ∈ A =⇒ x ∈ C ) por lo tanto. entonces A ⊆ C.6 Corolario De la caracterizaci´ on anterior se sigue que para cualquier conjunto A. A∈ /C Ejemplo 1. se verifica que A ⊆ A. A⊆C Ejemplo 1. 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 . En efecto. B y C tres conjuntos cualesquiera de un universal arbitrario U .7 Transitividad de la Inclusi´ on Sean A. Da ejemplos de tus afirmaciones. ¿es posible que A ∈ C ?. 1.2. sean A = {a} B = {{a}} C = {{{a}} . Si A ⊆ B y B ⊆ C . A ∈ B . De A ⊆ B . B ∈ C y A ∈ C . Demostraci´ on Sea x un elemento arbitrario del universal U . sean A = {a} . Por ejemplo. 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.17 Estudiar la relaci´ on que existe entre los siguientes conjuntos: A = {1. 2} B = {1. A∈B yB∈C y sin embargo. ¿es siempre verdad que A ∈ C ?. es posible.2. Soluci´ on En efecto. se sigue que x ∈ A =⇒ x ∈ B De B ⊆ C . {a}} entonces. B = {{a}} y C = {{{a}}} entonces.

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

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). y algunos ni en A.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 . entonces la regi´ on que representa a A. entonces es posible que algunos elementos est´ en en A pero no en B . − Si A y B son dos conjuntos arbitrarios. algunos en los dos. algunos en B pero no en A. − Si A y B no tienen elementos en com´ un (A y B son disjuntos). A y B . 14 . ni en B (apartado (c) en la figura). A ⊆ B . estar´ a contenida en la que representa a B (apartado (a) de la figura).

Sign up to vote on this title
UsefulNot useful