Saltar al contenido principal
LibreTexts Español

4.4: Diagramas de Venn

  • Page ID
    114139
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    Ojalá hayas visto diagramas de Venn antes, pero posiblemente no hayas pensado profundamente en ellos. Los diagramas de Venn aprovechan una propiedad obvia pero importante de las curvas cerradas dibujadas en el plano. Dividen los puntos del plano en dos conjuntos, ¡los que están dentro de la curva y los que están afuera! (Olvídate por un momento de los puntos que están en la curva.) Esta afirmación aparentemente obvia se conoce como el teorema de la curva de Jordania, y en realidad requiere algunos detalles. Una curva de Jordan es el tipo de curva que podrías dibujar si se requiere que termines donde empezaste y no cruzarás ninguna parte de la curva que ya se haya dibujado. En términos técnicos tal curva se llama continua, simple y cerrada. El teorema de la curva de Jordania es una de esas afirmaciones que apenas parece necesitar una prueba, pero sin embargo, la prueba de esta afirmación es probablemente la obra más recordada del famoso matemático francés Camille Jordan.

    El diagrama prototípico de Venn es la imagen que se parece algo a la vista a través de un conjunto de binoculares.

    clipboard_e02809234e0daa343b5b9da22cc50ccfa.png

    En un diagrama de Venn el universo del discurso se dibuja normalmente como una región rectangular dentro de la cual se produce toda la acción. Cada conjunto en un diagrama de Venn se representa dibujando una curva cerrada simple, ¡típicamente un círculo, pero no necesariamente! Por ejemplo, si quieres dibujar un diagrama de Venn que muestre todas las intersecciones posibles entre cuatro conjuntos, encontrarás que es imposible con (solo) círculos.

    clipboard_eeefb39678ca11a8da9865e5ebbb585c6.png

    Practica

    Verifique que el diagrama anterior tenga regiones que representen todas las intersecciones\(16\) posibles de\(4\) conjuntos

    Hay un cierto “zen” a los diagramas de Venn que deben ser internalizados, pero una vez que lo hayas hecho, pueden ser utilizados para pensar de manera muy efectiva sobre las relaciones entre conjuntos. El trato principal es que los puntos dentro de una de las curvas cerradas simples no están necesariamente en el conjunto — solo algunos de los puntos dentro de una simple curva cerrada están en el conjunto, ¡y no sabemos exactamente dónde están! Las diversas curvas cerradas simples en un diagrama de Venn dividen el universo en un montón de regiones. Podría ser mejor pensar en estas regiones como áreas cercadas en las que se encuentran los elementos de un molino conjunto, al igual que los animales domesticados en sus corrales. Una de nuestras principales herramientas para trabajar con diagramas de Venn es deducir que algunas de estas regiones no contienen ningún elemento; luego marcamos esa región con el símbolo de conjunto vacío (\(∅\)).

    Aquí hay un pequeño ejemplo de un universo finito.

    clipboard_e37ce798828679e4d4ad7c3ab21ff51e4.png

    Y aquí está el mismo universo con algunas curvas de Jordan utilizadas para rodear dos subconjuntos.

    clipboard_e34ccc081ad5e0c712e20a1778d3eba67.png

    Esta imagen podría llevarnos a pensar que el conjunto de personajes de dibujos animados y el conjunto de caballos son disjuntos, por lo que pensamos que sería bueno agregar un elemento más a nuestro universo para disipar esa noción.

    clipboard_ef9d3b15b0507c3ee6ad11ad4513eca20.png

    Supongamos que tenemos dos sets\(A\)\(B\) y y estamos interesados en demostrarlo\(B ⊆ A\). El trabajo está hecho si podemos demostrar que todos los\(B\) elementos están realmente en la región en forma de ojo que representa la intersección\(A ∩ B\). Es equivalente si podemos mostrar que la región marcada con\(∅\) en el siguiente diagrama está realmente vacía.

    clipboard_eb2e35bee0f931bec78e60f7aa01f5766.png

    Vamos a armar todo esto. La inclusión\(B ⊆ A\) corresponde a la oración lógica\(M_B \implies M_A\). Sabemos que las implicaciones son equivalentes a las declaraciones OR, entonces\(M_B \implies M_A \cong ¬M_B ∨ M_A\). La noción de que la región que hemos indicado anteriormente está vacía se escribe como\(A ∩ B = ∅\), en términos lógicos esta es\(¬M_A ∧ M_B \cong c\). Por último, aplicamos la ley de DeMorgan y una conmutación para obtener\(¬M_B ∨M_A \cong t\). Debe tomar nota de la convención de que cuando vea una frase lógica recién escrita en la página (como es el caso de la primera frase de este párrafo) lo que se está afirmando es que la oración es universalmente cierta.\(M_B \implies M_A\) Así, escribir\(M_B \implies M_A\) es lo mismo que escribir\(M_B =\implies M_A \cong t\).

    Se puede usar información que se conoce a priori cuando se dibuja un diagrama de Venn. Por ejemplo, si se sabe que dos conjuntos son disjuntos, o si se sabe que uno está contenido en el otro, podemos dibujar diagramas de Venn como los siguientes

    clipboard_ecc9dc487558b01d4789f81b7a22e00a7.png

    Sin embargo, ambas situaciones también se pueden tratar trabajando con diagramas de Venn en los que los conjuntos están en posición general —lo que en esta situación significa que se muestra cada intersección posible— y luego marcando con cualquier región vacía\(∅\).

    Practica

    En un diagrama de Venn para dos conjuntos en posición general, indique las regiones vacías cuando

    1. Los conjuntos son disjuntos.
    2. \(A\)está contenido en\(B\).

    clipboard_e8750ab775566dbbff36c99019b30bdd3.png

    Existe una conexión, quizás obvia, entre las regiones que vemos en un diagrama de Venn con conjuntos en posición general y los reconocedores que estudiamos en la sección sobre circuitos lógicos digitales. De hecho, ambos temas tienen que ver con la forma normal disyuntiva. En un diagrama de Venn con\(k\) sets, estamos viendo el universo del discurso desmontado en la unión de\(2^k\) regiones cada una de las cuales corresponde a una intersección de cualquiera de los conjuntos o su complemento. Una expresión arbitraria que involucra símbolos de teoría de conjuntos y estos\(k\) conjuntos es verdadera en algunas de estas\(2^k\) regiones y falsa en las otras. Hemos puesto la expresión arbitraria en forma normal disyuntiva cuando la expresamos como una unión de las intersecciones que describen esas regiones.

    clipboard_e674a9752c8281e2973568aa6323a0052.png

    Ejercicios:

    Ejercicio\(\PageIndex{1}\)

    Vamos\(A = \{1, 2, 4, 5\}\),\(B = \{2, 3, 4, 6\}\), y\(C = \{1, 2, 3, 4\}\). Coloque cada uno de los elementos\(1, . . . , 6\) en las regiones apropiadas de un diagrama de Venn de tres conjuntos.

    clipboard_e223033bd4e2e4fa59c4242613389237b.png

    Ejercicio\(\PageIndex{2}\)

    Demostrar o desacreditar:\((A ∩ C ⊆ B ∩ C) \implies A ⊆ B\)

    Ejercicio\(\PageIndex{3}\)

    Los diagramas de Venn generalmente se hacen usando curvas cerradas simples sin más restricciones. Intente crear diagramas de Venn para\(3\),\(4\) y\(5\) establece (en posición general) usando curvas cerradas simples rectangulares.

    Ejercicio\(\PageIndex{4}\)

    Llamamos a una curva rectilínea si está hecha de segmentos de línea que se encuentran en ángulo recto. Si alguna vez has jugado con un Etch-a-sketch sabrás a qué nos referimos con el término “rectilíneo”. El siguiente ejemplo de una curva rectilínea también puede ayudar a aclarar esta noción.

    clipboard_ee941773a502d6b3f0fbbc4ff77f5c1db.png

    Utilice curvas cerradas simples rectilíneas para crear un diagrama de Venn para\(5\) conjuntos.

    Ejercicio\(\PageIndex{5}\)

    Argumentar por qué las curvas rectilíneas serán suficientes para construir cualquier diagrama de Venn.

    Ejercicio\(\PageIndex{6}\)

    Encuentra la forma normal disyuntiva de\(A ∩ (B ∪ C)\).

    Ejercicio\(\PageIndex{7}\)

    Encuentra la forma normal disyuntiva de\((A \triangle B) \triangle C\)

    Ejercicio\(\PageIndex{8}\)

    Los prototipos para las formas de argumento modus ponens y modus tollens son los siguientes:

    Todos los hombres son mortales. Todos los hombres son mortales.

    Sócrates es un hombre. y. Zeus no es mortal.

    Por lo tanto Sócrates es mortal. Por lo tanto Zeus no es un hombre.

    Ilustrar estos argumentos usando diagramas de Venn.

    Ejercicio\(\PageIndex{9}\)

    Usa diagramas de Venn para convencerte de la validez de la siguiente declaración de contención

    \((A ∩ B) ∪ (C ∩ D) ⊆ (A ∪ C) ∩ (B ∪ D)\).

    Ahora demuéstralo!

    Ejercicio\(\PageIndex{10}\)

    Utilice diagramas de Venn para mostrar que la siguiente equivalencia de conjunto es falsa.

    \((A ∪ B) ∩ (C ∪ D) = (A ∪ C) ∩ (B ∪ D)\)


    This page titled 4.4: Diagramas de Venn is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Joseph Fields.