En matematicas, la nocion de familha generaliza aquela de n-uplet o de seguida. Ansin se poirà parlar, en algèbra lineara, de la familha de vectors
, qu'es una familha finida, o de la familha nombrabla
.
- Una familha
d'elements d'un ensemble E indexada per un ensemble (non vuege) I es una aplicacion definida subre I e que pren sei valors dins E. Pus explicitament, es l'aplicacion
.
- Leis elements de I son sonats indèx : se ditz que l es l'ensemble deis indèx. Per tot
, l'element
de E es sonat element d'indèx i de la familha
: leis elements de la familha son aquelei de l'ensemble imatge f(E) (mai es essenciau de destriar la familha de l'ensemble de seis elements : doas familhas diferentas pòdon aver lo meteis ensemble d'elements).
- Per definicion, la cardinalitat d'una familha es la cardinalitat de l'ensemble I deis indèx : una familha finida es una familha que l'ensemble de seis indèx es finit, una familha infinida es una familha que l'ensemble de seis indèx es infinit, una familha nombrabla es una familha que l'ensemble de seis indèx es nombrable, etc.
- Se n es un entier naturau non nul, un n-uplet d'elements d'un ensemble E es una familha d'elements de E indexada per l'ensemble finit deis entiers naturaus i taus que 1 ≤ i ≤ n.
- Se sòna seguida d'elements d'un ensemble E una familha
d'elements de E indexada per l'ensemble
deis entiers naturaus ; autrament dich, es una aplicacion
(se pòt que l'ensemble
siá remplaçat per d'autrei, coma
).
- Se
es un ensemble, una familha de partidas de
indexada per un ensemble I es una familha
de sosensembles de
; autrament dich, es una aplicacion
.