Autor Tema: Demostración de Conjuntos

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

14 Diciembre, 2020, 02:43 pm
Leído 2206 veces

eugeniamfai

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 10
  • País: ar
  • Karma: +0/-0
  • Sexo: Femenino
El enunciado dice asi: Si \( A\subseteq B \) entonces \( B^c \cup (B-A)=A^c \). Es decir si el conjunto \( A \) esta contenido o es igual al conjunto \( B \) entonces \( B \) complemento unido con \( B-A  \) es igual a A complemento.

14 Diciembre, 2020, 02:57 pm
Respuesta #1

sugata

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,831
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
\( A\subseteq{}B\Rightarrow{}B'\cup{}(B-A) =A' \)
Si A es subconjunto de B, los elementos de B' no pertenecen a A. B-A son todos los elementos que pertenecen a B, pero no a A.
¿Qué pasa con la unión?

14 Diciembre, 2020, 03:01 pm
Respuesta #2

eugeniamfai

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 10
  • País: ar
  • Karma: +0/-0
  • Sexo: Femenino
Me pide que lo demustre entonces ya da por supuesto que es verdadero

14 Diciembre, 2020, 03:23 pm
Respuesta #3

mathtruco

  • Moderador Global
  • Mensajes: 5,598
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
  • El gran profesor inspira
Hola eugeniamfai. Modifiqué tu mensaje para que se ajuste a las reglas del foro. Para próximos mensajes escribe las ecuaciones siguiendo estas reglas.

Mensaje original
El enunciado dice asi: Si A C= B entonces B' U (B-A)=A'. Es decir si el conjunto a esta contenido o es igual al conjunto B entonces B complemento unido con B-A es igual a A complemento
[cerrar]

Para la demostración, es cosa de hacer las cuentas teniendo en mente la hipótesis, que en algún lugar servirá.

    \( B^c\cup (B-A)=B^c\cup(B\cap A^c) \)

                              \( =(B^c\cup B)\cap (B^c\cup A^c) \)

                              \( =(\textrm{Universo})\cap (B^c\cup A^c) \)


Y recuerda que \( \textrm{Universo}\cap C=C \) para todo conjunto \( C \), y que \( A\subseteq B \) es equivalente a \( B^c\subseteq A^c \). ¿Puedes terminarlo?

14 Diciembre, 2020, 04:40 pm
Respuesta #4

sugata

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,831
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
\( A\subseteq{}B\Rightarrow{}B'\cup{}(B-A) =A' \)
Si A es subconjunto de B, los elementos de B' no pertenecen a A. B-A son todos los elementos que pertenecen a B, pero no a A.
¿Qué pasa con la unión?

Ésto es una demostración de palabra.

14 Diciembre, 2020, 04:57 pm
Respuesta #5

mathtruco

  • Moderador Global
  • Mensajes: 5,598
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
  • El gran profesor inspira
"Demostración de palabra" en este caso me parece que es lo mismo que una demostración de conjuntos usando dibujos. Está muy bien para ganar intuición sobre qué queremos demostrar, y quizás nos da una idea de cómo proceder, pero creo que estamos de acuerdo en que no es una demostración.

14 Diciembre, 2020, 06:55 pm
Respuesta #6

sugata

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,831
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
"Demostración de palabra" en este caso me parece que es lo mismo que una demostración de conjuntos usando dibujos. Está muy bien para ganar intuición sobre qué queremos demostrar, y quizás nos da una idea de cómo proceder, pero creo que estamos de acuerdo en que no es una demostración.

Los argumentos son congruentes con la teoría y se llega al mismo resultado. Yo sí lo llamaría demostración, sino no lo habría dicho.
Si hay algo en mis argumentos que no esté bien, entonces no es una demostración.
Y una demostración de conjuntos usando diagramas de Venn puede ser totalmente válida en algún momento.

14 Diciembre, 2020, 07:53 pm
Respuesta #7

mathtruco

  • Moderador Global
  • Mensajes: 5,598
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
  • El gran profesor inspira
La razón más importante para afirmar que un dibujo no es una demostración, en mi opinión, es porque es muy fácil utilizar ideas preconcebidas para enlazar argumentos, especialmente alguien que está recién viendo la materia. Dicho de otro modo, es muy fácil utilizar argumentos que para mí son evidentes, y que podrían no ser verdaderos. Esto llevaría a que para refutar una demostración redactada así, quien la revisa tendría que darse el trabajo de hallar contraejemplos para lo que no le parezca evidente.

En cambio si sólo nos remitimos a definiciones, propiedades demostradas y lógica, cada paso quedará claro para todo el que lee, porque proviene de algo previamente definido o demostrado, de lo contrario se invalidad la demostración.

Por último, ¿Por qué son importantes estos ejercicios para los estudiantes? Precisamente para aprender a argumentar rigurosamente, escribiendo el vocabulario matemático correcto, y verbalizando razonamientos claros.

Por supuesto que este ejemplo es muy sencillo, por eso le llamamos "ejercicio". Pero comprender estos pequeños problemas permiten aprender a hacer demostraciones mãs largas, y donde una demostración con dibujos sería un lío imposible.

14 Diciembre, 2020, 08:01 pm
Respuesta #8

sugata

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,831
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Entonces me das la  razón. Lo mio es una demostración, otra cosa es que no sea lo que le pidan en clase.
Creo que no hay ningún argumento en mi demostración que no cumpla ésto:

Citar
En cambio si sólo nos remitimos a definiciones y propiedades demostradas, cada paso quedará claro para todo el que lee, porque proviene de algo previamente definido o demostrado.

Y con un diagrama de Venn, creo que este ejemplo sí se vería clarisimo.

14 Diciembre, 2020, 08:22 pm
Respuesta #9

mathtruco

  • Moderador Global
  • Mensajes: 5,598
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
  • El gran profesor inspira
El enunciado dice asi: Si \( A\subseteq B \) entonces \( B^c \cup (B-A)=A^c \) (...)

Es que lo que necesitas demostrar es

    \( x\in B^c \cup (B-A)\Leftrightarrow x\in A^c \)

ya que así se definie la igualdad de conjuntos, que no tiene nada que ver con un gráfico. Otra cosa es que el gráfico ayude a entender la situación y, cuando no es cierto, hallar contra ejemplos.