Autor Tema: Demostrar $$\mathcal{P}(A)\cap\mathcal{P}(B)=\mathcal{P}(A\cap B)$$

0 Usuarios y 1 Visitante están viendo este tema.

07 Octubre, 2020, 12:46 am
Leído 108 veces

w a y s

  • $$\pi \pi \pi$$
  • Mensajes: 103
  • País: es
  • Karma: +0/-0
Hola, traigo una demostración, ya la he resuelto y me gustaría que ,por favor, alguien me dijera si está bien escrita.

  Demuestra que\( \mathcal{P}(A)\cap\mathcal{P}(B)=\mathcal{P}(A\cap B) \)

Usaré la doble inclusión.

  Supongamos que \( X \in \mathcal{P}(A)\cap\mathcal{P}(B)  \), entonces \(  X \in \mathcal{P}(A)  \) y \( X \in \mathcal{P}
  (B). \)Puesto que \(  X \in \mathcal{P}(A)  \) y \( X \in \mathcal{P}(B) \) se tiene que \( X \subset A \) y \( X \subset
  B \),luego \( X \subset A\cap B \). Por lo tanto se tiene que \( X \in \mathcal{P}(A\cap B) \). Como para todo \( X \in
  \mathcal{P}(A)\cap\mathcal{P}(B) \) se verifica que \( X \in \mathcal{P}(A\cap B) \), queda demostrado que \( \mathcal{P}
  (A)\cap\mathcal{P}(B) \subset \mathcal{P}(A\cap B) \).

  Por otra parte si \( X \in \mathcal{P}(A\cap B) \), entonces \( X \subset A\cap B \), luego \( X \subset A \) y \( X \subset
  B \), de manera que \( X \in \mathcal{P}(A) \) y \( X \in \mathcal{P}(B) \). Por lo tanto concluimos que \( X \in \mathcal{P}
  (A)\cap\mathcal{P}(B) \). Como para todo \( X \in \mathcal{P}(A\cap B) \) se tiene que \( X \in
  \mathcal{P}(A)\cap\mathcal{P}(B) \), queda demostrado que \( \mathcal{P}(A\cap B) \subset  \mathcal{P}(A)\cap\mathcal{P}(B) 
   \) . De esta doble inclusión deducimos que \( \mathcal{P}(A)\cap\mathcal{P}(B)=\mathcal{P}(A\cap B) \),
  que es lo que queríamos  demostrar.


¿Está esto bien demostrado?,¿se le ocurre a alguien alguna otra manera de demostrarlo?

Muchas gracias de antemano, un saludo.
 

07 Octubre, 2020, 01:17 am
Respuesta #1

mathtruco

  • Moderador Global
  • Mensajes: 4,990
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
  • El gran profesor inspira
Correcto  :aplauso:

No creo que haya otra forma de demostrarlo, ya que es una demostración básica por lo que la única herramienta para demostrarla es a partir de la definición, como hiciste.

07 Octubre, 2020, 01:52 pm
Respuesta #2

Fernando Revilla

  • Administrador
  • Mensajes: 10,928
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
  • Las matemáticas son demasiado humanas (Brouwer).
    • Fernando Revilla
Demuestra que\( \mathcal{P}(A)\cap\mathcal{P}(B)=\mathcal{P}(A\cap B) \)

Una vez que lo has demostrado, te puede ser útil (ahora, o para el futuro), la generalización a un un número cualquiera de subconjuntos, y también considerando la unión: Partes de uniones e intersecciones.

07 Octubre, 2020, 07:28 pm
Respuesta #3

w a y s

  • $$\pi \pi \pi$$
  • Mensajes: 103
  • País: es
  • Karma: +0/-0
Muchas gracias, Fernando Revilla,mathtruco, por vuestros aportes.