Familia de conjuntos

En teoría de conjuntos y ramas afines de las matemáticas , el término « familia» o « colección » se utiliza para referirse a un conjunto , un conjunto indexado , un multiconjunto , una tupla o una clase . Suele emplearse en expresiones como «familia de conjuntos», ya que si se utiliza «conjunto de conjuntos», el uso posterior de «conjunto» puede generar confusión sobre si se refiere al conjunto contenedor o a uno de sus conjuntos miembros. Un uso común es «familia de subconjuntos de un conjunto S ». Una familia de conjuntos también se denomina familia de conjuntos o sistema de conjuntos . Una familia finita de subconjuntos de un conjunto finito también se denomina hipergrafo . La teoría extremal de conjuntos se ocupa de los ejemplos más grandes y más pequeños de familias de conjuntos que satisfacen ciertas restricciones. ${\displaystyle S}$

La colección de todos los subconjuntos de un conjunto dado se llama conjunto potencia de y se denota por . El conjunto potencia de un conjunto dado es una familia de conjuntos sobre .${\displaystyle S}$${\displaystyle S}$${\displaystyle \wp (S)}$${\displaystyle \wp (S)}$${\displaystyle S}$${\displaystyle S}$

Un subconjunto de que tiene elementos se llama -subconjunto de ⁠ ⁠ . Los -subconjuntos de un conjunto forman una familia de conjuntos. ${\displaystyle S}$${\displaystyle k}$${\displaystyle k}$${\displaystyle S}$${\displaystyle k}$${\displaystyle S^{(k)}}$${\displaystyle S}$

Sea ⁠ ⁠${\displaystyle S=\{a,b,c,1,2\}}$ . Un ejemplo de una familia de conjuntos sobre (en el sentido de multiconjunto ) viene dado por ⁠ ⁠ , donde ⁠ ⁠ , y ⁠ ⁠ . ${\displaystyle S}$${\displaystyle F=\left\{A_{1},A_{2},A_{3},A_{4}\right\}}$${\displaystyle A_{1}=\{a,b,c\},A_{2}=\{1,2\},A_{3}=\{1,2\}}$${\displaystyle A_{4}=\{a,b,1\}}$

La clase de todos los números ordinales es una gran familia de conjuntos. Es decir, no es un conjunto en sí mismo, sino una clase propia . ${\displaystyle \operatorname {Ord} }$

Cualquier familia de subconjuntos de un conjunto es a su vez un subconjunto del conjunto potencia si no tiene elementos repetidos. ${\displaystyle S}$${\displaystyle \wp (S)}$

Cualquier familia de conjuntos sin repeticiones es una subclase de la clase propia de todos los conjuntos (el universo ).

El teorema del matrimonio de Hall , debido a Philip Hall , da condiciones necesarias y suficientes para que una familia finita de conjuntos no vacíos (se permiten repeticiones) tenga un sistema de representantes distintos .

Si es cualquier familia de conjuntos , entonces denota la unión de todos los conjuntos en , donde en particular, . Cualquier familia de conjuntos es una familia sobre y también una familia sobre cualquier superconjunto de .${\displaystyle {\mathcal {F}}}$${\displaystyle \cup {\mathcal {F}}:={\textstyle \bigcup \limits _ {F\in {\mathcal {F}}}}F}$${\displaystyle {\mathcal {F}}}$${\displaystyle \cup \varnothing =\varnothing }$${\displaystyle {\mathcal {F}}}$${\displaystyle \cup {\mathcal {F}}}$${\displaystyle \cup {\mathcal {F}}}$

Eltraza de una familiade subconjuntos deen un subconjuntoes. ${\displaystyle {\mathcal {F}}}$${\displaystyle S}$${\displaystyle T\subseteq S}$${\displaystyle \{A\cap T,A\in {\mathcal {F}}\}}$

Ciertos tipos de objetos de otras áreas de las matemáticas son equivalentes a familias de conjuntos, en el sentido de que pueden describirse simplemente como una colección de conjuntos de objetos de algún tipo:

• Un hipergrafo , también llamado sistema de conjuntos, está formado por un conjunto de vértices y otro conjunto de hiperaristas , cada una de las cuales puede ser un conjunto arbitrario. Las hiperaristas de un hipergrafo forman una familia de conjuntos, y cualquier familia de conjuntos puede interpretarse como un hipergrafo cuyos vértices son la unión de dichos conjuntos.
• Un complejo simplicial abstracto es una abstracción combinatoria de la noción de complejo simplicial , una figura formada por uniones de segmentos de línea, triángulos, tetraedros y símplices de dimensiones superiores , unidos cara a cara. En un complejo simplicial abstracto, cada símplice se representa simplemente como el conjunto de sus vértices. Cualquier familia de conjuntos finitos sin repeticiones, en la que los subconjuntos de cualquier conjunto de la familia también pertenecen a la misma familia, forma un complejo simplicial abstracto.
• Una estructura de incidencia consta de un conjunto de puntos , un conjunto de líneas y una relación binaria (arbitraria) , denominada relación de incidencia , que especifica qué puntos pertenecen a qué líneas. Una estructura de incidencia puede especificarse mediante una familia de conjuntos (incluso si dos líneas distintas contienen el mismo conjunto de puntos), los conjuntos de puntos que pertenecen a cada línea, y cualquier familia de conjuntos puede interpretarse como una estructura de incidencia de esta manera.
• Un código de bloques binario consta de un conjunto de palabras clave, cada una de las cuales es una cadena de 0 y 1, todas de la misma longitud. Cuando cada par de palabras clave tiene una gran distancia de Hamming , puede utilizarse como código corrector de errores . Un código de bloques también puede describirse como una familia de conjuntos, describiendo cada palabra clave como el conjunto de posiciones en las que contiene un 1.
• Un espacio topológico consta de un par donde es un conjunto (cuyos elementos se llaman puntos ) y es una topología en , que es una familia de conjuntos (cuyos elementos se llaman conjuntos abiertos ) sobre que contiene tanto el conjunto vacío como a sí mismo, y es cerrado bajo uniones de conjuntos arbitrarias e intersecciones de conjuntos finitas.${\displaystyle (X,\tau )}$${\displaystyle X}$${\displaystyle \tau }$${\displaystyle X}$${\displaystyle X}$${\displaystyle \varnothing }$${\displaystyle X}$

Se dice que una familia de conjuntos cubre un conjunto si cada punto de pertenece a algún miembro de la familia. Una subfamilia de una cobertura de que también es una cobertura de se llama subcobertura . Una familia se llama colección finita en puntos si cada punto de se encuentra solo en un número finito de miembros de la familia. Si cada punto de una cobertura se encuentra en exactamente un miembro de , la cobertura es una partición de .${\displaystyle X}$${\displaystyle X}$${\displaystyle X}$${\displaystyle X}$${\displaystyle X}$${\displaystyle X}$${\displaystyle X}$

Cuando es un espacio topológico , una cubierta cuyos miembros son todos conjuntos abiertos se llama cubierta abierta . Una familia se llama localmente finita si cada punto en el espacio tiene un entorno que interseca solo un número finito de miembros de la familia. Una colección σ-localmente finita o numerablemente localmente finita es una familia que es la unión de un número numerable de familias localmente finitas. ${\displaystyle X}$

Se dice que una cubierta refina otra cubierta (más gruesa) si cada miembro de está contenido en algún miembro de . Un refinamiento en estrella es un tipo particular de refinamiento. ${\displaystyle {\mathcal {F}}}$${\displaystyle {\mathcal {C}}}$${\displaystyle {\mathcal {F}}}$${\displaystyle {\mathcal {C}}}$

Una familia de Sperner es una familia de conjuntos en la que ninguno de los conjuntos contiene a los demás. El teorema de Sperner establece un límite máximo para el tamaño de una familia de Sperner.

Una familia de Helly es una familia de conjuntos tal que cualquier subfamilia mínima con intersección vacía tiene un tamaño acotado. El teorema de Helly establece que los conjuntos convexos en espacios euclidianos de dimensión acotada forman familias de Helly.

Un complejo simplicial abstracto es una familia de conjuntos (que consta de conjuntos finitos) que es cerrada hacia abajo ; es decir, todo subconjunto de un conjunto en también está en . Un matroide es un complejo simplicial abstracto con una propiedad adicional llamada propiedad de aumento . ${\displaystyle F}$${\displaystyle F}$${\displaystyle F}$

Cada filtro es una familia de conjuntos.

Un espacio de convexidad es una familia de conjuntos cerrada bajo intersecciones y uniones arbitrarias de cadenas (con respecto a la relación de inclusión ).

Otros ejemplos de familias de conjuntos son los sistemas de independencia , los greedoides , los antimatroides y los espacios bornológicos .

• Álgebra de conjuntos  : identidades y relaciones que involucran conjuntos.
• Clase (teoría de conjuntos)  – Colección de conjuntos en matemáticas que se puede definir en función de una propiedad de sus miembros.
• Diseño combinatorio  : disposición simétrica de conjuntos finitos.
• Anillo δ  – Anillo cerrado bajo intersecciones numerables
• Cuerpo de conjuntos  : concepto algebraico en la teoría de la medida, también conocido como álgebra de conjuntos.
• Cuantificador generalizado  : expresión que denota un conjunto de conjuntos en semántica formal.
• Familia indexada  : colección de objetos asociados a un conjunto de índices.
• Sistema λ (sistema de Dynkin)  : familia cerrada bajo complementos y uniones disjuntas numerables.
• Sistema π  – Familia de conjuntos cerrados bajo la intersección
• Anillo de conjuntos  – Familia cerrada bajo uniones y complementos relativos
• La paradoja de Russell  – Paradoja en la teoría de conjuntos (o Conjunto de conjuntos que no se contienen a sí mismos )
• σ-álgebra  – Estructura algebraica del álgebra de conjuntos
• Anillo σ  : Familia de conjuntos cerrados bajo uniones numerables.

• Biggs, Norman L. (1985), Matemáticas discretas , Oxford: Clarendon Press, ISBN 0-19-853252-0
• Brualdi, Richard A. (2010), Combinatoria introductoria (5.ª ed.), Upper Saddle River, NJ: Prentice Hall, ISBN 978-0-13-602040-0
• Roberts, Fred S.; Tesman, Barry (2009), Combinatoria aplicada (2ª ed.), Boca Raton: CRC Press, ISBN 978-1-4200-9982-9

• Contenido multimedia relacionado con las familias Set en Wikimedia Commons