0.3.1. Определения

Пусть (R^m)^r = (R^m × ... × R^m), а T: (R^m)^r ® R — отображение, линейное по каждому из своих r векторных аргументов при произвольных фиксированных значениях остальных. Последнее означает, что при любых s О {1, ..., r – 1} и x₁, ..., x_r–1 О R^m отображение

x ® Tбx1, ..., xs, x, xs+1, ..., xr–1с

линейно как отображение из R^m в R. Такие отображения (полилинейные функционалы) называются тензорами в R^m, при этом число r называется рангом или валентностью тензора T.

Множество таких тензоров обозначается T^r(R^m) и образует линейное пространство с естественными операциями сложения и умножения на скаляры.

Пусть {e_i} — базис в R^m, а {eⁱ} — его кобазис. Любое число вида Tбx₁, ..., x_rс, где x_s О {e_i}И{eⁱ} (s = 1, ..., r) называется компонентой тензора T. Если все x_s О {e_i}, то компонента называется ковариантной, а если x_s О {eⁱ}, то контравариантной; остальные компоненты называются смешанными. Тензор ранга r, очевидно, имеет в данном базисе (2m)^r различных компонент, среди которых m^r ковариантных и m^r контравариантных. Число различных типов (или видов) компонент тензора (среди которых мы выделили два — ковариантные и контравариантные), очевидно, равно 2^r.

Ковариантные компоненты тензора Tбei1, ..., eir с обычно обозначают через Ti1...ir, а контравариантные компонентны Tбei1, ..., eir с — через Ti1...ir. Обозначения для смешанных компонент становятся ясными из примеров:

T j·k·i·= Tбe j, ei, ek с,   T jk·l··i·= Tбe j, ek, ei, e l с.