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

psr:-GNZVJ7CX-8
  skos:definition """In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often denoted with angle brackets such as in ⟨a, b⟩. Inner products allow formal definitions of intuitive geometric notions, such as lengths, angles, and orthogonality (zero inner product) of vectors. Inner product spaces generalize Euclidean vector spaces, in which the inner product is the dot product or scalar product of Cartesian coordinates. Inner product spaces of infinite dimension are widely used in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces. The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Inner_product_space">https://en.wikipedia.org/wiki/Inner_product_space</a>)"""@en, """En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d'un produit scalaire. Cette notion généralise celles d'espace euclidien ou hermitien dans le cas d'une dimension quelconque, tout en conservant certaines bonnes propriétés géométriques des espaces de dimension finie grâce aux propriétés du produit scalaire, mais en perdant un atout de taille : un espace préhilbertien de dimension infinie n'est pas nécessairement complet. On peut cependant le compléter, pour obtenir un espace de Hilbert. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Espace_pr%C3%A9hilbertien">https://fr.wikipedia.org/wiki/Espace_pr%C3%A9hilbertien</a>)"""@fr ;
  skos:prefLabel "espace préhilbertien"@fr, "inner product space"@en ;
  skos:broader psr:-W0JJX1W8-X ;
  skos:inScheme psr: ;
  skos:related psr:-K9N16SZK-D, psr:-SG5KGTBD-C ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Espace_pr%C3%A9hilbertien>, <https://en.wikipedia.org/wiki/Inner_product_space> ;
  a skos:Concept .

psr:-K9N16SZK-D
  skos:prefLabel "automorphisme orthogonal"@fr, "orthogonal automorphism"@en ;
  a skos:Concept ;
  skos:related psr:-GNZVJ7CX-8 .

psr: a skos:ConceptScheme .
psr:-SG5KGTBD-C
  skos:prefLabel "Gram-Schmidt process"@en, "procédé de Gram-Schmidt"@fr ;
  a skos:Concept ;
  skos:related psr:-GNZVJ7CX-8 .

psr:-W0JJX1W8-X
  skos:prefLabel "vector space"@en, "espace vectoriel"@fr ;
  a skos:Concept ;
  skos:narrower psr:-GNZVJ7CX-8 .