@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr: a skos:ConceptScheme .
psr:-BR1Z9X5Q-Z
  skos:prefLabel "opérateur borné"@fr, "bounded operator"@en ;
  a skos:Concept ;
  skos:narrower psr:-MT93JC34-7 .

psr:-MT93JC34-7
  skos:definition """En analyse fonctionnelle, un <b>opérateur unitaire</b> est un opérateur linéaire <i>U</i> d'un espace de Hilbert tel que<center><i>U</i>*<i>U</i> = <i>UU</i>* = <i>I</i></center>où <i>U</i>* est l'adjoint de <i>U</i>, et <i>I</i> l'opérateur identité. Cette propriété est équivalente à :
         <br/><ol><li>1. <i>U</i> est une application d'image dense et</li>
         <br/><li>2. <i>U</i> préserve le produit scalaire ⟨&nbsp;,&nbsp;⟩. Autrement dit, pour tous vecteurs <i>x</i> et <i>y</i> de l'espace de Hilbert, ⟨<i>Ux</i>, <i>Uy</i>⟩ = ⟨<i>x</i>, <i>y</i>⟩ (ce qui entraîne que <i>U</i> est linéaire).</li> </ol>
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Op%C3%A9rateur_unitaire">https://fr.wikipedia.org/wiki/Op%C3%A9rateur_unitaire</a>)"""@fr, """In functional analysis, a <b>unitary operator</b> is a surjective bounded operator on a Hilbert space that preserves the inner product. Unitary operators are usually taken as operating <i>on</i> a Hilbert space, but the same notion serves to define the concept of isomorphism <i>between</i> Hilbert spaces.
<br/>A <b>unitary element</b> is a generalization of a unitary operator. In a unital algebra, an element <span class="texhtml mvar" style="font-style:italic;">U</span> of the algebra is called a unitary element if <span class="texhtml"><i>U</i>*<i>U</i> = <i>UU</i>* = <i>I</i></span>,
<br/>where <span class="texhtml mvar" style="font-style:italic;">I</span> is the identity element.
<br/> 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Unitary_operator">https://en.wikipedia.org/wiki/Unitary_operator</a>)"""@en ;
  dc:modified "2023-08-04"^^xsd:date ;
  dc:created "2023-08-04"^^xsd:date ;
  skos:broader psr:-BR1Z9X5Q-Z ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Unitary_operator>, <https://fr.wikipedia.org/wiki/Op%C3%A9rateur_unitaire> ;
  skos:prefLabel "unitary operator"@en, "opérateur unitaire"@fr ;
  skos:related psr:-S7FM9BJ5-N ;
  a skos:Concept ;
  skos:inScheme psr: .

psr:-S7FM9BJ5-N
  skos:prefLabel "Hilbert space"@en, "espace de Hilbert"@fr ;
  a skos:Concept ;
  skos:related psr:-MT93JC34-7 .

