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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful