Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В математике , аннотация нонсенса , общая аннотация нонсенса , обобщенный абстрактный нонсенс , и вообще нонсенс термины , используемые математики для описания абстрактных методов , связанных с теорией категорий и гомологической алгеброй . В более общем смысле, «абстрактная чепуха» может относиться к доказательству, основанному на теоретико-категориальных методах, или даже к изучению самой теории категорий. [1]

Фон [ править ]

Грубо говоря, теория категорий - это изучение общей формы, то есть категорий математических теорий, независимо от их содержания. В результате математические доказательства , основанные на теоретико-категориальных идеях, часто кажутся вырванными из контекста, чем-то вроде non sequitur . Авторы иногда называют эти доказательства «абстрактной чепухой» как беззаботный способ обратить внимание читателей на их абстрактную природу. Обозначение аргумента «абстрактной ерундой» обычно не предназначено для уничижительного отношения [2] [3], а вместо этого используется в шутку, [4] в самоуничижительной манере, [5] нежно, [6] или даже как дополнение к общности аргументации.

Определенные идеи и конструкции в математике имеют единообразие во многих областях, объединенные теорией категорий. Типичные методы включают использование классифицирующих пространств и универсальных свойств , использование леммы Йонеды , естественные преобразования между функторами и поиск диаграмм . [7]

Когда можно предположить, что аудитория знакома с общей формой таких аргументов, математики будут использовать выражение «То-то и то-то истинно по абстрактной бессмыслице », вместо того чтобы давать подробное объяснение частностей. [3] Например, можно сказать, что «По абстрактной чепухе, продукты уникальны с точностью до изоморфизма, когда они существуют » , вместо того, чтобы спорить о том, как эти изоморфизмы могут быть выведены из универсального свойства, которое определяет продукт. Это позволяет пропустить детали доказательства, которые можно считать тривиальными или не обеспечивающими особого понимания, вместо этого сосредоточившись на действительно новаторских частях более крупного доказательства.

История [ править ]

Этот термин предшествует основанию теории категорий как самого предмета. Ссылаясь на совместную работу с Сэмюэлем Эйленбергом , в которой в 1942 году было введено понятие « категории », Сондерс Мак Лейн написал, что эта тема «тогда называлась« общей абстрактной чепухой »». [4] Этот термин часто используется для описания применения теории категорий и ее методов к менее абстрактным областям. [8] [9]

Считается, что этот термин был введен математиком Норманом Стинродом , [10] [5] [6] самим одним из разработчиков категориальной точки зрения.

Примеры [ править ]

Рассмотрим пример, показывающий, что 3-многообразие M допускает отображение на 2-сферу , которое нетривиально (т. Е. Негомотопно постоянному отображению), когда 2-е число Бетти для M положительно. Это означает, что вторая группа когомологий имеет положительный ранг (по теореме об универсальных коэффициентах для когомологий ), поэтому она имеет ненулевой элемент. В свойствах пространств Эйленберга-Маклейно затем дать соответствующий нетривиальное отображение п от М к бесконечномерному комплексному проективному пространству CP ∞ , так как она являетсяK ( Z , 2) пространство Эйленберга – Маклейна . Пространство CP ∞ может быть реализовано как комплекс CW с ровно одной ячейкой в ​​каждом четном измерении и без ячеек в нечетном измерении, в то время как M может быть реализован без ячеек в размерностях выше 3, поэтому по теореме клеточной аппроксимации существует отображение гомотопного в f, который отображает M в 3-остов CP ∞ , который является 2-сферой.

Хотя это доказательство устанавливает истинность рассматриваемого утверждения, техника доказательства имеет мало общего с топологией или геометрией 2-сферы, не говоря уже о 3-многообразиях, поскольку она опирается на более общие категориальные принципы. Из-за опоры на эти абстрактные принципы результат не зависит от более тонких геометрических деталей, поэтому дает мало геометрического понимания природы такой карты. С другой стороны, доказательство на удивление короткое и чистое, и «практический» подход, включающий явное построение такой карты, был бы потенциально трудоемким.

Примечания и ссылки [ править ]

  1. ^ "Окончательный словарь высшего математического жаргона - абстрактная чепуха" . Математическое хранилище . 2019-08-01 . Проверено 27 октября 2019 .
  2. ^ Михаил Монастырский, Некоторые тенденции в современной математике и медаль Филдса. Может. Математика. Soc. Примечания, март и апрель 2001 г., том 33, ном. 2 и 3. Онлайн-версия доступна по адресу http://www.fields.utoronto.ca/aboutus/FieldsMedal_Monastyrsky.pdf .
    « В алгебре термин« абстрактная чепуха »имеет определенное значение без какой-либо уничижительной коннотации ».
  3. ^ a b Macura, Виктор К. «Абстрактная чепуха» . MathWorld .
  4. ^ а б Сондерс Мак-Лейн. « Тогдашняя PNAS ». Proc. Natl. Акад. Sci. США Vol. 94, pp. 5983–5985, июнь 1997 г.
    « Первая из этих работ представляет собой более яркий случай; она вводит очень абстрактную идею« категории »- предмет, который тогда называли« общей абстрактной чепухой »! »
  5. ^ a b Джозеф Ротман, « Введение в гомологическую алгебру , Чарльз А. Вейбель» (рецензия на книгу), Bull. Являюсь. Математика. Soc., 33: 4 (октябрь 1996 г.) 473–476.
    « Самоуничижительная фраза« общая абстрактная чепуха » (из-за Стинрода) была обнародована Эйленбергом и Мак Лейном, двумя главными новаторами гомологической алгебры, чтобы подчеркнуть этот аспект предмета ».
  6. ^ a b Серж Лэнг , "Алгебра", второе издание, Эддисон Уэсли, 1984, стр. 175
  7. ^ Маркиз, Жан-Пьер (2019), «Теория категорий» , в Zalta, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (издание осень 2019), Исследовательская лаборатория метафизики, Стэнфордский университет , извлечено 2019-10- 27
  8. ^ Применение абстрактной ерунды к площади поверхности , Гарриет Лорд
  9. ^ Аннотации нонсенс для функционального Программисты Архивированных 2015-02-06 в Wayback Machine , Edsko де Врис
  10. ^ Колин Макларти, Использование и злоупотребления истории теории топоса , Br. J. Philos. Sci., 41 (1990) с. 355.
    « Стинрод в шутку назвал теорию категорий« абстрактной чепухой »и сделал ее центральной в своей аксиоматике гомологии »

Внешние ссылки [ править ]

  • Использование в математическом изложении из классных заметок Ноама Элкиса