Familia indexada

En matemáticas, unha **familia**, ou **familia indexada**, é informalmente unha colección de obxectos, cada un asociado a un índice dun conxunto índice. 

Máis formalmente, unha familia indexada é unha función matemática xunto co seu dominio I e imaxe X (é dicir, as familias indexadas e as funcións matemáticas son tecnicamente idénticas, só que os puntos de vista son diferentes). 

O conxunto I chámase o *conxunto índice* da familia, e X é o *conxunto indexado*.

As sucesións son un tipo de familias indexadas por números naturais. 

En xeral, o conxunto de índices I non está restrinxido a ser numerábel. Por exemplo, pódese considerar unha familia non numerábel de subconxuntos de números naturais indexados polos números reais.

## Definición formal 
Sexan I e X conxuntos e f unha función tal que
:\begin{align}
 f ~:~ &I \to X \\
 &i \mapsto x_i = f(i),
\end{align}
onde i é un elemento de I e a imaxe f(i) de i baixo a función f denotase por x_i. 

Por exemplo, f(3) está denotado por x_3. O símbolo x_i utilízase para indicar que x_i é o elemento de X indexado por i \in I. 
A función f estabelece así unha **familia de elementos en X indexados por** I, que se denotan como \left(x_i\right)_{i \in I}, ou simplemente \left(x_i\right) se se asume que o conxunto de índices é coñecido. 

As funcións e as familias indexadas son formalmente equivalentes, xa que calquera función f cun dominio I induce unha familia (f(i))_{i \in I} e á inversa. Ser un elemento dunha familia equivale a estar no rango da función correspondente. Na práctica, porén, unha familia é vista como unha colección, máis que como unha función.

Unha familia indexada \left(x_i\right)_{i \in I} define un conxunto \mathcal{X} = \{x_i : i \in I\}, é dicir, a imaxe de I baixo f. Posto que o mapa f non se require que sexa inxectivo, pode existir i, j \in I con i \neq j tal que x_i = x_j. 

Así, | \mathcal{X}| \leq |I|, onde |A| denota a cardinalidade do conxunto A. 

Por exemplo, a secuencia \left( (-1)^i \right)_{i\in \N}  indexada polos números naturais \N = \{1, 2, 3, \ldots\} ten unha imaxe definida \left\{(-1)^i : i \in \N\right\} = \{-1,1\}. A maiores, o conxunto \{ x_i : i \in I \} non leva información sobre ningunha estrutura I. Polo tanto, ao usar un conxunto en lugar da familia, pode perderse algunha información. Por exemplo, unha ordenación no conxunto de índices dunha familia induce unha ordenación na familia, pero non unha ordenación no conxunto de imaxes correspondente.

### Subfamilia indexada 
Unha familia indexada \left(B_i\right)_{i \in J} é unha **subfamilia** dunha familia indexada \left(A_i\right)_{i \in I}, se e só se J é un subconxunto de I e B_i = A_i cúmprese para todos os  i \in J.

## Exemplos 
### Vectores indexados 
Por exemplo, considere a seguinte frase:
 
Aquí \left(v_i\right)_{i \in \{1, \ldots, n\}} denota unha familia de vectores. O i-ésimo vector v_i só ten sentido en relación a esta familia, xa que os conxuntos son en si propios desordenados polo que non hai i-ésimo vector dun conxunto. 

A maiores, a independencia linear defínese como unha propiedade dunha colección; polo tanto, é importante se eses vectores son linearmente independentes como conxunto ou como familia. Por exemplo, se temos en conta n = 2 e v_1 = v_2 = (1, 0) como o mesmo vector, entón o *conxunto* deles consta dun só elemento (xa que un conxunto é unha colección de elementos distintos non ordenados) e é linearmente independente, pero a familia contén o mesmo elemento dúas veces (xa que está indexado de forma diferente) e é linearmente dependente (os vectores repetidos son linearmente dependentes).

### Outros exemplos 
Sexa \mathbf{n} o conxunto finito \{1, 2, \ldots n\}, onde n é un número enteiro positivo.

* Un par ordenado (2-tuplas) é unha familia indexada polo conxunto de dous elementos, \mathbf{2} = \{1, 2\}; cada elemento do par ordenado está indexado por un elemento do conxunto \mathbf{2}.
* Unha n-tupla é unha familia indexada polo conxunto \mathbf{n}.
* Unha secuencia infinita é unha familia indexada polos números naturais.
* Unha lista é un n-tupla para un determinado n non especificado  que podería ser unha secuencia infinita.
* Unha  matriz n \times m é unha familia indexada polo produto cartesiano \mathbf{n} \times \mathbf{m} cuxos elementos son pares ordenados; por exemplo, (2, 5) indexa o elemento da matriz na segunda fila e na quinta columna.

## Operacións sobre familias indexadas 
Os conxuntos de índices úsanse a miúdo en sumas e outras operacións similares. Por exemplo, se \left(a_i\right)_{i \in I} é unha familia indexada de números, a suma de todos eses números denotase por 
:\sum_{i \in I} a_i.

Cando \left(A_i\right)_{i \in I} é unha familia de conxuntos, a unión de todos eses conxuntos denotase por 
:\bigcup_{i \in I} A_i.

Así mesmo úsase ese concepto con nomencaltura similar de subíndices para interseccións e produtos cartesianos.

## Uso na teoría de categorías 
O concepto análogo na teoría de categorías chámase **diagrama**. Un diagrama é un functor que dá lugar a unha familia indexada de obxectos nunha categoría , indexada por outra categoría  e relacionada por morfismos que dependen de dous índices.

## Notas 
## Véxase tamén 
### Bibliografía 
* Mathematical Society of Japan, *Encyclopedic Dictionary of Mathematics*, 2nd edition, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993.  Cited as EDM (volume).

### Outros artigos 
* Unión disxunta
* Sucesión (matemáticas)
* Diagrama (teoría das categorías)
* Conxunto índice
### Ligazóns externas 
* Familia