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

psr:-M25M04G1-4
  skos:definition """En géométrie différentielle, la dérivée covariante est un outil destiné à définir la dérivée d'un champ de vecteurs sur une variété. Dans le cas où la dérivée covariante existe, il n'existe pas de différence entre la dérivée covariante et la connexion, à part la manière dont elles sont introduites. (Cela est faux quand la dérivée covariante n'existe pas en revanche ). Dans la théorie des variétés riemanniennes et pseudo-riemanniennes, le théorème fondamental de la géométrie riemannienne montre qu'il existe un choix de connexion ou de dérivée covariante privilégié, et le terme « dérivée covariante » est souvent utilisé pour la connexion de Levi-Civita. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/D%C3%A9riv%C3%A9e_covariante">https://fr.wikipedia.org/wiki/D%C3%A9riv%C3%A9e_covariante</a>)"""@fr, """In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component (dependent on the embedding) and the intrinsic covariant derivative component. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Covariant_derivative">https://en.wikipedia.org/wiki/Covariant_derivative</a>)"""@en ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-V0G085HP-P ;
  skos:prefLabel "dérivée covariante"@fr, "covariant derivative"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Covariant_derivative>, <https://fr.wikipedia.org/wiki/D%C3%A9riv%C3%A9e_covariante> .

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

