En diferenciala geometrio, la rimana kurbectensoro estas tensora kampo, de rango (1,3), kiu priskribas la kurbecon de glata sternaĵo kun lineara konekto sur ĝia tanĝa fasko.
Difino
Se
estas glata sternaĵo kaj
![{\displaystyle \nabla \colon \Gamma (\mathrm {T} M)\otimes \Gamma (\mathrm {T} M)\to \Gamma (\mathrm {T} M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb14bd5d1921c3f5cccf29f90bbbec8f804d9b20)
![{\displaystyle \nabla \colon X\otimes Y\mapsto \nabla _{X}Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad5a4e85ac1b1ce99122cf7d17e3ab1bfcbf7c5c)
estas la lineara konekto de la tanĝa fasko
, do la rimana kurbectensoro de
estas la jena tensora kampo:
![{\displaystyle \operatorname {R} (X,Y)\colon Z\mapsto \nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d1467518ab4a8407bfdaf08820dffeeda1edf6b)
En la ĉi-supra difino, la krampo estas la krampo de Lie:
![{\displaystyle [X,Y]=\nabla _{X}Y-\nabla _{Y}X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acb047df9d3e2b8ec63cd634803750c5b04736e7)
Tio ŝajne dependas de la konekto, sed fakte ne dependas.
La rimana kurbectensoro estas, laŭ difino, ŝajne diferenciala operatoro de dua ordo; sed fakte la diferencialaj partoj nuliĝas inter si, kaj la "operatoro" fakte estas simpla tensora kampo, de rango (1,3).
Uzante la indican notacion, kutiman je fiziko, kun implicita sumado, la konekto estas
![{\displaystyle (\nabla _{X}Y)^{i}=X^{j}\nabla _{j}Y^{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bc86a194b78693687f38a30fb33d4da0b889cff)
kaj la difino de la rimana kurbectensoro estas
.
(En tiu notacio, oni implicite uzas koordinatajn vektorajn kampojn, kaj la krampo de Lie estas aŭtomate nul.)
Propraĵoj
La rimana kurbectensoro ĝuas la jenan malsimetrion:
![{\displaystyle \operatorname {R} (X,Y)=-\operatorname {R} (Y,X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd9ee72d2cdf8056abae22a28ab0df303521e85b)
.
Se la konekton difinas rimana metriko
sur la tanĝa fasko, do la jena ekvacio validas:
.
Historio
La rimanan kurbectensoron difinis la germana matematikisto Bernhard Riemann (Esperante Rimano[1]).
Referencoj
Eksteraj ligiloj