El álgebra de conjuntos se encarga de definir las operaciones, reglas y propiedades que podemos aplicar a los conjuntos. Podemos decir que un conjunto es una agrupación, variedad, clase o colección de objetos que se denominan elementos del conjunto. Un conjunto está definido únicamente por los elementos que lo componen, y no por la manera en la que se lo representa.
Para poder representar gráficamente los conjuntos, es necesario representar las variaciones de un fenómeno o de las relaciones que tienen los elementos o las partes de un conjunto. Ejemplos: «un diagrama cartesiano; representa los datos en un diagrama de barras; los diagramas sectoriales son representaciones de datos sobre un círculo o semicírculo».
Los diagramas de Venn son esquemas usados en la teoría de conjuntos, tema de interés en matemáticas, lógica de clases y razonamiento diagramático. Estos diagramas muestran colecciones (conjuntos) de cosas (elementos) por medio de líneas cerradas. La línea cerrada exterior abarca a todos los elementos bajo consideración, el conjunto universal U. Los diagramas de Venn fueron ideados hacia 1880 por John Venn. Con los diagramas de Venn es posible representar las relaciones de intersección, inclusión y disyunción sin cambiar la posición relativa de los conjuntos.
Las operaciones básicas del álgebra de conjuntos son:
Unión. La unión de dos conjuntos A y B es el conjunto A ∪ B que contiene todos los elementos de A y de B.
Intersección. La intersección de dos conjuntos A y B es el conjunto A ∩ B que contiene todos los elementos comunes de A y B.
Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los elementos de A que no pertenecen a B.
Diferencia simétrica. La diferencia simétrica entre dos conjuntos A y B es el conjunto que contiene los elementos de A y B que no son comunes.
Complemento. El complemento de un conjunto A es el conjunto A∁ que contiene todos los elementos que no pertenecen a A.
Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el conjunto A × B que contiene todos los pares ordenados (a, b) cuyo primer elemento pertenece a A y su segundo elemento pertenece a B.
Propiedades
Algunas de estas operaciones poseen propiedades similares a las operaciones con números naturales. Por ejemplo, la unión y la intersección son conmutativas y asociativas. El conjunto vacío es el elemento neutro de la unión, y el elemento absorbente de la intersección y el producto cartesiano. El conjunto universal es el elemento neutro de la intersección y el elemento absorbente de la unión.
Un diagrama de Euler o esquema de Euler es una manera diagramática de representar a los conjuntos y sus relaciones. Son una representación moderna de los círculos de Euler, los cuales deben su nombre a su creador, Leonhard Euler.
Los diagramas de Euler normalmente consisten de simples curvas cerradas en el plano que son usadas para describir conjuntos. Las relaciones espaciales entre las curvas (superposición, contención o ninguno) corresponden, respectivamente, a relaciones de intersección, subconjunto y disjuntes, de la teoría de conjuntos.
Los diagramas de Euler se distinguen de los de Venn en dos aspectos:
- en ellos no aparecen las regiones vacías y
- el conjunto universal no se representa.
Si bien fue Venn quien introdujo la expresión «universo del discurso», él nunca representó al universal en sus trabajos. Por eso la idea de conjunto universal se atribuye habitualmente a Charles Dodgson, más conocido como Lewis Carroll, el lógico y autor de cuentos para niños que popularizó el concepto de conjunto complementario. El conjunto universal fue cuestionado por Bertrand Russell, quien mostró que con tal concepto la teoría de conjuntos resultaba inconsistente (véase paradoja de Russell). Sin embargo, dicha definición fue rescatada y aun justificada en una reciente extensión de los diagramas de Venn que distingue al universal del Todo (universo del discurso). Por las dos razones recién mencionadas, los diagramas de Venn llegaron a convertirse en el nuevo estándar para la formalización de operaciones lógicas y los sistemas de representación anteriores cayeron en desuso.
https://es.wikipedia.org/wiki/%C3%81lgebra_de_conjuntos
https://es.wikipedia.org/wiki/Diagrama_de_Venn
https://es.wikipedia.org/wiki/Diagrama_de_Euler