Conxuntos disxuntos

Na teoría de conxuntos en matemáticas e lóxica formal, dise que dous conxuntos son conxuntos disxuntos se non teñen ningún elemento en común. De forma equivalente, dous conxuntos disxuntos son conxuntos cuxa intersección é o conxunto baleiro.. Por exemplo, {1, 2, 3} e {4, 5, 6} son conxuntos disxuntos, mentres que {1, 2, 3} e {3, 4, 5} non son disxuntos. 

 Xeneralizacións 
miniatura| Unha colección disxunta de conxuntos
Esta definición de conxuntos disxuntos pódese estender ás familias de conxuntos e ás familias indexadas de conxuntos. Por definición, unha colección de conxuntos chámase familia de conxuntos (como o conxunto de partes, por exemplo). Unha   é por definición unha función con valores dos conxunto (é dicir, é unha función que asigna un conxunto  a cada elemento  no seu dominio) cuxo dominio  chámase o seu  (e os elementos do seu dominio chámanse ).

Unha familia de conxuntos  chámase disxunta por parellas se cada dous conxuntos da familia son disxuntos.  Por exemplo, a familia de conxuntos   é disxunta.

En topoloxía, hai varias nocións de conxuntos separados con condicións máis estritas que a disxunción. Por exemplo, pódense considerar que dous conxuntos están separados cando teñen peches ou veciñanzas disxuntas. Do mesmo xeito, nun espazo métrico, os conxuntos separados positivamente son conxuntos separados por unha distancia distinta de cero..

 Interseccións 
A disxunción de dous conxuntos, ou dunha familia de conxuntos, pode expresarse en termos de interseccións de pares deles.

Dous conxuntos A e B son disxuntos se e só se a súa intersección  é o conxunto baleiro. Desta definición despréndese que todo conxunto é disxunto do conxunto baleiro, e que o conxunto baleiro é o único conxunto que está disxunto de si mesmo..

 Unións disxuntas e particións 
Unha partición dun conxunto X é calquera colección de conxuntos non baleiros mutuamente disxuntos cuxa unión é X., p. 28. Toda partición pódese describir de forma equivalente mediante unha relación de equivalencia, unha relación binaria que describe se dous elementos pertencen ao mesmo conxunto na partición.  As estruturas de datos de conxuntos disxuntos . e o refinamento de particións . son dúas técnicas en informática para manter eficientemente as particións dun conxunto suxeitas, respectivamente, a operacións de unión que fusionan dous conxuntos ou operacións de refinamento que dividen un conxunto en dous.

Unha unión disxunta  significa a unión de conxuntos que son disxuntos.. 
 Notas 


 Véxase tamén 

 Outros artigos 
Coprimo, números con conxuntos disxuntos de divisores primos
Empaquetamento de conxuntos, o problema de atopar a subfamilia disxunta máis grande dunha familia de conxuntos

 Ligazóns externas 

Categoría:Teoría de conxuntos