Дано, что для любых x и y
aijklxiyjxkyl=0.
Доказать, что
aijkl+ajkli+aklij+alijk=0.
Это утверждение неверно.
Контрпример: рассмотрим такой тензор a, что
aijkl=−akjil=−ailkj=aklij.
Тогда условие (1) автоматически выполняется
aijklxiyjxkyl=12(aijklxixk+aijklxixk)yjyl=12(aijklxixk−akjilxixk)yjyl=
(переименуем k↔i)
=12(aijklxixk−aijklxkxi)yjyl=0.
Проверим, всегда ли при этом выполняется (2). Пусть, в частности, a1123=−a2113=−a1321=a2311=1 и a1231=−a3211=−a1132=a3112=2. Тогда
a1123+a1231+a2311+a3112=1+2+1+2=6≠0.
Таким образом, (2) выполняется не всегда даже для n=3.