@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:-NSHJDD8Z-W
  skos:narrower psr:-DHS10L4Q-B, psr:-T50TDMDR-7 ;
  skos:prefLabel "opérateur compact"@fr, "compact operator"@en ;
  skos:inScheme psr: ;
  a skos:Concept ;
  skos:broader psr:-KL7BX9Z3-T, psr:-VVTJ8P47-K ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Compact_operator>, <https://fr.wikipedia.org/wiki/Op%C3%A9rateur_compact> ;
  dc:modified "2023-08-04"^^xsd:date ;
  skos:definition """In functional analysis, a branch of mathematics, a compact operator is a linear operator <i>T</i> : <i>X</i> → <i>Y</i>, where <i>X</i>, <i>Y</i> are normed vector spaces, with the property that <i>T</i> maps bounded subsets of <i>X</i> to relatively compact subsets of <i>Y</i> (subsets with compact closure in <i>Y</i>). Such an operator is necessarily a bounded operator, and so continuous. Some authors require that <i>X</i>, <i>Y</i> are Banach, but the definition can be extended to more general spaces. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Compact_operator">https://en.wikipedia.org/wiki/Compact_operator</a>)"""@en, """En mathématiques, et plus précisément en analyse fonctionnelle, un opérateur compact est une application continue entre deux espaces vectoriels topologiques <i>X</i> et <i>Y</i> envoyant les parties bornées de <i>X</i> sur les parties relativement compactes de <i>Y</i>. Les applications linéaires compactes généralisent les applications linéaires continues de rang fini. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Op%C3%A9rateur_compact">https://fr.wikipedia.org/wiki/Op%C3%A9rateur_compact</a>)"""@fr ;
  dc:created "2023-08-04"^^xsd:date .

psr:-DHS10L4Q-B
  skos:prefLabel "opérateur à trace"@fr, "trace-class operator"@en ;
  a skos:Concept ;
  skos:broader psr:-NSHJDD8Z-W .

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

psr:-KL7BX9Z3-T
  skos:prefLabel "opérateur"@fr, "operator"@en ;
  a skos:Concept ;
  skos:narrower psr:-NSHJDD8Z-W .

psr: a skos:ConceptScheme .
psr:-T50TDMDR-7
  skos:prefLabel "approximation property"@en, "propriété d’approximation"@fr ;
  a skos:Concept ;
  skos:broader psr:-NSHJDD8Z-W .