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 .

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

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

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

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

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

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

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

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

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

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

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

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

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

− Si A y B son dos conjuntos arbitrarios. algunos en B pero no en A. 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). entonces la regi´ on que representa a A. ni en B (apartado (c) en la figura). y algunos ni en A. estar´ a contenida en la que representa a B (apartado (a) de la figura). 14 . A ⊆ B .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 estar´ a separada completamente de la regi´ on que representa a B (apartado (b) de la figura). A y B .

Sign up to vote on this title
UsefulNot useful