Результаты поиска

...ств)|теории решёток]], [[теория графов|теории графов]], [[теория автоматов|теории автоматов]]. ...и, непрерывные в топологии Скотта. Кроме того, теорема Клини, в отличие от теоремы Кнастера — Тарского, обеспечивает способ вычисления наименьшей неподвижной ...

'''Принцип двойственности''' в [[теория множеств|теории множеств]] — утверждение о свойствах операций над множествами. ...ние множеств|пересечения]] (<math> A\cap B </math>) и [[Дополнение (теория множеств)|дополнения]] (<math> \overline{A} </math>), то верна также и теорема, полу ...

...rect|теорема единственности|аналитическое продолжение|о конкретной теореме теории функций}} ...пликация, а {{math|1==}} — [[равенство (математика)|равенство]]. [[Теорема|Теоремы]], утверждающие единственность, называются '''''теоремами (о) единственност ...

'''Теорема о диагонали''' — утверждение [[Теория множеств|теории множеств]] о свойстве [[Функция (математика)|функции]], значениями которой являются ...то есть <math>F(a) \ne Z</math> для всех <math>a \in T</math>){{sfn|Теория множеств|с=185|1970}}. ...

'''Теорема Кантора''' — классическое утверждение [[Теория множеств|теории множеств]]. Доказано [[Кантор, Георг Фердинанд Людвиг Филипп|Георгом Кантором]] в 18 {{Теория множеств}} ...

...рот Б. А.'' Определение конечного множества и дедуктивная неполнота теории множеств // Изв. АН СССР, сер. мат. — 1956. — Т. 20, № 4. — С. 569—582. — URL: http: * множество конечно, если оно не является объединением двух непересекающихся множеств, каждое из которых эквивалентно данному множеству{{sfn|Френкель|с=87|1966}} ...

...ath>\mathcal{M}=\mathcal{F}</math> — топологическое пространство замкнутых множеств (некоторого топологического пространства <math>S</math>, называемого базовы * <math>\mathcal{M}=\mathcal{O}</math> — топологическое пространство открытых множеств, тогда С.м. есть случайное открытое множество; ...

...вроде вычисления интеграла или интегрирования дифференциального уравнения. Теоремы существования позволяют определить, существует ли вычисляемый интеграл и ск * Теоремы о диофантовых приближениях иррациональных чисел (например, [[Теорема Дирихл ...

...й объёмности''' называется следующее высказывание [[теория множеств|теории множеств]]: ...достаточное условие равенства двух множеств. Необходимое условие равенства множеств выводится из аксиом предиката <math>=</math>, а именно: ...

...лева алгебра]] [[Изоморфизм|изоморфна]] некоторому [[Алгебра множеств|полю множеств]]. ...а послужила отправной точкой в изучении [[Спектральная теория|спектральной теории]] [[Линейное отображение|операторов]] на [[Гильбертово пространство|гильбер ...

'''Теоремы Шеннона для источника без памяти''' связывают [[информационная энтропия|энт .../math> и любого <math>\varepsilon > 0</math> существует последовательность множеств однозначного декодирования <math>M_L</math> [[Мощность множества|мощности]] ...

<math>h:A\to B</math>. Другими словами, что [[Мощность множества|мощности]] множеств <math>A</math> и <math>B</math> совпадают: ...сиому выбора]], однако эта аксиома необязательна для доказательства данной теоремы. ...

...е упорядочивания)''' — теорема [[Теория множеств Цермело — Френкеля|теории множеств Цермело — Френкеля]] с [[Аксиома выбора|аксиомой выбора]], утверждающая, чт Одна из важнейших теорем в теории множеств. Названа в честь немецкого математика [[Цермело, Эрнст|Эрнста Цермело]]. Те ...

...еоремы Лёвенгейма — Скулема]] для аксиоматической [[теория множеств|теории множеств]]. ...нии их [[Непротиворечивость|непротиворечивости]], см. [[Аксиоматика теории множеств]]). В такой ситуации для каждого объекта модели <math>y</math> лишь конечно ...

...] и [[интеграл Лебега|интегралов Лебега]], а также в [[теория вероятностей|теории вероятностей]]. ...в Ю. В.]], Розанов Ю. А. Теория вероятностей (Основные понятия. Предельные теоремы. Случайные процессы) — М.: Главная редакция физико-математической литератур ...

'''Теорема Пуанкаре — Бендиксона''' — теорема в теории [[динамические системы|динамических систем]], описывающая возможные типы пр == Формулировка теоремы == ...

...ых теорем арифметики прямо вытекает из [[Теорема Гёделя о неполноте|первой теоремы Гёделя о неполноте]] (1930 год). Кроме того, [[вторая теорема Гёделя]], (оп ...[[Теорема Рамсея|конечной теоремы Рамсея]]. Отметим, что усиленный вариант теоремы Рамсея может быть записан на языке [[Логика первого порядка|логики первого ...

...её идеях [[парадокс удвоения шара]]) демонстрирует несоответствие [[Теория множеств|теоретико-множественных]] представлений обычной геометрической практике (ут ...амена этой аксиомы некоторыми альтернативными позволяет доказать отрицание теоремы Хаусдорфа (то есть невозможность соответствующего разбиения сферы). ...

...дположение в [[Арифметическая_комбинаторика|комбинаторной]] [[теория чисел|теории чисел]] относительно проблемы [[Разбиение множества|разбиения]] множества [ ...ествовать одноцветное подмножество <math>C</math>, удовлетворяющее условию теоремы Крута. ...

...ножество|конечных]] или [[Бесконечное множество|бесконечных]]) [[Множество|множеств]], означающее, нестрого говоря, что одно множество содержит столько же элем ...тва, на него опирается определение центрального в [[Теория множеств|теории множеств]] понятия [[Мощность множества|мощности множества]]. Кантор также определил ...