Инфинитезимальная Связность

- логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. И. В. Была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. Исчисления высказываний состоит в замене исключенного третьего закона (или эквивалентного ему закона снятия двойного отрицания) более слабым принципом противоречия. Один из распространенных вариантов И. И. В. Формулируется следующим образом. Пусть А, В, С- произв..

- см. Интуиционистская логика.. ..

- структура на и-мерном дифференцируемом многообразии М п, к-рая определяется приведением структурной дифференциальной группы Drn главного расслоения реперов r-го порядка на М п, т. Е. Обратимых г-струй из Rn в М п с началом к нек-рой своей подгруппе Ли G. Другими словами, на М п задана И. С. R-го порядка, если в факторрасслоении главного расслоения реперов r-го порядка на М п по подгруппе Ли выделено век-рое сечение. При r=1 И. С. Наз. Также G-структурой на М п, а при r>1 на..

- наименование линейных операторов, являющихся дифференциалами отображений нек-рых классов. Так, на дифференцируемом многообразии И. О., или инфинитезимальное преобразование,- то же, что и векторное поле, в теории полугрупп (операторов, преобразований) - то же, что и (инфинитезимальный) ПРОИЗВОДЯЩИЙ оператор. М. Я. Войцеховский.. ..