¿Existe una teoría matemática que defina un operador relacional para conjuntos superpuestos, es decir, dos conjuntos de modo que la intersección no esté vacía?

Sí, establece la teoría. Se dice que dos conjuntos cuya intersección no está vacía no son disjuntos. Es fácil definir una relación binaria [matemática] R [/ matemática] por

[math] ARB [/ math] if [math] A \ cap B \ neq \ emptyset [/ math].

También es fácil ver que la relación es reflexiva y simétrica y no transitiva.

¿Pero es interesante? Probablemente no. La noción de no disyunción no tiene su propia notación ampliamente utilizada en la teoría de conjuntos.

En un artículo de 1974, https://www.renyi.hu/~p_erdos/19…, Erdös y Kleitman dan una encuesta de lo que se sabía en ese momento sobre familias de conjuntos no disjuntos por pares en un universo finito determinado de tamaño [matemáticas] k [/ matemáticas]. Un hecho muy simple es que, dado que no podemos tener tanto un conjunto como su complemento en una familia de conjuntos no disjuntos, debemos tener que tal familia puede tener un tamaño como máximo [matemáticas] 2 ^ k [/ matemáticas].

More Interesting

¿Qué son las 'calles convexas'?

¿Cómo graficar un punto de una función si no está definida?

¿Cuál es el valor de (100-100) / (100-100)?

[matemáticas] -1> -2 [/ matemáticas]. Sin embargo, ¿es [matemáticas] i> 2i [/ matemáticas]?

10 hombres construyen una carretera de 5 km en 10 días. ¿Cuánto tardarán 15 hombres en construir una carretera de 10 km? Cual es la formula?

Deje que [math] \ left (a_n \ right) _ {n = 1} ^ \ infty [/ math] sea una secuencia de números reales, de modo que [math] a_ {n + 1} \ geq a_n [/ math] para todos [math] n \ geq 1 [/ math] y [math] a_n \ leq M [/ math] para todos [math] n \ geq 1 [/ math], [math] M \ in \ mathbb {R} [ /matemáticas]. ¿Cómo puedo mostrar que [math] \ left (a_n \ right) _ {n = 1} ^ \ infty [/ math] es convergente?

¿Qué piezas musicales son interesantes o hermosas desde la perspectiva de la teoría de grupo?

¿Cuál es el número más bajo cuyo último dígito es 7 que se vuelve 5 veces más grande cuando este último dígito se coloca al frente del número?

¿Es posible determinar si un conjunto de problemas satisface la condición de "matrimonio estable" sin encontrar la solución? (editar: problema agregado)

¿Quién piensa que las matemáticas apestan?

¿Cuál es la aplicación principal para la progresión geométrica?

¿Cómo puedo probar que los números de la forma "n número de 4 seguidos por n-1 número de 8 seguidos por un solo 9 es siempre un cuadrado perfecto" para cada número natural n?

¿Cuáles son algunos campos donde se usan las matemáticas?

¿Cuál es el uso de las matemáticas en el universo?

Matemáticas: ¿Cuáles son algunas identidades de nPk que pueden ayudarme a probar una suma particular que lo involucra?