About: dbpedia-fr:Formule_de_Grassmann     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

AttributesValues
rdfs:label
  • Formule de Grassmann (fr)
rdfs:comment
  • En mathématiques, plus précisément en algèbre linéaire, la formule de Grassmann exprime la dimension de la somme de deux sous-espaces vectoriels d'un même espace vectoriel. Plus précisément : Formule de Grassmann — Soient F et G deux sous-espaces vectoriels d'un même espace vectoriel E. Alors Si F et G sont de dimensions respectives finies, il en résulte que F + G aussi et que (fr)
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
named after
has abstract
  • En mathématiques, plus précisément en algèbre linéaire, la formule de Grassmann exprime la dimension de la somme de deux sous-espaces vectoriels d'un même espace vectoriel. Plus précisément : Formule de Grassmann — Soient F et G deux sous-espaces vectoriels d'un même espace vectoriel E. Alors Si F et G sont de dimensions respectives finies, il en résulte que F + G aussi et que Deux démonstrations * Les applications linéaires suivantes :où la deuxième application est et la troisième , forment une suite exacte courte. Par conséquent, d'après le théorème du rang (même en dimension infinie) :La formule de Grassmann en résulte puisque dim(F×G) = dim(F) + dim(G). * Une autre idée est de remarquer l'analogie de cette formule avec la suivante (valide même pour des ensembles infinis) et de l'en déduire :Il suffit en effet, pour identifier terme à terme cette équation avecde choisir une base de et de la compléter en une base de d'une part et en une base de d'autre part : sera alors une base de et sera égal à la base de (fr)
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 4 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software