Алгоритмические проблемы теории групп и полугрупп. 1994 г.

А Гак как генгзорк я одновременно приводится к диаго­ нальном/ виду, т гипврповзрхнооть \/*.1 нэсет сеть линий криви- поверх- /),_7 зны. деть линий крив! ОШ). ТЕОР/ИА. I . Интегральные поверхности 1 ^ .., голоношой ортого­ нально : системы перэсаххаются по повеохноотям, образующим сеть линий кривизны па калдоЕ поверхности . Проди:,<л.вре 1 щяру«л тензор : л С / 1 о + / с ( | « Ч к » f f . f i “ И ) - - # в “Е - / ¿ р й м Г т й с * + * % *С% * ь м с - ~ Я и Ч : ~Я ) » - * ) « > ' л » Л « ц Г + ^ < С ^ 4 -# г < = / > » ч к - / > « ^ + / ‘ | м , / ‘/ « о Н р / г Д “ ч - “ 0 г С + гд е 1 А% ‘ /}< &с<> [ * ) (1 а ) ТВОРША 2 . Основание соответствия у -.О . - » й голономно тог­ да и только то гд а , когда выполняются условия су-ас-О (А/З, В&, СМ) ( 14 ) ДОКАЗАТЕЛЬСТВО. Пусть основание соответствия голономно. Тог­ да из тоорокн V я- гопает, что А цс - о г А/0 , В^С, С^Д). так Как ¿А 1 и(А/0 ) , то из уравнена I ц о ) подучаем О о , а .¡А . ,А _ а , .с Ял ^ Ял ~Я/Ь с 00>