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

П! Рез. П! Рез. П! Рез. Рез. ! 1Ч ! 0 П П Рез. 1 6 1 6 1 6 1 6 8 5 1 1 О 3 3 2 УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ 3 1 2 1[г 1!Г !$[ — открытое (оичег[е) — парииальное (рагне!!е) !П Рез. 1 Рез. — постоянное (сопзгапге) Прил. 4 1! Рез. — — в (бааз) — — на (зиг) возрастающее (сго[ззапге) 5 8 7 3 7 8 6 5 3 3 5 3 2 П Рез. !1 Рек П П Рез. — Е в Е" инъективное ([п[есИче) 1[[ Прил. 4 3 3 2 1 2 ![ Рез. 1! Рез. !П 1)Г П 3 5 [Н Прил. 5 Рез. 8 Ре.

8 [тг Прил. Прил. И 3 [И 2 [Ц 2 ! 1 5 5 5 5 1 1 1 3 П Рез. Ш Рез. — ограниченное (Ьогпйе) 28 Н. бурбаки Отделять (зйрагег) Открытое (оичег[) множество — отображение Отличаться только порядком членов (пе 6$[!Вгег йие раг Гоготе без гегшез) ,Отлично от" (.6$[[егепг де") Относительно переносимые (ге[а[!чещепг $гапзрог!аЫез) соотношения и термы Отображение (арр!!са![оп) бнектнвное (ЬЦеснче) взаимно однозначное (Ыип[чог[ие) — выведенное из некоторого отображения переходом к фактормножествам (йббине гГипе арр1[са- $!оп раг раззаяе аих циоИепы) диагональное (гйайопа[е) А в А )г'А каноническое (сапов!9ие) (см.

Каноническое ото- бражение) — для родовой структуры (роиг ипе зггисгигс йбпег[г[ие) множества (грин епзешЫе) в множество (бапз ип епзешЫе) — — на множество (зш ип епзешЫе) люнотонное (шопо[опе) непрерывное (сопИпие) обратное к некоторой биекции (гбс[ргодие грипс ЬЦесггоп) !$7 П Реэ. !! Рез. 1! Рез. Рез. Рез. !П Рез. 4 7 9 7 8 8 д 5 12 Отображение ограниченное сверху (ша[огйе) — — снизу (ш[погее) — пустое (ч[бе) — скомпонованное иэ (сошрозее де) — совместимое (сошра$[Ые) с двумя соотношениями эквивалентности (ачес беях ге!аИопз грейи[ча!епсе) — с соотношением эквивалентности (ачес ипе ге- 1аг[оп греци[ча!енсе) составленное из (сошрозй бе) строго (згг[сгешеп[) возрастающее (сго[ззапге) — сходящееся — — монотонное (пюпогопе) — — убывающее (бесго!ззапге) — сюръективное (зиг[ес[[че) — тождественное ([депг!9ие) — убывающее (бесго[ззапте) — универсальное (ип[чегзеИе) — частичное — часпюе (раг$[еИе) Отображения, совпадающие на некотором множестве (арр![санопз со[не!бап! дапз ип епзешЫе) Отождествление (!дев[![[ба![оп) Отождествлять ([йепШ!ег) — посредством (аи пюуеп Йе) изоморфизма — — канонической биекцни Отправления область (ензегпЫе бе дерагг! Отрезок (зеешепг) — отсеченный элементом к (грех[гешйе к) Отрицание соотношения (пйеаг[оп грине ге1а![оп) !1! Рез.

П! Рез. !$7 П Рез. П Рез. 1! Рез. П Рез. !П Рез. Ш [П ![! Рез. П Рез. П Рез. !П Рез. 19 Рез. Н Рез. 1 6 1 6 2 3 3 3 2 3 2 6 2 1 6 1 1 6 3 2 3 2 1 6 3 3 3 3 8 7 8 7 1 9 13 4 3 4 11 5 11 5 12 Упр. 5 5 12 7 4 4 3 5 12 1 13 9 13 УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ Н Н Пересекаться (эе гепсопггег) 14 7 14 7 14 13 2 3 2 3 2 2 Рез. Н Рез. Н Рез. Рез. — — частей (бе раг[[ез) — счетное (бэпошбгаЫе) Перестановка (реппп[а[!оп) Н Н 6 3 Н 6 5 Рез. 5 7 Рез. 5 8 Н 1 2 Реэ.

1 7 Подсемейство (эопзбашй!е) Рез. Н 12 1 Рез. Н Рез. Н Реэ. — — пары 2 4 2 5 5 Н Н! Рез. !Ч Реэ. !Ч Прил. 1 [Ч 1 3 !Ч Н 3 2 Рез. 2 6 Н 3 2 [Ч Прил. 4 Н 4 6 28ч Пара (сокр!е) Параметр (рагагпегге) Параметрическое представление посредством множества (или через множество) (гергйэеп[аиоп рагашегг!йие аи шоуеп б'пп епзешЫе) Параметров множество (епэешЫе дев рагаше[геэ) Парциальная функция ([опсцоп рагмеИе) Парциальное отображение, задаваемое функцией у приданном значении данного аргумента (аррйса[1оп рагИеНе бе[егш[пбе раг 7, ге[ацте а ппе та!еш б'пп агдшпеп[) — — поровсденное функцией 7 и соответствующее данимм значениям данных аргументов (аррйсацоп рагцейе епеепдгбе раг У, ег соггезропбапг а беэ ча[еигв й'агяпшеп[) Пары аксиома (ах!оше бп совр!е) Первая (ргеш[бге) координата (соогбоппбе) [функция] — [элемент] — координатная функция ([опс[!оп соогбоппбе) — проекция (рго[есцоп) [множество] — — [функция] — — [элемент] — — графика Первый (ргеш!ег) множитель (или сомножитель) произведения множеств (епзешЫе 1ас[епг б'пп ргобп[Ф) — член последовательности Переменная (чаг[аЫе) Перенос структуры (1гапэрогг Й'ипе жгпсгше) 'Переноса соотношение (ге!а[!оп де Фгапэрог[) Переносимое соотношение (ге!ацоп Фгапзрог[аЫе) Переноси ммй терм (Фегше 1гапзрог[аЫе) данного типа для данной типизации (й'ип Фуре ропг ипе Фур[йсацоп) — — типа 8 относительно Х для типизации .Т, и Т" (де 1уре Б ге[аитешепг а роиг !а Фур1Нсацоп „Т, ег Т") Рез.

Н Рез. Рез. Н Рез. !Н Рез. П Реэ. Рез. 1 2 3 3 2 3 3 3 3 3 3 13 1 1 12 1 1 6 1 1 1 1 Пересечение (Ьцегэесцоп) конечное (Нп[е) — множества множеств — нескольких множеств — — частей — семейства — инволютивная (!пто! п[!Те) Переход к фактормпожествам (рааэаее аих епзешЫез цпоцепж) Подмножество (зопз-епэешЫе) (см. также Часть) Подпоследовательносгь последовательности (эп!Фе ех1гаце б'ппе виНе) Подсетчатая (согб[!си[ее) часть Подстановки критерий (сгцеге бе впЬэцгпг[оп) Подчиненная структура (аггпс[ше эпЬогбоппбе) Покрмтие (гесоптгешеп[) — более грубое (крупнов) (шо1пв Нп) — — мелкое (тонкое) (р[пэ Нп) — множества (б'ип епэешЫе) Поле дробей кольца (согрв без 1гасг[опз б'ип аппеаи) Полная (р!е1пе) часть (рагце) Полное решение (зо[пцоп) Полное (асйетб) сетчатое множество Полный (Ьоп) порядок Полный прообраз ([шабе гес!ргоцпе) множества (Й'ип епэегпЫе) относительно (по, при) данного графика (раг пп егарйе) — — — — — — отображения — — — — — — соответствия Полный прообраз покрытия (б'пп гесоптгешепг) относительно (по, при) функции Н 4 7 Рез.

1 13 Рез. 7 9 Н 4 1 Н 4 5 Рез. 1 13 Н 4 1 Рез. 4 6 Н 4 1 Рез. 7 9 Н 3 7 Рез. 2 9 Н 3 7 Н! 6 1 Рез. 7 8 Н 3 5 Рез. 2 14 РН 4 Упр. 1 1 2 [Ч 1 6 Н 4 6 Н 4 6 Н 4 6 Н 4 6 Рез. 4 4 !Ч 3 3 Н 1 2 Рез. 1 8 1 5 2 [Н 1 Упр. [Н 2 1 УКАЗАТЕЛЬ ТЕРМИНОВ УКАЗАТЕЛЬ ТЕРМИНОВ Ш Рез. 4 8 6 2 6 И 6 Рез. 6 Рез. 7 И! Н! 1 6 1 6 1И Рез. И1 Рез. 14 4 15 4 — справа интервал Н1 Рез. Рез. И! 1Н Рез. 6 7 7 6 6 7 1Ч 1 Рез.

8 5 5 Н 4 Рез. 4 — структура — индуцированный (!пйни) — — — отображений — полный (Ьоп) — совершенный (го!а!) Н! Ш Рез. Н1 Рез. 1И Рез. Последовательность (вице) — бесконечная (!пНп!е) — двойная (йонЫе) Полный прообраз соотношения эквиватентности (й'ипе ге!ацоп й'еаи!ча!енсе) относительно(по, при) функции Положительные целые числа (епйегэ роэцйэ) Полуоткрытый слева интервал (!п1егчайе зешг-ончег! а еансйе) Получать переносом (оЫеп!г еп !гапзроггап1) [о структурах] Попарно не пересекающихся множеств семейство (1аппйе й'епзешЫез шитнеНегпеп! ЕНз!о!п!з) нли (!аж!Не й'епзешЫез йенх а йеих й!з!о!п1з) — — частей семейство (1ашШе йе рагыез пнйаейешеп! гйз!о1п!ез) Пополнение (совр!8!е) пространства — (асйечешеп!) упорядоченного множества Порядки (й'огйге) соотношение (ге1абоп й') Порядковмй тип (!уре й'огйге) Порядок (огйге) — лексикографический (!ех!соегарй!ггне) — линейный — на (знг) множестве — частичный (рагыеИе) Последний член конечной последовательности (йегп1ег !егше й'нпе ание Ип!е) Последовательности, отличающиеся только порядком членов (зниез пе ЕИИйгап1 вне раг Гогйге йез гегшез) Рез.

11г Ш !Н Рез. Рез. И! И Рез. Рез. !Н Рез. !П Рез. Ш Рез. Рез. Ш Ш Роз. Рез. 4 3 1 1 6 6 1 2 6 6 1 6 2 6 1 6 6 2 1 6 6 4 3 Упр. 1 1 1 1 Упр. 1 4 4 1 6 1 1 1 4 1 14 4 1 Последовательность конечнаи (Ип!е) — — элементов некоторого множества (й'й!бшеп!з й'ип епэешЫе) — кратная (шнИ!р!е) — полученная расположением семейства в порядке, определенном отображением 7" (оЫепне еп гапееап! нпе 1агпй!е йапэ нп огйге йй!!п! Раг нпе аррцсаыоп 7) — с двумя индексами (й йеих 1пй!сез) — стационарная (з!аыоппа!ге) — тройная (!г!р!е) — элементов некоторого множества (й'8!йшепгз й'нп епзепгЫе) — и-кратная (и-ир!е) Постоянное отображение (аррйсабоп сопзгап!е) Почти периодическая (ргезпие рег!ой!оне) функция Правая инверсия (!пчегзе а йгоце) Правило двойственности (гее!е йе йна!Ий) .Превышает (.ез! зврйг!енг а") Предел (Ипн!е) индуктивный (1пйисИче) семейства мно- жеств — проективный (рго!есИче) семейства множеств — — — отображений Предложение (ргороэы!оп) Предмет (ОЬ)е!) Предположение индукции (йуройеэе йе ТЕспггепсе) ! ' Предпорядка соотношение (ге1абоп йе ргеогйге) Предпорядок (ргеогйге) — более грубый (крупный) (шо!пэ Нп) — — мелкий (тонкий) (р!нз Ип) — на (знг) множестве Представителей система (зуз!еше йе гйргезеп!апгз) Ш Ш Н Рез.

1У Н Рез. Рез. Ш Рез. Рез. И! Рез. Н! Рез. И1 Рез. И! Рез. 1 ! 1Н Ш И Н! Рез. Ш !Н 1Н Н! И 6 6 3 2 3 3 1 4 1 6 7 1 6 1 6 1 1 6 2 1 2 4 1 1 6 1 1 1 1 6 1 1 4 3 3 8 15 7 3 3 3 11 13 11 13 12 14 12 14 2 3 2 3 1 2 1 2 4 4 2 2 431 УКАЗАТЕЛЬ ТЕРМИНОВ Укдзатель теРминОВ П 1Ч И И! 1 12 Рез. 6 14 Ш 1 12 Рез. 6 14 Рез. 2 — — — отображений 14 1 И Ш Ш 2 1 3 Упр. Рез. И Реэ. !! ! И Рез. Рез. ! 1! 2 4 1 И 3 1 Рез. 3 1 1! 5 3 Рез. 3 12 И 2 1 Раз.

3 1 Рез. 1 П 1 Рез. 1 7 1 10 Рез. 1!! !!1 1П Рез. Ш 3 3 Ш 3 3 Реэ. 7 9 Ш Рез. И! П Рез. !И Рез. 5 13 4 1 — порядка (й'нп огйге) !И Реэ. Ш Рез. 12 14 12 14 — — отображений Представитель класса эквивалентности (гергбзеп<ап< й'ппе с!аззе й'4<!и<та!енсе) Представление (гергбзеп<ацоп) — параметрическое (гбргезеп<аиоп рагаабс<$<$пе) Представляться в виде Т (зе аенге зопз ипе !огас Т) Представляющее множество (епзеаЫе гбргбзепИШ) Предупорядоченное множество (епзеаЫе ргбогйоппб) Предшественник (ргбйбсеээеиг) Преобразование одного множества в другое (<гапэ(о<аз!<оп <Г<а епэеаЫе еп нп ап$ге) Преобразовывать (<гэпз!огаег) Прибытия область (епзеаЫе й'агг<тбе) Приведения к абсурду метод(гпб<йойе йе гбйнсцоп а !'аЬзагйе) Приводить А и В во взаимно однознэчное соответствие (аецге А е< В еп соггеэропйапсе 5<ив<копне) Придавать в качестве значения определеа<ый элемент произвольному элементу (йоппег ропг та!енг пп 414< аеп< йб<ега<пб а нп е!еаеп< агЬИга<ге) Прилагать(или применять) к теории(арр!$<$иег йапэ ппе <Ьбог<е) , Принадлежит (к) ' ( „арраг<1 ел ! а" ) Принадлежности соотношение (ге!а<<оп й'аррагсепапсе) Принимать значения в множестве (ргепйге зеэ та!енгз йапэ нп епэеаЫе) [о функции] Принцип (рг<пс<ре) индукции (йе геспггепсе) — пастухов (йез Ьегеегз) — трансфинитной индукции (йе геснггепсе !гапз!<п<е) Присоединение (ай]опсс<оп) к множеству Е множества Р— наибольшего элемента к упорядоченному множеству (й'пп р!пз егапй е!Ааеп< а ип епзеаЫе огйоппб) Пробегать множество (рагсопг<г нп епзеаЫе) Продолжение (рго!опдеаепс) соотношения порядка — отображения на множество (й'ппе аррйсаИоп 3 ип епзеаЫе) Проективная система множеств (зуэ<еае рго<есШ й'епзеаЫе) относительно множества индексов (гб!аШ й ип енаеаЫе йИпй<се) Проектиэный предел семейства множеств для семейства отображений ($$п<Ие рго]ее<<те й'ппе !за<Не й'епзеаЫеэ роиг ипе 1аа<Ие й'арр$<сас<опз) Проектирование (рго)есцоп) на множитель(знг нп епэеаЫе 1ас<еиг) — на частичное произведение (зиг нп ргойнц рагИе1) — по индексу «(рго<есс<оп й'нпй<се «) Проекция (рго]есИоп) [множество] — [отображение] — [элемент] — вторая (см.