Diferencia entre revisiones de «Partición de un conjunto»
Contenido eliminado Contenido añadido
m Aplico plantilla MathWorld |
Sin resumen de edición |
||
Línea 4:
== Definición ==
Una partición de un [[conjunto]] es una división del mismo en «trozos» separados y no vacíos. Esta división se representa mediante una colección o [[familia de conjuntos|familia]] de subconjuntos de dicho conjunto que lo [[recubrimiento (matemáticas)|recubren]].
{{definición|1=Una '''partición''' del conjunto ''A'' es una familia ''P'' de (ni caso) subconjuntos no vacíos de ''A'', disjuntos dos a dos, cuya [[unión de conjuntos|unión]] es ''A''. Es decir, ''P'' = {''A''<sub>i</sub>: ''i'' {{unicode|∈}} ''I'' }, donde se cumple:
* Para cada ''i'' {{unicode|∈}} ''I'', ''A''<sub>i</sub> {{unicode|⊆}} ''A'' y ''A''<sub>i</sub> ≠ {{unicode|∅}}
* Para cada par ''i'' ≠ ''j'', ''A''<sub>i</sub> {{unicode|∩}} ''A''<sub>j</sub> = {{unicode|∅}}
| |||