Bonjour.
Dans notre cours d'aujourd'hui, notre prof nous a donné un polycopié dans lequel est marqué :
"Les termes "ensemble de générateurs" ou "famille de générateurs" sont les termes utilisés usuellement par la communauté mathématique, c'est pourquoi nous les avons indiqués ici.
Ils n'ont cependant pas le même statut. En effet, quand on parle d'une famille d'éléments d'un ensemble, il peut y avoir des éléments égaux."
N'y-a-t-il pas une erreur car lorsqu'on parle bien de famille libre, il ne peut pas y avoir deux éléments égaux du coup sinon la famille n'est pas libre ?
Merci pour votre éclairage.
Bonjour,
Non, il n'y a pas d'erreur. Une famille d'éléments de [TEX]E[/TEX] indexée par l'ensemble [TEX]I[/TEX] est simplement une application de [TEX]I[/TEX] dans [TEX]E[/TEX]. On a l'habitude de noter une famille TEX{i\in I}[/TEX] plutôt que [TEX]x:I o E[/TEX].
Dans une famille on peut très bien avoir [TEX]x_i=x_j[/TEX] avec [TEX]i
eq j[/TEX].
Il est vrai que si TEX{i\in I}[/TEX] est une famille libre de vecteurs de [TEX]E[/TEX], alors nécessairement [TEX]x_i
eq x_j[/TEX] si [TEX]i
eq j[/TEX]. mais ceci est une conséquence de la liberté.