Diferencia entre revisiones de «Conjuntos disjuntos»
La palabra "disjunto" no existe en el diccionario de la RAE. Se encuentra la palabra "disyunto". |
m Revertidos los cambios de 157.253.202.19 a la última edición de Href= |
||
Línea 1: | Línea 1: | ||
En [[matemáticas]], se dice que dos [[conjunto]]s son ''' |
En [[matemáticas]], se dice que dos [[conjunto]]s son '''disjuntos''' si no tienen elementos en común. Por ejemplo, {1, 2, 3} y {4, 5, 6} son conjuntos disjuntos. |
||
== Definición formal == |
== Definición formal == |
||
[[Image:Conjuntos 02.svg|right]] |
[[Image:Conjuntos 02.svg|right]] |
||
Formalmente, dos conjuntos ''A'' y ''B'' son |
Formalmente, dos conjuntos ''A'' y ''B'' son disjuntos si su [[intersección]] es el [[conjunto vacío]]; es decir, si |
||
:<math>A\cap B = \varnothing.\,</math> |
:<math>A\cap B = \varnothing.\,</math> |
||
Esta definición se extiende a cualquier colección de conjuntos. Los conjuntos de una tal colección son ''' |
Esta definición se extiende a cualquier colección de conjuntos. Los conjuntos de una tal colección son '''disjuntos por pares''' o '''mutuamente disjuntos''' si cualquier par de conjuntos ''distintos'' de ella son disjuntos. |
||
Formalmente, sea ''A''<sub>''i''</sub> un conjunto para cada ''i'' ∈ ''I'' (donde ''I'' es cualquier conjunto). La familia de conjuntos {''A''<sub>''i''</sub> | ''i'' ∈ ''I''} es |
Formalmente, sea ''A''<sub>''i''</sub> un conjunto para cada ''i'' ∈ ''I'' (donde ''I'' es cualquier conjunto). La familia de conjuntos {''A''<sub>''i''</sub> | ''i'' ∈ ''I''} es disjunta por pares si para cada ''i'', ''j'' ∈ ''I'', con ''i'' ≠ ''j'', |
||
:<math>A_i \cap A_j = \varnothing.\,</math> |
:<math>A_i \cap A_j = \varnothing.\,</math> |
||
Por ejemplo, la colección de conjuntos { {1}, {2}, {3},... } es |
Por ejemplo, la colección de conjuntos { {1}, {2}, {3},... } es disjunta por pares. |
||
Si la colección {''A''<sub>''i''</sub>} es |
Si la colección {''A''<sub>''i''</sub>} es disjunta por pares, su intersección es obviamente vacía: |
||
:<math>\bigcap_{i\in I} A_i = \varnothing.</math> |
:<math>\bigcap_{i\in I} A_i = \varnothing.</math> |
||
La implicación inversa no es, sin embargo, cierta: la intersección de la colección {{1, 2}, {2, 3}, {3, 1}} es vacía, pero la colección ''no'' es |
La implicación inversa no es, sin embargo, cierta: la intersección de la colección {{1, 2}, {2, 3}, {3, 1}} es vacía, pero la colección ''no'' es disjunta por pares; no hay, de hecho, dos conjuntos disjuntos en ella. |
||
Una [[Partición (matemáticas)|partición]] de un conjunto ''X'' es una colección de subconjuntos no vacíos {''A''<sub>''i''</sub> | ''i'' ∈ ''I''} de ''X'', |
Una [[Partición (matemáticas)|partición]] de un conjunto ''X'' es una colección de subconjuntos no vacíos {''A''<sub>''i''</sub> | ''i'' ∈ ''I''} de ''X'', disjuntos por pares, tales que |
||
:<math>\bigcup_{i\in I} A_i = X.\,</math> |
:<math>\bigcup_{i\in I} A_i = X.\,</math> |
||
Revisión del 19:01 29 abr 2009
En matemáticas, se dice que dos conjuntos son disjuntos si no tienen elementos en común. Por ejemplo, {1, 2, 3} y {4, 5, 6} son conjuntos disjuntos.
Definición formal
Formalmente, dos conjuntos A y B son disjuntos si su intersección es el conjunto vacío; es decir, si
Esta definición se extiende a cualquier colección de conjuntos. Los conjuntos de una tal colección son disjuntos por pares o mutuamente disjuntos si cualquier par de conjuntos distintos de ella son disjuntos.
Formalmente, sea Ai un conjunto para cada i ∈ I (donde I es cualquier conjunto). La familia de conjuntos {Ai | i ∈ I} es disjunta por pares si para cada i, j ∈ I, con i ≠ j,
Por ejemplo, la colección de conjuntos { {1}, {2}, {3},... } es disjunta por pares.
Si la colección {Ai} es disjunta por pares, su intersección es obviamente vacía:
La implicación inversa no es, sin embargo, cierta: la intersección de la colección {{1, 2}, {2, 3}, {3, 1}} es vacía, pero la colección no es disjunta por pares; no hay, de hecho, dos conjuntos disjuntos en ella.
Una partición de un conjunto X es una colección de subconjuntos no vacíos {Ai | i ∈ I} de X, disjuntos por pares, tales que