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

Упр. 1 Прил, Упр. 1 2 2 П П Система проективная (отображений) — счисления по основанию Ь (бе ппшегаион бе Ьазе 5) Скомпонованное (соптрозе) множество — отображевие Слабо совместимое (по х и у) с данным соотношением порядка (!а!Ыегпеп! сошраИЫе (еп х е! у) ачес ппе ге1аИоп б'огбге) соотношение След (!гасе) (от) множества (б'нп епзешЫе) — — некоторого множества частей (д'ип епзешЫе г(е рагИез) — семейства множеств (й'нпе !агп!Пе д'епзешЫез) — части (д'нпе рагбе) Следствие (согойагге) Слово (шо!) — знаменательное (з!еп!ПсаИ1) — пустое (ч!Йе) — равновесное (бйпИЬгб) Сложная функция, скомпонованная (или составленная) из (1опсИоп сошрозе бе) Совершенно равновесное знакосочетание (аззешЫаяе раПайешеп! ейнй!Ьгбе) Совершенно упорядоченная часть (рагИе гога!ешеп! огбоппее) — упорядоченное множество (епзешЫе гога1ешеп! огбоппб) Совершенный порядок (огбге !о!а1) Совместимое с соотношением эквивалентности (ачес нпе ге!аИок й'ейн!ча!енсе) отображение — (сошраИЫе) с соотношением эквивалентности (ачес нпе ге!аИоп б'бг(н!ча!енсе) соотношение (ге(аИоп) — с соотношениями эквивалентности (ачес нпе ге! аИоп б'ег!н!ча!енсе) отображение — — — — соотношение Совпадать на множестве (со!псЫег бапз нп епзешЫе) Согласоваться (о соотношениях) Содержать (сон!ел!г) 16 5 16 2 1 2 1 3 11 4 4 14 4 14 4 ! ! 'Тк ф- ,Содержится в' („еы сопгепн бапз") Сокращающий символ (зушЬо!е аЬгбч!агент) Сомножитель (!ас!еиг) или (епзешЫе 1асгенг) (см.

Множитель) — индекса ~ в произведении (!асгеиг б'!нейсе ~ д'пп ргобн!!) Соответствие (соггезропдапсе) взаимно однозначное (Ынп!чог!не), установленное между множествами — каноническое (сапов!г!пе) (см. Каноническое соответствие) — — для родовой структуры (ронг з!гнсгпге еепег!г(не) — между двумя множествами (епгге беях епзешЫез) — обратное к данному соответствию (гес!ргойне й'ппе сопезропдапсе) — .определено для предмета х" („ез! бейл!е ронг ГоЬ!е! х") — определяемое соотношением (.ез! Йбйп!е раг нпе ге!аИоп') — тождественное (соггезропдапсе нйепИйне) "оответствовать (соггезропбге) по (посредством, относительно) (раг) графику (нп егарйе) — при (согласно соответствию, по, посредством, в силу) соответствии Соотношение (ге!аыоп) — Х в У (бе Х Йапз У) выведенное из данного соотношения перелодом к фактормножеству (по х) (бейл!е б'нпе ге!а- Иоп раг раззаее ан йноИепж (раг гаррот! а х или ронг х)) истинное (чга!е) коллективизирующее (соПесИч!занге) лексикографического порядка (д'огбге !ех!соега- ршйие) логически (1од!9нешеп!) неприводимое (!ггйбн- сИЫе) — построенное (сопзггн!!е) ложное (!анззе) между элементом множества А и элементом мно- жества В (ел!ге нп б!ешеп! Йе А е! ип 4!эшен! де В) обладающее графиком (абшецап! нп егарйе) УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ И! 14 1Ч Прил.

1 2 П П Рез. 1 П Рез. Рез. 1 П 1Ч 1Ч Прил. 1 5 1 2 1 5 3 6 1 1Ч Прил. 1 2 Ш 2 Ш 1 Рез. 6 П П П П Рез. П! Рез. П! Рез. 2 1 1 П П П! П1 Ш П! Ш П! П Рез. 1 Рез. 1Ч 1П Ш Рез. — совершенного (16!а1) предпорядка (йе ргеогйге) Рез. П 1 — равенства (й'Ейа!ИЕ) 6 2 3 2 14 1 7 1Ч 1 П! !Ч Ш П Рез. П П Рез. б б 3 Соотношение однозначное по х в T (цп!чойце еп х йапз Д') — относительно переносимое (ге)айчешеп! !гапзрог!аЫе) — — х (еп х) — переноса для типизации (йе 1гапзрог! Раг цпе !урй!сацоп) — переносимое (!гапзрог!аЫе) для типизации (раг цпе !ур!Исацоп) — — относительно е (ге!аичешеп! А ь) для типизации „Тэ и Т' — по х (еп х) — полного порядна (йе Ьоп огйге) — порядна (й'огйге) — ассоциированное (взнос!Ее а) с данным соот- ношением предпорядна — в множестве (йапз цп епзешЫе) — индуцированное (!пйцйе) в (йапз или зцг) множестве — лекснкографическое (1ех!содгаршцце) — между х и у (еп!ге х е! у) — относительно х и у (раг гаррот! а х е! у) — по х и у (раг гаррот! а х е! у) — противоположное к данному соотношению порядна (оррозее а цпе ге!айоп й'огйге) — — в (йапз) некотором множестве принадлежности (й'арраг!епапсе) рефлексивное (гЕПех!че) — в данном множестве по х и у (геПех!че йапз цп епзешЫе раг гаррот! А х е! у) симметрическое или симметричное (зугпЕ!г!цце) П! Рез.

1П П! Рез. П1 Рез. П Рез. 1 Рез. Рез. 1 1 14 2 1 2. 1 1 10 1 6 1 Соотношение совершенного порядка (й'огйге !о!а!) — совместимое (сошраИЫе) с двумя соотношениями эквивалентности (ачес йецх ге!аИопз й*эцц!ча1епсе) по х и х' (раг гаррот! а х е! х') — — с соотношением эквивалентности (сошраИЫе ачес цпе ге!ацоп й'Ег!ц!ча!енсе) по х (раг гаррот! а х) — — — — — по х (еп х) — справедливое (чга!е) — транзитивное (1гапзц!че) функциональное по х (!опсцоппеПе еп х) — — — в (йапз) данной теории эквивалентности (й'Ецш1ча!епсе) — ассоциированное с функцией (аззос!ее а цпе !опсИоп) — более грубое (крупное) (шо!пз Ипе) — — мелкое (тонкое) (р1цз Ипе) — в множестве (йапз цп епзешЫе) — — индуцированное в множестве соотношением (!пйцИе раг цпе ге!ацоп йапз цп епзешЫе) — — по (относительно) х и у (раг гаррот! А х е! у) — < (соответственно )) — г: Соотношений эквивалентности произведение (ргойцй йе ге!айоп й'Ецц!ча1епсе) Соотношения (ге!аИопз) равносильные (Ейц!ча1еп!ез) — эквивалентные (ейц!ча!еп!ез) Составлять (сопз!Инег) способ вывода структуры Составное отображение, сномпонованное (или составленное) из (аррцсайоп сошрозэе йе) Состоящая из единственного элемента часть (рагце гейнце а цп зец! е!Ешеп!) Состоящее из единственного элемента х множество (епзешЫе йоп! 1е зец! Е1Ешеп! ез! х) Специальный знак (з!йпе зрбсИ!йце) Способ вывода (ргосейе йе йбйцсйоп) структуры роба 6 из структуры рода Е (й'цпе з!гцс!цге й'езрйсе 6 а рагйг й'цпе з!гцс!цге й'езресе 2) Справедливое соотношение (ге!аИоп чга!е) Спуска иидукция (гесцггепсе йезсепйап!е) Сравнимые (сошрагаЫез) структуры (з!гцсгцгез) Сравнимые элементы (Е!ешепы) Срез (соцре) графика 440 УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ Срез по х (зп1тап! х) Стр П Рез.

П Рез. 1Ч Рез. П! 1Ъ' 1Ч 1 3 5 2 13 3 3 3 3 7 5 2 Упр. 1 Упр. 7 6 3 Упр. П Рез. П! П! Рез. 1П 1П Реэ. 1Ъ' 29 Н. бурбаки — соответствия — части произведения Ставиться во взаимно однозначное соответствие отображениямк (Е!ге ш!з еп соггезропбапсе Ыип!тог)ие раг без аррИсайопз) Стационарная последовательность (зине з!аИоппа!ге) Степень разделения покрытия (бейгб де гйз!опсйоп б'ип гесоитгетеп!) Строгая мажоранта (ша!оган! з!г!с!) Строгий, строго ]о порядке, частичном порядке и т. п.] .Строго больше" (.ез! з!ггс!ешеп! Р!пз йгапб") Строго (в!с!с!е шеи!) возрастающее (сго1ззап!е) отображение — — семейство частей — грубое (шо!пз Йпе) — крупнее (шо!пз Йпе) .Строго мажорирует' (.ез! з!г!с!ешеп! зпрег!еш а") Строго мельче (р!из Йпе) .Строго меньше" (.ез! в!ггс!ешеп! Р!из реИ!") .строго минорирует' (,ев! Нг!с!ешеп! !п1бг!енг А') Строго (з!г!сгешеп!) монотонное (пюпо!опе) отображение — положительные (розй!Й) целые числа „Строго превышает' (,ев! з!г!с!ешеп! зирег!екг а") Строго (з!г!с!ешеп!) тоньше (РПз Йпе) — убывающее (ббсго!ваап!е) отображение — — семейство частей Струнтура (!аИ1се) Структура (в!гас!нге) алгебраическая (а!йеЬг!г!ие) — богаче, чем другая (р1из Йене г!н'ипе аи!ге) — более богатая (р!ш г!сне) — — грубая (шо!пв йпе) — — крупная (шогпз Йпе) — — мелкая (р1из Йпе) — — тонкая (р!из Йпе) 1П П1 Рез.

Рел. П! П! Рез. П! 1Н !Ч П Рел. Рез. 1Ч РП !Ъ' П! Рез. Рез. П! Рез. П Рез. Рез. 1Ч П1 Рез. П! Р ез. 1Н Рез. Рез. 1Ъ' 1Ч !Ч 1Ч 6 2 6 6 1 1 6 1 2 2 1 6 7 2 1 2 1 7 1 6 1 6 7 2 1 6 1 6 1 8 8 2 2 2 2 Упр. 4 1 4 3 5 12 ' 5 2 2 3 3 3 2 3 2 3 3 3 5 2 3 3 3 2 5 12 5 8 4 3 3 2 2 2 2 уктура, выведенная способом вывода структур (бедине раг ип ргосебб бе бббисИоп бе з!гис!игеь) индуцированная на части структурой (!пение раг нпе в!гис!иге дапз ппе рагИе) крупнее (шо!пз Йпе) .лежит ниже, чем з' (.ез! зоиз-1асеп!е а з') мельче (р!пз Йпе) множества (б'епзешЫе) на базисных множествах (зпг !ез епзешЫез де Ьазе) — множествах (зиг без епвешЫез) — множестве (зиг ип епзешЫе) начальная для семейства (!пй!а!е ропг ипе 1агп!Ие) нижележащая (воин-!асеп!е) общая (йбпег!г)не) подчиненная (зпЬогдоппбе) порядка (б'огбге) рода Х (б'езрйсе Е) — Т (б'езресе Т) (Т вЂ” множество) родовая (йепег!г!пе) строго (з!г!с!ешеп!) грубее (шогпз Йпе) — — крупнее (шо!пз Йпе) — мельче (р!ив Йпе) — тоньше (р1из Йпе) упорядоченного множества (д"епвешЫе огбоппе) — финальная для семейства (Йпа!е рош ипе 1аш!Ие) Структура-произведение (в!гис!пге ргобиИ) Структуры (в!гксщгев) в изоморфии (еп !зошогрЫе) — нзоморфиые (1зошогрйез) — сравнимые (сошрагаЫез) Ступень над базисными множествами, построенная по схеме Я, или ступень схемы 8 над базисными множествами (есне!оп бе зйбша 5 зиг!ез епзешЫев бе Ьазе) Субстантивный знак (з!Епе зиЬз!апИЙйие) Сужение функции на часть (гев!г!сйоп б'ппе 1опсйоп а ппе рагие) Сумма (зошше) кардинальная (сагб!па!е) — кардинальных чисел (бе саггйпаих) — мощностей — ординальная (огб!па!е) порядковых типов — — упорядоченных множеств — положительных целых чисел — прямая (сцгес!е) 1Ч !Ч 1Н !Ч 1Ч 1Ч !Ч Рез.

1Ч 1Ч !Ч РЧ Рез. 1Ч Рез. 1Ч !Ч 1Ч 1Ч 1Ч Рез. Рез. 1Ч 1Ч Рез. 1Ч Рез. !Ч 2 2 1 2 1 1 1 8 2 ! 1 1 6 1 8 1 2 2 2 2 6 8 2 2 8 1 8 2 4 2 6 2 4 4 4 2 3 6 4 6 1 4 2 4 2 2 2 2 1 2 5 4 5 5 5 2 УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ П 4 8 Рез. 4 5 Рез. 2 .11 1 4 1 Сумма семейства множеств 1 5 3 1 5 3 ! 5 3 1 4 1 Рез. 1 4 1 2 1 1Ч 1 1 П 1 6 ! 2, 1 П! 6 4 Рез. 7 7 Прил. 1Ч УЧ 0 Прил.