Ученые записки математических кафедр вып. 1970 г.

Если прямую ё » закрепить, то Л , = Л * = 0 . Эго означает, что сЬ,' - со1 и ш/ - - с о 1 не зависят от дифференциалов вторичных параметров. Между этими формами должна, следовательно, существовать зависимость с 0 а= aa>i + 6 to/+ C í o 1. (20^ Пусть Еэ = ЕаVt ) - некоторая линейчатая поверхность комплекса. Положим, dc;=dsj, (2i) тогда из (1 5 ) <1 э * - ( а : ) ‘ + ( й )‘ ( 22 ) d S будем называть метрической формой комплекса прямых. Из тех же формул (15) находии a i - ( d ^ E j ) . И ) Бинарную функцию можно задать в различных системах криво­ линейных координат. Любые две из этих систем мы будем предпола- ■ гать связанными в соответствующих областях изменения переменных взаимно однозначными и в обе стороны РГ раз непрерывно дифФе ренцируемыми преобразованиями и обратно, ■i u L= HL(ul' u 1'). (24) (25) р 1} Н* - бинарные функции двух бинарных переменных. Можно г о ­ ворить о бинарных тензорах, заданных в области изменения бинар­ ных переменных и ', и 1 . Например, бинарным дважды ковариапт- ным тензором мы будем называть систеиу бинарных величия \у