![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
![[syndicated profile]](https://www.dreamwidth.org/img/silk/identity/feed.png){kind=small}
posic_feedС чем он связан по значению и с чем не связан?
Можно сказать по-русски "производный феномен" или что-нибудь подобное, в общегуманитарном смысле слова, вовсе не имея в виду никакой математики. В финансах есть термин "деривативы", и т.д. В финансах я не разбираюсь, но за производную категорию могу объяснить.
Читатель моих блогов, получивший университетское образование, но не являющийся математиком, может воображать, что "производная категория" имеет какое-то отношение к понятию "производной от функции", которое ему преподавали в институте. Чтобы завершить путаницу, в моих постингах можно также встретить словосочетание "производный функтор". Тут уж, конечно, не остается никаких сомнений, что "производный функтор" -- это какая-то навороченная версия той производной от функции, что в институте проходили.
Сомнений может не оставаться, но вывод ошибочен. Навскидку, вот четыре омонимических значения прилагательного "производный/ая/ое", встречающихся в математике (я думаю, что на самом деле их больше):
1. производная от функции (дальше идут вторая-третья-... и т.д. производная; частная производная; обратная операция -- первообразная, известная также как интеграл, и т.д.)
2. производная группа (коммутант)
3. производное множество (множество предельных точек)
4. производная категория (дальше в ту же степь производный функтор).
Пункты 2. и 3., как я понимаю, образованы от пункта 1. по аналогии в видах удобства обозначений. Есть общеизвестные обозначения для второй, третьей и т.д. производных -- штрихи сверху справа от буквы, циферка или буковка в скобочках сверху справа, и т.д.
Чтобы применять такие же обозначения к итерированным коммутантам (которые важны в контексте понятия разрешимой группы, в теории Галуа и задаче о разрешимости полиномиальных уравнений в радикалах) и к итерированным множествам предельных точек (которые рассматриваются в теории функций действительного переменного и общей топологии), люди стали обозначать эти операции, как производную от функции, и называть тоже "производными".
Это у меня такая фольк-этимология; она кажется мне правдоподобной. Истории вопроса я не изучал; если что, пусть специалисты меня поправят.
С пунктом 4. еще интереснее. Никаких вторых производных категорий (производных категорий от производных категорий) или вторых производных функторов (производных функторов от производных функторов) никто никогда не рассматривает, насколько я могу об этом судить.
Понятие о "частном производном функторе" имеет смысл для функтора нескольких аргументов (хотя я не видел, чтобы его так называли в литературе), но во всех классических примерах функторов двух аргументов, производный функтор по первому аргументу совпадает с производным функтором по второму аргументу. То есть, неожиданное для мат. анализа уравнение типа ∂f/∂x = ∂f/∂y выполнено в большинстве случаев.
(В редких сложных случаях, когда оно не выполнено, вы, конечно, предпочтете довести процесс взятия производного функтора до конца и работать с полноценным производным функтором типа ∂2f/∂x∂y.)
По содержанию соответствующих понятий, ни производная категория, ни производный функтор не имеют к производной от функции никакого отношения. Единственный общий элемент семантики прилагательного "производный" в словоупотреблениях 1. и 4. в списке выше можно усмотреть на общегуманитарном уровне. Та и другая производная суть "производные феномены" от соответствующих исходных феноменов, в самом расплывчатом и неконкретном смысле слова. Никакой другой связи или аналогии между 1. и 4. нет.
...Главное, что надо понимать про математическую терминологию -- это что понятий в математике намного больше, чем подходящих к ним слов в естественном языке. Поэтому (а) омонимия цветет и пахнет и/или (б) в роли точных терминов используются длиннейшие словосочетания.
Я в своих терминологических решениях обычно предпочитаю опцию (б). Поэтому у меня речь идет о "контрапроизводной категории W-локально контрагерентных копучков локально кокручения на квазикомпактной полуотделимой схеме X" и т.п. нагромождениях слов и букв.
Можно сказать по-русски "производный феномен" или что-нибудь подобное, в общегуманитарном смысле слова, вовсе не имея в виду никакой математики. В финансах есть термин "деривативы", и т.д. В финансах я не разбираюсь, но за производную категорию могу объяснить.
Читатель моих блогов, получивший университетское образование, но не являющийся математиком, может воображать, что "производная категория" имеет какое-то отношение к понятию "производной от функции", которое ему преподавали в институте. Чтобы завершить путаницу, в моих постингах можно также встретить словосочетание "производный функтор". Тут уж, конечно, не остается никаких сомнений, что "производный функтор" -- это какая-то навороченная версия той производной от функции, что в институте проходили.
Сомнений может не оставаться, но вывод ошибочен. Навскидку, вот четыре омонимических значения прилагательного "производный/ая/ое", встречающихся в математике (я думаю, что на самом деле их больше):
1. производная от функции (дальше идут вторая-третья-... и т.д. производная; частная производная; обратная операция -- первообразная, известная также как интеграл, и т.д.)
2. производная группа (коммутант)
3. производное множество (множество предельных точек)
4. производная категория (дальше в ту же степь производный функтор).
Пункты 2. и 3., как я понимаю, образованы от пункта 1. по аналогии в видах удобства обозначений. Есть общеизвестные обозначения для второй, третьей и т.д. производных -- штрихи сверху справа от буквы, циферка или буковка в скобочках сверху справа, и т.д.
Чтобы применять такие же обозначения к итерированным коммутантам (которые важны в контексте понятия разрешимой группы, в теории Галуа и задаче о разрешимости полиномиальных уравнений в радикалах) и к итерированным множествам предельных точек (которые рассматриваются в теории функций действительного переменного и общей топологии), люди стали обозначать эти операции, как производную от функции, и называть тоже "производными".
Это у меня такая фольк-этимология; она кажется мне правдоподобной. Истории вопроса я не изучал; если что, пусть специалисты меня поправят.
С пунктом 4. еще интереснее. Никаких вторых производных категорий (производных категорий от производных категорий) или вторых производных функторов (производных функторов от производных функторов) никто никогда не рассматривает, насколько я могу об этом судить.
Понятие о "частном производном функторе" имеет смысл для функтора нескольких аргументов (хотя я не видел, чтобы его так называли в литературе), но во всех классических примерах функторов двух аргументов, производный функтор по первому аргументу совпадает с производным функтором по второму аргументу. То есть, неожиданное для мат. анализа уравнение типа ∂f/∂x = ∂f/∂y выполнено в большинстве случаев.
(В редких сложных случаях, когда оно не выполнено, вы, конечно, предпочтете довести процесс взятия производного функтора до конца и работать с полноценным производным функтором типа ∂2f/∂x∂y.)
По содержанию соответствующих понятий, ни производная категория, ни производный функтор не имеют к производной от функции никакого отношения. Единственный общий элемент семантики прилагательного "производный" в словоупотреблениях 1. и 4. в списке выше можно усмотреть на общегуманитарном уровне. Та и другая производная суть "производные феномены" от соответствующих исходных феноменов, в самом расплывчатом и неконкретном смысле слова. Никакой другой связи или аналогии между 1. и 4. нет.
...Главное, что надо понимать про математическую терминологию -- это что понятий в математике намного больше, чем подходящих к ним слов в естественном языке. Поэтому (а) омонимия цветет и пахнет и/или (б) в роли точных терминов используются длиннейшие словосочетания.
Я в своих терминологических решениях обычно предпочитаю опцию (б). Поэтому у меня речь идет о "контрапроизводной категории W-локально контрагерентных копучков локально кокручения на квазикомпактной полуотделимой схеме X" и т.п. нагромождениях слов и букв.
