Бурбаки - Книга 1. Теория множеств (947355), страница 100
Текст из файла (страница 100)
Абсурд: приведение к абсурду (гййисИоп й 1'аЬэигйе) Автоморфизм (аи!ошогрЫэше) Аксиома (ах!огне) бесконечности (бе Г1п1!п!) — выбора (йе сЬо!х) — двухэлементного множества (бе ГепаешЫе а беях ййшеп!а) — множества частей (бе 1'епаешЫе деэ рагИеа) — независимая от других (!пбйрепбап! Иеа аи!геа) — неявная (!шрИсне) — пары (би соир1е) — рода структуры (грине еарйсе бе а!гис!пге) ') Как и во французском оригинале, указатель ие охватывает исторических очерков, Аксиома Цермело (бе Легше!О) — экстенсиональности (грех!епэ!опа!Иеу — явная (ехрИсце) Аксиоматический метод (шй!Ьойе ах!Ошацпие) Аксиомы противоречивые (ах!ошев соп!га61с!Огея) — рода структуры (ах!ошеэ грине езресе ое шгис!пге) — структур одного и того же рода (беа а!гис!ше йе шйше еэрйсе) — эквивалентные (ййирча!еп!э) Алгебраическая структура (э!гис!иге а!КеЬг!Оие) Алеф индекса к (а!ерЬ гр!пгПсе «) Антецедентные знакосочетания (ааэешЫаяеэ ап!йсйбеп!а) Антирефлексивное соотношение Аргумент (агйишеп!) Ассоциативность (аээос1ацчцй) объединения и пересечения двух множеств — объединения семейства множеств — пересечения семейства множеств — произведения семейства множеств Ассоциированная ретракция с некоторой инъекцией (ге!гасИоп аээос1ей й ипе !щесйоп) Ассоциированное иссечение с некоторой сюръекцией (аесИоп аээос!йе й ппе апг есноп) — соотношение порядка с некоторым соотношением предпорядка (ге!аИоп б'огбге аааос1ее а ипе ге(аИоп де ргйогбге) — соотношение эквивалентности с некоторой функцией (ге!апоп грейи1ча!енсе аэаосрйе й ипе 1опсИоп) База шкалы множеств (Ьаэе б'ипе есйеПе грепэешЫез) Базисные множества (епэешЫеэ бе Ьаэе) Беднее (шо!пэ г!сйе) [о роде структуры) Безграничный в обоих направлениях (илп с обеих сторон) интервал (1п!егчаПе !П!шйе бана 1еэ йеих зепз) — слева замкнутый (соответственно открытый) интервал (1п!егчаие 1егшй (геар.
оичеа) й яаисье) УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ П 3 Рез.' 2 Рез. 2 1 1о 6 4 7 8 6 1 3 7 2 9 3 7 $И Рез. Реэ. !П П Рез. П вЂ” — соответствие оиическая и и (сое1- — семейство частей — — (элемент) 1 2 Ш 1 Реэ. 6 1П 1 Рез. 6 Ш 2 1 1 1 Прил. — — графика 8 7 9' 7 1 3 1 — — пары П Рез. 2 10 Безграничный справа замкнутый (соответственно открытый) интервал Бесконечная последовательность (вийе $п1$пге) Бесконечное множество (епзеаЫе $пйп$) Биективное отображение (аррйсайоп ЬЦесйте) Биекция (ЬЦесггоп) — каноническая (санов!дне) (см.
также Каи биекция) Биномиальный коэффициент с индексами и йсгепт Ыпоа1а! бйпб!сез и ег р) Богаче (р!из ггсйе) [о роде структуры] — [о структуре! Более бедный (аогпз ггсйе) род структуры — богатый (р1из ггсйе) род структуры — грубая (аогпз Ппе) структура — грубое (аогпз йп) покрытие — — соотношение зквивалентности — грубый (аогпз йп) предпорядок — крупная (ао$пэ йпе) структура — крупное (аогпз !$п) покрытие — — соотношение эквивалентности — крупный (аошз йп) предпорядок — мелкая (р$из !$пе) структура — мелкий (р1пз йп) предпорядок — мелкое (р!из йп) покрытие — — соотношение эквивалентности — сильная (р!и$$1огге) теория — тонкая (р!пз йпе) структура — тонкий (р!ив йп) предпорядок — тонкое (р]из йп) покрытие — — соотношение эквивалентности ,Больше (.езг р]пз игапд цие') „— илн равно' (.ез$ аи гпо$пз еиа1 а*) Буква (1етгге) Верное соотношение (ге]аноп чга1е) Верхний ограничитель (аа оган!) Верхняя грань (Ьогпе зирег$еиге) — — семейства кардинальных чисел Вес знака (рогдэ бе згппе) !П 1Ч Рез.
1Ч !Ч !Ч П П П1 1Ч П П Ш !Ч П П П 1 [Ч Ш П П Ш й 1 5 1 8 1 1 2 4 6 1 2 4 6 1 2 1 4 6 2 2 1 4 6 1 1 1 8 6 3 6 6 2 6 7 4 2 6 7 4 2 4 6 7 4 2 4 6 7 3 3 1 Взаимно однозначное (Ыипгтоцие) отображение Вид (1оггпе) Включения соотношение (ге!айоп 6'$пс!изгои) Влечь (епгга1пег) Внутренний терм (тегае !пгйпэййие) Возведение в степень (ехропепИзИоп) Возрастающее (сгогззапге) отображение — фильтрующееся множество Вполне упорядоченное множество (епзеаЫе Ыеп огбоппб) Вспомогательная (аихШагге) гипотеза — константа Вспомогательные базисные множества (см. Базисные множества вспомогательные) Вторая (весопбе) координата (элемент) — — (функция) — координатная функция (1опсггоп соогдоппее) — проекция (рго$есноп) (множество) — — (функция) Второй множитель (сомножитель) произведения множеств (весопб епзеаЫе 1асгеиг й'ип ргоди$$) Выбора аксиома (ахгоае де сйо$х) П Реэ. П Рез.
П 1П Рез. 1 Реэ. !Ч [Ч Реэ. П! Рез. П! Рез. П1 Ш Рез. 1 1 П Рез. Рез. Рез. Ш Реэ. П Рез. Рез. П Рез. Рез. П Рез. П Рез. 3 2 1 2 1 1 1 1 1 1 П 4 1 6 1 6 1 2 6 3 3 2 3 3 3 3 3 3 3 3 2 3 3 3 3 2 3 7 6 4 2 1 12 3 3 6 4 9 5 12 5 12 1 1 5 3 3 1 1 1 12 6 1 1 1 12 1 1 12 1 1 1 1 УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ И Рез. Рез. Рез. Рез. 4 15 7 15. 1Ч И 6 Рез.
5 И 1 Введенне И !Ч Ш Ш вЂ” — отображения — — ЕвЕ Диаграмма (сйадгапипе) — — отображения Рез. 1 Рез. 4 Рез. 4 1И 5 Прил. 14 3 8 4 1 1 4 2 2 Упр 1 Рез. 1 1 Ш [о покрытиях) [о предпорядках) эквивалентности) [о структурах) [о соотношениях И Рез, 1И 7 7 Упр. Группа (йгоире) — компактная (сопрас!) — свободная топологнческая (горо!ой$йие ИЬге) 1Ч !И Ш Рез.
[Ч 1И Рез. 4 15 4 Выведенная из структуры некоторым способом вывода структур (йейине й'ипе зггисгиге раг ип ргосейй йе йййисйоп йе аггисгигез) [о структуре) Выведенное (йейпйе) из некоторого соотношения переходом к фактормножеству (по х) (й'ипе ге)амон раг раззайе аи йиобеп1 (раг гаррот! а х; роиг х)) [о соотношении) — нз отображения переходом к фактормножеству по й (йййыйе й'ипе арр1$сапоп раг раззаее аи йиоыепг ли!чан! Е) [об отображении) Вывода структур способ (ргосейе йе йййисИоп йе зггисгигез) Гипотеза континуума (Ьурогййзе йи сопмпи) — — обобщенная (депагайайе) Гипотезы вспомогательной метод (пегйойе йе 1йурогйезе аих!йа!ге) Гомоморфнзм (ЬопопогрЫзпе) Грань (Ьогпе) верхняя (аирбггеиге) множества — — семейства кардинальных чисел — нижняя (!пгйггеиге) множества График Ге!арве) — обратный к данному графику (гесгргойие й'ип йтарйе) — отображения — симметричный (зупегг$$$ие) — соответствия — соотношения — функции — функциональный (1опсноппе!) Грубое (по!па Ип) Двоичная система (зузгепе йуайгг(ие) Двойная последовательность (зине йоиЫе) 1 1Ч Ш Рез.
Ш Рез. Ш Ш Рез. Ш Рез. И И Рез. И И И Рез. Рез. И И !И И 1Ч Рез. 1Ч 3 2 1 6 1 6 3 1 6 1 6 3 3 3 3 3 3 3 3 3 4 1 6 2 8 3 3 1 7 9 7 2 9 7 9 7 1 2 2 1 1 2 5 4. 6 4 7 2 2 3 Двойное семейство (1ап$Ие йоиЫе) Двойственности правило (гйд1е йе йиайгй) Двойственные формулы (1огпи!ез йиа!ез) Двухзлементного множества аксиома (ахгопе йе ГепзепЫе а йеих е1епепгз) Дедуктивный критерий (сгмеге йейисШ) Дедукции критерий (сгиеге йе !а йейисиоп) Делитель целого числа (йгч1зеш й'ип еппег) Делить: .Ь делит а (.й гйчгзе а") Делиться на целое число (!Иге гИч!з!Ые раг ип епмег) Десятичная система (зузгепе йес!па1) Диагональ (гйадопа!е) А в А;(А — в Е! Днагональное отображенне (арр1$саИоп сйадопа[е) Днзъюнкция (йгз)опсбоп) двух соотношений Дисперсное (гйзрегзб) множество Дистрибутивное (йгзгг1ЬиШ) сетчатое множество Днстрибутивность (гИЗ$$$ЬийчИА) объединения н пересечения двух множеств — — — — семейства множеств Длина (!Опйиеиг) конечной последовательности — слова „Для всякого хй" (роиг гои! х й) Доказательный текст (гехге йепопзггагИ) Доказательство (йепопзггамоп) Доминантное (йоп!пап!) кардинальное число Дополнение множества (сопр(спев!а!ге й'ип епзепЫе) Дыры: множество без дыр (епзепЫе аапз !гона) Закон внутренней композиции (1о! йе сопрозгпоп $пгегпе) Замкнутый интервал ($п$егчаИе !егпб) 1 1 Ш Ш 1И Ш И Рез.
И И Рез. И И Рез. 1 Ш И! 2 3. 6 6 6 7 3 4 3 7 4 3 4 2 3 Упр Упр УКАЗАТЕЛЬ ТЕРМИНОВ 4!О УКАЗАТЕЛЬ ТЕРМИНОВ Инвариантный элемент П1 1 1 1 1 Прил. П Рез. Упр. 1 1 1 3 1 3 Замыкание (1егше!иге) Знак (з!Епе) 1 1 1 1 1 1 1 1 П П П Рез. Рез.
Рез. 8 8 Т 9 2 2 1Ч 2 1Ч 2 1Ч 2 1Ч 2 1 1 1 1 1 1 1 Прил. 1 Прил. 1 1 Упр. Упр. Упр. У пр. 1 3 3 4 4 1 !П Рез. П! Рез. 1П Рез, 1 6 1 6 2 6 11 13 !1 13 4 9 — — отображений 1 Прил. 4 1 Прил. 1 Прил. Рез. 1 — — — отображений П 3 П 3 Рез. 2 П 3 1 3 Рез. 1 5 3 5 5 5 5 3 О 5 4 3 4 — — зквивалеитности „Или' („ои*) — логический (1од!г!ие) — реляционный (ге!а!!оппе!) — специальный (зрес!1!и не) — субстантивный (зиЬзгапгП!г!ие) Знаковое каноническое распространение отображения, соответствующее 3 .Знаковый тип ступени (гуре й'бсйе!оп з!епб) — — — ковариаитный (сочаг!ап!) — — — контравариантный (сопггачаг!Зп!) Знакосочетание (азюшЫапе) — второго рода (йе зесопйе езрбсе) — первого рода (йе ргеш!бге езрбсе) — равновесное (бйиШЬге) — совершенно равновесное (раг1а!шеп! бци!ПЬгб) .Знакосочетание теории (й'ипе !Ьеог!е) Знакосочетание, антецедентное к другому (аззешЫапез ап!бсайептз а ип аигге) .Знаменательная последовательность (ение з!Впав!!саИче) .Знаменательное слово (шо! з!дп!ЙсаШ) Значение (ча!еиг) переменной (й'ипе чаг!аЫе) — принимаемое соответствием (ипе ча1еиг й'ипе соггезропйапсе) — функции (й'ипе !опсмоп) Значений область (епзешЫе йе ча!еигз) :Изоморфизм (!ЗошогрЫзше) обратный (гба!Ргог(пе) — относительно рода структуры множества — упорядоченных множеств (й'епзешЫез огйоппе) — А на В 'Изоморфия Изоморфиые множества (епзешЫез) — структуры (зггисгпгез) г4меть вид (бгге й'ипе 1огше) Имплицировать (!шрййиег) Инвариантный (!пчаг!ап!) терм ПТ 1 1Ч 1 П1 1 1Ч 1 Рез.
8 1Ч 1 1Ч 1 Рез. 8 1 1 1 2 Рез. 1 Рел. 2 1 1 1Ч Прил. Инверсия (!пчегзе) левая'(а йаисйе) данной сюръекцин — правая (а йгоие) данной инъекции Инволютивная перестановка (регшигамоп !ВчоЫИче) Индексное обозначение (погаг1оп !Вгйс1еПе) Индексов множество (епзешЫе йез 1пй!сез) — семейства множество (епзешЫе йез 1пгйсез й'ипе 1аш!Пе) Индуктивная система (зуз!еше !пйисгП) множеств (й'епзешЫез) относительно множества индексов Индуктивное множестио (епзеглЫе !Вйисмче) Индуктивный предел семейства множеств для семейства отображений (Июне !Вйисмче й'ипе 1аш!Пе й*епзешЫез розг ипе 1аа!Пе й'аррйсапопз) Индукции (йе гесиггепсе) предположение (Ьуро!Ьезе йе) — принцип (рг!пс!Ре) — трансфинитной (ггапзйп1е) принцип (рггпс!Ре) Индукции (гесиггепсе) начиная с й (а рагг!г йе й) — ограниченная интервалом (Ишмбе а ип !пгегчаПе) — спуска (йезсепйапге) Индуцированная структура (з!гисгиге !пйиие) Индуцироваиное соотношение (ге1абоп !Вйине) порядка Индуцированный порядок (огйге !пйш!) Интервал (!пгегчаПе) безграничный (Пйш!гй) — замкнутый (1егше) — неограниченный (!Шшиб) — открытый (оичег!) — полуоткрытый (зешг-оичег!) Ш Рез.