@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:-VVTJ8P47-K
  skos:prefLabel "application linéaire"@fr, "linear map"@en ;
  a skos:Concept ;
  skos:narrower psr:-RF0F40GC-7 .

psr:-HX2VX066-P
  skos:prefLabel "functional analysis"@en, "analyse fonctionnelle"@fr ;
  a skos:Concept ;
  skos:narrower psr:-RF0F40GC-7 .

psr:-RF0F40GC-7
  skos:broader psr:-VVTJ8P47-K, psr:-HX2VX066-P ;
  skos:definition """In mathematics, Choi's theorem on completely positive maps is a result that classifies completely positive maps between finite-dimensional (matrix) C*-algebras. An infinite-dimensional algebraic generalization of Choi's theorem is known as Belavkin's "Radon–Nikodym" theorem for completely positive maps. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Choi%27s_theorem_on_completely_positive_maps">https://en.wikipedia.org/wiki/Choi%27s_theorem_on_completely_positive_maps</a>)"""@en, """En mathématiques, une application positive entre deux C*-algèbres est une application linéaire qui est croissante, c'est-à-dire qui envoie tout élément positif (en) sur un élément positif. Une application complètement positive est une application telle que pour tout entier naturel <i>k</i>, l'application induite, entre les algèbres correspondantes de matrices carrées d'ordre <i>k</i>, est positive. Les applications complètement positives entre C*-algèbres de matrices sont classifiées par un théorème dû à Man-Duen Choi. Le « théorème de Radon-Nikodym de Belavkin pour les applications complètement positives » est une généralisation algébrique en dimension infinie. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Application_compl%C3%A8tement_positive">https://fr.wikipedia.org/wiki/Application_compl%C3%A8tement_positive</a>)"""@fr ;
  skos:altLabel "Choi's theorem on completely positive map"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Choi%27s_theorem_on_completely_positive_maps>, <https://fr.wikipedia.org/wiki/Application_compl%C3%A8tement_positive> ;
  dc:created "2023-08-04"^^xsd:date ;
  skos:inScheme psr: ;
  skos:prefLabel "application complètement positive"@fr, "completely positive map"@en ;
  a skos:Concept ;
  dc:modified "2023-08-04"^^xsd:date .