@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr:-VVTJ8P47-K
  skos:prefLabel "application linéaire"@fr, "linear map"@en ;
  a skos:Concept ;
  skos:narrower psr:-TRXDQ30C-Z .

psr:-Q1HLN9PV-N
  skos:prefLabel "théorème de Hahn-Banach"@fr, "Hahn-Banach theorem"@en ;
  a skos:Concept ;
  skos:related psr:-TRXDQ30C-Z .

psr:-VWRDKWNG-6
  skos:prefLabel "espace dual"@fr, "dual space"@en ;
  a skos:Concept ;
  skos:related psr:-TRXDQ30C-Z .

psr: a skos:ConceptScheme .
psr:-MG43N6FW-4
  skos:prefLabel "functional"@en, "fonctionnelle"@fr ;
  a skos:Concept ;
  skos:related psr:-TRXDQ30C-Z .

psr:-ZTVBZV3T-Z
  skos:prefLabel "trace"@fr, "trace"@en ;
  a skos:Concept ;
  skos:related psr:-TRXDQ30C-Z .

psr:-TRXDQ30C-Z
  skos:prefLabel "forme linéaire"@fr, "linear form"@en ;
  skos:altLabel "linear functional"@en, "covector"@en ;
  skos:definition """En algèbre linéaire, une forme linéaire sur un espace vectoriel est une application linéaire sur son corps de base. En dimension finie, elle peut être représentée par une matrice ligne qui permet d’associer à son noyau une équation cartésienne. Dans le cadre du calcul tensoriel, une forme linéaire est aussi appelée covecteur, en lien avec l’action différente des matrices de changement de base. L’ensemble de ces formes linéaires constitue aussi un espace vectoriel appelé espace dual, qui peut éventuellement être restreint au dual topologique des formes linéaires continues si l’espace source est un espace vectoriel topologique. L'étude spécifique qu'on leur accorde est motivée par le fait qu'elles jouent un rôle primordial en mathématiques, et en analyse, par exemple dans la théorie des distributions, ou dans l'étude des espaces de Hilbert. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Forme_lin%C3%A9aire">https://fr.wikipedia.org/wiki/Forme_lin%C3%A9aire</a>)"""@fr, """In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear map from a vector space to its field of scalars (often, the real numbers or the complex numbers). 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Linear_form">https://en.wikipedia.org/wiki/Linear_form</a>)"""@en ;
  skos:related psr:-VWRDKWNG-6, psr:-ZTVBZV3T-Z, psr:-MG43N6FW-4, psr:-Q1HLN9PV-N ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Forme_lin%C3%A9aire>, <https://en.wikipedia.org/wiki/Linear_form> ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-VVTJ8P47-K .

