Бурбаки - Книга 1. Теория множеств (Бурбаки Н. - Начала математики), страница 106

Рез. 7 9 1П .5 7 П 3 7 Рез 2 4 П 3 7 Рез. 2 4 !Ч 1Ч Прил. 4 П 1 1 1П 1Ч 1Ч 1Ч 2 Упр. Упр. Упр 3 — более сильная (р1из !ог!е) Суперпозиция отображений Существования квантор (йцапгИ!сагецг ех!згепые!) . Существует единственное х, такое, что й" (, И ех!з!е цп х е! цп зец! ге! г!це й") .— и единственно х, такое, что й' („И ех!зге цп х е! цп зец! !е! йце й') ,— самое большее одно х, такое, что й* (.И ех1зге ац рЬм цп х ге! йце й") .— такое х, что й" (,П ех!з!е цп х !е! йце й") Схема (зсйеаа) — конструкции ступени (бе сопзггцсИоп б'есйе!оп) над и термамн (зцг и геппез) — отбора и объединения (бе з6!есИоп е! гбцп1оп) Схемы аксиом (зсйвааз б'ах!оаез) Счетное (бепоаЬгаЫе) множество (епзеаЫе) — объединение, пересечение, произведение (гвин!оп, !пгегзесИоп, ргобцц) Счислении система (зузгйае йе пцайгаИоп) Сюръективное отображение (аррйсаИоп зцг)есиче) Сюръекция (зцг)есцоп) — каноническая (сапоп!йце) (см. Каноническая сюръекция) Текст доказательный (гех!е 66аопз!тай!) — формализованный (гех!е 1огаа!!зе) Тело (согрз) Тензорное произведение (ргобцм !епзог!е!) Теорема (гйеог6ае) — Кантора (бе Сап!ог) — узаконения (Йе 1едй!ааИоп) — Цермело (бе Хегае1о) — церна (йе угогп) Теории равносильные (ейц1ча!еп!ез) — зквивалентные (6цц!ча1еп!ез) Теория (!Ьйог!е) 1 2 2 Введение Рез.

8 2 1Ч 3 3 ! 2 2 РП 3 6 1 3 3 П! 2 3 Рез. 6 5 Рез. 6 10 1 2 4 1 2 4 1 1 1 1 2 1 ! 2 2 1 3 1 1 4 3 ! 5 2 П 1 1 1 2 4 Теория кванторная (ццапИП!6) — логическая (1оя!яце) — математическая (аагйбааИйце) — многозначиая (ац1Ича!еп!е) — множеств (без епзеаЫез) — однозначная (цп!ча1еп!е) — противоречивая (соп!габ!его!ге) — рода структуры (й'цпе еврйсе йе з!гцс!иге) — сильнее (р!цз 1ог!е) — структур рода Т (без з!гис!шез б'езрбсе Т) — згалитарная (6йай!а!ге) Терм (!егае) — внутренний для 8 (!п!г!пз69це роцг Я) — данного типа для данной типизации (й'цп !уре роцг цпе гурИ!саИоп) — инвариантный (!пчаг!ап!) — относительно переносимый (ге!аИчеаеп! !гапзроггаЫе) — переносимый (!гапзроггаЫе) — представимый в виде Т (зе асман! зоцз 1а 1огае Т) — (!еппе), удовлетворяющий данному соотношению (чегИ!ап! цпе ге!ацоп) Тип порядковый (гуре б'огбге) — ступени (!уре б'6сйе!оп) знаковый (з!йп6) — — над хц ..., х„(зцг хь ..., х„) Типизация (!ур!Йсабоп) Тйповая характеристика рода структуры (сагас!ег!заИоп !ур!цце йе !'езрезе бе з!гцс!цге) Тйповый квантер (йцапцйсагецг !ур!Еце) Тождественное отображение (!ЙепИйце) — соответствие Тождество (!Иепй!6) Тоньше (р!цз Пп) [о покрытиях[ — [о предпорядках[ — [о соотношениях зквивалснтности[ — [о структурах[ Топологнческое пространство (еврасе !оро!ой19це) Топологии (!оро!ое!е) Транзитивное соотношение (ге)амон !гапзи!че) 1 1 1 1 1 Рея.

П Рез. 1 !Ч ! Рез. 1 ! РЧ 1Ч 1Ч 1 П Рез. П Рез, П !П П !Ч Рез. 1Ч П Р ез. 1 4 3 2 3 1 4 1 6 2 8 1 6 5 4 4 4 3 3 3 6 4 7 2 2 4 ! 1 2 1 1 1 2 7 1 7 2 4 4 2 1 3 6 4 УКАЗАТЕЛЪ ТЕРМИНОВ УКАЗАтЕЛь тЕРМИНОв Рез. И 6 2 Рез. 5 2 Ш Рез. П 6 7 Ш 1 Упр. П П 1П 1И 1 Упг П б 7 Рез. 5 9 5 8 5 12 !П Рез. 1И Рез. 1Ч 2 6 1П 1 10 Рез. 6 8 Ш 1 10 !П 1 10 Рез. 6 8 Ш ! Упр 3 1 3 1 13 8 Ш ! 1Ч 1Ч 1Ч Ш Рез П1 1 10 П! 1 1О !Ч 2 5 И1 6 Упр. Введение 1 1 3 1 1 4 П Рез. 1 8 7 8 11 3 !П Рез. Рез. Рез.

Рез. — отображения — — каноническая П 3 4 Транзитивность (!гапзШчце) соотношения Трансфинитиой индукции принцип (рггпс!Ре йе гесшгепсе !гапзйп1е) Трансформат (!гапз!огше) части (й'цпе рагбе) по (относительно, при) (раг) функции — злемента (й' цп е!бшеп!) по (относительно, при) (раг) функции Тройка (!г!р!е!) Тройная последовательность (зцце Шр!е) Убывающее (йесго1шап!е) отображение (аррцсаИоп) — семейство частей (1ашй!е йе рагбез) — фильтрующееся множество (епзешЫе Ийгап1 йесГо !зван!) Удовлетворять соотношению (чегйег цпе ге!абоп) Удовлетворять условию минимальности (за!ш1агге 3 !а сопйц!оп ш!п!ша!е) Узаконения теорема (йеогйше йе 1ед!Ишацоп) Универсальное (цп!четке!) множество (епзешЫе) — накрытие (гече!ешеп!) — отображение (аррйсабоп) Упорядоченная сеть (гезеац огйоппе) Упорядоченного множества структура (з!гцс!цге й'епзешЫе огйоппе) Упорядоченное множество (епзешЫе огйоппб) — фактормножество (епзешЫе огйоппе йцоцеп!) Уравнение (ециабоп) Условие минимальности (сопйШоп шгп!ша!е) Устанавливать взаимно однозначное соответствие между А и В (шецге А е! В еп соггезропйапсе Ыцп!чойце) Устойчивая часть (рагце з!аЫе) Утверждение (аззегИоп) Факториал: .и факториал" (.1ас!ог!ейе и") Факторизация (!зс!ог!забои) Рез.

Рез. П! 1Ч Рез. ' Рез. Рез. 1П 1 П! 6 8 1 1 6 б 8 1 5 б 1 2 3 4 1 4 2 Упр. 2 Упр. Фактормножество (епзешЫе цпоИеп!) множества по соотношению (й'цп епзешЫе раг цпе ге!абоп) Фанторсоотношение (ге1аИоп йцобеп!) по соотношению зквивалентности — соотношения порядка по соотношению эквивалентности (й'цпе ге!аИоп йогйге раг цпе ге1аИоп йЪйц!ча1епсе) — — Р по О. (йе Р раг О) Факторструктура (з!гцс!ще йцоцеп!) структуры по соот ношению (й'цпе з!гцс1ще раг цпе гб!абоп) Фильтрующееся (1Шгап!) влево (а йацс!ге) множество — возрастающее (его!ззап!) множество — впРаво (а йгоце) множество — о соотношению г (соответственно — ) ( ге1аИоп ~ (гезр,:>)) убывающее (йзсгогззап!) множество Финальная структура (з!гцсгше йпа1е) Финальный характер множества (сагас!еге Ппа! й'цп епзешЫе) Формализованный текст (!ех!е !огшайзе) Формативная конструкция (сопз1гцсбоп !огшабче) Формативный критерий (сгцеге !оппаИ!) Функции, совпадающие на множестве (!опсбопз со!пс1- йеп! йапз цп епзешЫе) Функциональное соотношение (ге1ацоп 1опсцоппейе) Функциональный (1опсбоппе! ) график — символ — — ординальный Функция (1опсйоп) (см.

также Отображение) — двух аргументов (йе йецх агйцшеп!з) — координатная (соогйоппве) — ие зависящая от х (пе йерепйап! Раз йе х) — несколько аргументов (йе р!цз!ецгз агйцшеп!з) — одного аргумента (й'цп агйцшеп!) (см, Отображение) — определенная иа А со значениями в В (йе!!п1е йапз А, 4 ча!ецгз йапз В) П 3 Рез.

2 уб 5 3 Рез. 2 П 3 4 5 3 П1 2 Упр, П 3 4 Рез. 2 1 П 3 9 П 3 6 П 5 3 Рез. 3 1 Рел. 4 11 П 3 9 Рез. 3 13 УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ П 3 Рез. 2 13 Рез. 3 Рез. 3 П1 5 П 3 13 6 9 Рез. 2 1Ч 3 П 3 Рез. 2 И1 5 П П! Упр. П1 4 5 Рез. 6 11 !П 4 5 Ш 1 Рез. 6 Ш 1 1 5 7 Рез. 6 Ш 1 Рез. 6 4 5 !Ч Ш !П 1 Рез. 6 П 1 7 ' 2' П! П! !И вЂ” множества Рез. 1 12 Рез. 1 Рез.

6 Рез. 6 !Ч 2 2 Упр. — ограниченная (Ьогпее) Упр. 9 3 5 7 4 10 П! Рез. 1П Рез. Ш !П Рез. — сверху (ша!огее) — снизу (ш!пог6е) 1 1О 13 13 13 И Рез. Рез. Рез. Рез. 9 Упр 4 4 1 4 3 6 Рез. П! Рез. Рез, Упр. 1 13 4 1 1П Рез. Рез. П Рез. Рез. Рез. 2 Рез. 2 Функция, определенная на Е (йбйп!е йапз (ои знг) Е) — — функциональным соотношением (йшепп!псе раг ипе ге!аг!оп 1опсгюппе1) — почти периодическая на Е (ргезйие РЬг!ой!Чне йапз Е) — принимает значения в (ргепй зез ча1епгз йапэ) . — характеристическая (сагасгег!зицие) Характер финальный множества (сагасгбге Ипа! й'ип епзешЫе) Характера конечного (йе сагас!Ьге Ип!) множество под- множеств — — свойство Характеристика тйповая рода структуры (сагасгег!заиоп !ур!Чие й'ипе езресе йе вггисгиге) Характеристическая функция (!опсйоп сагасгегНИйие) 'Целая часть частного от деления а на Ь (рагпе епиеге йи циойеп! йе а раг Ь) Пелое число (епиег) — — натуральное (пагше!) — — положительное (роз!Ш) — — строго положительное (эгг!сгешеп! Розйй) Пена (чаг!апсе) Пень (сйа!пе) элемента а для функции у (йе а роиг ппе 1опспоп у) Перь!ело (Ееппе!о) аксиома (ах!оше йе) — теорема (Шеогеше йе) Инфра (с!Рйге) 1(орка теорема (гЬЬогеше йе Еогп) Частей множество (епзешЫе йев рагиез) с!асти (рагИез) непересекающиеся (й!з!о!п!ез) — пересекающиеся (йи! зе гепсоп!геп!) Частичная функция Частично вполне упорядоченное множество (епзешЫе рагиейешеп! Ь!еп огйопп6) — упорядоченное множество 'Частичное отображение — произведение (ргойпй рагйе1) *Частичный порядок Чаетная (рагйейе) производная (йег!чбе) — функция (1опсцоп), порожденная функцией у (епйепйгее раг у) Частное от деления а на Ь (цноцеп! йе а раг Ь) — отображение (аррйсайоп рагиейе) — — задаваемое функцией у при данном значении аргумента а (ййепп!пе6 раг У, ге!аиче 6 ипе ча1епг й'ип агйишеп! а) — — порожденное функцией у и соответствующее данным значениям данных аргументов (епйепйгее раг у, е! соггезропйап! а йез ча!епгэ й'агешпепгз) Часть (рагйе) (см.

также Множество) — коинициальная (со!пша!е) — конфинальная (сойпа!е) — мажорированная (ша!ог6е) — минорированная (ш!погее) насыщенная для соотношения эквивалентности (за!и- гее рош ппе ге!апоп й'69и!ча!епсе) подсетчатая (согбйси!Ье) полная (р!е!пе) пустая (ч!йе) (рагИе) свободная (ПЬге) сводящаяся к единственному элементу (гейи1ге а пп зеи! е16шеп!) сильно связанная в Е (1оггешеп! Пее йапэ Е) симметричная (зуш6!г!Чие) совершенно упорядоченная (гога!ешеп! огйоппее) состоящая из единственного элемента (гейш!е а ип зеи! 6!Ьшеп!) устойчивая (згаЫе) относительно (раг) множества отображений — — отображения П Рез. П1 Рез. П1 Рез.

П1 Рез. П1 Рез. Рез. П! 4 6 8 7 8 7 8 7 Упр. 8 8 Упр УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ 4 1 2 Упр. 2 Упр. 4 1 4 1 6 2 7 6 6 2 П1 4 Упр. Рея. 1 2 1П 1 14 Ш Рез. 1 2 1 1Ч 3 1 1Ч 3 2 1Ч 3 1 1Ч 3 3 1Ч 2 1 Рез. П Часть целая частного от деления а на Ь (епыйге йп цпоИеп! йе а раг Ь) Часть (рагпе) Е-допустимая (Е-рета!зе) Четное целое число (епйег ра!г) Число кардинальное (саггПпа1) — конечное (Пп!) объектов некоторого типа (поаЬге йез оЫес!з й'пп сег!а!п !Уре) ординальное (огй!па1) — неразложимое (1пйесоарозаЫе) целое (епйег) — натуральное (па!пга!) — положительное (розИИ) — — строго положительное (згг!с!еаеп! РозИ!1) — злементов нонечиого множества (поаЬге йийеаеп!з й'пп епзеаЫе Пп!) Числовой символ (зуаЬо!е ппаег!йпе) Член (!егае) А-й (А-еае) последовательности — общий (йепега!) последовательности — первый (ргеа!ег) последовательности — последний (йегп1ег) конечной последовательности — с индексом л последовательности (й'!пгПсе л й'ппе вийе) Шкала множеств (есйеИе й'епзеаЫез), имеющая в ка- честве базы Е, Р, О (ауап! Ропг Ьазе Е, Р, О) Эгалитарная теория (!Ьеог!е едаИ!а!ге) Энвивзлентно: „х знвнвалентно у по модулю К' („х ез! Ьоп!ча!еп! а у аойи!о К") — „х зквивалентно у по (согласно) К" (.х ез! Вг)нча!еп! а у зшчап! К") Энвивалентности (й'ег)п!ча!енсе) классы (с!взлез й') — соотношение (ге!айоп) — — в некотором множестве (йапз ип епзеаЫе) П1 !Ч П1 1П Рея.