Веер

179

финитарный поток, - поток . Такой, что для всякого узла из существует лишь конечное число натуральных k, для к-рых является узлом . На языке формального интуиционистского математич. Анализа формула , выражающая понятие "функция азадает В.", записывается в виде где означает "функция азадает поток". Теорема Брауэра о веере. Если имеется правило, согласно к-рому каждому элементу В. Сопоставлен нек-рый объект, напр, натуральное число, то найдется натуральное г такое, что для всякого элемента В. Этот объект определяется уже первыми z значениями элемента. Теорема Брауэра используется в доказательстве многих специфически интуиционистских фактов, таких, как равномерная непрерывность всякой действительнозначной функции, заданной на отрезке.

В формальном интуиционистском математич. Анализе теорема Брауэра о В. Выводится обычно с помощью бар-индукции и принципа непрерывности Брауэра (см. Интуиционизм). На языке этой формальной теории теорема о В. Может быть записана следующим образом. Лит.:[1] Kleene S. С., Vesley R. E., The foundations of intuitionistic mathematics, Amst., 1965. А .Г. Драгалин.

Значения в других словарях
Веддерберна - Артина Теорема

теорема, полностью описывающая строение ассоциативных артиновых колец без нильпотентных идеалов. Ассоциативное кольцо Rудовлетворяет условию минимальности для правых идеалов и не имеет нильпотентных идеалов в том и только том случае, если Rесть прямая сумма конечного числа идеалов, каждый из к-рых изоморфен полному кольцу матриц конечного порядка над подходящим телом, причем это разложение в прямую сумму единственно с точностью до порядка следования слагаемых. Эта теорема получена первоначальн..

Веддерберна - Мальцева Теорема

пусть А - конечномерная ассоциативная алгебра над полем Fс радикалом N и пусть факторалгебра A/N - сепарабельная алгебра (для алгебр над полем характеристики 0 это всегда выполнено). Тогда алгебра Аразлагается (как линейное пространство) в прямую сумму радикала N и нек-рой полупростой подалгебры S причем, если имеется другое разложение , где - полупростая подалгебра, то существует автоморфизм алгебры , отображающий на (автоморфизм является внутренним, т. Е. Существуют элементы таки..

Веерное Произведение

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

Веиерштрасса

-ФУНКЦИЯ - см. Вейерштрасса эллиптические функции. ..

Дополнительный поиск Веер Веер

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Веер" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Веер, различные варианты толкований, скрытый смысл.

Первая буква "В". Общая длина 4 символа