stringtranslate.com

Familia de conjuntos

En teoría de conjuntos y ramas relacionadas de las matemáticas , una familia (o colección ) puede significar, dependiendo del contexto, cualquiera de los siguientes: conjunto , conjunto indexado , multiconjunto o clase . Una colección de subconjuntos de un conjunto dado se denomina familia de subconjuntos de o familia de conjuntos sobre De manera más general, una colección de cualquier conjunto se denomina familia de conjuntos , familia de conjuntos o sistema de conjuntos . Además, una familia de conjuntos puede definirse como una función de un conjunto , conocido como el conjunto índice, a , en cuyo caso los conjuntos de la familia están indexados por miembros de . [1] En algunos contextos, se puede permitir que una familia de conjuntos contenga copias repetidas de cualquier miembro dado, [2] [3] [4] y en otros contextos puede formar una clase propia .

Una familia finita de subconjuntos de un conjunto finito también se denomina hipergrafo . El tema de la teoría de conjuntos extremos se ocupa de los ejemplos más grandes y más pequeños de familias de conjuntos que satisfacen ciertas restricciones.

Ejemplos

El conjunto de todos los subconjuntos de un conjunto dado se denomina conjunto potencia de y se denota por El conjunto potencia de un conjunto dado es una familia de conjuntos sobre

Un subconjunto de elementos se denomina -subconjunto de . Los -subconjuntos de un conjunto forman una familia de conjuntos.

Sea Un ejemplo de una familia de conjuntos sobre (en el sentido de multiconjunto ) está dado por donde y

La clase de todos los números ordinales es una gran familia de conjuntos, es decir, no es en sí misma un conjunto sino una clase propia .

Propiedades

Cualquier familia de subconjuntos de un conjunto es en sí misma un subconjunto del conjunto potencia si no tiene miembros repetidos.

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 las 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

Conceptos relacionados

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

Coberturas y topologías

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 cubierta de que también es una cubierta de se llama subcubierta . Una familia se llama colección de puntos finitos si cada punto de se encuentra en solo un número finito de miembros de la familia. Si cada punto de una cubierta se encuentra en exactamente un miembro de , la cubierta es una partición de

Cuando es un espacio topológico , una cubierta cuyos miembros son todos conjuntos abiertos se denomina cubierta abierta . Una familia se denomina localmente finita si cada punto del espacio tiene un entorno que interseca solo un número finito de miembros de la familia. Una colección σ-localmente finita o localmente finita numerable es una familia que es la unión de un número numerable de familias localmente finitas.

Se dice que una cubierta refina otra cubierta (más basta) si cada miembro de está contenido en algún miembro de Un refinamiento de estrella es un tipo particular de refinamiento.

Tipos especiales de familias de conjuntos

Una familia de Sperner es una familia de conjuntos en la que ninguno de los conjuntos contiene a ninguno de los otros. El teorema de Sperner limita el tamaño máximo de una familia de Sperner.

Una familia de Helly es una familia de conjuntos en la 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 está cerrada hacia abajo ; es decir, cada subconjunto de un conjunto en también está en Un matroide es un complejo simplicial abstracto con una propiedad adicional llamada propiedad de aumento .

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 gredoides , los antimatroides y los espacios bornológicos .


Véase también

Notas

  1. ^ P. Halmos, Naive Set Theory , p. 34. The University Series in Undergraduate Mathematics, 1960. Litton Educational Publishing, Inc.
  2. ^ Brualdi 2010, pág. 322
  3. ^ Roberts y Tesman 2009, pág. 692
  4. ^ Biggs 1985, pág. 89

Referencias

Enlaces externos