Familia de conjuntos

De Wikipedia, la enciclopedia libre

En teoría de conjuntos y en otras ramas relacionadas de las matemáticas, una familia (o colección) puede hacer referencia a cualquiera de los conceptos siguientes dependiendo del contexto:

Una colección de subconjuntos de un conjunto determinado se denomina familia de subconjuntos de , o familia de conjuntos sobre De manera más general, una colección de conjuntos cualesquiera se denomina familia de conjuntos o un sistema de conjuntos. Además, una familia de conjuntos se puede definir como una función desde un conjunto , conocido como conjunto índice, hacia , 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 determinado,[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 objeto de teoría de conjuntos extremos se refiere a los ejemplos más grandes y más pequeños de familias de conjuntos que satisfacen ciertas restricciones.

Ejemplos[editar]

El conjunto 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

Un subconjunto de que tiene elementos se llama -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) viene dado por donde y

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

Propiedades[editar]

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 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 distintos representantes.

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[editar]

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:

  • Un hipergrafo, también llamado sistema de conjuntos, está formado por un conjunto de vértices junto con otro conjunto de hiperaristas, cada uno de los 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 que tiene la unión de los conjuntos como vértices.
  • Un complejo simplicial abstracto es una abstracción combinatoria de la noción de complejo simplicial, una forma integrada por uniones de segmentos rectilíneos, triángulos, tetraedros y símplices de dimensiones superiores, unidos cara a cara. En un complejo simplicial abstracto, cada símplex 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 familia forma un complejo simplicial abstracto.
  • Un estructura de incidencia consta de un conjunto de puntos, un conjunto de líneas y un relación binaria (arbitraria), llamada 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 bloque binario consta de un conjunto de palabras de código, cada una de las cuales es una cadena de 0 y 1, todas de la misma longitud. Cuando cada par de palabras de código tiene una distancia de Hamming grande, se pueden utilizar como código de corrección de errores. Un código de bloque también se puede describir como una familia de conjuntos, describiendo cada palabra de código 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 sobre que es una familia de conjuntos (cuyos elementos se llaman conjuntos abiertos) sobre , que contiene tanto el conjunto vacío como el propio , y está cerrado bajo uniones de conjuntos arbitrarios e intersecciones de conjuntos finitos.

Recubrimientos y topologías[editar]

Se dice que una familia de conjuntos recubre a un conjunto si cada punto de pertenece a algún miembro de la familia. Una subfamilia de un recubrimiento de que también es un recubrimiento de se denomina subrecubrimiento. Una familia se llama colección punto-finita si cada punto de se encuentra en un número finito de miembros de la familia. Si cada punto de un recubrimiento se encuentra exactamente en un miembro, el recubrimiento es una partición de

Cuando es un espacio topológico, un recubrimiento cuyos miembros son todos conjuntos abiertos se denomina recubrimiento abierto. 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 localmente finita numerable es una familia que es la unión de muchas familias localmente finitas.

Se dice que un recubrimiento es refina a otro (más grueso) si cada miembro de está contenido en algún miembro de Un refinamiento estrella es un tipo particular de refinamiento.

Tipos especiales de familias de conjuntos[editar]

Una familia de Sperner es una familia de conjuntos en la que ninguno de ellos contiene a los demás. El teorema de Sperner limita el tamaño máximo 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 afirma que los conjuntos convexos en espacios euclídeos de dimensión acotada forman familias de Helly.

Un complejo simplicial abstracto es una familia de conjuntos (que consta de conjuntos finitos) que está cerrado 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 convexo 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 independientes, los vorazoides, los antimatroides y los espacios bornológicos.

Familias de conjuntos sobre
Es necesariamente cierto de
o es cerrado bajo:
Dirigido
por
P.I.F.
Sistema Π Yes Yes No No No No No No No No
Semianillo Yes Yes No No No No No No Yes Nunca
Semiálgebra (Semicuerpo) Yes Yes No No No No No No Yes Nunca
Clase monótona No No No No No Solo si Solo si No No No
Sistema λ (Sistema de Dynkin) Yes No No Solo si
Yes No Solo si
o son disjuntos
Yes Yes Nunca
Anillo (Teoría del orden) Yes Yes Yes No No No No No No No
Anillo (Teoría de la medida) Yes Yes Yes Yes No No No No Yes Nunca
Anillo δ Yes Yes Yes Yes No Yes No No Yes Nunca
Anillo Σ Yes Yes Yes Yes No Yes Yes No Yes Nunca
Álgebra (Cuerpo) Yes Yes Yes Yes Yes No No Yes Yes Nunca
Álgebra Σ (Cuerpo Σ) Yes Yes Yes Yes Yes Yes Yes Yes Yes Nunca
Ideal dual Yes Yes Yes No No No Yes Yes No No
Filtro Yes Yes Yes Nunca Nunca No Yes Yes Yes
Prefiltro (Base de filtros) Yes No No Nunca Nunca No No No Yes
Subbase de filtros No No No Nunca Nunca No No No Yes
Topología abierta Yes Yes Yes No No No
(Incluso arbitrario)
Yes Yes Nunca
Topología cerrada Yes Yes Yes No No
(Incluso arbitrario)
No Yes Yes Nunca
Es necesariamente cierto de
o es cerrado bajo:
Dirigido
abajo
Intersecciones
finitas
Uniones
finitas
Complementos
relativos
Complementos
en
Intersecciones
numerables
Uniones
numerables
Contiene a Contiene a Propiedad de
la Intersección
Finita

Además, un semianillo es un sistema Π donde cada complemento es igual a una unión disjunta finita de conjuntos en
. Una semiálgebra es un semianillo que contiene a
son elementos arbitrarios de y se supone que


Véase también[editar]

Referencias[editar]

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

Bibliografía[editar]

  • Biggs, Norman L. (1985), Discrete Mathematics, Oxford: Clarendon Press, ISBN 0-19-853252-0 .
  • Brualdi, Richard A. (2010), Introductory Combinatorics (5th edición), Upper Saddle River, NJ: Prentice Hall, ISBN 0-13-602040-2 .
  • Roberts, Fred S.; Tesman, Barry (2009), Applied Combinatorics (2nd edición), Boca Raton: CRC Press, ISBN 978-1-4200-9982-9 .

Enlaces externos[editar]