P. 1
Conjunto y Subconjuntos

Conjunto y Subconjuntos

|Views: 11|Likes:
Publicado porGerardo Rocha

More info:

Published by: Gerardo Rocha on Aug 26, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/18/2014

pdf

text

original

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

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

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

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

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

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

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

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

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

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

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

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

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

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->