Овал

- одна из аксиом теории множеств, утверждающая равенство двух множеств, если они содержат одни и те же элементы. В языке, не содержащем символа равенства и имеющем только один предикатный символ , О. А. Имеет вид . Для формализации математики в системе Цермело - Френкеля ZF О. А. Не имеет существенного значения. Все, что может быть построено в рамках системы ZF, может быть формализовано в системе без О. А. Пусть ZF-- система ZF, получающаяся из ZF удалением О. А. И заменой в остальных аксиом..

- выражение вида где D- конечная область евклидова пространства ограниченная замкнутой поверхностью (при N - 2- кривой) Ляпунова - фундаментальное решение оператора Лапласа, - площадь единичной сферы в - расстояние между точками хи у, - элемент объема D. Если то О. П. Определен для всех . При этом в дополнительной области CD функция и(х)имеет производные всех порядков и удовлетворяет Лапласа уравнению т. Е. Является гармонической функцией;при . Эта функция регулярна на бесконечности..

овалоид,- множество Оточек нек-рого пространства, к-рое произвольная прямая пересекает не более чем в двух точках, а прямые, касательные к О в каждой его точке, лежат в гиперплоскости. В проективном пространстве нелинейчатая квадрика является О. Этот термин используется в основном для конечных геометрий. В конечных проективных пространствах размерности большей трех О. Не существует. В трехмерных пространствах порядка g >2 О. Является максимальной k-шапкой и состоит из g2+l точек, для нечетн..

..