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 .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful