Familles
•Famille
La notion de « famille » est techniquement identique à celle de « fonction » oiu « applica-
tion », mais c'est un point de vue est différent.
Définition 1. Soit Vun espace vectoriel et Iun ensemble. On appelle famille d'éléments de
Vindexée par Iune fonction ι:I!V. On appelle Iensemble d'indices. On parle de famille
finie si jIj<1(c'est à dire si Ia un nombre fini d'éléments).
Notation. Soit a:I!Vune famille d'éléments de Vindexée par I. On pose ai:= a(i)et
on écrit (ai)i2Ipour dire a. On écrit (ai)16i6npour le cas où I=f1;···; ng, où carrément
(ai)si l'ensemble d'indices est entendu.
Remarque 1. Un famille finie est plus prosaiquement une liste d'éléments de V. On peut
en particulier avoir des répétions, par exemple (1;1;1) est une famille légit d'éléments de N.
Définition 2. Soit Vun espace vectoriel et L= (ai)i2Iune famille indexée dans V. La taille
jLj de Lest donnée par
jLj =
def:card(I)si Iest un ensemble fini
1sinon
•Combinaison linéaire