ВЕЕР это:

ВЕЕР

финитарный поток, - поток . такой, что для всякого узла из существует лишь конечное число натуральных k, для к-рых является узлом .

На языке формального интуиционистского математич. анализа формула , выражающая понятие "функция азадает В.", записывается в виде


где означает "функция азадает поток".

Теорема Брауэра о веере: если имеется правило, согласно к-рому каждому элементу В. сопоставлен нек-рый объект, напр, натуральное число, то найдется натуральное г такое, что для всякого элемента В. этот объект определяется уже первыми z значениями элемента. Теорема Брауэра используется в доказательстве многих специфически интуиционистских фактов, таких, как равномерная непрерывность всякой действительнозначной функции, заданной на отрезке. В формальном интуиционистском математич. анализе теорема Брауэра о В. выводится обычно с помощью бар-индукции и принципа непрерывности Брауэра (см. Интуиционизм). На языке этой формальной теории теорема о В. может быть записана следующим образом:


Лит.:[1] Kleene S. С., Vesley R. E., The foundations of intuitionistic mathematics, Amst., 1965.

А .Г. Драгалин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Синонимы:

Смотреть что такое "ВЕЕР" в других словарях:

  • Веер — (из нем. Fächer)  небольшое, как правило, складное опахало для создания потока воздуха, овевающего лицо, шею и плечи. Складные веера были завезены в Европу в начале XVII века сначала иезуитами, а затем и торговцами, которые селились на… …   Википедия

  • веер — веерок, опахало, веерочек Словарь русских синонимов. веер опахало Словарь синонимов русского языка. Практический справочник. М.: Русский язык. З. Е. Александрова. 2011 …   Словарь синонимов

  • ВЕЕР — небольшое ручное, обычно складное опахало, в развернутом виде имеющее форму полукруга, из бумаги, ткани, кости, дерева, перьев, кружева (нередко отделанное росписью, инкрустацией, сквозной резьбой). Складной веер, впервые появившийся в Японии и… …   Большой Энциклопедический словарь

  • ВЕЕР — ВЕЕР, веерный, см. веять. Толковый словарь Даля. В.И. Даль. 1863 1866 …   Толковый словарь Даля

  • веер —     ВЕЕР, высок. опахало …   Словарь-тезаурус синонимов русской речи

  • ВЕЕР — ВЕЕР, веера, мн. веера, муж. (чешск. vejir от нем. Facher). Небольшое, обыкн. складное, опахало для навевания на себя прохлады. Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 …   Толковый словарь Ушакова

  • ВЕЕР — ВЕЕР, а, мн. а, ов и (устар.) ы, ов, муж. 1. Небольшое, обычно складное опахало, раскрывающееся полукругом. В. из страусовых перьев. 2. перен. То, что имеет форму полукруга, усечённого с боков и книзу. В. искр. | прил. веерный, ая, ое. Толковый… …   Толковый словарь Ожегова

  • Веер —         И взял ученик из рук Будды горсть листьев и прижал их к своей груди и никогда с ними не расставался. После смерти Учителя он разложил эти листья веером их было восемь и попытался, вспоминая проповеди Будды, закрепить за каждым из них одну …   Энциклопедия мифологии

  • Веер —         (от нем. Facher), опахало, известен с древности в странах с жарким климатом (Египет, Индия, Китай). Первоначально веерами служили листья (пальм, лотосов). Форму листьев в дальнейшем приняли плетёные веера (распространены в Полинезии,… …   Художественная энциклопедия

  • ВЕЕР — группа тупиковых путей небольшой длины, расходящихся в разные стороны от одного пункта и имеющих общую сортировочную вытяжку. В. предназначается для сортировки небольших количеств вагонов, но с разбивкой на большое число назначений, или для… …   Технический железнодорожный словарь

  • веер — веера, мн. веера, м. [чешск. vejir от нем. Facher]. Небольшое, обыкн. складное, опахало для навевания на себя прохлады. Большой словарь иностранных слов. Издательство «ИДДК», 2007 …   Словарь иностранных слов русского языка

Книги

  • Веер, Лукьяненко С.В.. Состав тома: «Черновик». «Чистовик». Еще вчера у него была своя квартира, работа, друзья, собака, налаженный быт… а сегодня мир словно перевернулся – никто не узнаетпарня, даже самые близкие… Подробнее  Купить за 379 руб
  • Веер, Лукьяненко С.В.. Еще вчера у него была своя квартира, работа, друзья, собака, налаженный быт… а сегодня мир словно перевернулся – никто не узнает парня, даже самые близкие люди, а документы, подтверждающие… Подробнее  Купить за 319 руб
  • Веер, Сергей Лукьяненко. Еще вчера у него была своя квартира, работа, друзья, собака, налаженный быт… а сегодня мир словно перевернулся - никто не узнает парня, даже самые близкие люди, а документы, подтверждающие… Подробнее  Купить за 298 руб
Другие книги по запросу «ВЕЕР» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»