SlideShare uma empresa Scribd logo
1 de 23
Baixar para ler offline
Semana02[1/23]




  Conjuntos



9 de marzo de 2007




          Conjuntos
Conjuntos                                                                                   Semana02[2/23]
 Introducción



  La teoría de conjuntos gira en torno a la función proposicional x ∈ A. Los valores que hacen verdadera la
  función proposicional x ∈ A son aquellos elementos que forman el conjunto A.
  La función proposicional “x ∈ A” se lee "x pertenece a A". Su negación, que se denota x ∈ A, se lee “x no
                                                                                            /
  pertenece a A”.

  Ejemplo
  Si queremos que el conjunto A sea el de los números primos menores que 10 entonces tendríamos que
  definirlo formalmente así:

                               (∀x)[(x ∈ A) ⇐⇒ (x = 2 ∨ x = 3 ∨ x = 5 ∨ x = 7)].




  Los conjuntos finitos son fáciles de definir. De hecho, acabamos de mostrar cómo se define el conjunto que se
  se denota por extensión A = {2, 3, 5, 7}.
  La axiomática de la teoría de conjuntos (que aquí no se estudiará) permite asumir la existencia de un conjunto
                                            Æ
  infinito muy importante: el de los naturales = {0, 1, 2, 3, . . .}.




                                                          Conjuntos
Conjuntos                                                                                        Semana02[3/23]
 Introducción: Algunos ejemplos de conjuntos


  En matemáticas se construyen nuevos conjuntos a partir de conjuntos ya conocidos. Supongamos que ya
  conocemos el conjunto A. Podemos introducir, B = {x ∈ A|p(x)}. Lo que en el fondo estamos definiendo es la
  función proposicional x ∈ B así:

                                               (∀x)[(x ∈ B) ⇐⇒ (x ∈ A ∧ p(x))]


  Por ejemplo, el conjunto de múltiplos de 7 es el conjunto {x ∈                Æ|( x7 ) ∈ Æ}.

  Otros ejemplos de conjuntos, con los cuales el lector ya debe estar familiarizado:

  Ejemplos
    1             Ê
        Los reales .
    2   Los enteros .
    3   Los racionales É = {x ∈ Ê | (∃p)(∃q)(p ∈             ∧q ∈                 p
                                                                    ∧ q = 0 ∧ x = q )}.
    4   Los irracionales Éc = {x ∈ Ê | x ∈ É}./
    5   Los naturales Æ = {0, 1, 2, 3, . . . }.
                                +
    6   Los enteros positivos       = {1, 2, 3, 4, . . . }




                                                                    Conjuntos
Conjuntos                                                                                  Semana02[4/23]
 El conjunto vacío




  Definimos ahora el conjunto vacío, el cual notamos φ, del siguiente modo:



  Conjunto vacío
                                               φ = {x ∈   Æ|x = x}.

  Notar que φ no tiene ningún elemento. Es decir (∀x)(x ∈ φ).
                                                        /
  En efecto, sea x arbitrario.

                           (x ∈ φ) ⇐⇒ ((x ∈   Æ) ∧ (x = x))   ⇐⇒ ((x ∈   Æ) ∧ F )   ⇐⇒ F




                                                           Conjuntos
Conjuntos                                                                 Semana02[5/23]
 Igualdad e inclusión

  Sean A y B conjuntos. Definimos la igualdad y la inclusión como sigue.


  Igualdad e inclusión
                                    A=B      ⇐⇒    (∀x)(x ∈ A ⇐⇒ x ∈ B)
                                    A⊆B      ⇐⇒    (∀x)(x ∈ A ⇒ x ∈ B)


  Una primera propiedad que probaremos es:
  Propiedad
  Sean A y B conjuntos. Se tiene que:
                                          A = B ⇐⇒ A ⊆ B ∧ B ⊆ A



  Demostración.
  Vamos a usar la identidad lógica ya demostrada anteriormente:
  (∀x)(p(x) ∧ q(x)) ⇐⇒ [(∀x)p(x)) ∧ (∀x)p(x)].

        A=B      ⇐⇒     (∀x)(x ∈ A ⇐⇒ x ∈ B)
                 ⇐⇒     (∀x)[(x ∈ A ⇒ x ∈ B) ∧ (x ∈ B ⇒ x ∈ A)]
                 ⇐⇒     (∀x)(x ∈ A ⇒ x ∈ B) ∧ (∀x)(x ∈ B ⇒ x ∈ A)
                 ⇐⇒     A ⊆B∧B ⊆A




                                                         Conjuntos
Conjuntos                                                                                   Semana02[6/23]
 Igualdad e inclusión

  Otras propiedades importantes:
  Propiedades
  Sean A, B, C conjuntos arbitrarios. Se tiene:
   1 A = A

    2   A = B ⇐⇒ B = A
    3   (A = B ∧ B = C) ⇒ A = C
    4   A⊆A
    5   (A ⊆ B ∧ B ⊆ A) ⇒ A = B
    6   (A ⊆ B ∧ B ⊆ C) ⇒ A ⊆ C
    7   φ⊆A


  Demostración.
  Demostraremos sólo la propiedad 6.
  Hipótesis:
  (a) (∀x)(x ∈ A ⇒ x ∈ B)
  (b) (∀x)(x ∈ B ⇒ x ∈ C)
  p.d.q: (∀x)(x ∈ A ⇒ x ∈ C)
  En efecto: Sea x arbitrario. Asumamos que x ∈ A. Por (a) se tiene que x ∈ B. Por (b) se tiene que x ∈ C.


                                                          Conjuntos
Conjuntos                                                                                       Semana02[7/23]
 Unión de conjuntos

  Operando conjuntos conocidos se pueden definir nuevos conjuntos.Sean A y B conjuntos.
  La unión de A con B, que se denota A ∪ B, es el conjunto que reúne a los elementos que están en A con
  aquellos que están en B. Formalmente:

  Unión
                                     (∀x)[(x ∈ A ∪ B) ⇐⇒ (x ∈ A ∨ x ∈ B)]




                                                                        A∪B




                                                A                       B




                    Figura: Diagrama de Venn, representando la unión entre A y B (área achurada).




                                                            Conjuntos
Conjuntos                                                                                  Semana02[8/23]
 Paréntesis Importante: Diagramas de Venn


  Un Diagrama de Venn, como el presentado en la diapositiva anterior, es una ilustración que muestra la
  relación matemática o lógica entre conjuntos.



                                                         C




                                                A                      B




                                   Figura: Diagrama de Venn para tres conjuntos.


  Fueron introducidos por el filósofo y matemático británico John Venn (1834-1923) el año 1881.
  Los diagramas de Venn cumplen el rol de ayudarnos a desarrollar una intuición frente al concepto de conjunto
  y a las relaciones entre estos.
  Sin embargo no podemos usarlos para demostrar propiedades, ni para sacar conclusiones generales (que se
  apliquen a todo conjunto).



                                                           Conjuntos
Conjuntos                                                                                        Semana02[9/23]
 Intersección de conjuntos


  La intersección de A con B, que se denota A ∩ B, es el conjunto formado por los elementos que están tanto en
  A como en B. Formalmente:

  Intersección
                                      (∀x)[(x ∈ A ∩ B) ⇐⇒ (x ∈ A ∧ x ∈ B)]




                                                 A     A∩B              B




                 Figura: Diagrama de Venn, representando la intersección entre A y B (área achurada).




                                                            Conjuntos
Conjuntos                                                                Semana02[10/23]
 Unión e intersección




  Una primera propiedad:
  Propiedad
  Sean A, B conjuntos tales que A ⊆ B. Entonces A ∪ B = B y A ∩ B = A.

  Demostración.
  Probaremos sólo la primera.
  ⊆)
  Sea x arbitrario tal que x ∈ A ∪ B. Es decir,
  Hipótesis: x ∈ A ∨ x ∈ B.
  p.d.q: x ∈ B
  En efecto:
  Caso 1. x ∈ A. Como A ⊆ B se tiene que x ∈ B.
  Caso 2. x ∈ A. Por hipótesis se tiene que tener x ∈ B.
             /
  ⊇)
  Sea x arbitrario tal que x ∈ B. Obviamente x ∈ A ∪ B.




                                                           Conjuntos
Conjuntos                                                                                 Semana02[11/23]
 Unión e intersección



  Propiedades
  Sean A, B, C conjuntos, se tiene:
   1 Conmutatividades
        1.1 A ∪ B = B ∪ A.
        1.2 A ∩ B = B ∩ A.
    2   Asociatividades
        2.1 A ∪ (B ∪ C) = (A ∪ B) ∪ C.
        2.2 A ∩ (B ∩ C) = (A ∩ B) ∩ C.
    3   Distributividades
        3.1 A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
        3.2 A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C).
    4   4.1 A ∩ B ⊆ A ⊆ A ∪ B.
        4.2 A ∩ B ⊆ B ⊆ A ∪ B.


  Demostración.
  Notar que las propiedades (1), (2) y (3), son consecuencias directas de las propiedades análogas para ∧ y ∨.
  Queda como ejercicio realizar dichas demostraciones.




                                                          Conjuntos
Conjuntos                                                                                 Semana02[12/23]
 Conjunto universo
  Asumiremos la existencia de un universo (conjunto referencia) U en el que viven todos los elementos con los
  que se va a trabajar. Es decir, U es tal que la proposición a ∈ U es siempre verdadera.
  Con esto, podemos concluir de lo anterior el siguiente:


  Corolario
  Sean A, B conjuntos y sea U el conjunto universo.
   1 A∪A = A

   2 A∩A = A

   3 A∪φ = A

   4 A∩φ = φ

   5 A∪U = U

   6 A∩U = A


  Demostración.
      Como A ⊆ A se tiene que A ∪ A = A y que A ∩ A = A.
      Como φ ⊆ A se tiene que φ ∪ A = A y que φ ∩ A = φ.
      Como A ⊆ U se tiene que A ∪ U = U y que A ∩ U = A.



  Importante
  El conjunto universo es un conjunto de referencia, es decir habrá veces que tomaremos U =   Ê, u otras
  U = , etc.

                                                            Conjuntos
Conjuntos                                                                                    Semana02[13/23]
 Diferencia y complemento


  Supongamos que tenemos un conjunto de referencia U (conjunto universo). Queremos definir el complemento
  de un conjunto A, que notaremos Ac , como aquel formado por todos los elementos que no están en A.
  Formalmente:
  Conjunto complemento
                                         (∀x)(x ∈ Ac ⇐⇒ x ∈ U ∧ x ∈ A)
                                                                  /
  O sea, (∀x)(x ∈ Ac ⇐⇒ x ∈ A).
                          /



                            Ac               U


                                                                   Ejemplo
                      A              B
                                                                   Si viviésemos en el mundo de los números
                                                                   enteros (conjunto universo) entonces
                                                                   consideremos A = {x ∈ | x es par}.
                                                                   Obviamente Ac = {x ∈ | x es impar}.

   Figura: Diagrama de Venn, representando el complemento
   de A (área achurada).




                                                            Conjuntos
Conjuntos                                                                                      Semana02[14/23]
 Diferencia y complemento


  Definimos además la diferencia entre A y B, que notamos A  B, como el conjunto formado por los elementos
  que están en A y que no están en B. Formalmente:

  Diferencia
                                                    A  B = A ∩ Bc .




                                                                               U
                                      AB



                                                A                        B




                  Figura: Diagrama de Venn, representando la diferencia entre A y B (área achurada).




                                                             Conjuntos
Conjuntos                                                   Semana02[15/23]
 Diferencia y complemento


  Algunas propiedades:
  Propiedades
  Sean A y B conjuntos.
   1 Leyes de De Morgan
       1.1. (A ∪ B)c = Ac ∩ B c
       1.2. (A ∩ B)c = Ac ∪ B c
   2   (A ⊆ B) ⇐⇒ (B c ⊆ Ac )
   3   (Ac )c = A
   4   A ∪ Ac = U
   5   A ∩ Ac = φ

  Demostración.
  Demostraremos la primera. Sea x arbitrario.
   x ∈ (A ∪ B)c ⇐⇒ x ∈ (A ∪ B)
                ⇐⇒ (x ∈ A) ∨ (x ∈ B)
                ⇐⇒ (x ∈ A) ∧ (x ∈ B)
                ⇐⇒ (x ∈ Ac ) ∧ (x ∈ B c )
                ⇐⇒ x ∈ (Ac ∩ B c )




                                                Conjuntos
Conjuntos                                                                                        Semana02[16/23]
 Diferencia simétrica

  Un elemento x se dice que pertenece a la diferencia simétrica entre A y B, que se denota A∆B, si y solamente
  si x está en A pero no en B, o bien en B pero no en A.
  Formalmente:
  Diferencia simétrica
                                              A∆B = (A  B) ∪ (B  A)




                                                        A∆B                     U




                                                 A                       B




              Figura: Diagrama de Venn, representando la diferencia simétrica entre A y B (área achurada).




                                                             Conjuntos
Conjuntos                                                               Semana02[17/23]
 Diferencia simétrica


  Obviamente, algunas propiedades:
  Propiedades
  Sean A, B, C conjuntos.
   1 A∆B = (A ∪ B)  (A ∩ B)

   2 A∆B = B∆A

   3 (A∆B)∆C = A∆(B∆C)

   4 A∆A = φ

   5 A∆φ = A

   6 (A ∩ (B∆C)) = (A ∩ B)∆(A ∩ C)


  Demostración.
  Demostraremos la primera.
         A∆B = (A  B) ∪ (B  A)
               = (A ∩ B c ) ∪ (B ∩ Ac )
               = [(A ∩ B c ) ∪ B] ∩ [(A ∩ B c ) ∪ Ac ]
               = [(A ∪ B) ∩ (B c ∪ B)] ∩ [(A ∪ Ac ) ∩ (B c ∪ Ac )]
               = [(A ∪ B) ∩ U] ∩ [U ∩ (B c ∪ Ac )]
               = (A ∪ B) ∩ (B c ∪ Ac )
               = (A ∪ B) ∩ (B ∩ A)c
               = (A ∪ B)  (A ∩ B).




                                                            Conjuntos
Conjuntos                                                                                 Semana02[18/23]
 Conjunto potencia

  Sea A un conjunto. Llamamos conjunto potencia de A, y notamos P(A), al conjunto de todos los subconjuntos
  de A. P(A) también se conoce como el “conjunto de las partes de A". Formalmente:

  Conjunto potencia
                                          (∀X )(X ∈ P(A) ⇐⇒ X ⊆ A)


  Note que siempre φ ∈ P(A) y A ∈ P(A).
  Veamos dos ejemplos.
  Ejemplos
  Suponga que A = {1, 2, 3}. En P(A) están todos los subconjuntos de A. O sea,

                              P(A) = {φ, {1}, {2}{3}, {1, 2}{1, 3}, {2, 3}, {1, 2, 3}}

  Suponga ahora que A = φ. ¿Cuáles son los subconjuntos de φ?
  Solamente el mismo φ. Luego P(φ) = {φ}. Note que φ = {φ} pues el primer conjunto no tiene ningún
  elemento mientras que el segundo tiene un elemento. En efecto: φ ∈ {φ}.
  Calculemos ahora P(P(φ)) = P({φ}).
  Obviamente, un conjunto de un solo elemento tiene solamente como subconjuntos los triviales: al vacío y a él
  mismo. O sea P({φ}) = {φ, {φ}}. El lector debe ser capaz ahora de calcular P(P(P(φ))). Note que este
  proceso puede no detenerse nunca. ¡Y lo que estamos generando es una infinidad de conjuntos!



                                                           Conjuntos
Conjuntos                                                                                Semana02[19/23]
 ⋆Ejemplo importante: Transitividad


  A continuación veremos otra técnica de demostración. Supongamos que queremos demostrar que p ⇒ r . Lo
  que hacemos es demostrarlo por pasos.
  Primero demostramos p ⇒ q1 . Después q1 ⇒ q2 . Después q2 ⇒ q3 . Seguimos así hasta que finalmente
  demostremos qn ⇒ r .
  Podemos concluir que p ⇒ r usando implícitamente la Tautología 2

                                        [(p ⇒ q) ∧ (q ⇒ r )] ⇒ (p ⇒ r )

  Apliquemos esta técnica para demostrar que para A, B, C conjuntos cualesquiera se tiene:

                                           (A∆B = A∆C) ⇒ B = C
  En efecto,

                                  A∆B = A∆C      ⇒    A∆(A∆B) = A∆(A∆C)
                                                 ⇒    (A∆A)∆B = (A∆A)∆C
                                                 ⇒    φ∆B = φ∆C
                                                 ⇒    B = C.




                                                         Conjuntos
Conjuntos                                                                                  Semana02[20/23]
 Pares ordenados

  Notemos que los conjuntos {a, b} y {b, a} son idénticos. En efecto, ambos contienen a los mismos elementos.
  Quisiéramos introducir un objeto que distinga el orden de los elementos.
  La solución no es muy difícil. Basta con definir los pares ordenados así: (a, b) = {{a}, {a, b}}. La propiedad
  fundamental de los pares ordenados es la siguiente.
  Propiedad
  Para todo a, b, x, y se tiene:
                                        (a, b) = (x, y ) ⇐⇒ a = x ∧ b = y



  Demostración.
  ⇐) Directo.
  ⇒)
  Demostremos primero que a = x.
  En efecto, como {{a}, {a, b}} = {{x}, {x, y }} se tiene que {a} ∈ {{x}, {x, y }}.
  Caso 1: {a} = {x}. Se concluye.
  Caso 2: {a} = {x}. O sea {a} = {x, y }. En este caso se tiene que tener a = x = y .

  Demostremos ahora que b = y .
  En efecto, como ya sabemos que a = x la hipótesis nos dice que {{a}, {a, b}} = {{a}, {a, y }}.
  Caso 1: Si a = b, luego {a} = {a, y }, de donde y = a = b .
  Caso 2: Si a = b, se tendrá que {a, b} = {a, y }. Luego b ∈ {a, y }.
  Pero como a = b, luego b = y .



                                                          Conjuntos
Conjuntos                                                                                      Semana02[21/23]
 Producto cartesiano

  Sean A, B conjuntos. Se define el producto cartesiano de A con B, que se denota A × B, del siguiente modo:

  Producto cartesiano
                                     (∀x, y ) [(x, y ) ∈ A × B ⇐⇒ x ∈ A ∧ y ∈ B]



  Ejemplo
  Sean A = {1, 2, 3} y B = {3, 6}. Se tiene que

                                  A × B = {(1, 3), (1, 6), (2, 3), (2, 6), (3, 3), (3, 6)}



  Algunas propiedades del producto cartesiano:
  Propiedades
  Sean A, A′ , B, B ′ , C, D conjuntos.
   1 A ⊆ A∧B ⊆ B ⇒ A ×B ⊆ A×B
       ′           ′           ′     ′

   2 (A × B) ∩ (C × D) = (A ∩ C) × (B ∩ D)


  Demostración.
  Demostraremos sólo la primera. Sea (x, y ) ∈ A′ × B ′ . Por definición x ∈ A′ y también y ∈ B ′ .
  Como A′ ⊆ A y B ′ ⊆ B se tiene que x ∈ A y además y ∈ B. O sea (x, y ) ∈ A × B.


                                                               Conjuntos
Conjuntos                                                                                   Semana02[22/23]
 ⋆Ejemplo importante: reducción al absurdo
  Veremos otra técnica de demostración más. Supongamos que queremos demostrar que la proposición r es
  verdadera. Lo que se hace es asumir que r es falsa y llegar a una contradicción. ¡¡En otras palabras, lo
  que se prueba es que en el mundo en que vivimos r no puede ser verdadera!!
  Si r es una implicancia del tipo p ⇒ q entonces, en una demostración por el absurdo, lo que tendríamos que
  asumir (para llegar a una contradicción) es p ⇒ q. O sea, p ∧ q.
  Notemos que estamos usando la Tautología 4: p ⇒ q ⇐⇒ p ∧ q.
  Veamos, a modo de ejemplo, la siguiente propiedad.

           Propiedad
           Sean A y B conjuntos. Se tiene que:

                                           A = B ⇐⇒ A × B = B × A



           Demostración.
           ⇒) Directa.
           ⇐) Reducción al absurdo.
           Supongamos que A × B = B × A y que al mismo tiempo A = B. Como A = B podemos
           asumir, sin pérdida de generalidad, la existencia de un x ∈ A tal que x ∈ B(si esto no
                                                                                     /
           ocurriese tendría que existir un x ∈ B tal que x ∈ A y la situación sería simétrica).
                                                            /
           Sea y ∈ B. Se tiene luego que (x, y ) ∈ A × B pero (x, y ) ∈ B × A. Esto contradice el hecho
                                                                      /
           de que A × B = B × A.



                                                          Conjuntos
Conjuntos                                                                                   Semana02[23/23]
 Cuantificando sobre conjuntos


  Dado un conjunto A y una función proposicional p(x), podemos escribir cuantificadores en los que sólo nos
  interese ver lo que ocurre a los elementos de A. Tenemos así las proposiciones:

  Proposiciones cuantificadas sobre conjuntos
    1   (∀x ∈ A)p(x), que significa que p(x) deber ser cierto para todos los elementos del conjunto A. Notar que
        esta proposición es equivalente a (∀x)(x ∈ A ⇒ p(x)).
    2   (∃x ∈ A)p(x), que significa que hay al menos un elemento x de A que hace cierto p(x). Notar que esto
        equivale a (∃x)(x ∈ A ∧ p(x)).
    3   (∃!x ∈ A)p(x), que significa que hay exactamente un elemento de x de A que hace verdadero p(x).
        Aquí hay dos ideas simultáneas: Existe al menos un x ∈ A que satisface p(x) (existencia), y que es
        exactamente uno (unicidad). Claramente esto equivale a (∃!x)(x ∈ A ∧ p(x)).


  El lector puede fácilmente verificar que estos cuantificadores se niegan de la manera usual:
  Negaciones
        (∀x ∈ A)p(x) ⇐⇒ (∃x ∈ A)p(x).
        (∃x ∈ A)p(x) ⇐⇒ (∀x ∈ A)p(x).
        (∃!x ∈ A)p(x) ⇐⇒ [((∀x ∈ A)p(x)) ∨ ((∃x, y ∈ A)(p(x) ∧ p(y ) ∧ x = y ))].




                                                            Conjuntos

Mais conteúdo relacionado

Mais procurados

La Integral Indefinida
La  Integral IndefinidaLa  Integral Indefinida
La Integral Indefinida
ERICK CONDE
 
Ejercicios propuestos operaciones con matrices
Ejercicios propuestos operaciones con matricesEjercicios propuestos operaciones con matrices
Ejercicios propuestos operaciones con matrices
algebra
 
Ejercicios de conjuntos
Ejercicios de conjuntosEjercicios de conjuntos
Ejercicios de conjuntos
Israel Ortiz
 
Solucionario Análisis Matemático II - Eduardo Espinoza Ramos
Solucionario Análisis Matemático II - Eduardo Espinoza RamosSolucionario Análisis Matemático II - Eduardo Espinoza Ramos
Solucionario Análisis Matemático II - Eduardo Espinoza Ramos
GLIMEL YANAPA
 
Desigualdades e inecuaciones
Desigualdades e inecuacionesDesigualdades e inecuaciones
Desigualdades e inecuaciones
Fabiàn Lozano
 

Mais procurados (20)

TEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOSTEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOS
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
La Integral Indefinida
La  Integral IndefinidaLa  Integral Indefinida
La Integral Indefinida
 
Ejercicios propuestos operaciones con matrices
Ejercicios propuestos operaciones con matricesEjercicios propuestos operaciones con matrices
Ejercicios propuestos operaciones con matrices
 
Ejercicios de conjuntos
Ejercicios de conjuntosEjercicios de conjuntos
Ejercicios de conjuntos
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Demostración números reales
Demostración números realesDemostración números reales
Demostración números reales
 
Solucionario Análisis Matemático II - Eduardo Espinoza Ramos
Solucionario Análisis Matemático II - Eduardo Espinoza RamosSolucionario Análisis Matemático II - Eduardo Espinoza Ramos
Solucionario Análisis Matemático II - Eduardo Espinoza Ramos
 
Axiomas de números reales
Axiomas de números realesAxiomas de números reales
Axiomas de números reales
 
Axiomas y teoremas de los números reales
Axiomas y teoremas de los números realesAxiomas y teoremas de los números reales
Axiomas y teoremas de los números reales
 
Teoria de Conjuntos
Teoria de ConjuntosTeoria de Conjuntos
Teoria de Conjuntos
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicas
 
Composicion de funciones
Composicion de funcionesComposicion de funciones
Composicion de funciones
 
Resumen teoria de conjuntos
Resumen teoria de conjuntosResumen teoria de conjuntos
Resumen teoria de conjuntos
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Desigualdades e inecuaciones
Desigualdades e inecuacionesDesigualdades e inecuaciones
Desigualdades e inecuaciones
 
Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
Ejercicios integrales impropias
Ejercicios integrales impropiasEjercicios integrales impropias
Ejercicios integrales impropias
 
Ley de conjuntos
Ley de conjuntosLey de conjuntos
Ley de conjuntos
 

Destaque

14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos
Carlos Alberto Mongui
 
Teoría de conjuntos - Guia didactica
Teoría de conjuntos - Guia didacticaTeoría de conjuntos - Guia didactica
Teoría de conjuntos - Guia didactica
Oscar E. Dávila A.
 
Evaluacion conjuntos quinto
Evaluacion conjuntos quintoEvaluacion conjuntos quinto
Evaluacion conjuntos quinto
Julio Cristancho
 
Taller de expresiones algebraicas
Taller de expresiones algebraicasTaller de expresiones algebraicas
Taller de expresiones algebraicas
edwinjavieralmanza
 
Motivación y saberes previos final
Motivación y saberes previos finalMotivación y saberes previos final
Motivación y saberes previos final
cdibarburut
 
Ficha de trabajo conjuntos
Ficha de trabajo   conjuntosFicha de trabajo   conjuntos
Ficha de trabajo conjuntos
Miguel Angel
 
Ficha de trabajo conjuntos ii
Ficha de trabajo   conjuntos iiFicha de trabajo   conjuntos ii
Ficha de trabajo conjuntos ii
Miguel Angel
 

Destaque (20)

Ejercicios resueltos de conjuntos
Ejercicios resueltos de conjuntosEjercicios resueltos de conjuntos
Ejercicios resueltos de conjuntos
 
14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos14003263 problemas-resueltos-de-conjuntos
14003263 problemas-resueltos-de-conjuntos
 
5 matematicas-1-ejercicios-teoria de conjuntos
5 matematicas-1-ejercicios-teoria de conjuntos5 matematicas-1-ejercicios-teoria de conjuntos
5 matematicas-1-ejercicios-teoria de conjuntos
 
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
 
Teoría de conjuntos - Guia didactica
Teoría de conjuntos - Guia didacticaTeoría de conjuntos - Guia didactica
Teoría de conjuntos - Guia didactica
 
Teoria de Conjuntos
Teoria de ConjuntosTeoria de Conjuntos
Teoria de Conjuntos
 
Evaluacion conjuntos quinto
Evaluacion conjuntos quintoEvaluacion conjuntos quinto
Evaluacion conjuntos quinto
 
CONJUNTOS
CONJUNTOSCONJUNTOS
CONJUNTOS
 
Un problema sobre conjuntos
Un problema sobre conjuntosUn problema sobre conjuntos
Un problema sobre conjuntos
 
Taller de expresiones algebraicas
Taller de expresiones algebraicasTaller de expresiones algebraicas
Taller de expresiones algebraicas
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Motivación y saberes previos final
Motivación y saberes previos finalMotivación y saberes previos final
Motivación y saberes previos final
 
Matematicas conjuntos grado tercero
Matematicas conjuntos grado terceroMatematicas conjuntos grado tercero
Matematicas conjuntos grado tercero
 
Logro TRES, Taller de Nivelación. Matemáticas
Logro TRES, Taller de Nivelación. MatemáticasLogro TRES, Taller de Nivelación. Matemáticas
Logro TRES, Taller de Nivelación. Matemáticas
 
Cardinal de conjuntos
Cardinal de conjuntosCardinal de conjuntos
Cardinal de conjuntos
 
1 TeoríA De Conjuntos
1 TeoríA De Conjuntos1 TeoríA De Conjuntos
1 TeoríA De Conjuntos
 
Ficha de trabajo conjuntos
Ficha de trabajo   conjuntosFicha de trabajo   conjuntos
Ficha de trabajo conjuntos
 
Ficha de trabajo conjuntos ii
Ficha de trabajo   conjuntos iiFicha de trabajo   conjuntos ii
Ficha de trabajo conjuntos ii
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Complemento de conjuntos
Complemento de conjuntosComplemento de conjuntos
Complemento de conjuntos
 

Semelhante a TALLER TEORIA DE CONJUNTOS

Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones
2964HaPg
 
Presentacion diego suarez conjuntos
Presentacion diego suarez conjuntosPresentacion diego suarez conjuntos
Presentacion diego suarez conjuntos
Diiego Armando
 
Conjuntos bueno
Conjuntos buenoConjuntos bueno
Conjuntos bueno
Luis Elias
 
001 practica de_conjuntos
001 practica de_conjuntos001 practica de_conjuntos
001 practica de_conjuntos
abel
 

Semelhante a TALLER TEORIA DE CONJUNTOS (20)

Teoría de Conjuntos
Teoría de ConjuntosTeoría de Conjuntos
Teoría de Conjuntos
 
Introducción
Introducción Introducción
Introducción
 
Matematica basica 02
Matematica basica 02Matematica basica 02
Matematica basica 02
 
Proba-Conjuntos.pdf
Proba-Conjuntos.pdfProba-Conjuntos.pdf
Proba-Conjuntos.pdf
 
Avcapitulo ii
Avcapitulo iiAvcapitulo ii
Avcapitulo ii
 
Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones
 
Gd jesus
Gd jesusGd jesus
Gd jesus
 
Presentacion diego suarez conjuntos
Presentacion diego suarez conjuntosPresentacion diego suarez conjuntos
Presentacion diego suarez conjuntos
 
Conjuntos bueno
Conjuntos buenoConjuntos bueno
Conjuntos bueno
 
Julio Unidad 3
Julio Unidad 3Julio Unidad 3
Julio Unidad 3
 
Leyes de conjuntos
Leyes de conjuntosLeyes de conjuntos
Leyes de conjuntos
 
001 modulo de_teoria_de_conjuntos
001 modulo de_teoria_de_conjuntos001 modulo de_teoria_de_conjuntos
001 modulo de_teoria_de_conjuntos
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
001 practica de_conjuntos
001 practica de_conjuntos001 practica de_conjuntos
001 practica de_conjuntos
 
001 modulo teoria_de_conjuntos
001 modulo teoria_de_conjuntos001 modulo teoria_de_conjuntos
001 modulo teoria_de_conjuntos
 
Leyes De Conjuntos
Leyes De ConjuntosLeyes De Conjuntos
Leyes De Conjuntos
 
Leyes de los Conjuntos
Leyes de los ConjuntosLeyes de los Conjuntos
Leyes de los Conjuntos
 
07
0707
07
 
FMMA010_apunte_s8.pdf
FMMA010_apunte_s8.pdfFMMA010_apunte_s8.pdf
FMMA010_apunte_s8.pdf
 

Mais de Alberto Bravo Buchely

C:\Documents And Settings\Xp\Escritorio\BiografíA
C:\Documents And Settings\Xp\Escritorio\BiografíAC:\Documents And Settings\Xp\Escritorio\BiografíA
C:\Documents And Settings\Xp\Escritorio\BiografíA
Alberto Bravo Buchely
 

Mais de Alberto Bravo Buchely (20)

Polinomios operaciones
Polinomios operacionesPolinomios operaciones
Polinomios operaciones
 
Matemática Institución Universitaria Colegio Mayor del Cauca
Matemática Institución Universitaria Colegio Mayor del CaucaMatemática Institución Universitaria Colegio Mayor del Cauca
Matemática Institución Universitaria Colegio Mayor del Cauca
 
Topologia de redes
Topologia de redesTopologia de redes
Topologia de redes
 
Cableado estruc
Cableado estrucCableado estruc
Cableado estruc
 
Cableado Estructurado
Cableado Estructurado Cableado Estructurado
Cableado Estructurado
 
Cableado Estructurado
Cableado EstructuradoCableado Estructurado
Cableado Estructurado
 
Cableado Estructurado
Cableado EstructuradoCableado Estructurado
Cableado Estructurado
 
Cableado Estructurado
Cableado EstructuradoCableado Estructurado
Cableado Estructurado
 
Ejercicios
EjerciciosEjercicios
Ejercicios
 
Actividad Vb0506
Actividad Vb0506Actividad Vb0506
Actividad Vb0506
 
Concepto De Internet
Concepto De InternetConcepto De Internet
Concepto De Internet
 
Concepto De Internet
Concepto De InternetConcepto De Internet
Concepto De Internet
 
Origen Y Evolucion HistóRica De La Informatica
Origen Y Evolucion HistóRica De La InformaticaOrigen Y Evolucion HistóRica De La Informatica
Origen Y Evolucion HistóRica De La Informatica
 
Conceptos Basicos
Conceptos BasicosConceptos Basicos
Conceptos Basicos
 
Ejercicio
EjercicioEjercicio
Ejercicio
 
Importancia Redes De Computadores
Importancia Redes De ComputadoresImportancia Redes De Computadores
Importancia Redes De Computadores
 
Cableado
CableadoCableado
Cableado
 
C:\Documents And Settings\Xp\Escritorio\BiografíA
C:\Documents And Settings\Xp\Escritorio\BiografíAC:\Documents And Settings\Xp\Escritorio\BiografíA
C:\Documents And Settings\Xp\Escritorio\BiografíA
 
C:\Documents And Settings\Xp\Escritorio\Diplomado\Presentacion Diplomadorev
C:\Documents And Settings\Xp\Escritorio\Diplomado\Presentacion DiplomadorevC:\Documents And Settings\Xp\Escritorio\Diplomado\Presentacion Diplomadorev
C:\Documents And Settings\Xp\Escritorio\Diplomado\Presentacion Diplomadorev
 
TALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOSTALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOS
 

TALLER TEORIA DE CONJUNTOS

  • 1. Semana02[1/23] Conjuntos 9 de marzo de 2007 Conjuntos
  • 2. Conjuntos Semana02[2/23] Introducción La teoría de conjuntos gira en torno a la función proposicional x ∈ A. Los valores que hacen verdadera la función proposicional x ∈ A son aquellos elementos que forman el conjunto A. La función proposicional “x ∈ A” se lee "x pertenece a A". Su negación, que se denota x ∈ A, se lee “x no / pertenece a A”. Ejemplo Si queremos que el conjunto A sea el de los números primos menores que 10 entonces tendríamos que definirlo formalmente así: (∀x)[(x ∈ A) ⇐⇒ (x = 2 ∨ x = 3 ∨ x = 5 ∨ x = 7)]. Los conjuntos finitos son fáciles de definir. De hecho, acabamos de mostrar cómo se define el conjunto que se se denota por extensión A = {2, 3, 5, 7}. La axiomática de la teoría de conjuntos (que aquí no se estudiará) permite asumir la existencia de un conjunto Æ infinito muy importante: el de los naturales = {0, 1, 2, 3, . . .}. Conjuntos
  • 3. Conjuntos Semana02[3/23] Introducción: Algunos ejemplos de conjuntos En matemáticas se construyen nuevos conjuntos a partir de conjuntos ya conocidos. Supongamos que ya conocemos el conjunto A. Podemos introducir, B = {x ∈ A|p(x)}. Lo que en el fondo estamos definiendo es la función proposicional x ∈ B así: (∀x)[(x ∈ B) ⇐⇒ (x ∈ A ∧ p(x))] Por ejemplo, el conjunto de múltiplos de 7 es el conjunto {x ∈ Æ|( x7 ) ∈ Æ}. Otros ejemplos de conjuntos, con los cuales el lector ya debe estar familiarizado: Ejemplos 1 Ê Los reales . 2 Los enteros . 3 Los racionales É = {x ∈ Ê | (∃p)(∃q)(p ∈ ∧q ∈ p ∧ q = 0 ∧ x = q )}. 4 Los irracionales Éc = {x ∈ Ê | x ∈ É}./ 5 Los naturales Æ = {0, 1, 2, 3, . . . }. + 6 Los enteros positivos = {1, 2, 3, 4, . . . } Conjuntos
  • 4. Conjuntos Semana02[4/23] El conjunto vacío Definimos ahora el conjunto vacío, el cual notamos φ, del siguiente modo: Conjunto vacío φ = {x ∈ Æ|x = x}. Notar que φ no tiene ningún elemento. Es decir (∀x)(x ∈ φ). / En efecto, sea x arbitrario. (x ∈ φ) ⇐⇒ ((x ∈ Æ) ∧ (x = x)) ⇐⇒ ((x ∈ Æ) ∧ F ) ⇐⇒ F Conjuntos
  • 5. Conjuntos Semana02[5/23] Igualdad e inclusión Sean A y B conjuntos. Definimos la igualdad y la inclusión como sigue. Igualdad e inclusión A=B ⇐⇒ (∀x)(x ∈ A ⇐⇒ x ∈ B) A⊆B ⇐⇒ (∀x)(x ∈ A ⇒ x ∈ B) Una primera propiedad que probaremos es: Propiedad Sean A y B conjuntos. Se tiene que: A = B ⇐⇒ A ⊆ B ∧ B ⊆ A Demostración. Vamos a usar la identidad lógica ya demostrada anteriormente: (∀x)(p(x) ∧ q(x)) ⇐⇒ [(∀x)p(x)) ∧ (∀x)p(x)]. A=B ⇐⇒ (∀x)(x ∈ A ⇐⇒ x ∈ B) ⇐⇒ (∀x)[(x ∈ A ⇒ x ∈ B) ∧ (x ∈ B ⇒ x ∈ A)] ⇐⇒ (∀x)(x ∈ A ⇒ x ∈ B) ∧ (∀x)(x ∈ B ⇒ x ∈ A) ⇐⇒ A ⊆B∧B ⊆A Conjuntos
  • 6. Conjuntos Semana02[6/23] Igualdad e inclusión Otras propiedades importantes: Propiedades Sean A, B, C conjuntos arbitrarios. Se tiene: 1 A = A 2 A = B ⇐⇒ B = A 3 (A = B ∧ B = C) ⇒ A = C 4 A⊆A 5 (A ⊆ B ∧ B ⊆ A) ⇒ A = B 6 (A ⊆ B ∧ B ⊆ C) ⇒ A ⊆ C 7 φ⊆A Demostración. Demostraremos sólo la propiedad 6. Hipótesis: (a) (∀x)(x ∈ A ⇒ x ∈ B) (b) (∀x)(x ∈ B ⇒ x ∈ C) p.d.q: (∀x)(x ∈ A ⇒ x ∈ C) En efecto: Sea x arbitrario. Asumamos que x ∈ A. Por (a) se tiene que x ∈ B. Por (b) se tiene que x ∈ C. Conjuntos
  • 7. Conjuntos Semana02[7/23] Unión de conjuntos Operando conjuntos conocidos se pueden definir nuevos conjuntos.Sean A y B conjuntos. La unión de A con B, que se denota A ∪ B, es el conjunto que reúne a los elementos que están en A con aquellos que están en B. Formalmente: Unión (∀x)[(x ∈ A ∪ B) ⇐⇒ (x ∈ A ∨ x ∈ B)] A∪B A B Figura: Diagrama de Venn, representando la unión entre A y B (área achurada). Conjuntos
  • 8. Conjuntos Semana02[8/23] Paréntesis Importante: Diagramas de Venn Un Diagrama de Venn, como el presentado en la diapositiva anterior, es una ilustración que muestra la relación matemática o lógica entre conjuntos. C A B Figura: Diagrama de Venn para tres conjuntos. Fueron introducidos por el filósofo y matemático británico John Venn (1834-1923) el año 1881. Los diagramas de Venn cumplen el rol de ayudarnos a desarrollar una intuición frente al concepto de conjunto y a las relaciones entre estos. Sin embargo no podemos usarlos para demostrar propiedades, ni para sacar conclusiones generales (que se apliquen a todo conjunto). Conjuntos
  • 9. Conjuntos Semana02[9/23] Intersección de conjuntos La intersección de A con B, que se denota A ∩ B, es el conjunto formado por los elementos que están tanto en A como en B. Formalmente: Intersección (∀x)[(x ∈ A ∩ B) ⇐⇒ (x ∈ A ∧ x ∈ B)] A A∩B B Figura: Diagrama de Venn, representando la intersección entre A y B (área achurada). Conjuntos
  • 10. Conjuntos Semana02[10/23] Unión e intersección Una primera propiedad: Propiedad Sean A, B conjuntos tales que A ⊆ B. Entonces A ∪ B = B y A ∩ B = A. Demostración. Probaremos sólo la primera. ⊆) Sea x arbitrario tal que x ∈ A ∪ B. Es decir, Hipótesis: x ∈ A ∨ x ∈ B. p.d.q: x ∈ B En efecto: Caso 1. x ∈ A. Como A ⊆ B se tiene que x ∈ B. Caso 2. x ∈ A. Por hipótesis se tiene que tener x ∈ B. / ⊇) Sea x arbitrario tal que x ∈ B. Obviamente x ∈ A ∪ B. Conjuntos
  • 11. Conjuntos Semana02[11/23] Unión e intersección Propiedades Sean A, B, C conjuntos, se tiene: 1 Conmutatividades 1.1 A ∪ B = B ∪ A. 1.2 A ∩ B = B ∩ A. 2 Asociatividades 2.1 A ∪ (B ∪ C) = (A ∪ B) ∪ C. 2.2 A ∩ (B ∩ C) = (A ∩ B) ∩ C. 3 Distributividades 3.1 A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C). 3.2 A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C). 4 4.1 A ∩ B ⊆ A ⊆ A ∪ B. 4.2 A ∩ B ⊆ B ⊆ A ∪ B. Demostración. Notar que las propiedades (1), (2) y (3), son consecuencias directas de las propiedades análogas para ∧ y ∨. Queda como ejercicio realizar dichas demostraciones. Conjuntos
  • 12. Conjuntos Semana02[12/23] Conjunto universo Asumiremos la existencia de un universo (conjunto referencia) U en el que viven todos los elementos con los que se va a trabajar. Es decir, U es tal que la proposición a ∈ U es siempre verdadera. Con esto, podemos concluir de lo anterior el siguiente: Corolario Sean A, B conjuntos y sea U el conjunto universo. 1 A∪A = A 2 A∩A = A 3 A∪φ = A 4 A∩φ = φ 5 A∪U = U 6 A∩U = A Demostración. Como A ⊆ A se tiene que A ∪ A = A y que A ∩ A = A. Como φ ⊆ A se tiene que φ ∪ A = A y que φ ∩ A = φ. Como A ⊆ U se tiene que A ∪ U = U y que A ∩ U = A. Importante El conjunto universo es un conjunto de referencia, es decir habrá veces que tomaremos U = Ê, u otras U = , etc. Conjuntos
  • 13. Conjuntos Semana02[13/23] Diferencia y complemento Supongamos que tenemos un conjunto de referencia U (conjunto universo). Queremos definir el complemento de un conjunto A, que notaremos Ac , como aquel formado por todos los elementos que no están en A. Formalmente: Conjunto complemento (∀x)(x ∈ Ac ⇐⇒ x ∈ U ∧ x ∈ A) / O sea, (∀x)(x ∈ Ac ⇐⇒ x ∈ A). / Ac U Ejemplo A B Si viviésemos en el mundo de los números enteros (conjunto universo) entonces consideremos A = {x ∈ | x es par}. Obviamente Ac = {x ∈ | x es impar}. Figura: Diagrama de Venn, representando el complemento de A (área achurada). Conjuntos
  • 14. Conjuntos Semana02[14/23] Diferencia y complemento Definimos además la diferencia entre A y B, que notamos A B, como el conjunto formado por los elementos que están en A y que no están en B. Formalmente: Diferencia A B = A ∩ Bc . U AB A B Figura: Diagrama de Venn, representando la diferencia entre A y B (área achurada). Conjuntos
  • 15. Conjuntos Semana02[15/23] Diferencia y complemento Algunas propiedades: Propiedades Sean A y B conjuntos. 1 Leyes de De Morgan 1.1. (A ∪ B)c = Ac ∩ B c 1.2. (A ∩ B)c = Ac ∪ B c 2 (A ⊆ B) ⇐⇒ (B c ⊆ Ac ) 3 (Ac )c = A 4 A ∪ Ac = U 5 A ∩ Ac = φ Demostración. Demostraremos la primera. Sea x arbitrario. x ∈ (A ∪ B)c ⇐⇒ x ∈ (A ∪ B) ⇐⇒ (x ∈ A) ∨ (x ∈ B) ⇐⇒ (x ∈ A) ∧ (x ∈ B) ⇐⇒ (x ∈ Ac ) ∧ (x ∈ B c ) ⇐⇒ x ∈ (Ac ∩ B c ) Conjuntos
  • 16. Conjuntos Semana02[16/23] Diferencia simétrica Un elemento x se dice que pertenece a la diferencia simétrica entre A y B, que se denota A∆B, si y solamente si x está en A pero no en B, o bien en B pero no en A. Formalmente: Diferencia simétrica A∆B = (A B) ∪ (B A) A∆B U A B Figura: Diagrama de Venn, representando la diferencia simétrica entre A y B (área achurada). Conjuntos
  • 17. Conjuntos Semana02[17/23] Diferencia simétrica Obviamente, algunas propiedades: Propiedades Sean A, B, C conjuntos. 1 A∆B = (A ∪ B) (A ∩ B) 2 A∆B = B∆A 3 (A∆B)∆C = A∆(B∆C) 4 A∆A = φ 5 A∆φ = A 6 (A ∩ (B∆C)) = (A ∩ B)∆(A ∩ C) Demostración. Demostraremos la primera. A∆B = (A B) ∪ (B A) = (A ∩ B c ) ∪ (B ∩ Ac ) = [(A ∩ B c ) ∪ B] ∩ [(A ∩ B c ) ∪ Ac ] = [(A ∪ B) ∩ (B c ∪ B)] ∩ [(A ∪ Ac ) ∩ (B c ∪ Ac )] = [(A ∪ B) ∩ U] ∩ [U ∩ (B c ∪ Ac )] = (A ∪ B) ∩ (B c ∪ Ac ) = (A ∪ B) ∩ (B ∩ A)c = (A ∪ B) (A ∩ B). Conjuntos
  • 18. Conjuntos Semana02[18/23] Conjunto potencia Sea A un conjunto. Llamamos conjunto potencia de A, y notamos P(A), al conjunto de todos los subconjuntos de A. P(A) también se conoce como el “conjunto de las partes de A". Formalmente: Conjunto potencia (∀X )(X ∈ P(A) ⇐⇒ X ⊆ A) Note que siempre φ ∈ P(A) y A ∈ P(A). Veamos dos ejemplos. Ejemplos Suponga que A = {1, 2, 3}. En P(A) están todos los subconjuntos de A. O sea, P(A) = {φ, {1}, {2}{3}, {1, 2}{1, 3}, {2, 3}, {1, 2, 3}} Suponga ahora que A = φ. ¿Cuáles son los subconjuntos de φ? Solamente el mismo φ. Luego P(φ) = {φ}. Note que φ = {φ} pues el primer conjunto no tiene ningún elemento mientras que el segundo tiene un elemento. En efecto: φ ∈ {φ}. Calculemos ahora P(P(φ)) = P({φ}). Obviamente, un conjunto de un solo elemento tiene solamente como subconjuntos los triviales: al vacío y a él mismo. O sea P({φ}) = {φ, {φ}}. El lector debe ser capaz ahora de calcular P(P(P(φ))). Note que este proceso puede no detenerse nunca. ¡Y lo que estamos generando es una infinidad de conjuntos! Conjuntos
  • 19. Conjuntos Semana02[19/23] ⋆Ejemplo importante: Transitividad A continuación veremos otra técnica de demostración. Supongamos que queremos demostrar que p ⇒ r . Lo que hacemos es demostrarlo por pasos. Primero demostramos p ⇒ q1 . Después q1 ⇒ q2 . Después q2 ⇒ q3 . Seguimos así hasta que finalmente demostremos qn ⇒ r . Podemos concluir que p ⇒ r usando implícitamente la Tautología 2 [(p ⇒ q) ∧ (q ⇒ r )] ⇒ (p ⇒ r ) Apliquemos esta técnica para demostrar que para A, B, C conjuntos cualesquiera se tiene: (A∆B = A∆C) ⇒ B = C En efecto, A∆B = A∆C ⇒ A∆(A∆B) = A∆(A∆C) ⇒ (A∆A)∆B = (A∆A)∆C ⇒ φ∆B = φ∆C ⇒ B = C. Conjuntos
  • 20. Conjuntos Semana02[20/23] Pares ordenados Notemos que los conjuntos {a, b} y {b, a} son idénticos. En efecto, ambos contienen a los mismos elementos. Quisiéramos introducir un objeto que distinga el orden de los elementos. La solución no es muy difícil. Basta con definir los pares ordenados así: (a, b) = {{a}, {a, b}}. La propiedad fundamental de los pares ordenados es la siguiente. Propiedad Para todo a, b, x, y se tiene: (a, b) = (x, y ) ⇐⇒ a = x ∧ b = y Demostración. ⇐) Directo. ⇒) Demostremos primero que a = x. En efecto, como {{a}, {a, b}} = {{x}, {x, y }} se tiene que {a} ∈ {{x}, {x, y }}. Caso 1: {a} = {x}. Se concluye. Caso 2: {a} = {x}. O sea {a} = {x, y }. En este caso se tiene que tener a = x = y . Demostremos ahora que b = y . En efecto, como ya sabemos que a = x la hipótesis nos dice que {{a}, {a, b}} = {{a}, {a, y }}. Caso 1: Si a = b, luego {a} = {a, y }, de donde y = a = b . Caso 2: Si a = b, se tendrá que {a, b} = {a, y }. Luego b ∈ {a, y }. Pero como a = b, luego b = y . Conjuntos
  • 21. Conjuntos Semana02[21/23] Producto cartesiano Sean A, B conjuntos. Se define el producto cartesiano de A con B, que se denota A × B, del siguiente modo: Producto cartesiano (∀x, y ) [(x, y ) ∈ A × B ⇐⇒ x ∈ A ∧ y ∈ B] Ejemplo Sean A = {1, 2, 3} y B = {3, 6}. Se tiene que A × B = {(1, 3), (1, 6), (2, 3), (2, 6), (3, 3), (3, 6)} Algunas propiedades del producto cartesiano: Propiedades Sean A, A′ , B, B ′ , C, D conjuntos. 1 A ⊆ A∧B ⊆ B ⇒ A ×B ⊆ A×B ′ ′ ′ ′ 2 (A × B) ∩ (C × D) = (A ∩ C) × (B ∩ D) Demostración. Demostraremos sólo la primera. Sea (x, y ) ∈ A′ × B ′ . Por definición x ∈ A′ y también y ∈ B ′ . Como A′ ⊆ A y B ′ ⊆ B se tiene que x ∈ A y además y ∈ B. O sea (x, y ) ∈ A × B. Conjuntos
  • 22. Conjuntos Semana02[22/23] ⋆Ejemplo importante: reducción al absurdo Veremos otra técnica de demostración más. Supongamos que queremos demostrar que la proposición r es verdadera. Lo que se hace es asumir que r es falsa y llegar a una contradicción. ¡¡En otras palabras, lo que se prueba es que en el mundo en que vivimos r no puede ser verdadera!! Si r es una implicancia del tipo p ⇒ q entonces, en una demostración por el absurdo, lo que tendríamos que asumir (para llegar a una contradicción) es p ⇒ q. O sea, p ∧ q. Notemos que estamos usando la Tautología 4: p ⇒ q ⇐⇒ p ∧ q. Veamos, a modo de ejemplo, la siguiente propiedad. Propiedad Sean A y B conjuntos. Se tiene que: A = B ⇐⇒ A × B = B × A Demostración. ⇒) Directa. ⇐) Reducción al absurdo. Supongamos que A × B = B × A y que al mismo tiempo A = B. Como A = B podemos asumir, sin pérdida de generalidad, la existencia de un x ∈ A tal que x ∈ B(si esto no / ocurriese tendría que existir un x ∈ B tal que x ∈ A y la situación sería simétrica). / Sea y ∈ B. Se tiene luego que (x, y ) ∈ A × B pero (x, y ) ∈ B × A. Esto contradice el hecho / de que A × B = B × A. Conjuntos
  • 23. Conjuntos Semana02[23/23] Cuantificando sobre conjuntos Dado un conjunto A y una función proposicional p(x), podemos escribir cuantificadores en los que sólo nos interese ver lo que ocurre a los elementos de A. Tenemos así las proposiciones: Proposiciones cuantificadas sobre conjuntos 1 (∀x ∈ A)p(x), que significa que p(x) deber ser cierto para todos los elementos del conjunto A. Notar que esta proposición es equivalente a (∀x)(x ∈ A ⇒ p(x)). 2 (∃x ∈ A)p(x), que significa que hay al menos un elemento x de A que hace cierto p(x). Notar que esto equivale a (∃x)(x ∈ A ∧ p(x)). 3 (∃!x ∈ A)p(x), que significa que hay exactamente un elemento de x de A que hace verdadero p(x). Aquí hay dos ideas simultáneas: Existe al menos un x ∈ A que satisface p(x) (existencia), y que es exactamente uno (unicidad). Claramente esto equivale a (∃!x)(x ∈ A ∧ p(x)). El lector puede fácilmente verificar que estos cuantificadores se niegan de la manera usual: Negaciones (∀x ∈ A)p(x) ⇐⇒ (∃x ∈ A)p(x). (∃x ∈ A)p(x) ⇐⇒ (∀x ∈ A)p(x). (∃!x ∈ A)p(x) ⇐⇒ [((∀x ∈ A)p(x)) ∨ ((∃x, y ∈ A)(p(x) ∧ p(y ) ∧ x = y ))]. Conjuntos