@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:-VN943G07-S
  skos:prefLabel "espace de Banach"@fr, "Banach space"@en ;
  a skos:Concept ;
  skos:related psr:-XJ7W1ZPR-9 .

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

psr:-XJ7W1ZPR-9
  skos:definition """In functional analysis, the Grothendieck trace theorem is an extension of Lidskii's theorem about the trace and the determinant of a certain class of nuclear operators on Banach spaces, the so-called 2/3-nuclear operators. The theorem was proven in 1955 by Alexander Grothendieck. Lidskii's theorem does not hold in general for Banach spaces. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Grothendieck_trace_theorem">https://en.wikipedia.org/wiki/Grothendieck_trace_theorem</a>)"""@en, """En mathématiques, et plus précisément en analyse fonctionnelle, le théorème de la trace de Grothendieck est une extension du théorème de Lidskii sur la trace et le déterminant d'un certain classe d'opérateurs nucléaires sur espace de Banachs, les 2/3-opérateurs nucléaires. Le théorème a été prouvé par Alexandre Grothendieck en 19662. Pour les espaces de Banach, le théorème de Lidskii ne tient pas en général. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_la_trace_de_Grothendieck">https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_la_trace_de_Grothendieck</a>)"""@fr ;
  skos:prefLabel "Grothendieck trace theorem"@en, "théorème de la trace de Grothendieck"@fr ;
  skos:related psr:-VN943G07-S ;
  skos:broader psr:-HX2VX066-P ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Grothendieck_trace_theorem>, <https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_la_trace_de_Grothendieck> ;
  a skos:Concept ;
  dc:created "2023-08-04"^^xsd:date ;
  dc:modified "2023-08-04"^^xsd:date ;
  skos:inScheme psr: .