все теоремы

  • 1Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… …

    Википедия

  • 2Теоремы Силова — В теории групп теоремы Силова представляют собой неполный вариант обратной теоремы к теореме Лагранжа и для некоторых делителей порядка группы G гарантируют существование подгрупп такого порядка. Теоремы доказаны норвежским математиком Силовом в… …

    Википедия

  • 3ВЛОЖЕНИЯ ТЕОРЕМЫ — теоремы, относящиеся к циклу вопросов, посвященных изучению неравенств между нормами одной и той же функции, принадлежащей к разным классам (нормированным пространствам). Обычно речь идет о двух классах и , где есть часть и при этом выполняется… …

    Математическая энциклопедия

  • 4ПРОДОЛЖЕНИЯ ТЕОРЕМЫ — теоремы о продолжении функции с нек рого множества на более широкое таким образом, что продолженная функция обладает определенными свойствами. К П. т. относятся прежде всего задачи об аналитическом продолжении функций. Примером теоремы… …

    Математическая энциклопедия

  • 5ОКА ТЕОРЕМЫ — теоремы о классич. проблемах теории функций многих комплексных переменных, впервые доказанные К. Ока в 1930 50 (см. [1]). 1) О. т. о Кузена проблемах:первая проблема Кузена разрешима в любой области голоморфности в ; вторая проблема Кузена… …

    Математическая энциклопедия

  • 6СИЛОВА ТЕОРЕМЫ — три теоремы о максимальных р подгруппах конечной группы, доказанные Л. Силовым [1] и играющие большую роль в теории конечных групп. Иногда объединение всех трех теорем наз. т е о р е м о й С и л о в а. Пусть G конечная группа порядка pms, где р… …

    Математическая энциклопедия

  • 7БЕРТИНИ ТЕОРЕМЫ — две теоремы о свойствах линейных систем на алгебраических многообразиях, тгржаадлежащие Э. Бертини (см. [1]). Пусть алгебраич. многообразие над алгебраически замкнутым полем kхарактеристики линейная система без неподвижных компонент на образ… …

    Математическая энциклопедия

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

    Математическая энциклопедия

  • 9НЕВАНЛИННЫ ТЕОРЕМЫ — две основные теоремы, доказанные Р. Неванлинной (см. [1], [2]) и лежащие в основе теории распределения значений мероморфных функций (см. Распределения значений теория). Пусть мероморфная функция в круге при этом случай означает, что функция f(z)… …

    Математическая энциклопедия

  • 10ПРОДОЛЖЕНИЯ ТЕОРЕМЫ — в аналитической геометрии утверждения о продолжении функций, сечений аналитич. чков, аналитич. чков, аналитич. одмножеств, голоморфных и мероморфных отображений с дополнения ХA в аналитич. ространстве Xк подмножеству А(как правило, тоже… …

    Математическая энциклопедия