К вчерашнему
Jan. 12th, 2025 09:05 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicЧто касается до того контрпримера, то я вчера лежал на кровати с ручкой и бумагой и думал так:
"Ну, напишу я замечание, что "мы" не ожидаем в общем случае сохранения контрагерентности прямыми образами при неаффинных морфизмах. Поэтому ниже в тексте доказывается ряд утверждений о том, что контрагерентность сохраняется при дополнительных условиях на копучок.
Напишу, мол, хорошо бы, конечно, контрпример. "Мы" верим в его существование, но "у нас" его нет.
Люди прочтут это и скажут: ну, как всегда. Мы так и думали. Гомологические алгебраисты не умеют вычислять гомологии. Подобрать пример и посчитать его автор не в состоянии. Все как обычно.
Что ж, позориться? Надо все-таки постараться. Я, конечно, не умею вычислять гомологии, это само собой разумеется. Но какие-то контрпримеры мне удавалось строить иногда. Надо сосредоточиться, вникнуть в это дело и что-то придумать."
Ну, и вот, придумал.
"Ну, напишу я замечание, что "мы" не ожидаем в общем случае сохранения контрагерентности прямыми образами при неаффинных морфизмах. Поэтому ниже в тексте доказывается ряд утверждений о том, что контрагерентность сохраняется при дополнительных условиях на копучок.
Напишу, мол, хорошо бы, конечно, контрпример. "Мы" верим в его существование, но "у нас" его нет.
Люди прочтут это и скажут: ну, как всегда. Мы так и думали. Гомологические алгебраисты не умеют вычислять гомологии. Подобрать пример и посчитать его автор не в состоянии. Все как обычно.
Что ж, позориться? Надо все-таки постараться. Я, конечно, не умею вычислять гомологии, это само собой разумеется. Но какие-то контрпримеры мне удавалось строить иногда. Надо сосредоточиться, вникнуть в это дело и что-то придумать."
Ну, и вот, придумал.
