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

Ш Рек П! П1 Ш 1П !П Ш П1 1Ч П! П1 П Рез. !П Рез. 1П Рез. Ш Рез. Ш Рек Ш Рез. 1 6 1 6 2 4 4 2 4 4 2 1 1 6 5 1 6 1 6 1 6 1 6 1 6 11 13 11 13 2 3 3 2 3 3 3 4 1 4. 6 5 4 1 15 4 15 4 15 4 15. УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ 412 $5 4 !5 4 4 7 8 7 8 П! Рез. Ш Рез. П П Рез. П Рез. 5 11 7 П 5 Рез. 4 П 5 13 Рез. 4 Инъекция ($п1есПоп) Рез. 4 15 П П 3 1 2 1 Прил.

1 1а/ Прил. 1 Ш Рез. 2 П вЂ” — части в множество 1 Рез. П П Рез. Рез. П П П 2 2 4 !2 2 2 2 1$$ Прил. 1П 1 4 11 П П Рез. 6 Ш 1 Рез. 6 П 6 Рез. 5 13 12 14 5 3 — — ВМЕ,вЕ, П П П 3 9 17 2 Упр 1$/ 1 Рез. Интервал с концом 5 (д'ел!!ею!!4 5) — — началом а (б'от!8!не а) Интранзитивное (!пыапз!нте) соотношение Иньективное отображение (аррйса$$оп $п)есНте) — каноническая (сапопгг(ие) части множества Е в В (б'ипе рагне бе Е дапз Е) . — ($п)есцоп) множества для данного соотношения зквнвалентности (б'ип епвешЫе роиг ипе ге!аИоп д'ецигча!енсе) Иссечение (вес!гоп), ассоциированное с данной сюръекцией (авзос!бе а ипе зиг!есноп) Истинное соотношение (ге(аноп чга1е) Истинный (ргорге) сегмент Исходные ($пн$аик) буквы и термы Итерация и-а отображения (п-Вше Пегое д'нпе аррйсаИоп) Каково бы ни было л, й" (,роиг гои! л, й*) Каноническая биекция (ЬЦесноп сапоп$9пе) АВ х с из (АВ) Ав и с иа (Ас) — — ЕХР на РХŠ— — Е )г', Р Х О на (Е;ас', Р) и' Π— — Р на У (Е, Р) — — Ф (В га, С, А) иа ,7 (В,,T (С, А) ) — — .г (В а4 С, А) на,T (С,,у (В, А)) — 1 — — 0 на О [Π— график] — — И Х,наХ„ 'Е (а) — — И Х, на Х„МХВ 4(,з) — — Ц Х, на Х.ХХЗХХт Е(а,в,т) — — ЦХ, на П (ПХ,~ Каноническая биекция Д Х, на / Д Х,) )4 / П Х,) [(З„ЯЗ) — разбиение множества 1[ -Пх.

-(Пх,)' — /П Х,~' на П Хе 1~4! г Е! — Рлна ПР ' 'е! =о: 'е! — А/й, на У(А) — — (Е(Б)/(й/5) на Е/й — — (Е/й)/5 на Е(Т вЂ” — (Е/й)/(Т/й) на Е/Т вЂ” — (Е У,' Е')/(й )( й') на (Е/й) )((Е'/й') — — (Е/й) )4(Е'/й') на (Е К Е')/(й )4 й') — инъекция (!щесноп сапоп$9не) — симметрия (зушйггге сапоп$9ие) — сюръекция (зицесноп сапопгцие) Е на Е/й — факторизация (1асгог$ваггоп сапоп$$$ие) Каноническое отображение (аррцсаноп сапов!йие) (см. также Каноническая биекция, Каноническая инъекция) — — для родовой структуры (роиг ипе зггпсгиге Кепеггг$ие) Еа в 1ип Еа -э — разложение (бесошроангоп салоп!Кие) функции распространение (ехгепзгоп сапопгйпе) двух функций на произведения множеств (бе йеих 1опснопв аих епзешЫез ргоди$!) — знаковое (а!Клее, — отображений по схеме 5 (бе зсйеша Б, без аррПсаггопа) П 6 Рез.

5 П 6 Рез. 5 Роз 5 П 6 Рез. 5 П 3 Рез. 2 П 3 Рез. 2 Рез. 3 П 6 Рез. 5 Рез. 5 6 5 7 9 9 8 1О 7 3 7 3 4 2 2 3 414 УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ 415 [Ч !Ч П 15 Рез. Рез. 5 Рез. 5 Рез. 5 [Ч Прил. Ш П1 П! !П Рез. Ш П! Ш Ш 3 3 3 3 7 6 4 6 6 П! 6 6 3 7 4 4 4 4 П< Ш Ш Рез. 1 1 1 1 Упр. Упр. 1 2 1 1 4 2 1 3 1 Прил. 3 Упр [Ч ! Ш Ш Ш [Ч Ш Рез. 1 3 4 4 4 Упр 7 5 1 1 6 6 6 2 1 6 2 2 Упр. Упр.

7 5 П Рез. <Ч Ш П! Рез. П Рез. Ш 4 2 11 1 Прил. 1 3 Каноническое отображение семейства функций на произведения (б'ипе [ашШе де 1опсбопз аих епзегпЫез ргоби!<З) — — соответствия на множества частей (6'ипе соггезропбапсе аих епзепгЫеэ де рагнез) — соответствие (соггездпопбапсе сапов!цие) между Р" и П Р ' 'б! А =Ц Ай А ПА„= О при ~ ~ х~ е! — — — У(А) и А/Пх — — — (Е/<[)ГЯ и Е/Т вЂ” — — (Е[П)[(Т[<[) и ЕГТ вЂ” — (для родовой структуры) Кантора теорема (гййогеше бе Сап!ог) Кардинальная сумма (зошше сагд!па<е) Кардинальное произведение (ргоди!!) — число (сагб!па<) — — доминантное (дою[пап!) ! — — конечное (Пп<) — — недостижимое (!пассезз!Ые) — — регулярное (гйеи<<ег) — — сильно недостижимое (1ог<ешеп! !пассеэ!Ые) — — сингулярное (з!пеиПег) — — множества Квантор (циап[П<сагеиг) общности (ип!тегае1) — существования (ех!жение!) — тйповый (!ур!цие) Кванториая теория ([Ьйог!е йиапгй!йе) Класс объектов, эквивалентных х (согласно соотношению <[) (!а с<вазе Й'оь е!з еци!та<ел!э з х (роиг !а ге!аг!оп Й)) — эквивалентности по соотношению (с!аззе 6'еци!та!енсе зи!тап! ипе ге!а!Еоп) Ковариантный (сотаг!ап!) знаковый тип ступени Когерентиое (соййгепге) семейство Коинициальная часть (рагбе со!пШа[е) Коллективизирующее соотношение (ге<а<!оп сойес11- и!Зап!е) Кольцо (аппеаи) Коммутативная (солили<а[К) диаграмма 5 9 9 4 6 3 3 1 2 Упр.

1 Упр. У яр. Компактное расширение Стоуна — Чеха (сошрас<![!й де Я!опе — Сесй) Компактная группа, ассоциированная с Е (егоире сошрасг аэзос!йе й Е) Композиции внутренний закон (1о1 де сошрозшоп 1пгегпе) Композиция графиков 0' и 0 (сошрозй бе 0' е! Ее О) — множеств В и А (сошрозе бе В е! А) — — С, В, А (сошрозй бе С, В, А) — отображений (сошрозее без арр!!саИопз) — — е и у (сошрозее де Е е! у) — — Д, е, У (сошрозйе бе Я, и, У) — прямая (согярозее 6<тес!) Конец (ех<гйшйй) интервала Конечная последовательность (зиме Пп!е) й — — элементов некоторого множества (б'б<йшептз б'ип епзешЫе) Конечного характера множество (епзешЫе йе сагас!еге Пш) — — свойство (ргорг!4<4 бе сагас!еге Пп1) Конечное (11п!) кардинальное число — множество — объединение — семейство — пересечение — произведение Константа теории (сопзгап<е д'ипе гййог!е) Константы вспомогательной метод (шй!Ьобе бе !а сонэ!ап!е аих!Па1ге) Конструкция (сопз!гисцоп) логическая (<ое!цие) — ступени (б'йсйе<оп) над Е„..., Е„по схеме Б (бе зсЬеша Я, зиг Еи ..., Е„) — формативная (1оппацте) Континуума (дн сопипи) гипотеза — — обобщенная — мощность Контравариантиый знаковый тип ступени Конфинальная часть (рагце сойпа!) Концевой сегмент (зейшеп! Йпа!) слова Конъюнкция (соп!опсмоп) двух соотношений [Ч П Рез, Рез.

П Рез. Рез. !Ч Ш П[ Рез. Ш Рез. П! Ш Ш Рез. Ш Рез. Рез. < 1 3 3 3 3 2 2 3 1 5 7 4 6 4 4 7 4 7 7 2 4 3 10 10 7 11 11 Упр. 11 4 8 5. 11 1 1 9 1 9 1 УКАЗАТЕЛЬ ТЕРМИНОВ 416 УКАЗАТЕЛЬ ТЕРМИНОВ 417 ! !2 11 1 3 3 1! 1 1 Рез. Рез. Рез. П П П Рез. П Рез. ! Прил. У пр. 1 1 1 1 2 2 Мажоранта (ва!оган!) — пары П Рез. П Рез. П П 6 1 3 11 6 2 1П 5 [П 6 Ш 5 Введение 1 1 1 1 Ш 2 3 2 4 У ну. Введение Введение П] !П П [Ч 3 3 6 Упр П П[ Минимум (в[п!впв) Миноранта (в!поган!) Упр. 6 2 4 4 Упр.

! П! 2 П! 2 1 2 Рез. 6 Рез. 6 Прил. 1 3 1 Прил. Упр. 1 Прил. Упр, Координата (соогбоппйе) [функция] — [элемент] — вторая (см. Вторая координата) — индекса Л (й!пйсе А) — первая (см. Первая координата) Координатная функция ([опспоп соогг[оппйе) вторая — — индекса А (й1пйсе А) — — первая Кортеж (вкИ!Р[е[) Коэффициент биномиальный с индексами и и р (сое1- Ис!еп! Ыпов!а[ й!вИсез л е! р) Кратная последовательность (зпце гпи!Ир!е) Кратное (для) целого числа (виИ!Р[е йпп епИег) Критерий (сгцйге) дедуктивный (бйбпсй!) — дедукции (бе [а ббг[псИоп) — подстановки (бе эпЬЗ!Иицоп) —. формативный ([огва! И) Критическое для У(сгИЩие ропгУ) ординальное число Крупнее (во!па Пп) — [о покрытиях] — [о предпорядках] — [о соотношениях эквивалентности] — [о структурах] левая инверсия (1пчегзе й паис!ге) Лексикографический порядок (огбге [ех!со[[гарщг[пе) 7[ексикографическое произведение (ргобиИ !ех!содгарйцие) множества Е на множество 1 (йе Е раг [) — — семейства множеств Лемма ([евве) Линейно упорядоченное множество Линейный порядок Логическая конструкция (сонэ!гпсцоп [оя!г[пе) — теория (!Ьеог!е) Логически (!оп!г[иевеп!) неприводнмое (!ггйдисИЫе) соотношение — построенное (сопз!типе) соотношение Логические составляющие (согпроьапге [оп!г[ке) Логический знак (з!Епе [оп!цпе) Ложное соотношение (ге!аИоп [аиззе) — строгая (зиме!) Мажорированная часть (рагпе ва1огбе) Мажорировать часть Х (ва!огог ипе рагИе Х) „Мажорирует мощность а* (.ез! зкрйг!евге й а') „Мажорирует элемент х' („езг эпрйг!епге й х") Максимальный элемент (М6веп[ гпах[пга!) Максимум (вах!пипл) Математическая теория ([Ьйог1е ва!ЬйваИг[пе) Мельче (р!из 1!п) [о покрытиях] — [о предпорядках] — [о соотношениях эквивалентности] — [о структурах] „Мепйдге' (.ез! Р[пз регй цие") или (.ез! !п[ег!епгй ) .Меньше или равен" (.ез! ап р!из йяа! й") Метаматематика (вйагпа!Ьеваццпе) Метод (ве!Ьобе) аксиоматический — вспомогательной гипотезы — — константы — приведения к абсурду — разделения случаев Минимальности условие (сопйпоп в1п!ва!е) Минимальный элемент (Мешен! в[п!ва1) Мипорированпая часть (рагпе в!пог6е) Минорировать часть Х (в!погег ппе рагпе Х) ,Минорирует мощность Ь' (.еэ! 1пМг[епге й $*) — элемент у ',ез! [п[ег!епг а у) Многозначная теорйя (!Ь6ог[е вп!Ича!епге) Многообразие Альбаиезе (чаг[6[6 йА[Ьапезе) Множеств теория (!Ьеог!е дез еизевЫеэ) Ш Рез.