Familia de conjuntos

En matemáticas, una familia de conjuntos o una colección de conjuntos es un conjunto cuyos elementos son conjuntos a su vez. El nombre "familia" o "colección" se utiliza para enfatizar la naturaleza conjuntista de sus elementos y suele venir acompañado de una notación distinta.^[1]

Definición

Una familia de conjuntos es un conjunto F cuyos elementos son conjuntos.

Esta nomenclatura es habitual en los contextos en los que se trabaja con un objeto matemático determinado y se desea distinguir los conjuntos de objetos de los conjuntos de conjuntos de objetos.

Familia indexada

Una manera habitual de especificar una familia de conjuntos (y en general, una familia o conjunto de cualesquiera objetos matemáticos) es a través de un conjunto índice. El caso más sencillo es una familia infinita numerable, que puede denotarse {A₁, A₂, ...} o también {A_i}_{i ∈ N}. En este caso el conjunto índice es el conjunto de los números naturales. En general, una familia indexada de conjuntos es una familia de conjuntos en correspondencia biunívoca con algún conjunto índice:

Una familia indexada de conjuntos de conjunto índice I es una función con dominio I (donde I es no vacío) y cuyas imágenes son conjuntos.

Dicha familia puede denotarse entonces como {A_i}_{i ∈ I}. Nótese que en una familia indexada dos elementos pueden estar repetidos, esto es, puede ocurrir A_i = A_j con i ≠ j.^[2]

Referencias

1. ↑ Véase Exner, 1996.
2. ↑ Véase Comninos, 2006.

• Margherita Barile. «Family» (en inglés). MathWorld.
• Comninos, Peter (2006) (en inglés). Mathematical and computer programming techniques for computer graphics. Birkhäuser. ISBN 9781852339029. 
• Exner, George R. (1996) (en inglés). An accompaniment to higher mathematics. Birkhäuser. ISBN 9780387946177.