Елементи математики
«Елементи математики» (Шаблон:Lang-fr) — серія книг з математики, написаних французьким колективом під псевдонімом Ніколя Бурбакі. Серія була розпочата в 1939 році. Серія відзначається як масштабне самодостатнє формальне викладення математики.
Маючи метою створити повністю самодостатню інтерпретацію математики, засновану на теорії множин, група публікувала трактат Éléments de mathématique («Елементи математики» або, точніше, «Засади математики»). Трактат складався із двох частин. Перша частина звалася Les structures fondamentales de l'analyse - «Основні структури аналізу» і містила такі роботи (у дужках наведено оригінальні французькі назви та їх скорочені позначення):
І Теорія множин (Théorie des ensembles — E ) — 4 розділи і підсумок
- Опис формальної математики (Шаблон:Lang-fr)
- Теорія множин (Шаблон:Lang-fr)
- Впорядковані множини, кардинали, цілі числа (Шаблон:Lang-fr)
- Структури (Шаблон:Lang-fr)
- Підсумки (Шаблон:Lang-fr)
ІІ Алгебра (Algèbre — A ) — 10 розділів
- Алгебричні структури (Шаблон:Lang-fr)
- Лінійна алгебра (Шаблон:Lang-fr)
- Тензорна алгебра, зовнішня алгебра, симетрична алгебра (Шаблон:Lang-fr)
- Многочлени і раціональні функції (Шаблон:Lang-fr)
- Комутативні поля (Шаблон:Lang-fr)
- Впорядковані групи і поля (Шаблон:Lang-fr)
- Модулі над областю головних ідеалів (Шаблон:Lang-fr)
- Напівпрості модулі і кільця (Шаблон:Lang-fr)
- Півторалінійні і квадратичні форми (Шаблон:Lang-fr)
- Гомологічна алгебра (Шаблон:Lang-fr)
ІІІ Топологія (Topologie générale — TG ) — 10 розділів, підсумок, словник
- Топологічні структури (Шаблон:Lang-fr)
- Рівномірні структури (Шаблон:Lang-fr)
- Топологічні групи (Шаблон:Lang-fr)
- Дійсні числа (Шаблон:Lang-fr)
- Однопараметричні групи (Шаблон:Lang-it)
- Простори дійсних чисел і проєктивні простори (Шаблон:Lang-fr)
- Адитивні групи (Шаблон:Lang-fr)
- Комплексні числа (Шаблон:Lang-fr)
- Використання дійсних чисел в загальній топології (Шаблон:Lang-fr)
- Функційні простори (Шаблон:Lang-fr)
IV Функції дійсної змінної (Fonctions d'une variable réelle — FVR ) — 7 розділів, словник
- Похідні (Шаблон:Lang-fr)
- Первісні та інтеграли (Шаблон:Lang-fr)
- Елементарні функції (Шаблон:Lang-fr)
- Диференціальні рівняння (Шаблон:Lang-fr)
- Локальне вивчення функцій (Шаблон:Lang-fr)
- Ряд Тейлора, формула Ейлера — Маклорена (Шаблон:Lang-fr)
- Гамма-функція (Шаблон:Lang-fr)
V Топологічні векторні простори (Espaces vectoriels topologiques — EVT ) — 5 розділів, підсумки, словник
- Топологічні векторні простіри над скалярними полями (Шаблон:Lang-fr)
- Опуклі множини та локально опуклі простори (Шаблон:Lang-fr)
- Простори лінійних неперервних операторів (Шаблон:Lang-fr)
- Дуальність топологічних векторних просторів (Шаблон:Lang-fr)
- Гільбертові простори (елементарна теорія) (Шаблон:Lang-fr)
VI Інтегрування (Intégration — INT ) — 9 розділів
- Нерівності випуклості (Шаблон:Lang-fr)
- Простори Ріса (Шаблон:Lang-fr)
- Міри на локально компактних просторах (Шаблон:Lang-fr)
- Розширення міри, простори (Шаблон:Lang-fr)
- Інтегрування за мірою (Шаблон:Lang-fr)
- Векторне інтегрування (Шаблон:Lang-fr)
- Міра Хаара (Шаблон:Lang-fr)
- Згортка та представлення (Шаблон:Lang-fr)
- Міри на гаусдорфових просторах (Шаблон:Lang-fr)
Пізніше стали виходити книги другої частини:
- Комутативна алгебра (Algèbre commutative — AC ) — 10 розділів
- Плоский модуль (Шаблон:Lang-fr)
- Локалізація кільця (Шаблон:Lang-fr)
- Градуювання, фільтрування та топологія (Шаблон:Lang-fr)
- Асоційовані прості ідеали та примарний розклад (Шаблон:Lang-fr)
- Цілі числа (Шаблон:Lang-fr)
- Нормування (Шаблон:Lang-fr)
- Дільники (Шаблон:Lang-fr)
- Розмірність (Шаблон:Lang-fr)
- Повні нетерові локальні кільця (Шаблон:Lang-fr)
- Глибина, регулярність, двоїстість (Шаблон:Lang-fr)
- Групи та алгебри Лі (Groupes et algèbres de Lie — LIE) — 9 розділів
- Алгебра Лі (Шаблон:Lang-fr)
- Вільна алгебра Лі (Шаблон:Lang-fr)
- Група Лі (Шаблон:Lang-fr)
- Група Коксетера та система Тітса (Шаблон:Lang-fr)
- Групи породжені відображеннями (Шаблон:Lang-fr)
- Система коренів (Шаблон:Lang-fr)
- Підалгебра Картана та регулярні елементи (Шаблон:Lang-fr)
- Спліт напівпроста алгебра Лі (Шаблон:Lang-fr)
- Компактна дійсна група Лі (Шаблон:Lang-fr)
- Спектральна теорія (Théories spectrales — TS ) — 2 розділа
- Диференційовані та аналітичні многовиди (Variétés différentielles et analytiques — VAR ) — тільки підсумки
- Алгебрична топологія (Topologie algébrique — TA) — 4 розділи
- Накриття (Шаблон:Lang-fr)
- Групоїди (Шаблон:Lang-fr)
- Гомотопія та групоїд Пуанкаре (Шаблон:Lang-fr)
- Напівлокально однозв'язний простір (Шаблон:Lang-fr)
Нотація
У книгах Бурбакі були вперше запроваджені символ для порожньої множини Ø; символи для множин натуральних, цілих, раціональних, дійсних і комплексних чисел; терміни ін'єкція, сюр'єкція і бієкція; знак «небезпечний поворот» на полях книги, який показує, що це місце в доведенні можна зрозуміти неправильно. Цей знак застосовував зокрема теоретик-програміст Дональд Кнут.
Джерела
- Шаблон:Бурбаки.Алгебра.ч1
- Шаблон:Бурбаки.Алгебра.ч2
- Шаблон:Бурбаки.Алгебра.ч3
- Шаблон:Бурбакі.Загальна топологія.г1-2
- Шаблон:Бурбакі.Загальна топологія.г4-8
- Шаблон:Бурбакі.Загальна топологія.г9-10
- Шаблон:Бурбаки.Коммутативная алгебра
- Шаблон:Бурбакі.Групи і алгебри Лі.г1-3
- Шаблон:Бурбакі.Групи і алгебри Лі.г4-6
- Шаблон:Бурбакі.Групи і алгебри Лі.г7-8
- Шаблон:Бурбакі.Групи і алгебри Лі.г9