Вурф

- одна из краевых задач для дифференциальных уравнений с частными производными. Пусть, напр., в ограниченной области , в каждой точке границы Г к-рой существует нормаль, задано эллиптич. Уравнение 2-го порядка где В. К. З. Для уравнения (*) в области наз. Следующая задача. Из множества всех решений уравнения (*) требуется выделить те, к-рые в каждой граничной точке имеют производные по внутренней конормали N и удовлетворяют условию где j(x) - заданная функция. В. К. З. Наз. Такж..

-пространство X", сопряженное к пространству X', сопряженному к отделимому локально выпуклому пространству X, наделенному сильной топологией. Каждый элемент порождает элемент по формуле . Если , то пространство Xназ. Рефлексивным. Если X - бочечное пространство, то линейное отображение является изоморфным вложением пространства Xв пространство , наделенное сильной топологией. Вложение pназ. Каноническим. Для нормированных пространств я есть изометрическое вложение. М. ..

- слово специального вида, несущее в себе полную информацию о расположении одного слова внутри другого. Точнее, В. В алфавите А наз. Слово вида , где Р, Q, R - слова в нек-ром алфавите А, а * не является буквой этого алфавита. В. наз. В. Слова Qв слово PQR. Слово Qназ. Основой этого В., слова Ри Rназ. Его левым и правым крылом, соответственно. Понятие В. Может быть положено в основу системы понятий, удобной для изучения синтаксической структуры слов того пли иного типа. Лит.:[1] Марков..

- одна из аксиом теории множеств, гласящая. Для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. Функцией выбора на F). Для конечных семейств FВ. А. Выводима из остальных аксиом теории множеств (напр., в системе ZF). В. А. Была явно сформулирована Э. Цермело (Е. Zermelo, 1904) и встретила отрицательное отношение со стороны многих математиков. Это объяснялось, во-первых, ее чисто экзистенциальным характером, отличающи..