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

psr: a skos:ConceptScheme .
psr:-V0G085HP-P
  skos:prefLabel "differential geometry"@en, "géométrie différentielle"@fr ;
  a skos:Concept ;
  skos:narrower psr:-WK8RJJMC-4 .

psr:-WK8RJJMC-4
  skos:definition """La dérivée de Lie est une opération de différentiation naturelle sur les champs de tenseurs, en particulier les formes différentielles, généralisant la dérivation directionnelle d'une fonction sur un ouvert de <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\mathbb {R} ^{n}}">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <msup>
         <mrow class="MJX-TeXAtom-ORD">
         <mi mathvariant="double-struck">R</mi>
         </mrow>
         <mrow class="MJX-TeXAtom-ORD">
         <mi>n</mi>
         </mrow>
         </msup>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {R} ^{n}}</annotation>
         </semantics>
         </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.897ex; height:2.343ex;" alt="\\\\mathbb {R} ^{n}"></span> ou plus généralement sur une variété différentielle. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/D%C3%A9riv%C3%A9e_de_Lie">https://fr.wikipedia.org/wiki/D%C3%A9riv%C3%A9e_de_Lie</a>)"""@fr, """ In differential geometry, the Lie derivative, named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field (including scalar functions, vector fields and one-forms), along the flow defined by another vector field. This change is coordinate invariant and therefore the Lie derivative is defined on any differentiable manifold. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Lie_derivative">https://en.wikipedia.org/wiki/Lie_derivative</a>)"""@en ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-V0G085HP-P ;
  skos:prefLabel "Lie derivative"@en, "dérivée de Lie"@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/D%C3%A9riv%C3%A9e_de_Lie>, <https://en.wikipedia.org/wiki/Lie_derivative> .