@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:-HX2VX066-P
  skos:prefLabel "functional analysis"@en, "analyse fonctionnelle"@fr ;
  a skos:Concept ;
  skos:narrower psr:-Q1HLN9PV-N .

psr:-Q1HLN9PV-N
  skos:broader psr:-ZTD7VMDS-3, psr:-HX2VX066-P ;
  skos:definition """The Hahn–Banach theorem is a central tool in functional analysis. It allows the extension of bounded linear functionals defined on a subspace of some vector space to the whole space, and it also shows that there are "enough" continuous linear functionals defined on every normed vector space to make the study of the dual space "interesting". Another version of the Hahn–Banach theorem is known as the Hahn–Banach separation theorem or the hyperplane separation theorem, and has numerous uses in convex geometry. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Hahn%E2%80%93Banach_theorem">https://en.wikipedia.org/wiki/Hahn%E2%80%93Banach_theorem</a>)"""@en, """En mathématiques, et plus particulièrement en analyse et en géométrie, le théorème de Hahn-Banach, dû aux deux mathématiciens Hans Hahn et Stefan Banach, est un théorème d'existence de prolongements de formes linéaires satisfaisant à certaines conditions. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Hahn-Banach">https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Hahn-Banach</a>)"""@fr ;
  skos:prefLabel "Hahn-Banach theorem"@en, "théorème de Hahn-Banach"@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Hahn-Banach>, <https://en.wikipedia.org/wiki/Hahn%E2%80%93Banach_theorem> ;
  dc:modified "2023-08-24"^^xsd:date ;
  skos:related psr:-TRXDQ30C-Z ;
  skos:inScheme psr: ;
  a skos:Concept ;
  dc:created "2023-08-17"^^xsd:date .

psr:-ZTD7VMDS-3
  skos:prefLabel "analyse convexe"@fr, "convex analysis"@en ;
  a skos:Concept ;
  skos:narrower psr:-Q1HLN9PV-N .

psr: a skos:ConceptScheme .
psr:-TRXDQ30C-Z
  skos:prefLabel "forme linéaire"@fr, "linear form"@en ;
  a skos:Concept ;
  skos:related psr:-Q1HLN9PV-N .