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

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

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

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

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

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

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. Entonces. sea a un elemento cualquiera de R. 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.Matem´ atica Discreta Francisco Jos´ e Gonz´ alez Guti´ errez Ejemplo 1. Sean A y B dos conjuntos cualesquiera de un universal arbitrario U . en cuyo caso escribiremos B ⊇ A. Ejemplo 1. A ⊆ B . 3} .1 Inclusi´ on de conjuntos Subconjuntos Sean A y B dos conjuntos.2 1. es decir. Soluci´ on 7 Probar que el conjunto A = x ∈ R : x2 − 3x + 2 = 0 es subconjunto del B = {1. o sea. Entonces. 1. y lo notaremos por A ⊆ B .9 Soluci´ on En efecto. por el axioma de extensi´ on A = B ⇐⇒ ∀x [(x ∈ A =⇒ x ∈ B ) ∧ (x ∈ B =⇒ x ∈ A)] de aqu´ ı que por asociatividad (??).8 Soluci´ on Dar una condici´ on necesaria y suficiente para que dos conjuntos sean distintos. si cada elemento de A es un elemento de B . A ⊆ B ⇐⇒ ∀x (x ∈ A =⇒ x ∈ B ) Tambi´ en puede decirse que B contiene a A. Diremos que A est´ a contenido en B o que es un subconjunto de B . 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 . Ejemplo 1. tengamos que A = B ⇐⇒ [∀x (x ∈ A =⇒ x ∈ B ) ∧ ∀x (x ∈ B =⇒ x ∈ A)] y si ahora negamos ambos miembros. 2.2. 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. Una caja con un paquete vac´ ıo de caramelos no es una caja vac´ ıa ya que contiene algo. si A es un conjunto. ∅. 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. Soluci´ on Sean A y B dos conjuntos cualesquiera de un universal arbitrario U . {c}} tiene cuatro elementos que son los conjuntos {a. entonces {A} es un conjunto con un u ´nico elemento. b} . al menos. c} . 3} un subconjunto de A = x ∈ R : x2 − 3x + 2 = 0 ? 1. teniendo en cuenta el resultado del ejemplo 1. sin embargo. A.2 Inclusi´ on Estricta Si A ⊆ B y adem´ as B tiene un elemento que no est´ a en A. una condici´ on necesaria y suficiente para que A no est´ e contenido en B es que exista.11 Soluci´ on No. 8 . 2. Si tuvi´ eramos una caja con tres paquetes de caramelos. ya que 3 ∈ B y. {b} . c} .12 tenido en otro. as´ ı que ∅ y {∅} son conjuntos distintos.8. por ejemplo. hemos encontrado un elemento en B que no est´ a en A. un elemento en A que no est´ e en B . por tanto. Ejemplo 1.13 Describir brevemente la diferencia entre los conjuntos {a} y {{a}} y entre los conjuntos ∅.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. b} . Ejemplo 1. 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. Un caso curioso ocurre con el conjunto vac´ ıo. por lo que se tratar´ ıa de un conjunto (la caja) con tres elementos (los paquetes). pero ∅ = {∅}. es decir. Entonces. luego pueden ser elementos de otros conjuntos. la considerar´ ıamos como una caja con paquetes antes que una caja con caramelos. ¿Es B = {1. A ⊂ B ⇐⇒ A ⊆ B ∧ [∃x : (x ∈ B ∧ x ∈ / A)] Ejemplo 1. {∅}}.2. B A. luego 3 ∈ / A. {b} y {c}. el conjunto A = {{a. diremos que A est´ a estrictamente incluido en B o que A es un subconjunto propio de B y lo notaremos por A ⊂ B . sin importarnos cuantos elementos tenga A. An´ alogamente.4 Los conjuntos tambi´ en son objetos. {∅} y {∅. un paquete. Tendremos que ∅ ∈ {∅} e incluso ∅ ⊆ {∅}. 32 − 3 · 3 + 2 = 2 = 0.

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

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

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

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

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

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). algunos en B pero no en A. − Si A y B son dos conjuntos arbitrarios.Universidad de C´ adiz U U Departamento de Matem´ aticas U A B B A B A (a) A ⊆ B (b) A y B son disjuntos (c) A y B no son disjuntos Diagramas de Venn − Si A es un subconjunto de B . A y B . y algunos ni en A. ni en B (apartado (c) en la figura). entonces la regi´ on que representa a A. A ⊆ B . 14 . estar´ a contenida en la que representa a B (apartado (a) de la figura). 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).

Sign up to vote on this title
UsefulNot useful