Familia de conjuntos
En matemáticas, una familia de conjuntos o una colección de conjuntos es un conjunto cuyos elementos son a su vez conjuntos. 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
|
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 {A1, A2, ...} o también {Ai}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:
|
Dicha familia puede denotarse entonces como {Ai}i ∈ I. Nótese que en una familia indexada dos elementos pueden estar repetidos, esto es, puede ocurrir Ai = Aj con i ≠ j.[2]
Referencias
- Véase Exner, 1996.
- Véase Comninos, 2006.
- Margherita Barile. «Family». MathWorld (en inglés).
- Comninos, Peter (2006). «1.18. Families of indexed sets.». Mathematical and computer programming techniques for computer graphics (en inglés). Birkhäuser. ISBN 9781852339029.
- Exner, George R. (1996). An accompaniment to higher mathematics (en inglés). Birkhäuser. ISBN 9780387946177.