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

psr:-CF5FC8JW-T
  skos:prefLabel "espace vectoriel normé"@fr, "normed vector space"@en ;
  a skos:Concept ;
  skos:narrower psr:-S7FM9BJ5-N .

psr:-S7FM9BJ5-N
  skos:related psr:-QWLRS7WW-9, psr:-MT93JC34-7, psr:-W4X7D58C-P, psr:-SJK3G00H-9, psr:-JXF76GDR-C ;
  skos:inScheme psr: ;
  skos:prefLabel "espace de Hilbert"@fr, "Hilbert space"@en ;
  skos:broader psr:-CF5FC8JW-T ;
  a skos:Concept ;
  skos:definition """En mathématiques, un espace de Hilbert est un espace vectoriel réel (resp. complexe) muni d'un produit scalaire euclidien (resp. hermitien), qui permet de mesurer des longueurs et des angles et de définir une orthogonalité. De plus, un espace de Hilbert est complet, ce qui permet d'y appliquer des techniques d'analyse. Ces espaces doivent leur nom au mathématicien allemand David Hilbert. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Espace_de_Hilbert">https://fr.wikipedia.org/wiki/Espace_de_Hilbert</a>)"""@fr, """In mathematics, Hilbert spaces (named after David Hilbert) allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Hilbert_space">https://en.wikipedia.org/wiki/Hilbert_space</a>)"""@en ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Espace_de_Hilbert>, <https://en.wikipedia.org/wiki/Hilbert_space> .

psr:-SJK3G00H-9
  skos:prefLabel "théorème du bicommutant de von Neumann"@fr, "von Neumann bicommutant theorem"@en ;
  a skos:Concept ;
  skos:related psr:-S7FM9BJ5-N .

psr: a skos:ConceptScheme .
psr:-QWLRS7WW-9
  skos:prefLabel "projection-valued measure"@en, "mesure spectrale"@fr ;
  a skos:Concept ;
  skos:related psr:-S7FM9BJ5-N .

psr:-MT93JC34-7
  skos:prefLabel "opérateur unitaire"@fr, "unitary operator"@en ;
  a skos:Concept ;
  skos:related psr:-S7FM9BJ5-N .

psr:-JXF76GDR-C
  skos:prefLabel "von Neumann algebra"@en, "algèbre de von Neumann"@fr ;
  a skos:Concept ;
  skos:related psr:-S7FM9BJ5-N .

psr:-W4X7D58C-P
  skos:prefLabel "Hilbert projection theorem"@en, "théorème de projection orthogonale sur un convexe fermé"@fr ;
  a skos:Concept ;
  skos:related psr:-S7FM9BJ5-N .