21
Teoría de Conjuntos / Re: Demostración de inclusión.
« en: 14 Enero, 2020, 08:51 pm »
Gracias por la ayuda, el operador + se usa para uniones disjuntas en probabilidades según tengo entendido.
Esta sección te permite ver todos los posts escritos por este usuario. Ten en cuenta que sólo puedes ver los posts escritos en zonas a las que tienes acceso en este momento.
Gracias, ahora lo intento.Hola, estuve intentando hacerla pero no me sale, como lo harían ustedes: \( A\subseteq{B}\Rightarrow{A\cap{B}=A} \)
Mira la respuesta que te di aquí y demuestra que \( A\cap B\subseteq{A} \) y \( A\subseteq{A\cap B} \).
Claro, pero en ese caso debería usarse \( \subset{} \) por \( \exists{b}: (b\in{B \wedge b \not\in{A}}) \).Pero los casos que quedan para que el operador \( \subseteq{} \) se use en lugar de \( \subset{} \) son los mismos que los de la igualdad de conjuntos, ¿O sea es lo mismo que una igualdad o entendí mal?
Considera (por ejemplo) \( A=\left\{{a}\right\} \) y \( B=\left\{{a,b}\right\} \). Tenemos \( A\subseteq{B} \) y \( A\ne B \). La igualdad de dos conjuntos \( A \) y \( B \) se verifica si y sólo si \( A\subseteq{B} \) y \( B\subseteq{A} \).
Hola
Luego de aplicar la distributividad de la conjunción te faltó poner paréntesis, pero el resto lo veo bien.
Saludos
Hipótesis: \( A = \left\{{x\in{N}|x=2k \wedge k\in{N}}\right\} \)
\( B = \left\{{x\in{N}|x^2=2k\wedge k\in{N}}\right\} \)
Tesis:
\( {A=B} \)
Demostración:
\( x = 2k \rightarrow{x^2 = 4k^2}\rightarrow{x^2=2.2k^2}\rightarrow{x^2=2k' | k' = 2k^2 (k'\in{N})} \)
Has demostrado que \( A\subset B. \) Esto es,
\( x\in A\Rightarrow{}x = 2k \Rightarrow{x^2 = 4k^2}\Rightarrow{x^2=2.2k^2}\rightarrow{x^2=2k' | k' = 2k^2 (k'\in{N})}\Rightarrow{x\in B} \).
Te falta demostrar que \( B\subset A \). Para ello usa la propiedad de que si un número primo \( p \) divide a un producto \( ab \), entonces divide a \( a \) o divide a \( b \).