Жане Теорема

- частично упорядоченный группоид Н, в к-ром все элементы положительны (т. Е. и для любых а,и больший из двух элементов всегда делится (и справа и слева) на меньший, т. Е. Из а<b следует ах=уа=b для некоторых х,Положительный конус любой частично упорядоченной группы является естественно упорядоченной полугруппой.. ..

-формальный вывод, по возмвжности приближенный к содержательному рассуждению, привычному для математика и логика. Критерии естественности и качества вывода не уточняются полностью, но обычно имеются в виду выводы, осуществляемые по общеупотребительным правилам логических переходов, компактные (в частности, не содержащие излишних применений правил вывода), "склеенные" (повторяющиеся участки выводов должны устраняться, напр., при помощи вычленения вспомогательных лемм) и др. Первоначально формал..

- специальная алгебра где х-у- операция умножения. Интерес представляет клон F действия W на Л. Каждая операция из Fпредставляется в виде полинома по mod 2, к-рый наз. Полиномом Жегалкина по имени И. И. Жегалкина, начавшего изучение этого клона [1]. Им было показано, что всякая конечноместная операция на Асодержится в F. Таким образом, изучение свойств клона Fвключает в себя, в частности, изучение всех алгебр А=( А,W') при произвольном W'. Лит.:[1] Жегалкин И. И., "Матем. Сб.", 1927, т. 34..

- плоская трансцендентная кривая, уравнение к-рой в полярных координатах имеет вид. Каждому значению j соответствуют два значения р - положительное и отрицательное. Кривая состоит из двух ветвей, каждая из к-рых асимптотически приближается к полюсу (см. Рис.). Прямая j=О, j=p при r=является асимптотой, и (- - точки перегиба. Ж. Относится к так наз. Алгебраич. спиралям. Лит.:[1] Савелов А. А., Плоские кривые, М., 1960. Д. Д. Соколов.. ..