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

mdl:-H0581LRF-N
  skos:prefLabel "functional analysis"@en, "analyse fonctionnelle"@fr ;
  a skos:Concept ;
  skos:related mdl:-ND82FTP8-Q .

mdl:-ND82FTP8-Q
  skos:definition "In mathematics, Fredholm operators are certain operators that arise in the Fredholm theory of integral equations. They are named in honour of Erik Ivar Fredholm. By definition, a Fredholm operator is a bounded linear operator T : X → Y between two Banach spaces with finite-dimensional kernel ker ⁡ T and finite-dimensional (algebraic) cokernel c o k e r T = Y / r a n T, and with closed range ran T. The last condition is actually redundant. (Wikipedia, The Free Encyclopedia, <a href=\"https://en.wikipedia.org/wiki/Fredholm_operator\" target=\"_blank\">https://en.wikipedia.org/wiki/Fredholm_operator</a>)"@en, "En mathématiques, l'opérateur de Fredholm est un concept d'analyse fonctionnelle qui porte le nom du mathématicien suédois Ivar Fredholm (1866-1927). Il s'agit d'un opérateur borné L entre deux espaces de Banach X et Y ayant un noyau de dimension finie et une image de codimension finie. On peut alors définir l'indice de l'opérateur comme indL = dim(ker L) - codim(Im L). Sous ces hypothèses, l'espace image de L est fermé (il admet même un supplémentaire topologique). (Wikipedia, L'Encylopédie Libre, <a href=\"https://fr.wikipedia.org/wiki/Op%C3%A9rateur_de_Fredholm\" target=\"_blank\">https://fr.wikipedia.org/wiki/Op%C3%A9rateur_de_Fredholm</a>)"@fr ;
  skos:inScheme mdl: ;
  a skos:Concept ;
  skos:related mdl:-H0581LRF-N, mdl:-HMNWRC8F-Q ;
  skos:broader mdl:-TLWJ6ZN4-D ;
  skos:hiddenLabel "Opérateur Fredholm"@fr, "opérateurs de Fredholm"@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Op%C3%A9rateur_de_Fredholm>, <https://en.wikipedia.org/wiki/Fredholm_operator> ;
  skos:prefLabel "Fredholm operator"@en, "opérateur de Fredholm"@fr .

mdl:-HMNWRC8F-Q
  skos:prefLabel "espace de Banach"@fr, "Banach space"@en ;
  a skos:Concept ;
  skos:related mdl:-ND82FTP8-Q .

mdl:-TLWJ6ZN4-D
  skos:prefLabel "opérateur borné"@fr, "bounded operator"@en ;
  a skos:Concept ;
  skos:narrower mdl:-ND82FTP8-Q .

mdl: a skos:ConceptScheme .