Familia indexada

objeto de teoría de conjuntos.

En matemáticas, una familia, o familia indexada,[1]​ es informalmente una colección de objetos, cada uno de ellos asociado con un índice de algún conjunto índice. Por ejemplo, una familia de números reales, indexada por el conjunto de los números enteros, es una colección de números reales, donde una función determinada selecciona un número real para cada número entero (posiblemente el mismo) como indexación.

Más formalmente, una familia indexada es una función matemática junto con su dominio y su imagen (es decir, las familias indexadas y las funciones matemáticas son técnicamente idénticas, solo que los puntos de vista son diferentes). A menudo se hace referencia a los elementos del conjunto como los que componen la familia. Desde esta visión, las familias indexadas se interpretan como colecciones de elementos indexados en lugar de funciones. El conjunto se denomina "conjunto índice" de la familia, y es el propio "conjunto indexado".

Las secuencias son un tipo de familias indexadas por números naturales. En general, el conjunto de índices no está restringido a ser numerable. Por ejemplo, se podría considerar una familia innumerable de subconjuntos de números naturales indexados por los números reales.

Definición formal

editar

Sean los conjuntos   y  ; y sea   una función tal que

 

donde   es un elemento de   y la imagen   de   bajo la función   se denota por  . Por ejemplo,   se denota por   El símbolo   se utiliza para indicar que   es el elemento de   indexado por   La función   establece así una familia de elementos en   indexados por   que se denota por   o simplemente   si se supone que se conoce el conjunto de índices. A veces se utilizan corchetes angulares o llaves en lugar de paréntesis, aunque el uso de llaves implica el riesgo de confundir familias indexadas con conjuntos.

Las funciones y las familias indexadas son formalmente equivalentes, ya que cualquier función   con un dominio   induce una familia   y viceversa. Ser elemento de una familia equivale a estar en el rango de la función correspondiente. En la práctica, sin embargo, la familia se considera una colección más que una función.

Cualquier conjunto   da lugar a una familia   donde   está indexado por sí mismo (lo que significa que   es la función de identidad). Sin embargo, las familias se diferencian de los conjuntos en que el mismo objeto puede aparecer varias veces con diferentes índices en una familia, mientras que un conjunto es una colección de objetos distintos. Una familia contiene cualquier elemento exactamente una vez si y solo si la función correspondiente es inyectiva.

Una familia indexada   define un conjunto   es decir, la imagen de   bajo   Dado que no es necesario que la aplicación   sea inyectiva, puede existir   con   tal que   Por lo tanto,  , donde   denota el cardinal del conjunto   Por ejemplo, la secuencia   indexada por los números naturales   tiene el conjunto de imágenes   Además, el conjunto   no contiene información sobre ninguna estructura en   Por lo tanto, al utilizar un conjunto en lugar de una familia, se podría perder parte de la información. Por ejemplo, un orden en el conjunto de índices de una familia induce un orden en la familia, pero no un orden en el conjunto de imágenes correspondiente.

Subfamilia indexada

editar

Una familia indexada   es una subfamilia de una familia indexada   si y solo si   es un subconjunto de   y   se aplica a todos los  

Ejemplos

editar

Vectores indexados

editar

Por ejemplo, considérese la siguiente oración:

Los vectores   son linealmente independientes.

Aquí,   denota una familia de vectores. El  -ésimo vector   solo tiene sentido con respecto a esta familia, ya que los conjuntos están desordenados, por lo que no existe un  -ésimo vector de un conjunto. Además, la independencia lineal se define como una propiedad de una colección; y por lo tanto, es importante si estos vectores son linealmente independientes como conjunto o como familia. Por ejemplo, si se considera   y   como el mismo vector, entonces el "conjunto" de ellos consta de un solo elemento (ya que el conjunto es una colección de elementos distintos desordenados) y es linealmente independiente, pero la familia contiene los mismos elementos dos veces (ya que está indexado de manera diferente) y es linealmente dependiente (los mismos vectores son linealmente dependientes).

Matrices

editar

Supóngase que un texto afirma lo siguiente:

Una matriz cuadrada   es invertible si y solo si las filas de   son linealmente independientes.

Como en el ejemplo anterior, es importante que las filas de   sean linealmente independientes como familia, no como conjunto. Por ejemplo, considérese la matriz:

 

El conjunto de las filas consta de un solo elemento   ya que un conjunto está formado por elementos únicos, por lo que es linealmente independiente, pero la matriz no es invertible, ya que su determinante es 0. Por otro lado, la familia de las filas contiene dos elementos indexados de manera diferente, como la primera fila   y la segunda fila  , por lo que es linealmente dependiente. Por lo tanto, la afirmación es correcta si se refiere a la familia de filas, pero incorrecta si se refiere al conjunto de filas. La afirmación también es correcta cuando se interpreta que "las filas" se refieren a un multiconjunto, en el que los elementos también se mantienen distintos pero que carece de parte de la estructura de una familia indexada.

Otros ejemplos

editar

Sea   el conjunto finito   donde   es un número entero positivo.

  • Un par ordenado (2-tupla) es una familia indexada por el conjunto de dos elementos,   cada elemento del par ordenado está indexado por cada elemento del conjunto  
  • Una  -tuple es una familia indexada por el conjunto  
  • Una secuencia infinita es una familia indexada por los números naturales.
  • Una lista es una  -tupla para un   no especificado o una secuencia infinita.
  • Una matriz de orden   es una familia indexada por el producto cartesiano  , cuyos elementos son pares ordenados (por ejemplo,   indexa el elemento de la matriz en la segunda fila y la quinta columna).
  • Una red es una familia indexada por un conjunto dirigido.

Operaciones sobre familias indexadas

editar

Los conjuntos de índices se utilizan a menudo en sumas y otras operaciones similares. Por ejemplo, si   es una familia indexada de números, la suma de todos esos números se denota por

 

Cuando   es una familia de conjuntos, la unión de todos esos conjuntos se denota por

 

Lo mismo ocurre con la intersección y el producto cartesiano.

Uso en teoría de categorías

editar

El concepto análogo en teoría de categorías se llama diagrama. Un diagrama es un funtor que da lugar a una familia indexada de objetos en una categoría C, indexados por otra categoría J y relacionados por morfismos dependientes de dos índices.

Véase también

editar

Referencias

editar
  1. K. D. Joshi (1983). Introduction to General Topology. New Age International. pp. 35 de 412. ISBN 9780852264447. Consultado el 5 de diciembre de 2023. 

Bibliografía

editar
  • Mathematical Society of Japan, "Encyclopedic Dictionary of Mathematics" (Diccionario Enciclopédico de Matemáticas), 2.ª edición, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993. Citado como EDM (volumen).