Conflit de notations au niveau des k
Les sens 1=>2,2=>3 sont triviaux...
Je pense que le sens 3=>1 se fait en considérant une sous famille libre de card max de ta famille de formes linéaires, puis en la complétant en une base du dual (et en considérant la base antédual, tu dois pouvoir montrer qu'il existe pour chacune des formes linéaires qui complètent la base une vecteur de N tel qu'elle est non nulle en ce vecteur et que toutes les autres y sont nulles, puis l'inégalité te permet de conclure).
Mais j'ai la flemme de rédiger 
Message édité par Profil supprimé le 03-07-2010 à 18:23:02