. "Th\u00E9or\u00E8me de la base incompl\u00E8te"@fr . . . . . "Completamento a base"@it . . . . . . . . . . . . "112837"^^ . "En alg\u00E8bre lin\u00E9aire, le th\u00E9or\u00E8me de la base incompl\u00E8te affirme que, dans un espace vectoriel E, \n* toute famille libre de vecteurs peut \u00EAtre compl\u00E9t\u00E9e en une famille libre et g\u00E9n\u00E9ratrice de E (c'est-\u00E0-dire une base de E) ; \n* de toute famille g\u00E9n\u00E9ratrice de E, on peut extraire une sous-famille libre et g\u00E9n\u00E9ratrice. En particulier, ce th\u00E9or\u00E8me affirme que tout espace vectoriel E admet une base. En effet, la famille vide est libre et peut \u00EAtre compl\u00E9t\u00E9e en une base de E. Ce r\u00E9sultat d'existence, joint au th\u00E9or\u00E8me selon lequel toutes les bases de E ont m\u00EAme cardinal, conduit \u00E0 la d\u00E9finition de la dimension d'un espace vectoriel."@fr . . . . . "4002"^^ . . . . "184956248"^^ . . . . . . "En alg\u00E8bre lin\u00E9aire, le th\u00E9or\u00E8me de la base incompl\u00E8te affirme que, dans un espace vectoriel E, \n* toute famille libre de vecteurs peut \u00EAtre compl\u00E9t\u00E9e en une famille libre et g\u00E9n\u00E9ratrice de E (c'est-\u00E0-dire une base de E) ; \n* de toute famille g\u00E9n\u00E9ratrice de E, on peut extraire une sous-famille libre et g\u00E9n\u00E9ratrice."@fr . . .