siyuv: (Default)
в котором учится мой средний сын. Тема: перестановки. Прошло неплохо.


Read more... )

Идея о том, что первые примеры некоммутативного умножения следует преподавать в начальной школе с целью расширения горизонтов учащихся, не нова. Я её, видимо, перенял от [livejournal.com profile] a_shen или кого-то из его учеников. Конечно, о том чтобы ввести перестановки в школьную программу можно только мечтать, ввиду отсутствия подходящих учителей, но всех математически грамотных родителей учеников начальных классов я призываю последовать моему примеру с тем, чтобы следующее поколение было бы лучше, успешнее или хотя бы умнее нас.



Вот как это примерно выглядело.


Сфотографировано и смонтировано учителем Ювалем Тур Дроми.
siyuv: (Default)
Пришел ко мне вчера студент (любимый, надо сказать) и попросил рассказать о классифицирующих пространствах и о том что именно они классифицируют. Ну, думаю, настало время опробовать программу dmitri_pavlov@ljr. Нет, ну я конечно не садист какой, рассказал ему сначала про конструкцию Милнора, обсудили почему стягивается и т.д.

А потом говорю, -- Забудь, это все в 50-х осталось, мы теперь по другому мыслим, бескоординатно.

Ну и рассказал... )

К концу изложения мой студент начал заметно клевать носом, но это наверное от жары.
siyuv: (Default)
На категории топологических пространств давно были построены две модельные категории: стандартная (принадлежащая Квиллену) и модельная категория Арне Строма, которая появилась в начале 70-х.

Категория Строма часто упоминается, хотя мало где используется существенным образом. Это связано ни с какими-либо свойствами этой модельной структуры, а с тем, что гомотопические эквикалентности между топологическими пространствами в качестве слабых эквивалентностей оставляют слишком много гомотопических типов; изучать их достаточно тяжело и видимо бесперспективно. Так или иначе, но единственная известная мне работа действительно использующая модельную категорию Строма принадлежит Майклу Коулу (заранее прошу прощения у читателей не имеющих доступа к МathSciNet и другим рессурсам, но этот автор не заботится о доступности своих работ). Там строится новая модельная категория (смешанная из стромовской и стандартной), но что с ней делать дальше остается неясным.

Между тем свойства стромовской модельной категории весьма примечательны. Например все объекты в ней одновременно кофибрантны и фибрантны. До сих пор неизвестно существует ли аналогичная модель для топологических пространств со слабыми гомотопическими эквивалентностями (Марк Хови предполагает что нет).

Однако тот факт что эта модельная категория в серьез не изучалась в последние 35 лет похоже привел к тому, что полного доказательства сегодня никто не знает. Я это обнаружил когда прочитал вот этот пост Мэя в рассылке по алгебраической топологии. Там он указывает, что в оригинальной работе имеются некоторые "subtle points". Настоящие ли это дыры я не знаю, но судя по тому что его студент передоказал теорему Строма в более ограничивающих условиях (для компактно-порожденных пространств), настоящие.

Мой интерес к этой модельной категории был в ту пору (в 2003 году, когда Мэй писал свой пост) не вполне праздным. Я искал тогда примеры модельных категорий, не порождающихся корасслоениями. Стромовская категория -- очевидный кандидат, но действительно ли она не является кофибрантно-порожденной по-видимому не известно до сих пор, как впрочем и то, верна ли теорема Строма в изначально заявленной общности.
Page generated Sep. 25th, 2017 06:03 am
Powered by Dreamwidth Studios