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

...сьової — Сікорського''' — в [[аксіоматика теорії множин|аксіоматиці теорії множин]] (названа в честь [[Гелена Расіова|Гелени Расьової]] та Романа Сікорського * Якщо ''D'' є [[сімейство множин|сімейством]] щільних підмножин ''P'', тоді [[фільтр (порядок)|фільтр]] ''F' ...

...ого [[закон великих чисел|закону великих чисел]]. Як правило подаються дві леми, хоча іноді лемою Бореля — Кантеллі називають лише першу з них. Справді ймовірність [[перетин множин|перетину]] тоді теж буде рівною одиниці. ...

...кщо всі формули або її заперечення є доказовими. Рекурсивні аксіоматизовні теорії першого порядку, яких досить багато, які дозволяють сформулювати загальні м ...'' відрізняється від поняття повної ''логіки'', яка означає, що для кожної теорії, яка може бути сформульована в логіці, будь-яке семантично допустиме твердж ...

...описати [[Формальна система|аксіоматику]] як самої [[Теорія множин|теорії множин]], так і альтернативних теорій та логік, наприклад, [[Інтуїціонізм|інтуїціо ...и в основу загального визначення, є ''топос множин''. У ньому експоненціал множин <math>A</math> і <math>B</math>&nbsp;— це множина <math>A^B</math> [[Функці ...

'''Лема Лебега''' у теорії [[Метричний простір|метричних просторів]] стверджує, що для будь-якого [[Ві Якщо якась із множин <math>A_i</math> є рівною <math>X</math> то будь-яке число <math> \delta > ...

...множин]]. У певному сенсі, такі функтори задають опис категорії в термінах множин і функцій. Згідно [[Лема Йонеди|леми Йонеди]], натуральні перетворення Hom(''A'', -) в ''F'' знаходяться у взаєм ...

...трія|комбінаторній геометрії]], що широко використовується в [[Теорія міри|теорії міри]]. ...означає сім'ю всіх куль ''B_j'', ''j''&nbsp;∈ ''J'' у твердженні леми про покриття. Нехай необхідна підсім'я '''G''' у '''F''' позначається також ...

...одиниці, що часто повторюються у базі, і розширює їх список до все більших множин з дотриманням правила достатньої частотності. Визначені алгоритмом множини ...ів, які є нечастими підмножинами. Відповідно до [[лема низхідного змикання|леми низхідного змикання]] ({{lang-en|downward closure lemma}}), множина кандида ...

...ційних множин — об'єктів, по суті, чисто алгебраїчних. Теорія симпліційних множин, з одного боку, має велике методологічне значення, істотно проясняючи логіч ...|передпучок]] [[симпліційна категорія|симпліційної категорії]] в категорію множин. ...

* [[Множина]] трансцендентних чисел [[Континуум (теорія множин)|континуальна]]. ...сцендентних чисел&nbsp;— майже тривіальний наслідок [[теорія множин|теорії множин]] [[Георг Кантор|Кантора]]. ...

'''Лема регулярності Семереді'''&nbsp;— лема із загальної [[Теорія графів|теорії графів]], яка стверджує, що вершини будь-якого досить великого [[Граф (мате === Формулювання леми === ...

...й топології||Geometric topology}} і [[Геометрична теорія груп|геометричній теорії груп]]. Сучасні версії пінг-понг леми можна знайти в багатьох книжках, зокрема, Ліндон & Шупп,<ref name="LS">Roge ...

...йже всієї підмножини ''E'' у <math>\R^d</math> сім'єю множин, що [[Перетин множин|взаємно не перетинаються]] і є частиною «покриття Віталі» множини ''E''. ...eam/theoryoftheinteg032192mbp#page/n117/mode/2up|page=106}}</ref>'', тобто множин, що містять ''x'' і [[діаметр]] яких прямує до 0. ...

...рі|Костянтином Каратеодорі]] у 1912 році. Теорема має багато застосувань у теорії [[Однолиста функція|однолистих функцій]]. ...'Ядром послідовності областей''' <math>U_n</math> називається [[Об'єднання множин|об'єднання]] усіх <math>V_n</math> або точка <math>\{0\},</math> якщо це об ...

...ликих [[Суми Вейля|тригонометричних сум]]'''&nbsp;— поняття [[Теорія чисел|теорії чисел]]&nbsp;— множина індексів, у яких [[Дискретне перетворення Фур'є|пере ...вній комбінаториці]], ідеєю якої і є виявлення закономірностей у структурі множин за мінімальних обмежень на них, а коефіцієнти Фур'є знаходять у ній широке ...

...math>- модулем]]. З означення ін'єктивного модуля в термінах [[Теорія груп|теорії груп]] це означає, що ''G'' є подільною тоді і тільки тоді, якщо для довіль ...о рівна [[Об'єднання множин|об'єднанню підгруп]]. Тоді згідно [[Лема Цорна|леми Цорна]] у <math>\Phi</math> існує [[Максимальні та мінімальні елементи|макс ...

...еорії [[Представлення групи|представлень груп]] та загальній [[Теорія груп|теорії груп]]. Названа на честь американського математика Натана Джекобсона. ...<math>M</math> кільце <math>D=\mathrm{End}_R(M)</math> згідно [[лема Шура|леми Шура]] є [[тіло (алгебра)|тілом]]. Для всіх <math>m\in M</math> і <math>\va ...

...икористовується в [[Гомологічна алгебра|гомологічній алгебрі]] і загалом в теорії кілець. В термінах теорії категорій можна дати визначення, що <math>Q</math> є ін'єктивним об'єктом к ...

...ї|відносну сингулярну гомологію]], що є одним із базових результатів всієї теорії гомології. Зокрема твердження є однією з [[Аксіоми Ейленберга — Стінрода|ак ...і діаметр одержаних симплексів строго зменшується, то згідно [[лема Лебега|леми Лебега]] для деякого ''r'' при застосуванні процесу барицентричного розбитт ...

...hervonenkis}}. Ця теорія є різновидом {{нп|Теорія обчислювального навчання|теорії обчислювального навчання||Computational learning theory}}, яка намагається ВЧ-теорія охоплює щонайменше чотири частини (як пояснено в «Природі теорії статистичного навчання»{{ref|nslt}}): ...