En algèbre linéaire, le théorème de la base incomplète affirme que, dans un espace vectoriel E, toute famille libre de vecteurs peut être complétée en une famille libre et génératrice de E (c'est-à-dire une base de E) ; de toute famille génératrice de E peut être extraite une sous-famille libre et génératrice.En particulier, ce théorème affirme que tout espace vectoriel E admet une base. En effet, la famille vide est libre et peut être complétée en une base de E.

PropertyValue
dbpedia-owl:abstract
  • En algèbre linéaire, le théorème de la base incomplète affirme que, dans un espace vectoriel E, toute famille libre de vecteurs peut être complétée en une famille libre et génératrice de E (c'est-à-dire une base de E) ; de toute famille génératrice de E peut être extraite une sous-famille libre et génératrice.En particulier, ce théorème affirme que tout espace vectoriel E admet une base. En effet, la famille vide est libre et peut être complétée en une base de E. Ce résultat d'existence, joint au théorème selon lequel toutes les bases de E ont même cardinal, conduit à la définition de la dimension d'un espace vectoriel.Un énoncé plus général du théorème est le suivant :Théorème de la base incomplète. Soient E un espace vectoriel, G une partie génératrice de E et L une partie libre. Alors il existe F ⊂ G\L tel que L∪F soit une base de E.
dbpedia-owl:wikiPageID
  • 112837 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 4542 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 22 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 100585433 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • En algèbre linéaire, le théorème de la base incomplète affirme que, dans un espace vectoriel E, toute famille libre de vecteurs peut être complétée en une famille libre et génératrice de E (c'est-à-dire une base de E) ; de toute famille génératrice de E peut être extraite une sous-famille libre et génératrice.En particulier, ce théorème affirme que tout espace vectoriel E admet une base. En effet, la famille vide est libre et peut être complétée en une base de E.
rdfs:label
  • Théorème de la base incomplète
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of