@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr: a skos:ConceptScheme .
psr:-RZ3QL167-D
  skos:prefLabel "espace vectoriel topologique"@fr, "topological vector space"@en ;
  a skos:Concept ;
  skos:narrower psr:-ZK3KBLMN-P .

psr:-ZK3KBLMN-P
  skos:definition """In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Locally_convex_topological_vector_space">https://en.wikipedia.org/wiki/Locally_convex_topological_vector_space</a>)"""@en, """En mathématiques, un espace localement convexe est un espace vectoriel topologique dont la topologie peut être définie à l'aide d'une famille de semi-normes. C'est une généralisation de la notion d'espace normé. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Espace_localement_convexe">https://fr.wikipedia.org/wiki/Espace_localement_convexe</a>)"""@fr ;
  skos:broader psr:-RZ3QL167-D ;
  a skos:Concept ;
  skos:prefLabel "espace localement convexe"@fr, "locally convex space"@en ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Espace_localement_convexe>, <https://en.wikipedia.org/wiki/Locally_convex_topological_vector_space> ;
  skos:inScheme psr: ;
  skos:altLabel "locally convex topological vector space"@en .