Математика

Ответить в тред Ответить в тред
Check this out!
Топология Bog # OP 24/11/16 Чтв 08:54:13 37841
verbit spirit.png 1604Кб, 831x897
831x897
topological tre[...].png 4760Кб, 4000x2608
4000x2608
Тред посвящается самой интересной области математики - Топологии.
К ОП-посту прилагаю картинку с литературой для освоения сей области. Картинка уменьшена и в ужасном качестве, оригинал по линку: https://yadi.sk/i/S66R2EfPzM75r
Что касается пички; не выписывал статьи (влом, к тому же почти все, которые хотел выписать, указаны в конце некоторых книг. Популярных много тут http://kvant.mccme.ru/key.htm (F3 - Топология), еще некоторые смотрите в Наглядных топологиях и у Колягина-Саркисяна).
На последнем этапе выше не значит сложнее (хотя зачастую это так), там книги расположены несколько рандомно. На тонкие линии не обращайте внимания.
Здесь собрана литература по АЗАМ топологии, иногда чуть дальше. Само собой не все учебники нужно читать, по одной алгебраической здесь много аналогов по одним и тем же темам. В принципе, вы можете прочитать только Фукса-Рохлина, потом Фукса-Фоменко - это уже многое и самое основное.
Толстые линии между книгами НЕ означают, что их нужно читать подряд, например 3 книжки Милнора соединены с маленьким учебником Васильева, Васильев представляет собой минимум знаний, которые необходимы для их понимания, поэтому я его туда поставил, Милнора же вам придется прочитать в любом случае. И линии не всегда означают "необходимый минимум", просто в некоторых случаях они помогают сориентироваться.
Добавлю, что у Скопенкова помимо "Алгебраической топологии с геометрической точки зрения" есть еще "Алгебраическая топология с элементарной точки зрения" и "Алгебраическая топология с алгоритмической точки зрения" (эта пока еще недописана), также не указан учебник вербита (все 3 отсутствуют, потому что есть только в ebook виде) + можете посмотреть http://www.mccme.ru/ium/s08/top2s.html его лекции с листочками. Касательно лекций, есть еще годнота на Лекториуме, по топологии там полно, но я имею в виду курс Иванова, вторая часть которого недавно начала выпускаться.
Теперь по существу:
1-ый этап - это попса. Попса, которая не даст вам никаких нормальных знаний. Зато неплохо разомнет мозг перед чтением более сложных книг, кому-то даже может послужить мотивацией к обучению.
2-ой этап это три классические книжки, которые тоже называют популярными, но только из-за их нетребовательности к читателю и потому что учебниками, как таковыми, они не являются. Прямого отношения к топологии они не имеют (хотя и затрагивают ее), однако прочитать их должен, не то чтобы каждый математик, а просто каждый уважающий себя человек. Ну и они также помогут еще немножко размять мозг.
На 3-ем этапе мы еще ближе приближаемся к топологии, тут в основном брошюры, которые дают некоторое представление о предмете. Знакомство с ними несколько будет достаточно полезно для будущего обучения.
4-ый этап это уже более серьезные, но все также популярные книжки. Из них стоит выделить 2 Наглядные топологии, они сильно упростят освоение следующих книг, остальные не так важны. В 5-ом томе ЭЭМ дается относительно более строгое введение в предмет, доступное старшекласснику.
-
Чем больше матпопа вы прочитаете, тем проще будет на серьезном старте. Аки матшкольник-олимпиадник, который в ВУЗе первые два курса пинает хуи на расслабоне.
-
Итак, 5-ый этап! (В принципе, можно сразу с него и начинать). Как я и сказал книги расположены очень рандомно, но условно большинство книг по общей топологии справа, по алгебраической в центре и некоторые по дифференциальной справа, есть и другие направления. Для идеального старта можно прочитать т.н. Триаду от издательства Мир: Стинрода-Чинна, Милнора-Уоллеса и Косневски, они не требуют какой-либо подготовки и снабдят вас базовыми понятиями. Для труъ бурбакистов я отдельно в красном кружочке отметил 2 книги, они подразумевают под собой элементы математики (глупо было бы вставлять все тома), вы можете скачать при помощи sci-hub'а все последние издания в ebook-качестве, но на французском, или скачать говносканы русской версии, отмечу, что в 2016 был выпущен новый том по Алгебраической топологии. Если вы взялись за какую-то книгу и чувствуете, что она вам не по силам, значит вам нужно прочитать что-нибудь, что расположено ниже (или вовсе подтянуть другие области). Здесь присутствует и картофан (Куратовский, Хаусдорф, например), но знакомство с ним будет полезно. Картофан - в данном случае не значит что-то устаревшее, значит просто старое, хотя некоторые (немногие) обозначения из того же Куратовского и Хаусдорфа уже не используются, однако где вы еще найдете такой жирный учебник по общей топологии (Куратовский толще даже, чем Манкрес)?! Ну а Хаусдорф - просто классика, причем его более чем достаточно для дальнейшего ознакомления с книгами по топологии (Кстати, переводили его сам Пёс и Колмогоров, в переводе оригинал был дополнен). Совсем уж архаику по типу "Комбинаторной топологии" ПСА, учебника Лефшеца я опустил, у них есть достойнейшие аналоги (тот же платиновый Фукс-Фоменко, например). Хотя среди архаики есть и годнота, например, учебник ПСА-Хопфа (однакож он на немецком).
Желаю удачи! Надеюсь, что школьники, не знающие определения топологического пространства, почитают хотябы матпоп и поумнеют, а студентота, освоив Фоменко, Спеньера или Таммо том Дика сможет смотреть лекции Ромы.
А ну и еще ОП-хуй и не каждую из over9000 книг прочел, поэтому древо, конечно, неидеальное.
ИТТ приветствуются любые дискассы/реквесты, связанные с топологией. Допускается обсуждение околотопологических мемов (например, личность Ромы Михайлова, Вербит, Перельман итд). Алсо, обсуждаем литературу и пикчу. Говно будет нещадно смываться.
Итак, господа, СЛАВА ТОПОЛОГИИ! Начнем-с!
Bog # OP 24/11/16 Чтв 09:07:34 37862
>еще ближе приближаемся к топологии
подбираемся* фикс
Аноним 24/11/16 Чтв 09:32:29 37873
>>3784 (OP)
>Добавлю, что у Скопенкова помимо "Алгебраической топологии с геометрической точки зрения" есть еще "Алгебраическая топология с элементарной точки зрения"
Это ж одно и то же, по моему
"Элементарная" более ранняя версия
Мог бы сделать по темам, например:
Комбинаторная топология, "геометрический" стиль: Зайферт-Трельфалль, Прасолов, Элементарные топологии
Общая/метрическая: Виро-Харламов-Иванов-Нецветаев, Вербицкий
Standard syllabus, AT: Hatcher, Spanier, May
DG: Lee, Tu, Nicolaescu
Более обзорные: Ramanan, Michor, Wedhorn
То есть типа кластерами такими, вместо дерева зависимостей. Хотя идея с вертикальным расположением (хотя бы по уровню андерград/град/исследовательская монография) неплохая.
>можно прочитать т.н. Триаду от издательства
Есть еще четвертая, Масси-Столлингс. Можно читать параллельно с Виком.
Bog # OP 24/11/16 Чтв 09:39:27 37884
>>3787
Благодарю за комментарий, может потом займусь переделкой (в любом случае для нового трэда нужно будет подготовить более годную пикчу).
Масси-Столлингс есть в древе, под триадой я имел в виду, что все они выходили в рамках одной и той же серии.
Аноним 24/11/16 Чтв 09:58:09 37905
Кстати, Алгебраическая К-теория Милнора это явно лишнее. Алгебраическая К-теория не имеет ничего общего с топологической, кроме К(0). Там нет периодичности Ботта, да и вообще, другая наука просто, и намного сложнее.
Топологическая это: Атья, Каруби, Мищенко, Хьюзмоллер и тд.
Алгебраическая. Милнор, Басс, Вайбель и еще дохера, я могу составить список если надо.
Топологическая К-теория это по сути раздел К-теории С* алгебр. Алгебраическая это вообще другая тема и больше связана с мотивами Воеводского или например с циклическими гомологиями (аддитивная К-теория), чем с этим. Про нее надо думать как про раздел линейной алгебры.
No offense, но создается впечатление что вы там реально нихуя не знаете и дальше автора и названия не читали. Где Милнор-Сташеф? С "когомологий Галуа" в списке по топологии вообще проиграл.
Аноним 24/11/16 Чтв 10:17:26 37916
Вообще, та же алгебраическая к-теория это на 100% алгебра, и чтобы перекрыть всю современную математику надо такой же список по алгебре, либо совместить их. Я пробовал сделать, но бросил за бессмысленностью. Основная проблема: нужно сразу понимать, куда двигаться
Например:
Топология симплициальных и cw-комплексов → теория гомотопий → характеристические классы
Теория морса → топологическая к-теория → к-теория С*-алгебр
Но для этого сначала нужно классифицировать современные области/направления, что трудно и получится очень субъективно
Если не иметь узколобого взгляда ОП-пика типа "все интересные идеи либо высказаны до 80-х, либо относятся к зеркальной симметрии и теории струн", ничего не получится. Но можно иметь альтернативный этому взгляд, пусть столь же узколобый, но уже будет из чего выбирать, например.
Аноним 24/11/16 Чтв 10:20:27 37927
>>3788
>все они выходили в рамках одной и той же серии.
Масси и Столлингс там же выходили, тоже как и Милнор с Уоллесом, две книги под одной обложкой.
Курант и Роббинс говно, Люсьенн Феликс лучше.
Аноним 24/11/16 Чтв 11:44:40 37948
>>3790
>>3791
С точки зрения безграмотного быдла - несомненно.
Аноним 24/11/16 Чтв 12:47:46 37959
>>3794
>>3790
>Где Милнор-Сташеф?
в глаза ебешься

В конце работы решил сделать пик побольше, и не только по топологии, потом понял, что совсем заебусь, отсюда некоторые относительно лишние книги (Гомологическая алгебра, Когомологии Галуа итд), изучающему азы это точно не нужно, как и, например, топологическая библиотека Новикова-Тайманова.
Алсо, Милнора и Атью я так поставил, потому что сам читал в этом порядке, так или иначе обе нужно прочесть.
>Я пробовал сделать, но бросил за бессмысленностью
Распиши, что надумал, нормальный гуид сделаем.
>Масси и Столлингс там же выходили
Лол, и вправду, я и не заметил. МС года три назад читал, и то диагонально, потому что все оттуда знал. Оказывается это была одна из двух книг с несерийной обложкой, есть еще годнота по теорверу.
>узколобого взгляда ОП-пика типа "все интересные идеи либо высказаны до 80-х, либо относятся к зеркальной симметрии и теории струн"
Полегче! Это было легкое чтиво по азам, в некоторых местах чуть дальше (и то это следовало убрать). Ничего серьезного, из чего можно было бы делать такие выводы, тут нет.
Алсо, ты на dxdy есть? Или это ниже твоего достоинства
Аноним 24/11/16 Чтв 13:11:18 379610
14799420741900.png 60Кб, 528x299
528x299
бля, лучше бы оставил ее в таком виде, на тот момент на ней почти ничего лишнего не было, а потом понеслась
Аноним 24/11/16 Чтв 14:29:38 379911
>>3795
>Полегче! Это было легкое чтиво по азам
Я имел в виду первый ОП-пик, то есть Мишу Вербицкого и его мнение об устройстве математики как условно "теории струн" и того, что "появилось не позднее 70-х".
По алгебре я бы сделал так: 1) линейная алгебра и теория представлений 2) коммутативная алгебра 3) гомологическая алгебра 4) алгебраическая к-теория.
1) Isaacs Abstract algebra, Rotman, Adkins-Weintraub, Pierce Associative algebras
2) Атья-Макдональд, Matsumura Ring theory, Singh, Altman-Kleiman, Kemper, Berrick-Keating
3) Гельфанд-Манин Методы, Weibel Homological algebra, Rotman, Northcott, Osborne, Hilton-Stammbach
4) Стейнберг, Милнор, Басс, Weibel K-book, Magurn, Rosenberg, Srinivas, Loday
Аноним 24/11/16 Чтв 14:53:18 380012
Что касается математики в целом, предлагаю такую классификацию:
1) Когомологии Галуа, мотивные когомологии, мотивы с конечными коэффицентами
2) Циклические гомологии, аддитивная к-теория, лямбда-кольца, некоммутативная геометрия
3) Этальные когомологии, l-адические когомологии, Делинь Гипотезы Вейля-2, правда в основном уже завершено
4) Эллиптические когомологии, топологические модулярные формы, Лурье
Геометрический Ленглендс им. Дринфельда и зеркальную симметрию им. Виттена предлагаю считать картофаном, pursuing stacks/les dérivateurs, tame topology и Мочидзуку – пока не мейнстримной периферией.
Соответственно программу изучения надо написать под это.
Аноним 24/11/16 Чтв 16:16:33 380113
1415.png 2077Кб, 2189x1646
2189x1646
>>3784 (OP)
В общем вот, ОП. Сделал все, что мог.
Аноним 24/11/16 Чтв 16:45:56 380214
Чем топология отличается от геометрии?
Аноним 24/11/16 Чтв 17:07:06 380515
>>3802
Топология бывает общая (раздел теории множеств, скорее язык, чем область), алгебраическая (cw-комплексы, гомологии) и дифференциальная (гладкие многообразия, кривизна). Геометрия же это изучение групп преобразований, то есть раздел теории групп.
Аноним 24/11/16 Чтв 18:45:51 380816
ИТТ схлестнулись два любителя ключевых слов с тифаретника. Список ужасный, избыточный и содержит кучу говнокниг. Пять нижних этажей можно выкинуть без потери ценностей, этажи же выше надо просто просеить на книги старше 80х годов.
Аноним 24/11/16 Чтв 19:09:32 380917
>>3808
Да не схлестнулись, мне просто не понравилось что он сортировал не по содержанию, а по серии в которой книга издавалась, обложке и автору.
Аноним 24/11/16 Чтв 19:41:16 381018
>>3809
по содержанию книги на каждом уровне дублируют друг-друга процентов на 90%.
Аноним 24/11/16 Чтв 19:52:37 381119
Очень интересно. А что там с алтопом, например?
Аноним 24/11/16 Чтв 20:03:27 381220
Где можно найти книжки "Топологическая библиотека", которые про кобордизмы и прочее?
Аноним 25/11/16 Птн 00:47:49 381721
Соре, спал, не мог ответить. Итак, а теперь обо всем по порядку:
>>3808
>ИТТ схлестнулись два любителя ключевых слов с тифаретника
На тифаретник я заходил всего 1 раз, если ты не понимаешь о чем идет речь, это не значит, что это рандомный набор слов, нес па?
>Список ужасный, избыточный и содержит кучу говнокниг
Я не говорил, что нужно осваивать все, еще раз
>вы можете прочитать только Фукса-Рохлина, потом Фукса-Фоменко
И добавил почти все классические учебники, чтобы никого не задеть. Перечисли, что считаешь говнокнигами.
>Четыре нижних этажей можно выкинуть без потери ценностей
А я о чем
>5-ый этап! (В принципе, можно сразу с него и начинать)
Нижние этажи добавлены исключительно для школоты, чтобы та хоть что-то понимала, а не строчила про гамалогии и ящики.
>>3809
>он сортировал не по содержанию, а по серии в которой книга издавалась, обложке и автору
ДА НЕТ ЖЕ БЛЯДЬ!
>общей топологии справа, по алгебраической в центре и некоторые по дифференциальной справа
То что я назвал Триадой идеально подходит для первого чтения, поэтому они стоят там вместе, причем их и перевели на русский, в рамках серии начальных курсов, отсюда и совпадение.
О ОБЛОЖКАХ И АВТОРАХ ВООБЩЕ РЕЧИ НЕ ИДЕТ! Я изначально все выписывал в блокнот, а потом уже по нему выстраивал пик. Единственное, где может быть совпадение обложек, кроме серии Мира, это Зейферт-Новиков, которые идеально подходят, чтобы читать их подряд, а также 2 книги Понтрягина (тут вообще без вопросов)!
>>3810
>по содержанию книги на каждом уровне дублируют друг-друга процентов на 90%.
Вы что сговорились что ли? Все в глаза ебетесь?
>по одной алгебраической здесь много аналогов по одним и тем же темам
>>3812
А вот с этим проблема, на сколько я знаю нигде, только платно скачать с одного сайта. Но эти книги представляют собой сборники статей и монографий, так что ты можешь скачать пробную версию (вроде должна быть) и по оглавлению спокойно выгуглить каждую книгу. А вообще, я наверное сам расщедрюсь и как-нибудь их куплю, чтоб выложить в открытый доступ. Сканировать я точно не буду, заебусь.
Вообщем подожди недельку-три я раздобуду.
Итак, господа, окей, вот у нас новый ОП-пик, в принципе справедливо, хотя некоторые вещи я бы не стал выметать. Чуть позже немножечко, с вашего дозволения, доправлю. А для школоты, наверное, сделаем отдельную пикчу. И тогда всех все устроит.
Аноним 25/11/16 Птн 01:10:12 381822
toplib (1).JPG 149Кб, 699x947
699x947
toplib (2).JPG 141Кб, 697x905
697x905
toplib (3).JPG 166Кб, 717x1009
717x1009
>>3812
На всякий случай выкладываю список сюда
Аноним 25/11/16 Птн 01:19:29 381923
А ну и еще напомню, что когда я решил пойти за начальный уровень, книги я добавлял несколько рандомно, чтобы они присутствовали в списке, при этом жертвуя логичностью их расположения, об этом дважды написано в ОП посте.
Аноним 25/11/16 Птн 01:54:59 382024
>>3817
>Чуть позже немножечко, с вашего дозволения, доправлю
А вообще нет, пусть лучше
>>3791 >>3800 - кун напишет (хотяб список, не пикчу) свой вариант,
>бросил за бессмысленностью
теперь есть резончик
а там уж разберемся
Аноним 25/11/16 Птн 05:04:35 382425
более подробно и конкретные вещи
Аноним 25/11/16 Птн 14:55:53 383326
Поясните довну, чем можно вообще сложить трёхмерные спирали, проекция которых в 2D будет обычным синусом? Надо сложить три спирали с разной частотой и желательно видеть что происходит-то вообще
и потом запилить проекцию обратно в 2D.

мне чисто для себя, я поехавший, вдруг понадобилось, не знаю как это сделать, и как их блядь вообще складывать-то, т.к в 2D взял, легко сложил и похуй, а в 3D что делать-то?
Аноним 25/11/16 Птн 18:36:05 384227
>>3817
>Перечисли, что считаешь говнокнигами.
Лень каждую книгу открывать, но как минимум книги Понтрягина, он просто блядь ужасно пишет, как можно этого не видеть. Что-то по алгтопу помимо Хатчера. Куча какой-то хуйни по общей топологии, даже мехматовский учебник.
Аноним 25/11/16 Птн 23:04:47 384928
>>3842
>какой-то хуйни по общей топологии, даже мехматовский учебник
>Что-то по алгтопу помимо Хатчера
В принципе на это и отвечать не нужно, но я таки прокомментирую
ебать даун
Аноним 25/11/16 Птн 23:35:20 385229
>>3842
>книги Понтрягина, он просто блядь ужасно пишет
То есть ты даже конкретно эти не читал? Лол. Гладкие манифолды - это вообще обязательно к освоению, первая книга в Топологической библиотеке. Крч:
>мяяяяяяям, сложнаа!!1
Аноним 25/11/16 Птн 23:44:16 385330
>>3849
>Александров, Урыссон
Может сразу Пуанкаре читанем, возбудимся? Для современного взгляда на эту "дисциплину" есть тошнотворный Мункрес, для историков математики.

>>3852
Есть Ли, есть Ту, есть Мищенко-Фукс на худой конец, нахуй читать этого шизофреника?
Аноним 26/11/16 Суб 01:14:50 385431
>>3853
>Мищенко-Фукс
Опять путаешься в показаниях. Главный шизофреник это Фоменко, который числится соавтором. Насчет его компетентности сомнений ни у кого нет – он умеет только приписывать себе результаты, которые им не были получены.
Что касается Понтрягина, то это дело вкуса, кому-то он нравится. Цель опа, как я понял, дать много различных вариантов.
Насчет историков: книги могут устареть в некоторых случаях, как например книги по алгебраической геометрии до ~1956 года. "Fibre bundles" Стинрода представляет пример первой монографии на эту тему, написанной до развития теории и получения ряда результатов, так что логичнее читать Husemoller'а. Кроме того, там еще не устоявшаяся терминология, что отражено в названии – "косое произведения" – так уже никто не говорит.
Теперь посмотрим на Зейферта и Трельфалля для сравнения. Устарела книга? Ни в коем случае, и это невозможно в принципе. Материал элементарен, уровень формализма снижен до наглядного.
Можно читать Хэтчера если нравится геометрический подход, Мэя если теоретико-категорный и Спеньера в остальных случаях.
Я бы еще рекомендовал Теорию гомологий Прасолова как крайне удачную. Устарели эти книги, Спеньер, например? Едва ли.
Но вот с тем, что предполагается изучать дальше, ситуация иная. Например гомотопическая алгебра Квиллена. Нужно ли учить модельные категории? Есть мнение, что нет.
Короче, чем проще материал, тем меньше приходится волноваться об актуальности.
А про общую топологию – все, что нужно знать по общей топологии, есть в книге Васильева для младшекурсника и занимает шесть страниц примерно.
Аноним 26/11/16 Суб 02:51:06 385532
>>3854
Мил человек, распиши уж, что хотел. прогу-то
Или свой заброшенный вариант.

>>3853
Насчет Александрова-Урысона, не могу сказать, что она совсем устарела, эта небольшая книженция все еще подходит для первого чтения, поэтому она там стоит. К тому же совсем не косноязычна как раз для тебя
Аноним 26/11/16 Суб 06:55:28 385833
>>3818
О, класс. Спасибо. Если вдруг появится возможность всё выложить - вообще охуенно. Но это уже просто вопрос удобства Дай тебе бох здоровья, добрый человек.
Аноним 26/11/16 Суб 08:31:19 385934
>>3854
> Насчет его компетентности сомнений ни у кого нет – он умеет только приписывать себе результаты, которые им не были получены.
Серьёзно? Кстати, почему до сих пор то и дело всплывает Зайферт-Трельфалль? Оно же выглядит, как копролит.
Аноним 26/11/16 Суб 08:53:45 386035
Аноним 26/11/16 Суб 09:08:54 386136
>>3859
Потому что оно не стареет, а стиль изложения делает его идеальным для первого чтения.
Аноним 26/11/16 Суб 09:15:49 386237
>>3861
Ну фиг знает. По-моему как-то сильно на любителя. Да и для первого чтения по чём, собственно? По алтопу есть же куда более современный хатчер, по общим тапалогиям - уйма других книг. У ЗТ закономерно отсутствует современный категорный язык, на некоторые недостатки определений указано в сносках Алексндровым(?) на самом деле вообще хер пойми, кто эту книгу переводил и почему, я что-то так и не нашёл вменяемых выходных данных и каких-то сведений, кроме ссылки на грант
Аноним 26/11/16 Суб 09:22:35 386338
Зейферт-Трельфалль это лучшая книга по комбинаторной топологии для начинающего. Те самые симплициальные гомологии в лицах.
Еще подобного: Тёрстон Трехмерная геометрия и топология, Needham Visual complex analysis, ряд книг Stillwell'а и Edwards'а по алгебре.
Про "первое издание до 1982-го = копролит" выглядит как глупое подражание вербицкому, если бы не противоречило его же позиции.
Для тебя и Хирцебрух по АГ например копролит. Ты же сразу выучил алгебру по Алуфи, топологию на языке локалей и теорию галуа для топосов, правильно?
Аноним 26/11/16 Суб 09:27:55 386439
>>3862
>общим тапалогиям
Какая там общая топология, ты охуел, лолка? Твоя теория категорий это и есть то же самое говно, что и общая топология.
В ЗФ топология комбинаторная, и там сразу даются результаты. А не куча немотивированных определений без теорем, как в теории множеств, общей топологи, книгах Мальцева и Куроша по общей алгебре, теории категорий по Awodey и прочим. Точно такое же бессодержательное говно.
Теория категорий нужна только в гомологической алгебре, в комбинаторной топологии она не нужна нахуй, это не экстремизм уже, а просто безграмотное ебланство, уровня теории Галуа для топосов.
Аноним 26/11/16 Суб 09:36:43 386540
>>3863
> Про "первое издание до 1982-го = копролит"
Друг, я не понимаю, при чём тут вербитка, но книга впервые вышла в свет в 1930-каком-то году на немецком. Она реально стара. На этом фоне несколько удивляет, что кто-то зачем-то откопал её полвека спустя ну и учитывая упомянутые моменты. Такое впечатление, что она появилась только потому, что кому-то надо было освоить грант. Ты и анализ по книгам Коши изучаешь что ли, ну?

>>3864
> в комбинаторной топологии
Привет. Как там в пятидесятых?
Может тебе в алтопе и алгебра не нужна?
Аноним 26/11/16 Суб 09:57:13 386641
>>3865
Я понимаю, что ты умеешь смотреть только на год издания, поэтому и расписал настолько подробно. Твои рофлы про пятидесятые не при чем. Агебра это модули над коммутативными кольцами, их порождающие и соотношения. Теория категорий это не современная алгебра, это современная общая топология.
Тем не менее, язык окрестностей более понятен интуитивно, нежели язык открытых множеств, локалей или чего-то еще. Точно так же комбинаторная топология не теряет актуальности, хотя она намного старше тридцатых.
Фактологически там ничего не устарело, так же как не устарела теорема Пифагора. Ничего нового включать туда не нужно.
Можно изложить то же самое на трех страницах с категориями, но понятнее не будет от этого, а значит это дрочерство типа универсальной алгебры. И нет никакой потребности каждый раз переписывать одно и то же в новом формализме, это не улучшает ситуацию с распространенем знаний, а ухудшает.
Аноним 26/11/16 Суб 10:18:58 386842
>>3866
Ну ладно, не серчай. Просто я честно хотел ознакомиться с ней, но не осилил, лол,подзабил, потому что книга показалась мне довольно неудачной. Я только хотел узнать, есть ли там что-то стоящее из-за чего стоит прокатиться голой жопой по наждаку, раз уж эта книга снова всплыла тут.
Аноним 26/11/16 Суб 19:53:34 389343
>>3784 (OP)
Братик, бахни на картинку легенду и пронумеруй этапы, будет лучше намного.
Аноним 27/11/16 Вск 04:08:37 391444
>>3893 ---> >>3801
А еще есть прекрасный гайд, как вкатиться, в предисловии переводчика в русскому изданию "Теории гомологий" Дж. Вика, на первых двух страницах там все подробно расписано.
Что касается ОП-пика я жду постов от >>3800-антуана, если не решиться, то худо-бедно допилю его пик к следующему трэду.
Аноним 27/11/16 Вск 13:20:49 392045
topvick (1).JPG 241Кб, 845x1137
845x1137
topvick (2).JPG 214Кб, 801x1157
801x1157
topvick (3).JPG 146Кб, 929x809
929x809
>>3893
>>3914
Внезапно обнаружил, что Вик Дж. нэма в интернете, ЕСПЧ книга 2005 года, ХЗ какого хера ее еще никто не отсканировал. Если нужно будет найдешь английскую, а пока прилагаю то самое предисловие с гайдом (обзором)
Аноним 27/11/16 Вск 16:38:46 392846
Аноним 27/11/16 Вск 18:06:01 393447
>>3817
> нес па?
Привет дедам! Да здравствуют деды!
Аноним 28/11/16 Пнд 01:40:01 398348
Аноним 28/11/16 Пнд 02:21:56 399149
Аноним 28/11/16 Пнд 02:22:45 399250
>>3928
увы, в оригинале нет проги
Аноним 28/11/16 Пнд 04:15:26 399751
>>3983
Хыч! Колдуем!

>>3991
Я же его не по одной этой фразе сдетектил (но по ней - в том числе). К тому же мой пост хоть и был написан в весьма ироничном тоне, но никакой негативной коннотации в себе не нес, нес па?
Аноним 28/11/16 Пнд 10:27:25 401252
>>3992
Да не прога это. В любой книге есть такие рекомендации.
Аноним 28/11/16 Пнд 11:18:52 401753
>>3784 (OP)
Внезапно! Учебник Вербита появится в печатном виде в 2017 году
https://publications.hse.ru/books/195425930
Надеюсь, тогда же выпустят вторую часть Городенцева, а то с ней чо-то совсем перетянули
Ура, товарищи!
Аноним 28/11/16 Пнд 15:25:50 402954
>>4017
А чё ура? Преподавательский талант Мишки под большим вопросом. Его тяга к новым методам, конечно, похвальна, но этого недостаточно.
Аноним 28/11/16 Пнд 15:35:57 403155
>>4029
это здесь не причем,
ты сам учебник-то читал? годнота же
видать, кроме программы, ничего о нем не знаешь, да и кст у него есть новая вторая версия, куда более адекватная, но речь не об этом
как о лекторе, о вербицком существуют разные мнения, но это не имеет отношения к учебникам, достаточно вспомнить Прасолова, который своим гнусавым голосочком и невнятными пояснениями не одно поколение студентов запорол, но при этом пишущий прекрасные учебники, на которых не одно поколение студентов выросло условно говоря
Аноним 28/11/16 Пнд 15:40:42 403256
>>3920
>ЕСПЧ
сука, как же долго я орал :)
натуральная вата головного мозга, когда "европейский суд по правам человека", сука, путает с "если мне не изменяет память" ЕМНИП
бля, и никто кроме меня не заметил?
https://www.youtube.com/watch?v=lN-Y242GOgk
Аноним 28/11/16 Пнд 15:56:01 403657
>>3914
Ну раз уж это тред имени Вербицкого, давай попробуем проапгрейдить его первую программу из 2002-го. Нет, вышкинская это не программа вообще, и она никуда не годится.
Старшеклассник:
Александров Теория групп, Постников Теорема Ферма, Прасолов-Тихомиров Геометрия, Понарин Геометрия, Понтрягин Обобщения чисел, Понтрягин Анализ бесконечно малых, Каток p-адический анализ в сравнении с вещественным, Конвей Кватернионы и октавы. Для владеющих английским: Krieger Doing mathematics, Jost Mathematical concepts.
Первый курс:
1. Линейная алгебра на языке модулей: Вавилов Не совсем наивная линейная алгебра, Зуланке-Онищик Модули и алгебры, Городенцев Лекции по алгебре, Rowen Graduate algebra, Isaacs Algebra: a graduate course.
2. Линейная алгебра в геометрическом сеттинге: Халмош Конечномерные векторные пространства, Гельфанд Линейная алгебра;
3. Топология: Crossley Essential topology, Виро-Харламов-Нецветаев-Иванов Элементарная топология, Матвеев Топология, Скопенков Топология с геометрической точки зрения, Васильев Топология для младшекурсника, Aulls Handbook of the History of General Topology.
4. Ликбез по оставшимся разделам: Stillwell Naive lie theory, Богопольский Теория групп, Голод-Климык Математические основы теории симметрии, Вигнер Этюды о симметрии, Прасолов-Шварцман Азбука Римановых поверхностей, Артин Теория Галуа, Кириллов Что такое число, Шафаревич Основные понятия алгебры.
Второй курс:
1. Алгебры Ли: Хамфри Введение в теорию алгебр Ли и представлений, Erdmann Introduction to Lie Algebras, Bump Lie groups.
2. Алгебраическая топология: Панов Топология-2, Прасолов Теория гомологий, Казарян Расслоения характеристические классы и кобордизмы, Hatcher Algebraic topology, Dieck Algebraic topology, May-Porto More concise algebraic topology.
3. Дифференциальная топология: Tu Introduction to manifolds, Nicolaescu Geometry of manifolds, Jeffrey Lee Manifolds and differential geometry, Ramanan Global calculus, Wedhorn Manifolds sheaves and geometry, Michor Topics in differential geometry.
4. Алгебраическая геометрия. Kunz Introduction to commutative algebra, Kemper A course in commutative algebra, Bosch Commutative algebra and algebraic geometry, Mumford Algebraic geometry Part II, Gortz-Wedhorn Algebraic geometry, Eisenbud-Harris 3264& all that, Фултон Теория пересечений.
5. Теория чисел: Серр Алгебраические группы и поля классов, Манин-Панчишкин Введение в теорию чисел.
6. Классические группы: Артин Геометрическая алгебра, Grove Classical groups and geometric algebra, Желобенко Введение в теорию представлений, Основные структуры и методы теории представлений.
Третий курс:
1. Топологическая К-теория: Connes Noncommutative geometry, Каруби К-теория. Введение, Wegge-Olsen K-theory and C*-algebras: a friendly approach, Blackadar K-theory for operator algebras.
2. Гомологическая алгебра: Osborne Basic homological algebra, Weibel Homological algebra, Hilton-Stammbach A course in homological algebra, Adem Cohomology of finite groups, Evens Cohomology of groups.
3. Дрозд-Кириченко Конечномерные алгебры, Обзор Уфнаровского ВИНИТИ Алгебра-6, Pierce Associative algebras, Полищук-Посицельский Quadratic algebras
Четвертый курс:
1. Алгебраическая К-теория: Magurn An algebraic introduction to k-theory, Weibel K-book, Loday Cyclic homology, Rosenberg Algebraic k-theory and it's applications, Algebraic K-theory and crystalline cohomology
2. Tamme Introduction to etale cohomology, Freitag-Kiehl Etale Cohomology and the Weil Conjecture, SGA 4.5
3. Matsuki Introduction to the Mori Program.
Пятый курс:
Миша Вербицкий Лекции по топологии, Миша Громов Гиперболические группы и смысл кривизны, Бураго-Иванов-Иванов Метрическая геометрия, Гельфанд-Шень Алгебра, Зельдович Математика для теоретических физиков, Яков Перельман Занимательная математика, Гриша Перельман Thurston's geometrization conjecture: a sketch of proof based on Hamilton's technique.
Аноним 28/11/16 Пнд 16:16:32 403958
>>4036
ееееееееее, я на 5-ом курсе
Аноним 28/11/16 Пнд 16:19:32 404059
>>4036
и там по-моему емнип 2 бураго и иванов, а не наоборот
вообщем, допили 5-ый, я подгоню пикчу, и будет у нас новая паста
Аноним 28/11/16 Пнд 16:21:45 404160
>>4040
Второй Иванов это sowa.
Аноним 28/11/16 Пнд 16:24:27 404261
>>4041
а он здесь причем? я чего-то не знаю?
у меня эта книга есть, читана,
сова - это некто Николай Иванов ВЭ, а там С.В.Иванов
Аноним 28/11/16 Пнд 16:25:23 404362
это такая тонкая шутка? аки Перельман с Шенем на инфинити?
Аноним 28/11/16 Пнд 16:28:38 404463
а зуланке онищика, разве сразу после Вавилова можно читать? мне кажется, лучше обе указать, лишним не будет
сука жалко 3-ей не вышло, или пишут? вроде оба живы. ты часом ли не знаешь?
Аноним 28/11/16 Пнд 16:28:42 404564
Аноним 28/11/16 Пнд 16:29:55 404665
>>4044
На немецком вышла давно. По содержанию она не особо интересна, много такого. А второй том уникален среди переведённой на русский литературы имхо.
Аноним 28/11/16 Пнд 16:38:12 404766
Аноним 28/11/16 Пнд 16:41:33 404867
Аноним 28/11/16 Пнд 16:46:11 404968
>>4048
благодарствую
завтра займусь пастой
Аноним 28/11/16 Пнд 16:55:21 405069
>>4032
Заметил, но я не понял, что в данном контексте может означать ЕСПЧ. Подумал, так и надо, не стал заморачиваться.
Аноним 28/11/16 Пнд 21:23:34 406970
>>4031
>при этом пишущий прекрасные учебники
Он когда их пишет походу все время норовит заглянуть в "всесоюзные математические олимпиады".
Аноним 28/11/16 Пнд 21:30:44 407171
>>4036
Ну то, что написано в старшеклассник в большинстве бесполезно. Там же в половине книг без зазрения совести употребляется вполне строгая терминология. Выходит обычный парадокс для обзоров высшей математики: школьник это читать не может (если он не матшкольник), а первокуру это читать бесполезно, когда есть учебники.
Аноним 28/11/16 Пнд 21:53:32 407572
>>4071
Да никакого парадокса. Матшкольник это просто название. Есть люди, которые это реально в школе знают, но большинство нет. Это просто этап развития. В США до graduate никакой математики нет. Тот же Isaacs в предисловии к Алгебре своей пишет, что когда поступал в аспирантуру Гарварда знал только определение группы, но даже фактор-групп и, тем более, модулей, он не видел. Салливан вроде тоже в 20 с чем-то заинтересовался математикой.
Если прочитать легкую книжку-брошюру по теории групп от определения до теорем Нетер о гоморфизме, то с graduate будет проще, поэтому не бесполезно.
Аноним 29/11/16 Втр 00:22:23 409473
Алсо для первого чтения по топологии просто годнейшая книга: Janich, Levy - Topology. Она и Виро, Иванов, Харламов подойдет в качестве undergraduate.
Аноним 29/11/16 Втр 00:37:38 409674
>>4094
Там есть про гамалогии?
Аноним 29/11/16 Втр 01:33:39 410275
>>4096
В Виро-Иванове точно нет, доходят только до фундаментальной группы. Полкниги общей топологии хуле. Для фанатов Рохлина и Кассона есть ещё полная аллюзий на Пруста "В поисках утраченной топологии" от тех же авторов. Чтоб потом Громова изучать на пятом курсе.
Аноним 29/11/16 Втр 01:41:46 410476
Накидайте книг где определяют производные функторы и доказывают теорему Гильберта о нулях еще до 100-й страницы. Начну: Лекции Елагина Алгебра-2 и 3.
Аноним 29/11/16 Втр 03:05:00 410677
IMG6810.JPG 87Кб, 435x837
435x837
>>4102
то есть я по-твоему зашкваренный петушок?
учебник и сборник избранных Владимира Абрамовича есть, но в другом месте
Аноним 29/11/16 Втр 04:28:20 410978
>>4036
Прочитал (пусть и немного диагонально) я твоего Люсьена-Феликса, и вправду годнота, но сравнивать ее с ЧТМ некорректно, немного разные цели.
Помимо этой, я бы в старшеклассника добавил еще Курс Серра, Теоретическую арифметику Арнольда старшего и некоторые геом книжки отсюда
https://docs.google.com/spreadsheets/d/1UWwIIAFwSwOQLK3m--LOaMOvHUivFDEz-JAnLa87i7Q/edit#gid=0
Аноним 29/11/16 Втр 07:48:59 411479
>>4109
Зач троллишь? Я понимаю на dxdy все пишут про Курс арифметики, но они же не открывали никогда, это grafuate book по вопросам теории чисел (l-функции, модулярные формы) то есть уровня того же Манина-Панчишкина, только короче. Вообще там сам важное это теория полей классов.
>прочитал твоего Люсьен
То была баба.
Аноним 29/11/16 Втр 08:43:08 411580
>>4114
На дхдв никто о нем не пишет,
но, да, он есть в гудбуксе, который составляли в основном участники, уже покинувшие форум (когда он был еще тортом)
Я её читал после ЭЭМ (которую, кстати, тоже можно добавить) - зашло, на тифаретнике видел где-то пост, мужик рассказывал, что будучи 10 классником в матшколе худо бедно осилил ее, так что все нормально. у МП на порядок запросы больше, нельзя их в один ряд ставить
Аноним 29/11/16 Втр 09:30:08 411781
>>4115
Ну я и Кирилова "Что такое число" поместил бы на первый курс минимум, для старшеклассника определение K(0) на второй странице это как-то чересчур.
Аноним 29/11/16 Втр 15:41:35 415882
>>4109
>>4049
Можно еще добавить Taylor Комплексный анализ (пучки и гомологии имеются), Gunter Harder Алгебраическая геометрия (более сложная, чем Гортц-Ведхорн). По алгебраической и дифференциальной топологии есть две книги индийца Anant Shastri, хороший выбор материала.
Аноним 29/11/16 Втр 18:37:41 417683
>>4109
>>4115
>>4158
опять пришел graduate пахом. Тред то по топологии, может сразу тогда Хатчера ебануть в 10ом классе? А хуле топтаться на месте, все что нужно, человек уже небось прочитал в википедии. Ну если сложно будет, то можно Лэнга почитать, Лэнг то вообще детский сад.
Аноним 29/11/16 Втр 18:40:39 417784
>>4109
И заодно, забыл спросить: а НАХУЯ ВООБЩЕ НУЖНА ТЧ? Может я остатл где-то от тренда, и специалисты по ТЧ не замкнувшиеся в своей области аутисты, которые даже друг-друга прочитать не способны?
Аноним 29/11/16 Втр 18:48:08 417985
>>4176
пффф, хатчера можно спокойно читать после ВНХИ, которая не требует какой-либо подготовки и решается достаточно быстро, тобишь, да, Хатчера действительно нужно начинать хотябы в 10, лучше раньше, и лучше не хатчера, а ФФ
не был бы я таким оболтусом в свое время, хатчера бы ебнул хоть в 8
Аноним 29/11/16 Втр 18:51:47 418386
>>4177
>специалисты по ТЧ замкнувшиеся в своей области аутисты, которые даже друг-друга прочитать не способны
что за взбезд? такого нигде нет, угомонись
Аноним 29/11/16 Втр 18:56:17 418587
>>4183
Ну тогда расскажи как содержимое "курса арифметики" поможет топологу.
Аноним 29/11/16 Втр 18:58:55 418788
>>4185
Речь шла о курсе математики вообще --> >>4036
Аноним 29/11/16 Втр 19:01:53 418889
>>4187
Курсе математики без анализа, ты хотел сказать?
Аноним 29/11/16 Втр 19:36:03 420290
>>4177
ТЧ это раздел АГ. Обязательной к изучению является теория полей классов, просто так получилось что ее включают в книги по теории чисел. А в советских книгах по теории чисел например Михеловича вообще полкниги ликбез по кольцам и идеалам.
Аноним 29/11/16 Втр 21:30:18 421691
В тему или нет: пятитомник Постникова "Лекции по геометрии" стоящий?
Аноним 29/11/16 Втр 21:56:18 422792
Пагни, составьте, пожалуйста, книжный курс для физиков, не состоящий из сотен тысяч наименований. То есть, по одной хорошей книге средне-начального уровня раздел будет достаточно. Сейчас читаю Мункреса по общей топологии, Сокольникова по тензорам и введению в риманову геометрию и "Высшую геометрию" Ефимова. Думаю начать "An Introduction to Manifolds" Tu и на полке лежит "Современная геометрия" Дубровина-Новикова-Фоменко.
Аноним 29/11/16 Втр 22:37:33 423993
>>4227
Мункрес это слишком дохуя даже для математика, уже же обсудили это.
Аноним 29/11/16 Втр 22:48:57 424194
>>4239
Да похуй, я все равно к общей топологии возвращаться не собираюсь, а пишет он хорошо и подробно. Прочитаю и забуду. Но, по-моему, в новом издании часть книги посвящена алгебраической топологии. Что по остальным разделам? Барретт О"Нейл по дифф. геометрии годен в качестве введения?
Аноним 29/11/16 Втр 22:50:58 424295
>>4241
на эту тему классика:
Milnor "Topology from a Differentiable Viewpoint"
Аноним 29/11/16 Втр 22:52:21 424396
>>4241
чет прочел геометрия как топология.
Так-то Tu и Lee.
Аноним 29/11/16 Втр 23:10:44 424797
>>4243
>Lee
Это который Джон и который наебашил кучу книг по многообразиям?
Аноним 30/11/16 Срд 01:01:35 425698
>>4247
тебе нужны со словом introducion
Аноним 30/11/16 Срд 08:42:30 426699
>>4216
еще как, а вообще это 6 томник, у пятого 2 части (вроде последняя про риманову), алсо есть у него 2 книжки по топологии примыкающие к серии (указаны на оп пике)
единственное что, некоторые его книги отличаются от того, что обычно преподают по этим дисциплинам, например, по аналит геом лучше параллельно читать другой учебник (ПСА толстую, Беклемишева, Ильина-Позняка)
Аноним 30/11/16 Срд 09:47:37 4267100
>>4256
Introduction to Smooth Manifolds
Introduction to Topological Manifolds
Riemannian Manifolds: An Introduction to Curvature
Они хотя бы отличаются существенно чем-то друг от друга?
Собственно, это все? Эти три книги + Ту + Мункрес (плюс Дубровин-Новиков-Фоменко в будущем, скажем) - это и есть необходимый минимум для первого серьезного знакомства со всей топологией для физика?
Аноним 30/11/16 Срд 09:53:57 4268101
>>4267
>первого и последнего серьезного знакомства со всей топологией
Пофиксил ради справедливости.
Аноним 30/11/16 Срд 13:26:16 4274102
>>4227
Кстати, двачую. Напишите теоретический минимум по топологии для нетополога. Желательно с одной книгой на русском и одной - на английском для всех подразделов.
Аноним 30/11/16 Срд 13:32:51 4275103
Бычкова и Шапиро читайте, нетопологии блядь...
Аноним 30/11/16 Срд 21:30:54 4295104
Поцыки, а есть че какое введение в аолтоп как хатчер, но не как хатчер? Ну, т.е., литералли введение, а не сразу там вот эти все сингулярные гамалогии Чеха-де Рама, но не такое мозгоёбное, как хатчер?
Сука, я уже на стену от него лезу; встретил бы ирл - ёбыч бы сломал нахуй. То у него (C, W)-пары обладают НЕР, а то он уже рассматривает ретракции цилиндров на консервные банки. Что за нахуй? Граница диска - это подкомплекс разве? Какая вообще ретракция Dn×I на Dn×0 ∪ ∂Dn×I. Пусть n=2, тогда Dn×I это ж цилиндр и он гомеоморфен шару, какая нахуй ретракция? Брауэр завещал, что не существует ретракции шара на его границу. А этот пидор нихуя толком не обесняет, только знай себе переписывает одно и то же по пять раз. Сука, ненавижу.
Аноним 30/11/16 Срд 21:35:59 4296105
>>4295
> (C, W)-пары
Блядь, CW-пары, конечно.
Аноним 30/11/16 Срд 21:40:45 4297106
>>4295
Прасолов начинает с симплициальных, сингулярные определяются ближе к концу. А так Спеньера можешь попробовать (Spanier).
Аноним 30/11/16 Срд 23:10:15 4301107
В общем, пока что составил такой курс "для физиков", основываясь на курсе по геометрии Постникова, который буду читать параллельно.
1) Аналитическая геометрия - "Аналитическая геометрия" Ильина-Позняка
2) Линейная алгебра - так как линейную алгебру я знаю хорошо (да и не суть), то сюда впихну либо "Topology" Munkres, либо "Introduction to Topological Manifolds" Lee + какую-то русскоязычную книгу по общей топологии на 300 страниц типа "Введение в теорию множеств и общую топологию" Александрова (просто Ли в предисловии к своим топологическим многообразиям пишет, что вопросам общей топологии в книге особо не уделял внимания).
3) Гладкие многообразия - либо "Introduction to Smooth Manifolds" Lee, либо "Introduction to Smooth Manifolds" Tu (но склоняюсь к первому, так как думаю, что после второго тома Зорича, последних томов Решетняка и, возможно, Шварца, Ту мне не сможет предложить что-то особо новое, хотя я не знаю, насколько книги Ту и Ли отличаются друг от друга, несмотря на серию Graduate Texts у Ли).
4) Дифференциальная геометрия - одна из трех Riemannian Geometry за авторством Jürgen Jost, Isaac Chavel или Peter Petersen. Пока не решил.
5) Группы и алгебры Ли - "Lie Groups, Lie Algebras, and Representations" Hall
6) Алгебраическая топология - "An Introduction to Algebraic Topology" Rotman.

Замечания и предложения?
Аноним 01/12/16 Чтв 01:19:57 4309108
>>4301
Выкинуть пункты 1, 2, 4 за бесполезностью.
Аноним 01/12/16 Чтв 08:34:03 4328109
>>4301
Напрасно Шапиро, Бычкова игнорируешь,
Алсо, учебники Новикова отчасти заточены под физиков и прикладников, тот же ДНФ (Совр. геом.) и "Структуры и поля" - очень хороший вариант для физика.
А вообще, здесь все зависит от области, в зависимости от нее программы могут кардинально отличаться. Ты сам-то чем занимаешься?
Аноним 01/12/16 Чтв 11:06:45 4332110
>>4328
Книги на русском я в основном в метро читаю. "Современную геометрию" ДНФ примерно так параллельно курсу и буду читать, она у меня есть в бумаге. Бычкова и Шапиро просмотрю.
>Ты сам-то чем занимаешься?
Металлофизика, физика твердого тела.
Аноним 02/12/16 Птн 21:38:58 4446111
>>4301
Бамп. Куда дальше (пусть и рано спрашиваю)? Что не учтено?
Аноним 02/12/16 Птн 23:40:14 4503112
>>3833
Оперативный бамп спустя неделю. Скажите хоть чё делать чтоб до этого допереть самому. у меня идей пока нету
Аноним 02/12/16 Птн 23:41:13 4505113
>>3833
> трёхмерные спирали идущие по одной оси
Фикс, кстати
Аноним 03/12/16 Суб 17:43:02 4568114
Может кто-нибудь объяснить, по какой глубокой метафизической причине многие теории (ко)гомологий совпадают?
залётный-не-тополог
Аноним 03/12/16 Суб 22:21:49 4583115
>>4568
Мне кажется причина в том, что все эти гомологии - они про линеаризацию теорий. То-есть мы рассматриваем нечто с точностью до вторых дифференциалов (ddf = 0), а линейная алгебра ведь вообще штука простая довольно.
залётный-хуй-с-горы
Аноним 04/12/16 Вск 16:07:51 4651116
IavCCXvRCOc2.png 124Кб, 1061x627
1061x627
Аноним 04/12/16 Вск 16:39:43 4659117
horennepalica.png 74Кб, 1737x621
1737x621
>>4651
Пролистал дальше. Проорал.
Аноним 04/12/16 Вск 17:04:35 4660118
Аноним 04/12/16 Вск 17:55:59 4661119
Безымянный.png 30Кб, 358x150
358x150
>>4659
>эксперт
алсо, проиграл с хачовской морды
>>4660
проще зенмейт поставить, не?
Аноним 04/12/16 Вск 18:03:56 4662120
Аноним 05/12/16 Пнд 09:48:13 4701121
>>4301
Топчик по дифгему для физиков: Fecko "Differential Geometry and Lie Groups for Physicists" Гораздо лучше ДНФ, НТ. Постников торт, но связности в 4 томе так себе изложены.

>>4332
Вообще, странноватый список для твердотельщика. Ты, вроде, по всяким функциям Грина должен угорать. Или это всё, типа, уже знаешь? Или это абстрактный список для абстрактного физика? Тогда основа его на курсе Постникова, СИЛЬНО далёком от нужд физики, мотивированный совсем не связанными с физикой вопросами -- это фейл. Тогда уж на чём-нибудь таком основываться: http://www.goldbart.gatech.edu/PG_MS_MfP.htm
Аноним 05/12/16 Пнд 14:16:01 4709122
>>4651
Можешь спросить, что Вербит думает, о том, что >Математика наука о модулях над кольцами
? Было бы интересно усылшать его мнение.
Аноним 05/12/16 Пнд 15:10:52 4710123
>>4701
>Или это абстрактный список для абстрактного физика?
Да, "теоретический минимум" по топологии, так сказать.
>Ты, вроде, по всяким функциям Грина должен угорать. Или это всё, типа, уже знаешь?
Тред по топологии или по математике для физиков? По топологии. Зачем тогда здесь касаться чего-то другого?
>Тогда основа его на курсе Постникова, СИЛЬНО далёком от нужд физики, мотивированный совсем не связанными с физикой вопросами -- это фейл.
Отсюдова поподробней. По сути это просто более-менее полный курс геометрии, который и у физиков такой же самый.
>Тогда уж на чём-нибудь таком основываться:
Там половина разделов совпадает с англоязычными книгами, которые я приводил в дополнение к курсу Постникова. А остальная половина совсем из другой оперы с совсем другими книгами (типа вариационного исчисления).
Аноним 05/12/16 Пнд 15:22:48 4712124
>>4709
Спросил http://lj.rossia.org/users/tiphareth/1761692.html?thread=103504284#t103504284
а тебе рекомендую поставить зенмейт (или любую другую поеботу) и зарегистрироваться самому, помимо михайло сиргиивича, там полно зачетных пацанов, и куда проще читать всех через ленту.
Аноним 05/12/16 Пнд 15:56:13 4721125
>>4712
О, спроси его, пожалуйста, об этом списке >>4301 топологии для физиков (что добавить) из расчета одна-две книги на один подраздел.
Аноним 05/12/16 Пнд 16:31:57 4724126
Аноним 05/12/16 Пнд 23:54:12 4742127
1016476488.jpg 245Кб, 1033x1500
1033x1500
hovansky02.jpg 46Кб, 355x463
355x463
Аноним 06/12/16 Втр 00:10:05 4743128
267px-Khovansky.jpg 13Кб, 267x290
267x290
Аноним 06/12/16 Втр 00:34:46 4745129
>>4295
>Какая вообще ретракция Dn×I на Dn×0 ∪ ∂Dn×I. Пусть n=2, тогда Dn×I это ж цилиндр и он гомеоморфен шару, какая нахуй ретракция?

Подумай внимательно, что такое D^n×0 ∪ ∂D^n×I. Для n = 1,2. Лень рисовать картинку тут, но это ретракция на консервную банку с дном, но без крышки, и легко убедиться, что она есть (и не так сложно написать явную формулу).
Аноним 06/12/16 Втр 04:29:48 4752130
>>4710
> >Или это абстрактный список для абстрактного физика?
> Да, "теоретический минимум" по топологии, так сказать.
Т.е. чисто поржать, OK.

> Отсюдова поподробней. По сути это просто более-менее полный курс геометрии, который и у физиков такой же самый.
Я имел в виду, что мотивация курса, а, как следствие, выбор тем и расстановка акцентов, там таковы, что назвать это курсом геометрии, хотя бы похожим на теорфизический, нельзя. Там ДО ФИГА того, что нафиг не надо физикам, а чего-то нужного (симплектической геометрии, например) нет. Тут и математики-то охуевают от мысли от корки до корки Постникова прочесть. И речи не может идти о том, чтобы считать, что Постников может быть геометрическим теорминимумом для физиков. Так-то, на уровне названий книг, -- всё OK, конечно -- группы Ли, риманова геометрия. Но по содержанию -- это лютейший оверкилл. После которого человек, чудом, с грехом пополам осиливший его, хрен напишет коэффициенты связности в координатах.

Вербицкий, по ссылкам выше, кстати, о подобном пишет: "я наблюдал нереальное количество мудаков в окрестностях НМУ (а равно и писавших мне по емэйлу), которые считал, что они чего-то выучили, Но они были уверены, что любые два однокоренных слова в математике значат одно и то же, и не знали ни одного определения, и на вопросы типа "найдите все группы порядка 6" несли нереальную ахинею. ... Аналогичное говно случается с самоучками не в 3/4 случаев, а в 99,9% случаев." Причём это про чуваков, которые мэйнят математику.

К слову, то, что похожесть названий книг не влечёт похожести содержания даже на примере твоего списка, "основанном на курсе геометрии Постикова": Hall (отличная книжка, кстати) главным образом, про представления полупростых алгебр Ли и компактных групп Ли, в отличие от соответствующего пятого тома Постникова, хоть в начале, пока алгебры Ли экспоненциируют, общее есть.

> Тред по топологии или по математике для физиков? По топологии. Зачем тогда здесь касаться чего-то другого?
Список книг у тебя больно не топологический.

Про "топологию для твёрдотельщиков" можешь попробовать спросить у Антона Капустина. Он круто шарит и математику и твёрдое тело. Его ЖЖ: leblon.livejournal.com
Аноним 06/12/16 Втр 05:42:06 4754131
>>4710
Frankel "The Geometry of Physics: An Introduction" ещё заебись.
Аноним 06/12/16 Втр 13:46:23 4758132
>>4752
>И речи не может идти о том, чтобы считать, что Постников может быть геометрическим теорминимумом для физиков.
Что тогда может? На что следует опираться? Постников выбран как костяк, связный курс одного автора.
>>4754
Это что-то типа "Современных геометрический структур и полей" Новикова. В моем понимании такие книги следует читать уже после чистых математических введений по соответствующим темам. Хотя, содержание таких книг возможно и можно будет взять за основу, это да.
Аноним 06/12/16 Втр 17:30:37 4762133
Аноним 06/12/16 Втр 17:56:29 4763134
Заодно раскрыт мистер модуль над кольцом.
https://lj.rossia.org/users/dmitri_pavlov/14321.html?nc=46


Аксиома выбора нарушается более-менее в любом топосе Гротендика.
Простейший геометрический пример: топос пучков множеств на окружности.
Категория множеств в данном случае — категория этальных накрытий
окружности.
Соответственно, легко построить пример, в котором будет нарушаться
даже слабейшая форма аксиомы выбора.
Например, рассмотрим связное двулистное накрытие окружности
и его отображение в однолистное накрытие.
Это эпиморфизм (= сюръекция) множеств.
Но у этой сюръекции нет сечения.

Так что если вы хотите делать алгебраическую геометрию в семействах
(например, на той же окружности)
(а Гротендик многократно подчёркивал, что именно в семействах и надо её делать)
то от аксиомы выбора придётся отказаться.

Если это загуглить, то будет ссылка на наши треды.
Аноним 06/12/16 Втр 18:26:40 4766135
>>4754
А что еще годного от Френкеля есть?
Аноним 06/12/16 Втр 18:41:41 4767136
>>4763
>>4762
Ты бы спросил, я бы тебе сразу сказал. Про интегрирование и двойственность Пуанкаре я тоже у Павлова взял. Но за модули он нигде не топит, впрочем.
Аноним 06/12/16 Втр 18:45:19 4768137
Алсо
>раскрыт
Когда я это первый раз написал в /sci, про топос Гротендика, несколько ананонов начали полемику, на что я им скинул ссылку прямо на Павлова, и они продолжили оспаривать уже его компетентность.
>мистер
>раскрыт
Ты там Грэма Грина обчитался, или что?
Аноним 06/12/16 Втр 19:16:15 4770138
Ньюфажие открывает для себя frames & locales, спешите видеть. В полгода до nlab доберемся, а там глядишь и до stacks project не далеко!
Тот факт, что на ljr эти темы пропагандирует только один человек, может быть как-то связан с официальной позицией tiphareth (а заодно kaledin и других, периодически посещающих), можешь подумать над этим в свободное от деанонов время.
В том же livejournal таких людей будет уже минимум несколько, при чем не у всех математика – основная профессия.
Ну про mathematica.stackexchange и собственно nlab/stacks я уже молчу, это, видимо, за гранью твоео кругозора, мистер мамкин Пуаро.
И то, что в Беркли, который закончил Павлов, особенно силен этот департамент, тоже давно известно.
Аноним 06/12/16 Втр 21:00:10 4776139
14422494195080.jpg 89Кб, 500x484
500x484
Миша, конечно, демотивирует страшно. Наверное он прав насчёт самоучек по книгам. Без общения с сокурсниками и преподами трудно различить ситуацию в которой ты что-то понял и в который ты думаешь, что что-то понял. И решение задач/доказательство теорем не сильно поможет без проверки этих решений другими людьми
Аноним 06/12/16 Втр 21:03:23 4778140
>>4776
Расслаюся. Можешь обсудить на дваче/математических форумах/тифарете свой знания. Там же тебя могут направить. Просто раньше не было интернета, и самоучки не могли регулировать себя.
Аноним 06/12/16 Втр 21:03:48 4779141
Аноним 06/12/16 Втр 21:30:40 4781142
>>4779
и все равно с ошибкой :)
>>4778
алсо, двачую, сейчас никаких проблем с самообразованием нет, миша, конечно, сильно проутрировал. другое дело, что если ты собрался серьезно заниматься, то без ВУЗика и общения - никуда, и изолировать себя элементарно нет смысла (...хотя можешь попробовать)
Аноним 06/12/16 Втр 21:36:49 4782143
>>4776
Если осторожно выбирать, что читать, то никаких проблем, но главное решать много задач.
Аноним 07/12/16 Срд 00:57:15 4789144
Вербицкий мудак и идиот. Не слушайте его.

Читайте хорошие книги. Вербицкий вообще лох, вы его блог читали? Для него когомологии - это пиздец как сложно, пиздец-пиздец-пиздец. Сложно.

Пишет что надо определять только де Рамовские а то другие когомологии слишком сложные.

Мудак, блядь. Родина ему дала определение когомологий через бесконечные категории, учи, блядь, определение когомологий через бесконечные категории. Нет, блядь, хочу жрать архаичное дерьмо с кучей индексов из книг 50-х годов. Это математики, блядь?
Владимир Арнольд 07/12/16 Срд 01:00:26 4790145
Топология - это всего лишь геометрического обоснование математического анализа в R.
Многообразия нужны постольку, поскольку помогают решать дифференциальные уравнения.

Математика - это часть физики, главное в математике - это анализ и геометрия, то, что можно нарисовать, а Бурбаки - это вредители математики и черти ебаные! Сука, блядь, ебал их! Мрази, сука! Пучки они, блядь, знают! А Тривиум могут решить? Суки, пидарасы. Лягушатники ебучие.
Владимир Арнольд 07/12/16 Срд 01:05:35 4791146
Совсем, шизофреники, с ума сошли со своей "улгебраической паталогией". Фунторсы считают какие-то. Категории вычисляют! С ума сошли! Психопаты! Шизофреники!
А вы сколько задач из Тривиума решили? А, не видели Тривиум, говорите. То-то и оно! Вы не математики, вы черти.

Юным студентам могу посоветовать только читать про наглядную топологию, что получить интуицию, помогающую при решение дифференциальных уравнений. Всё остальное не нужно. Это не математика, а шизофрения.
Не забывайте, что математика - это аналитическое и геометрическое обоснование физики.
Самая главная область математики - это теоретическая механика. На втором месте - классический анализ и ОДУ.

А какие-то функторсы, паталогии, гомикологии и прочее - это что вообще? Большая фантазия французов, взбесившихся с жиру. Черти, а не люди.
Владимир Арнольд 07/12/16 Срд 01:08:37 4792147
Настоящая математика возможно только в величайшей державе - СССР. Потому что люди здоровые и физически, и нравственно, и решают вопросы, полезные народному хозяйству.

А не бесятся с жиру, рисуя стрелочки и паталогии гомокологий, называя это "современной математикой". Нет никакой математики уже давно. Есть механика - царица наук всех, наша Богиня. Математика и физика - это части механики. Всё нужно, чтобы ГЭС работали исправно, чтобы ракеты в космос летали. В этом и смысл науки!

СССР, Сталин, отечество, дифференциальные уравнения первого порядка, колхоз, народное хозяйство. Это 4 столпа науки и научного метода. Остальное - схоластика.
Аноним 07/12/16 Срд 01:21:42 4794148
>>4791
>>4792
>Владимир Арнольд

Долбоёб, Арнольд такого не говорил. Он говорил о том, что нужно разбавлять абстрктный формализм Бурбак реальными примерами и вычислительными задачами. Да и про гомологии он знает, а по когомология у него статьи есть. Например:
http://www.mathnet.ru/links/63caec4483e53aaf891e7f7d4aaf8c04/mzm6827.pdf
Тривиум, очередная книга для толстого троллинга, как и книга "задачи для детей от 5 до 15 лет".
Ты обосрался.
Аноним 07/12/16 Срд 01:51:36 4795149
>>4794

>абстрктный формализм Бурбак

Лучшее, что может быть вообще.

>реальными примерами

Реальными - это всякая унылая муть, типа "механики"? Нет уж, спасибо. На начальном уровне (алгебра, анализ) можно и без примеров, а дальше уже приводить примеры из алгебры и анализа.

>вычислительными задачами

Нормальная точка зрения, если представить на секунду, что академик Арнольд - прикладник. Но академик Арнольд - математик, а для математика вычисление - это что-то вроде... Ну, знаешь, в Индии есть каста неприкасаемых? Вот если какой-то сектант заикается про вычисления, то для математиков он становится "неприкасаемым". Это всё равно что ты в тюрьме взял хуй сокамерника и сам провел себе им по губам.

>Да и про гомологии он знает, а по когомология у него статьи есть.

Дай угадаю, он думает, что гомологии и когомологии - это такие специальные штучки для модулей.
Открою для тебя и Арнольда секрет в конце 50-х годов Гротендик упразднил модули и векторные пространства, обобщив все "гомологии" на теорию категорий.
И это, блять, конец 50-х годов. А всякие "почетные академики РАН" и в 80-х, и в 90-х всё ещё возились с векторными пространствами. Жулики, чего тут сказать.
Аноним 07/12/16 Срд 02:57:14 4800150
>>4795
Ты смеешь нести тюремную мораль в святую математику, ничтожный червь?
Аноним 07/12/16 Срд 03:01:58 4801151
>>4795
>Лучшее, что может быть вообще.
>Реальными - это всякая унылая муть, типа "механики"? Нет уж, спасибо
На вкус и цвет. Если тебе не зашло, не значит, что другим не зайдёт. Большинство математиков найдёт эти реальные примеры довольны занимательными.
>если представить на секунду, что академик Арнольд - прикладник
Да неужели?
>Владимир Игоревич Арнольд советский и российский математик, автор работ в области топологии, теории дифференциальных уравнений, теории особенностей гладких отображений и теоретической механики. Один из крупнейших математиков XX века.
По-моему тебе как, вербиторебёнку, просто пригорело с того, что математика не только, то где написаны слова: Гратендек, гамалогии, катигарии. Диффуры и вычислительная математика - тоже математика.
>Вот если какой-то сектант заикается про вычисления, то для математиков он становится "неприкасаемым". Это всё равно что ты в тюрьме взял хуй сокамерника и сам провел себе им по губам.
>сектант
У тебя маня-мирок и ты по сути ещё больший сектант, чем Арнольд. Есть дохуя вещей, которые приходится вычислять. И если ты топишь за то что, "2+3=3+2 потому, что ты умножение коммутативно", то все математики ссут тебе в ебальник. Просто поражаюсь, что такие дауны, как ты вообще есть.
Если фетишь Арнольда к вычисление вручную и вызывает неприязнь(он с этим перебарщивает), то школьник-бурбакист, кричащий, что вычисление вообще не нужны, вызывает презрение и ненависть.
>Открою для тебя и Арнольда секрет в конце 50-х годов Гротендик упразднил модули и векторные пространства, обобщив все "гомологии" на теорию категорий.
>РЯЯЯЯ ОНИ НЕ ИСПОЛЬЗУЮТ ТЕОРИЮ КАТИГАРИЙ, БЕЗ НЕЁ НЕ ТРУ, БИЗ НЕЁ НИ МОТИМАТИКА
Ты хоть сам понял, какую хуету написал? Зачем стрелять пушкой по воробьям, там, где можно обойтись без этого.




Аноним 07/12/16 Срд 03:12:18 4802152
>>4789
>Вербицкий мудак и идиот. Не слушайте его.
>Читайте хорошие книги. Вербицкий вообще лох, вы его блог читали?
Вербицкий при этом является работающим математиком с кучей публикаций, а ты — хуесос с двачей, который не может решить упражения по линейной алгебре, но зато насобирал много ПРАВИЛЬНЫХ книг.
Аноним 07/12/16 Срд 03:17:33 4803153
>>4802

Что ты несешь, маня? Какие упражнения по линейной алгебре? Какие "много ПРАВИЛЬНЫХ книг"? Я в этом треде первый раз пишу.

Просто Вербицкий - это жуткий лицемер. Он пишет, что математик не должен быть "узким специалистом", но сам зарылся в эту "дифференциальную геометрию", и для него она "царь и бог". То есть "когомологии не нужны, так как для дифгема нужны только дерамовские" и т.д.
Почитай его блог, короче. Он весь пропитан дрочем на дифгем. И при этом он смеет пропагандировать "широту взглядов" для математиков.
Аноним 07/12/16 Срд 03:20:01 4804154
>>4803
Школьник-категориядрочер, у тебя самого-то статьи есть? И не дифференциальной, а алгебраической, я понимаю, что ты ещё мал и таких слов не знаешь.
Аноним 07/12/16 Срд 03:25:05 4805155
>>4801
>На вкус и цвет. Если тебе не зашло, не значит, что другим не зайдёт. Большинство математиков найдёт эти реальные примеры довольны занимательными.

Ну всякое говно с мехматов, только и умеющее цифорки в уравняшки подставлять, может быть. Я думал, что мы говорим про людей, а не про скотину.
Но, видимо, со скотиной нельзя говорить о людях, так как она все суждения проецирует на себя, то есть на скотину.

>По-моему тебе как, вербиторебёнку, просто пригорело с того, что математика не только, то где написаны слова: Гратендек, гамалогии, катигарии.

Ты балабол. Вербицкий как раз - картофанщик ещё тот. Просто он родился позже Арнольда. Но он впитал математику 80-х годов и все его вкусы оттуда. Ничего другого он принимать не хочет.

>Диффуры и вычислительная математика - тоже математика.

Нет. То есть это не "наука-математика". Это "объедки с барского стола" для дураков, которые не осилили математику и пошли учиться на экономистов и инженеров.

>И если ты топишь за то что, "2+3=3+2 потому, что ты умножение коммутативно",

Блять, я блеванул. Сука, я реально блеванул. Припоминают эту шизофреническую байку арнольда только самые отбитые дауны. Сука, я реально, блядь, блеванул.

>ли фетишь Арнольда к вычисление вручную и вызывает неприязнь(он с этим перебарщивает), то школьник-бурбакист, кричащий, что вычисление вообще не нужны, вызывает презрение и ненависть.

Вычисления нужны. Но не для математиков.

>Ты хоть сам понял, какую хуету написал? Зачем стрелять пушкой по воробьям, там, где можно обойтись без этого.

Встречный вопрос: зачем стрелять по воробьям вообще? Если ты вообще собрался стрелять по воробьям, хоть из пушки, хоть и рогатки, то ты ебаный придурок, и должен пойти нахуй сразу.
Это объективные критерий: если ваша наука не использует хотя бы абелевы категории, то ваша наука - говно, а вы хуесос и жулик ебучий.



Аноним 07/12/16 Срд 03:28:39 4806156
>>4804

Господи, какой придурок.
Тут тебе и "сперва добейся" и слова, выученные по бложику Вербицкого. Почитай хоть на mathoverflow, что такое "дифференциальная", а что такое "алгебраическая"ю

От того, что шизофреник Мишенька назовёт аналитическое изучение комплексных многообразий "алгебраической геометрией", теорией схем и алгебраических многообразий, использующей коммутативную алгебру вместо анализа, оно не станет.

Вербицкий просто дрочит на Гриффитса, который обозвал комплексную дифференциальную геометрию "алгебраической".

Даже Каледин уже ткнул Вербицкого носом в этот бред.
Аноним 07/12/16 Срд 03:30:53 4807157
>>4805
>если ваша наука не использует хотя бы абелевы категории, то ваша наука - говно
Ты просто сам очень узколобый и совсем недавно открыл для себя Тохоку. Это просто общая аксиоматика, совсем базовая, а в 99% статей считаются конкретные когомологии, хоть модулей, хоть пучков, хоть пизды твоей мамки.
Аноним 07/12/16 Срд 03:37:51 4808158
>>4806
Любому человеку, кто в теме, понятно, что Вербицкий -- не алгебраист. И что по условной "широте кругозора" Каледин гораздо круче, но он куда скромнее в интернете.

Заебали обсуждать Вербицкого, лучше бы поменьше пиздели, побольше занимались математикой.
Аноним 07/12/16 Срд 03:42:44 4809159
>>4807
Тохоку, кстати - это прошлый век.
Сейчас когомологии определяются через бесконечность-один-категории.

Но мудаки до сих пор считают "когомологии линейного диффура, подставляя цифорки". И дрочат на примерчики и картиночки.

Идиоты, хуле.
Аноним 07/12/16 Срд 03:46:00 4810160
>>4808
>Любому человеку, кто в теме, понятно, что Вербицкий -- не алгебраист.
Ну вон дебилу, которому я отвечал, было непонятно. Он искренне верил, что Мишенька занимается "алгебраической геометрии". Очевидно, что дебил даже не знает, что такое алгебраическая геометрия он впервые встретил это слово неделю назад в блоге Вербицкого

>И что по условной "широте кругозора" Каледин гораздо круче, но он куда скромнее в интернете.
Каледин умные, но мудло ещё то
Я его уважаю, впрочем

>Заебали обсуждать Вербицкого, лучше бы поменьше пиздели, побольше занимались математикой.
Ты реально веришь, что кто-то из местных пиздюков, выучивших слово "пучок" вчера в блоге Вербицкого, реально собирается заниматься математикой? Большинство тупо пишет слова, о значении которых они даже не догадываеются
Аноним 07/12/16 Срд 03:52:30 4811161
>>4810
>Ты реально веришь, что кто-то из местных пиздюков, выучивших слово "пучок" вчера в блоге Вербицкого, реально собирается заниматься математикой? Большинство тупо пишет слова, о значении которых они даже не догадываеются

Можно и без пучков, порешать задачи по теории групп и линейной алгебре. Всяко полезней, чем обсуждать личности блогеров-математиков и коллекционировать названия "правильных" учебников.
Аноним 07/12/16 Срд 03:54:49 4812162
>>4809
Спасибо, анон, без твоих важных и глубоких суждений я бы не догадался, что статья, опубликованная в 1957 году — это прошлый век.
Аноним 07/12/16 Срд 03:55:01 4813163
>>4805
>Ну всякое говно с мехматов, только и умеющее цифорки в уравняшки подставлять, может быть.
Долбоёб, кто говорил о говне с мехнатов? Тупой хуесос, подставлять цифорки в уравняшки - это и есть абсрактная хуйня бурбаков. Под реальными примерами, я подразумевал то, где эти используется и зачем. Просто, тебе люто рвёт жопу с того, что у твоей санины нет приложений и нельзя рассказать простой и красивый пример из реальности, как можно с теми же диффурами.
>Я думал, что мы говорим про людей, а не про скотину.
>Но, видимо, со скотиной нельзя говорить о людях, так как она все суждения проецирует на себя, то есть на скотину.
Именно из-за таких высказываний ты не человек, а просто ЧСВшная писклявая шавка, которая думает, что из-за того, что она что-то выучила, стала сверхчеловеком.
>Ты балабол.
Нет, ты. И мемы с картофаном ты используешь неправильно.
>Нет. То есть это не "наука-математика"
Долбоёб, есть люди которым интересна вычислительная математика и которые разрабатывают методы и теории для неё. Но ты же нехуя кроме своих категорий, да и их тоже толком не знаешь и не хочешь знать, при этом считаешь, что выучив их, стал знать всё.
>Блять, я блеванул. Сука, я реально блеванул. Припоминают эту шизофреническую байку арнольда только самые отбитые дауны. Сука, я реально, блядь, блеванул.
Ещё бы ты не блеванул, ты со стороны именно так мерзко и выглядишь, хуже червя пидора. Дауны, которые не могут произвести простые вычисления должны страдать.
>Вычисления нужны. Но не для математиков.
>Это "объедки с барского стола" для дураков, которые не осилили математику и пошли учиться на экономистов и инженеров.
Ты, наверное, считаешь, что инженеры это те ребята, что сидят и дрочат циферки. Нет, их работа это создавать устройства с дрочем циферок они не имеют ничего общего. А когда им нужно посчитать циферки, то они идут к математикам, которые им считают, или предоставляют специальное оборудование для счета. С экономистами аналогично. Но ты же тупой и этого не знаешь. Хочешь того или нет, но один из аспектов работы математиков, считать.
>Встречный вопрос: зачем стрелять по воробьям вообще? Если ты вообще собрался стрелять по воробьям, хоть из пушки, хоть и рогатки, то ты ебаный придурок, и должен пойти нахуй сразу.
Увиливания дебила от ответа. Нахуй использовать категории в месте, где можно обойтись без них? Я повторяю вопрос, а то вдруг, такой даун, как ты не понял о чём речь.
>Это объективные критерий: если ваша наука не использует хотя бы абелевы категории, то ваша наука - говно, а вы хуесос и жулик ебучий.
>Это объективные критерий:
Проиграл. Во первых, наука ли математика это открытый вопрос. Во вторых, категории не используются в 99% наук. Значит, что это не науки дерьмо, а категорий - ненужный мусор в них, и тебе пригорает от того, что по факту они - мусор.






Аноним 07/12/16 Срд 04:00:00 4814164
>>4811
Ты не понял, что я хотел сказать.
Они даже не собираются чего-то там учить. Ни линейную алгебру, ни теории групп.
Для них это фетиш - пиздеть про Вербицкого, про Арнольда, про "злых Бурбакистов", типа они "в теме". А через неделю им надоедает и они продолжают быдлокодить и дрочить.
Они выучили слово "пучок", но не могут даже осилить теорию векторных пространств над полем действительных чисел в вузике.
Аноним 07/12/16 Срд 04:02:01 4815165
>>4813
Слушай, а хуле ты тут вообще забыл?
"Математика не наука"
"Примеры из реальности"
"Категории - мусор"

Не, реально, чего ты забыл в разделе про математику? Наткнулся в своей "охуенно важной" прикладной науке на какой-то диффур, которые не смог решить, пришёл сюда в надежде, что тебе помогут? Решил "потроллить мотимотиков", пока тебе не помогли?
Иди лесом, друг. Выглядит убого.
Аноним 07/12/16 Срд 04:04:06 4816166
>>4812
Блять
"Прошлый век" в смысле "морально устарело". Некоторые вещи и 40-х годов ещё полезны и целы.
Аноним 07/12/16 Срд 04:12:18 4817167
>>4815
Ты в своём стиле, вырвал слова из контекста, а по делу ничего сказать не можешь.
> Выглядит убого.
Вот и я о том же. Ты не можешь вести нормальную дискусию.
>"Математика не наука"
Ещё раз перечитай мой пост я не утверждал, что она ей не является. Ты даже не понял, зачем я это сказал.
>"Примеры из реальности"
Если ты не можешь найти примеры из реальности для категорий это не значит, что они дерьмо и не нужны.
>"Категории - мусор"
Ты опять вырвал из контекста.
>Это объективные критерий: если ваша наука не использует хотя бы абелевы категории, то ваша наука - говно, а вы хуесос и жулик ебучий.
>Во вторых, категории не используются в 99% наук. Значит, что это не науки дерьмо, а категорий - ненужный мусор в них, и тебе пригорает от того, что по факту они - мусор.
А ещё, к чему ты сказал это
>жулик ебучий.
И как же это связанно с категориями? Ты воспринимаешь отсутствие категорий, как попытку тебя наебать?
Аноним 07/12/16 Срд 04:19:15 4818168
И ещё раз уж ты топишь за категорий, то объясни, какие есть объективные причины описывать математику через их язык и объяснять через категорный формализм те вещи, которые можно объяснить без их использования.
Объяснения уровня "ну это же модно, щас так все делают, надо бьть мейнстримным унижать дедов, старьём нехуй заниматся" выдадут в тебе малолетнего долбоёба. Желательно, чтобы ты сказал, какую ценность это представляет для математиков.
Аноним 07/12/16 Срд 04:52:22 4819169
>>4818
Вот один пример. Как известно, пересечение подгрупп - снова подгруппа, пересечение подколец - снова подкольцо. Каков общий случай этой конструкции? Оказывается, это "подобъект".

Подобъект в категории множеств - это подмножество.
--//-- групп - это подгруппа.
--//-- колец - это подкольцо.
--//-- модулей - это подмодуль.
Подобъект представимого функтора - это решето.

Для подобъекта очень простым образом определяется понятие факторобъекта. Таким образом нам не нужно ебаться отдельно с определением подгруппы и факторгруппы, подкольца и факторкольца, и прочее. Достаточно нарисовать пару стрелочек.
Аноним 07/12/16 Срд 05:26:07 4823170
"Теория категорий" это как "теория множеств".
В любой математике есть множества, но это не значит что "теория множеств" вообще нахуй кому-то нужна кроме специалистов. Теория категорий и появилась для алгибры гамалогий и олгеброических тапалогий, для них только и имеет смысл и сдохнет вместе с ними.
Аноним 07/12/16 Срд 05:52:51 4824171
>>4823
Охуенная геометрическая спесь. "Люблю" такое.
А кто тебе сказал, что кому-то твоя "конкретная" алгебра или геометрия нужна, кроме специалистов.
Кто изучает потоки Риччи, кроме геометров?
Намек ясен?
Математика в основном и нужна только специалистам. Иногда что-то из одной области бывает полезно в другой, но не так часто. Кроме того, никогда не знаешь, когда твои потоки Риччи-Кэлера-РамзанаКадырова пригодятся кому-то, кроме специалистов в твоей области, а когда нет.

То есть я даже не собираюсь защищать теорию категорий, это слишком активная и "модная" область, чтобы я её защищал. А чем плоха теория множеств? Люди вполне занимаются чистой теорией множеств, и в ус не дуют. Чем "теория множеств" хуже какой-нибудь всеми любимой "алгебраической геометрии"?
Аноним 07/12/16 Срд 05:54:28 4825172
>>4818
Ты как дите малое. Тебя троллят, причём толсто и уныло, а ты ведешься.

При этом я сам фанат категорий, но если человек говорит, что всё, кроме категорий - не математика, то он троллит, как бы.
Аноним 07/12/16 Срд 06:01:22 4827173
>>4824
Геометры охуели просто. Думают, что математика состоит в том, чтобы рисовать картинки. "А я бублик нарисовал, мама, я теперь тополог!"
А остальное для них "сложно" и "абстрактно". Только они не хотят признаваться, они начинают кричать, что "остальное нинужна!!! нинужна я сказал!!!"
Аноним 07/12/16 Срд 06:04:01 4828174
>>4819
Пиздец
Какую хуету ты написал.
Я кстати сектант верящий что категории - это самое важное во вселенной, но блядь такую хуйню мне даже читать стыдно

Тебя попросили дать приложения категорий, а ты пишешь про какой-то "подобъект". Бля, ты его хоть определить можешь? Толку от этого "подобъекта", блядь? Охуел?

Категории не для подобъектов делались. Рассказал бы про алгебраическую геометрию, про топологию там. Подобъект, блять. Охуевший совсем.
Аноним 07/12/16 Срд 06:13:17 4829175
>>4828
Анон попросил объяснить, зачем объяснять "через категорный формализм те вещи, которые можно объяснить без их использования". Я показал на конкретном примере, что это банально удобнее. Короче, единообразнее.
>ты его хоть определить можешь?
Да. А можешь ли ты (без подглядывания на ncatlab)?
Аноним 07/12/16 Срд 06:48:33 4830176
>>4819
Унылейший пример. Уровень студента, который месяц назад выучил определение категории.
Аноним 07/12/16 Срд 06:50:37 4831177
409px-Dobeisa.jpeg 31Кб, 409x600
409x600
>>4830
Сделай лучше.
Аноним 07/12/16 Срд 11:06:37 4837178
>>4824
Никто не говорит, что нужно запретить заниматься людям теорией множеств. Но вот когда кто-то вылезает и говорит что теория множеств - это и есть настоящая матёшка, а всё остальное картофан, и что применяется она и везде и нужна каждому уважающему себя математику, потому что везде есть множества то его необходимо прилюдно обоссывать. Так как нинужна она нигде кроме самой теории множеств. Как и теория категорий почти.
Аноним 07/12/16 Срд 14:15:00 4845179
Кстати, кто может нюфагу поведать кулсторю о том почему ncatlab в дубках забанен?
Аноним 07/12/16 Срд 14:28:00 4847180
>>4782
>но главное решать много задач.
Как по мне, в этом-то вся проблема. В частности, для теоретических физиков, которые должны шарить хотя бы по верхам, но практически во всем. Начиная с калюкулюса и лин. аглебры, проходя сквозь вариационное исчисление, спец. функции и ТФКП, и заканчивая гладкими многообразиями, теорией представлений и прочим. Особенно если ты уже где-то в аспирантуре/НИИшке, из свободного времени для решения задач у тебя только 1-2 часа вечером и часов 5 на выходных. А задачники из себя представляют 100500 лимитов, интегралов или дифф. уравнений, и ты не знаешь за что браться и где брать время. А если ты еще самоучка, то тебе в любом случае нужны полные решебники, с которыми можно сверяться (благо в англоязычной литературе с этим попроще).
Пока что я для себя нашел выход - это книги типа "Mathematical Methods for Physics and Engineering" Riley и "A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry" Szekeres, к которым есть полные решебники и которые (в частности первый учебник) представлены 30-50 нетривиальными задачами на раздел (а не 100500), которые можно решить в течении недели.
Но в любом случае надо будет когда-то запилить тему про годные задачники.
Аноним 07/12/16 Срд 15:35:52 4852181
>>4847
Проще тогда по каждому специализированному трэду раскидать, чем отдельную мешанину делать. А так идея хорошая
Аноним 07/12/16 Срд 16:11:27 4853182
>>4837
Я не спорю, но то же самое можно сказать и про почти все остальные области математики.
Аноним 07/12/16 Срд 16:34:46 4857183
>>4845
Дубки - это общага Вышки.
Объясняю. Матфак Вышки (и ранее НМУ) создали жуткие сектанты из секты Арнольд. Арнольд проповедовал, что математика должна быть "простая" и "наглядная". Он хотел, чтобы люди изучали геометрию только в Евклидовом пространстве, чтобы всё было видно, и можно было нарисовать.
Поэтому был против Бурбаков. nlab - это Бурбаки 21-го века. В геометрии, например, вместо наглядных картинок в стиле "сфера с ручками" там изучают функторы и высшие топосы. Поэтому арнольдисты из ВШЭ заблокировали ncatlab, чтобы студенты не изучали "вредительскую бурбаковщину". а рисовали наглядные картинки.
Аноним 07/12/16 Срд 16:42:24 4859184
>>4857
>создали жуткие сектанты из секты Арнольд.
> Он хотел, чтобы люди изучали геометрию только в Евклидовом пространстве, чтобы всё было видно, и можно было нарисовать.
>Поэтому арнольдисты из ВШЭ заблокировали ncatlab, чтобы студенты не изучали "вредительскую бурбаковщину". а рисовали наглядные картинки.
Пруф или обоссан.
Аноним 07/12/16 Срд 18:29:11 4881185
>>4857
>математика должна быть "простая" и "наглядная"
Теперь объясняй в чем он не прав в этой строчке?
Аноним 07/12/16 Срд 18:43:45 4882186
>>4881
в том, что большая часть математики к этому не сводится, отсюда и обосратушки
Аноним 07/12/16 Срд 19:02:47 4885187
>>4882
Я думаю, как раз большую часть математики объснять через простые аналогии из реального мира. Как например, Рома Михайлов это делает.
Аноним 07/12/16 Срд 19:08:42 4887188
>>4885
У Ромы только все аналогии из его личного мира, который с реальностью почти не пересекается.
Аноним 07/12/16 Срд 19:22:34 4888189
>>4885
>Рома Михайлов это делает
А точнее лсд, спиды и мет, которые он употребляет :)
Аноним 11/12/16 Вск 01:18:11 5160190
30749234063bc22[...].jpg 58Кб, 400x556
400x556
Аноним 11/12/16 Вск 01:36:34 5161191
part 2.jpeg 124Кб, 493x602
493x602
Аноним 12/12/16 Пнд 00:18:44 5211192
>>4837
Но ведь теория категорий нужна везде, где она не нужна?
Аноним 12/12/16 Пнд 01:24:26 5213193
>>5211
Нигде и не нужна кроме пучков и гомологической алгебры. Впрочем, если подумать, только пучков.
Аноним 12/12/16 Пнд 03:06:27 5214194
>>4745
Да уже додумался, хотя теперь у меня всё равно травма. Почему-то вбился в голову совершенно другой образ подкомплекса (X, A), где X = Dn×I и A - хуй пойми что (не Dn×0 ∪ ∂Dn×I, ЧСХЛОЛ). Немного зря обидел Хатчера, че уж там. Особенно на фоне Спеньера.
Аноним 12/12/16 Пнд 03:07:21 5215195
>>5214
> подкомплекса из пары (X, A)
12/12/16 Пнд 03:36:42 5216196
Ебучие хейторы категорий. Идите нахуй.
Аноним 12/12/16 Пнд 04:01:22 5217197
>>5216
Может тогда скажешь где она нужна, кроме пучков и гомологической алгебры?
Аноним 12/12/16 Пнд 14:08:10 5226198
>>5213
Но ведь везде нужна.
Аноним 12/12/16 Пнд 14:20:42 5228199
Аноним 12/12/16 Пнд 14:25:49 5230200
>>5217
Правильный ответ: кроме пучков и гомологической алгебры по-хорошему методов настоящей математики и нет, остаётся только один комбинаторный картофан.
Аноним 12/12/16 Пнд 14:36:07 5231201
>>5230
Я ждал более адекватного ответа, но получил мемовый визг вербитодауна. Мда. Меньше на тифарете сиди.
Аноним 12/12/16 Пнд 14:40:01 5232202
>>5231
Существенные возражения? Или ты занимаешься, прости господи, ОЦЕНОЧКАМИ?
Аноним 12/12/16 Пнд 15:03:32 5233203
>>5232
Во первых, почему ты считаешь, что
>кроме пучков и гомологической алгебры по-хорошему методов настоящей математики и нет
Люди которые так говорят, просто долбоёбы, им следует выпилится, чтобы не позорить профессию математиков.
Из таких школьников, как ты вырастают маразматичные деды вроде Мунина или Ред_Херинга. Так и представляю, как в своём юношестве Мунин хуесосил всех, кто не знал диффуров. Так же и местные патологи-гамологи будут вести себя в старости, только крича при этом про гамалогии.
Аноним 12/12/16 Пнд 16:13:49 5234204
>>5228
А ты скозал шо нет?
Аноним 12/12/16 Пнд 16:15:17 5235205
>>5234
Что ты тут забыл, раз не знаешь такую школьную хуйню как бремя доказательства?
Аноним 12/12/16 Пнд 16:30:10 5236206
>>5235
С каких пор полемический принцип превратился в безусловное правило? К тому же, если и руководствоваться им, то ты что-то утверждал первый

>>4837
>Так как нинужна она нигде кроме самой теории множеств. Как и теория категорий почти.

так что давай - вперёд.
Аноним 12/12/16 Пнд 16:54:19 5237207
>>5236
>так что давай - вперёд.
В комбинаторике и численных методах твоя ссаная тиория котигарий нахуй не нужна.
Аноним 12/12/16 Пнд 17:01:37 5238208
>>5237
Зато картошечка хорошо заходит.
12/12/16 Пнд 17:02:02 5239209
>>5237
Ты квантор всеобщности с квантором существования перепутал, мамкин математик.
Аноним 12/12/16 Пнд 17:03:16 5240210
>>5237
Во-первых - охуенно ты "бремя доказательства" сбросил, просто заменив свой тезис на эквивалентный.

Во-вторых - конечно же нужна. Почитай про combinatorial species и graph cohomology хотя бы, численные методы - это прикладной функан, в функане ещё более нужна (примеры нужны?). Я считаю, что любой концептуальный фреймворк в будущем будет строится на (infty,1)-топосной основе, иначе будет выходить картоха и bug of tricks.
Аноним 12/12/16 Пнд 17:10:47 5242211
>>5239
А ты анона перепутал, я только что входжу в беседу.
>>5238
Она и с гамалогиями хорошо идёт, да и с пучками особонно жаренная с водовкой. Мммм... слюнки так и текут.
>>5240
>Во-первых - охуенно ты "бремя доказательства" сбросил, просто заменив свой тезис на эквивалентный.
Ещё раз говорю, я другой анон. И сказал контпример к
>Но ведь теория категорий нужна везде, где она не нужна?
>(infty,1)-топосной основе, иначе будет выходить картоха и bug of trick
Ага, чтобы подсчитать количество сочитаний нужно знать топосы)))) Сразу вспоминается мемас про Хаскель и подсчёт факториалов, вот и верх теории категорий - считать фактори в Хаскеле. Охуенный концептуальный фреймворк.
Аноним 12/12/16 Пнд 17:12:51 5243212
>>5242
Но ведь без теорката в Хаскеле ты факториал подсчитать не сможешь.
Шах и мат, математики!
Аноним 12/12/16 Пнд 17:14:18 5244213
>>5243
Можно просто взять калькулятор и без блядского Хаскеля и теории категорий считануть его.
Аноним 12/12/16 Пнд 17:15:17 5245214
>>5242
Ты бы целиком цитировал, там вначале стоит "я считаю". Моё мнение таково, что чтобы посчитать количество сочетаний - не нужно знать топосы, а чтобы посчитать нечто больше, чем количество сочетаний - нужно знать топосы (в перспективе, конечно, математика на топосах ещё только в самом зачаточном состоянии и не показала целиком своей мощи).
>Сразу вспоминается мемас про Хаскель и подсчёт факториалов, вот и верх теории категорий - считать фактори в Хаскеле.
Ты, гляжу, только мемасами и мыслишь. Unimath пишется на хаскелле-подобном языке (подмножестве coq), между прочим.
Аноним 12/12/16 Пнд 17:15:37 5246215
>>5244
Может быть ты и числа складывать да перемножать без общей алгебры и теории колец собрался, еретик?
Аноним 12/12/16 Пнд 17:16:07 5247216
>>5246
Проблевался с этого алгебраиста.
Аноним 12/12/16 Пнд 17:25:02 5248217
>>5245
Но нужно изучать теорию теорию категорий и всё переность на её язык? Я думаю, нет. Это так же глупо, как переводить всю современную физику на теорико-множественный формализм.
Аноним 12/12/16 Пнд 17:32:25 5249218
>>5248
Мне кажется определенно нужно, а неприятие к ТК можно сравнить с неприятием общей алгебры, когда она начала появлятся. Профиты унивалентного языка для абсолютно разных частей математического знания очевидны - гораздо удобнее идеи из одних кусков можно будет транслировать на другие куски.
Насчёт физики: наиболее "ядерные" части современной физики переведены на формализм дифференциальных форм, римановых многообразий (в случае с ОТО), симплектической геометрии (в случае с классической механикой) или на язык операторных алгебр (в случае с КМ). Перевод на топосный уровень - следующий этап. Только сперва на топосный уровень нужно перевести современную математику, конечно.

Но это опять же моё мнение. В принципе все аргументы и контраргументы в таком споре заранее очевидны, потому неинтересно.
Аноним 12/12/16 Пнд 17:36:22 5250219
Поясните по поводу "Курса дифф. геометрии и топологии" Мищенко-Фоменко.
Аноним 12/12/16 Пнд 17:50:21 5251220
"Используется" =/= "Можно переформулировать на языке"
Конечно, в силу общей аутичности понятия категории, ей является вообще почти всё что угодно, вот только это ничего не даёт само по себе.
Аноним 12/12/16 Пнд 17:59:58 5252221
>>5251
Я бы написал "переформулировать на достаточно удобном языке" - это вполне себе использование; я бы даже усилил и сказал бы, что это в гораздо большем смысле "использование" чем применение какого-то очередного трюка с оцениванием каких-нибудь норм в каком-то, допустим даже, неожиданном случае.

>Конечно, в силу общей аутичности понятия категории, ей является вообще почти всё что угодно, вот только это ничего не даёт само по себе.
Категорией является всё что угодно, а гладким топосом - не всё что угодно. Ещё раз используя аналогию ТК ~ алгебра 21 века, можно сказать что твоя фраза аналогична фразе "в силу аутичности понятия группы, ей является почти всё что угодно, только это ничего не даёт само по себе".
Аноним 12/12/16 Пнд 18:07:12 5253222
>>5252
Ну и можно пример, лежащий вне алгтопа, когда переформулирование на "достаточно удобном" языке топосов помогало избавиться от реальной работы руками вроде оценок и доказывания равенств, а не просто маскировало её под коммутативность каких-то диаграмм из стрелочек?
Аноним 12/12/16 Пнд 18:19:10 5254223
>>5253
Если про категорный подход в целом: то теорема Гротендика-Римана-Роха доказывается в один абзац, в то время как теорема Римана-Роха достаточно сложна для доказательства. Вся теория схем/пучков построена в очень категорном духе вообще и она же демонстрирует почему такой взгляд полезен: в терминах теории схем можно на одном языке говорить и о теоретико-числовых конструкциях (т.н. арифметическая геометрия) и о стандартных алгебраических проективных/афинных многообразиях (алгебраическая геометрия), и, даже, кое о чём ещё.

Если конкретно топосные применения, то вот применения бескоординатного диф.геома к координатному https://ncatlab.org/nlab/show/motivation+for+higher+differential+geometry
Аноним 13/12/16 Втр 04:30:12 5268224
>>5253
Слушай, дорогой, а нахуя твои оценочки нужны кому-то, мм?
Не, я согласен, что категории не везде полезны, но фишка в том, что они хотя бы полезны в нескольких серьезных современных науках, а твои оценочки (и прочая картофанная муть, вроде сочетаний) полезны ровно в двух областях: классическом анализе и комбинаторике. То есть спору нет, это математика, и есть люди, которые ею занимаются, но по глобальности это математика не сравнится с алгебраической топологией, алгебраической геометрией, гомологической и гомотопической алгеброй, теорией топосов и так далее.
То есть это очень смешно звучит. Приведу аналогию: сидит бабка, смотрит НТВ и Рен-ТВ круглый год напролёт и спрашивает: "А зачем нужен ваш интернет? И как ваш интернет мне поможет смотреть русское телевидение?"
Вот точно так же выглядит и комбинаторщик или классический аналитик, который ставит под сомнение полезность теории категорий на основе того, что в его маргинальных науках, находящихся, откровенно говоря, на отшибе математики, она не используется.
Аноним 13/12/16 Втр 15:46:15 5277225
>>5268
>Слушай, дорогой, а нахуя твои оценочки нужны кому-то, мм?
В том то и дело, что мы на анонимной борде, а значит твои оценочки настолько же авторитетные, как и мои.
Аноним 13/12/16 Втр 16:04:46 5278226
>>5268
Оценочки и комбинаторика это не цель, а способы доказательства, ты читать не умеешь.
Аноним 13/12/16 Втр 16:08:57 5279227
puchok.png 174Кб, 1420x523
1420x523
Похоже, я познал пучки. Лол.
Аноним 13/12/16 Втр 17:04:41 5289228
>>5279
Не подскажешь, что за учебник?
Аноним 13/12/16 Втр 17:16:02 5291229
>>5289
Александров Лекции по аналитической геометрии
Аноним 13/12/16 Втр 17:17:23 5292230
>>5279
А нахуй оно нужно ты тоже уже познал?
Аноним 13/12/16 Втр 17:18:13 5293231
>>5292
Да, буду выёбыватся знаниями пучков на дваче.
Аноним 13/12/16 Втр 17:35:04 5296232
>>5293
вся суть вербитодетей
Аноним 13/12/16 Втр 17:37:05 5297233
Аноним 13/12/16 Втр 17:43:48 5299234
>>5277
Ага, а способы доказательства где?
В "классическом анализе" и "комбинаторике".
В серьёзных современных науках никакие оценочки и комбинаторика не нужны. А даже если и пригождаются, то такое доказательство считается хуевым, и люди ищут концептуальное нормальное доказательство без "картофана".
Аноним 13/12/16 Втр 17:51:01 5300235
>>5299
>В серьёзных современных науках никакие оценочки и комбинаторика не нужны
Проиграл, с концептуалиста. Ты ведь понимаешь, что наверное 70% всех оценок в теории чисел трюковые и не концептуальные.
Или теория чисел для тебя тоже картофан?
Аноним 13/12/16 Втр 18:04:10 5302236
>>5299
>Ага, а способы доказательства где?
Сущностно - везде.
В том-то и дело, что сторонниками "качественно новых концептуальных изложений на новом модном языке" как обычно утверждается что их охуенные новые инфинити-категории помогают избавиться от комбинаторики, но на практике как обычно.
Аноним 13/12/16 Втр 18:05:45 5303237
>>5302
> но на практике как обычно.
А ещё они картошку жарить не помогают.
Аноним 13/12/16 Втр 18:11:42 5304238
>>5303
Картошку лучше жарить на категориях, а водовку пить с алгеомом.
Аноним 13/12/16 Втр 18:22:02 5307239
>>5300
Теория чисел, в которой нужны оцнеки - разумеется картофан.
Аноним 13/12/16 Втр 18:27:47 5308240
>>5303
Ага, и ничего не помогают.
Аноним 13/12/16 Втр 18:36:23 5309241
>>5307
Действительно, особенно распределение простых чисел такой-то картофан. Да и многие проблемы связанные с дзета-функцией могут решится только под водовку, как диды до сих пор их не решили непонятно, вот на (inf;0) категорий перейдут сразу и проблему Голдбаха решат и гипотезу Римана. Может теория категорий решит концептуально проблему Варинга? Ах, да там же надо делать оценочки :(((((( Пичаль.
Да и эквиалентные гипотезе Римана утверждения содержат оценочки и интегралы, так что гипотеза Римана вообще не нужна и может отправлена на свалку истории к дидам, пусть калькулятор и инжинеры её доказывают. А таполог с двачей будет заниматся пирвакультурным модным мейстримам с тифарета.
Аноним 13/12/16 Втр 21:17:18 5314242
>>5300
>Проиграл, с концептуалиста. Ты ведь понимаешь, что наверное 70% всех оценок в теории чисел трюковые и не концептуальные.
>Или теория чисел для тебя тоже картофан?

Теория чисел есть концептуальная, а есть "картофанная". В частности, аналитическую теорию чисел я отнёс к классическому анализу.
Пример концептуальной теории чисел - это арифметическая геометрия.
Если "картофанные" методы там и помогают, то научное сообщество всё равно понимает, что это говно, и ищет другое, концептуальное доказательство.

>>5302
>Сущностно - везде.
>В том-то и дело, что сторонниками "качественно новых концептуальных изложений на новом модном языке" как обычно утверждается что их охуенные новые инфинити-категории помогают избавиться от комбинаторики, но на практике как обычно.

Нет, в аналитических областях теория категорий не поможет избавиться ни от чего, ровно как и в комбинаторных. Но это довольно маргинальные области. Они имеют право на существование, но вот их адепты не имеет право чего-то пиздеть "про ненужность теории категорий".

Хотя, например, Андрэ Жояль занимался чем-то таким, пытался дать комбинаторики какую-то общую концепцию (можно почитать лекции Лури на эту тему). Но классическим комбинаторщикам это, конечно, неинтересно, они не хотят ничего нового учить. Это их право, но когда они чего-то пиздят про "ненужность концептуальных методов в математике", выглядит смешно.

>>5307
>Теория чисел, в которой нужны оцнеки - разумеется картофан.

Само собой. То есть я не против того, чтобы люди, которым интересен картофан, им занимались. И я не считаю, что это "не математика". Но, опять же, это довольно маргинальные области, и если в них концептуальный метод не находит применения, это далеко не значит, что он "нинужен в математике, нужны аценачки и диффурчики".

>>5309
>Действительно, особенно распределение простых чисел такой-то картофан.

Само собой. Картофан - это не синоним слова "антиматематика".

>>5309
>Да и многие проблемы связанные с дзета-функцией могут решится только под водовку, как диды до сих пор их не решили непонятно, вот на (inf;0) категорий перейдут сразу и проблему Голдбаха решат и гипотезу Римана. Может теория категорий решит концептуально проблему Варинга? Ах, да там же надо делать оценочки :(((((( Пичаль.

И нахуя твои "гипотезы" нужны? Вот докажут их, кому лучше станет?
Куда важнее вещи, пусть даже не относящиеся к "проблемам тысячелетия", доказательства которых будут настолько интересными, что приведут к открытию новых интересных областей, которые будут интересны для изучения.

Если ты считаешь, что смысл математики в том, что бездумно доказывать древние идиотские теоремы безо всякого смысла и пользы для самой математики, то ты ничего не знаешь о математической науке.
Аноним 14/12/16 Срд 00:00:39 5327243
>>5314
> И нахуя твои "гипотезы" нужны?
Как оценишь концептуальность картофельной последней теоремы Ферма?
Аноним 14/12/16 Срд 00:04:08 5328244
Аноним 14/12/16 Срд 00:25:38 5330245
>>5327

Сам по себе факт, что теорема Ферма доказана, нахуй никому не нужен.
Но важна она тем, что в процессе доказательства её было придумано много интересной глубокой математики (концептуальной теории чисел).
Аноним 14/12/16 Срд 13:06:22 5342246
>>5328
Прошлый век же
Аноним 14/12/16 Срд 15:49:42 5344247
>>5330
Доказана была не теорема Ферма, а гипотеза Таниямы-Вейля о модулярности, из которой следовало утверждение, равносильное теореме Ферма. Гипотеза о модулярности не имеет никакого отношения к теореме Ферма и не была придумана в "процессе доказательства" последней. Она имеет отношение к программе Ленглендса, но это другая тема.
Никакой "концептуальной" теории чисел не существует, как науки, есть арифметическая геометрия.
Get your facts right, прежде чем пиздеть, товарищ.
Аноним 15/12/16 Чтв 10:11:30 5375248
Наверное, это крайне дебильный вопрос, но - какие вообще проблемы решает топология? Применяется ли топология каким-то образом в прикладном значении? Видел всякие видео про преобразования разного рода фигуры друг в друга, тип кружки в бублик и прочее, но я не понимаю как это вообще может быть связано с реальностью? Это же какие-то вымышленные проблемы с вымышленными условиями.
Аноним 15/12/16 Чтв 12:19:16 5376249
>>5375
Тебе знакомо понятие "полуфабрикат"? С точки зрения инженера, все математические науки производят полуфабрикаты, которые затем используются в других математических науках. Топологические понятия встречаются в математике повсюду, но ни один из них не является готовым инженерным продуктом. Не понимаешь этой идеи - не лезь под капот. Рассматривай математику как черный ящик.
Аноним 15/12/16 Чтв 13:25:32 5377250
>>5376
>С точки зрения инженера, все математические науки производят полуфабрикаты, которые затем используются в других математических науках.
Если затем через эти другие науки происходит выход в реальный мир или гипотетически может иметь туда выход - то это хорошо. А если из такой вот цепи математических наук возникает кольцо, которое замкнуто само на себя, то нафига оно вообще нужно? Ведь создается целая система, которая может существовать только лишь внутри себя в своих собственных вымышленых условиях и никак никуда не экстраполируется вообще. В математике точно существует подобные кольца или ответвления, которая в итоге замыкаются сами на себя и не имеют никакого выхода наружу. Вопрос лишь в том - является ли топология звеном в подобной цепи или все же где-то и через какие-то другие цепи происходит ее полезная работа?
Аноним 15/12/16 Чтв 13:32:24 5378251
>>5376
>>5377
Вот, к примеру, вывели решение как вывернуть гипотетическую сферу в гипотетических условиях с гипотетическими ограничениями, чтобы без гипотетических разрывов было (условие возникновения которых такие же гипотетические) - ок. Дальше что? Это для чего-то еще применимо, кроме выворачивания подобного рода несуществующих и не имеющих никаких аналогов в реальном мире при тех же самых несуществующих условий? Или это из разряда сами придумали задачу - сами решили?
P.S. Я не тролль, я просто реально хочу со своими ограниченными познаниями понять топологию.
15/12/16 Чтв 15:56:24 5383252
>>5378
Утилитаризм до добра не доводит. Другими словами, не всё написанное и созданное может СЕЙЧАС найти выходы к практике. Но быть может когда-нибудь потом.
Аноним 15/12/16 Чтв 17:08:16 5384253
>>5377
Матанализ для тебя достаточно конкретен? Он полностью основан на топологии. Основная операция матана - предельный переход - всецело топологическая операция.
Аноним 15/12/16 Чтв 19:17:32 5389254
>>5383
У тебя просто какой-то уёбищный утилитаризм без поправки на "может быть понадобиться в будущем"
Аноним 16/12/16 Птн 05:00:02 5399255
В каком объёме приличному математику-специалисту нетопологу надо знать общей и алгебраической топологии?
Аноним 16/12/16 Птн 14:08:40 5412256
>>5399
Энгелькинг. Хатчер.
Аноним 16/12/16 Птн 17:26:12 5433257
mindfck.png 175Кб, 519x480
519x480
Поцыки, ай нид хелп. Пикрелейтед - литералли втф?! Почему одно хаусдорфово, а второе нет? Если это имеет значение, то взято из "Topology", K.Jänich, S.Levy, 1984, глава про фактортапалогии.
Аноним 17/12/16 Суб 17:15:35 5546258
>>5433

нихуя непонятно, не мог бы ты дать краткую вводную?

никто не будет искать эту книгу на сцыхабе специально жэ

вопрос про фактортопологии. что на картинках нарисовано? что-то, что описывает отношения эквивалентности, по которым факторят?

моар дитэйл плз
Аноним 17/12/16 Суб 22:12:17 5579259
>>5399


надо знать, что такое хаусдорфово и паракомпактное пространство

и надо знать спектралку Лерэ, клеточные когомологии и уметь посчитать когомологии проективных пространств и сфер. можно ещё грассманианов. можно харклассы ещё (в принципе, их можно и в нетопологическом изводе потом через черна-вейля выучить)

если это выучишь, по пути всё нужное неминуемо выучишь
Аноним 18/12/16 Вск 16:04:50 5625260
>>5546
На самом деле там не слишком много деталей и в самой книге. Судя по всему это I × I.
Аноним 19/12/16 Пнд 23:26:09 5793261
Кто-нибудь читал "Введение в топологические многообразия" Ли? Насколько книга покрывает введение в общую топологию? Нужны ли какие-то предварительные знания из нее? Или можно на общую топологию забить и читать книги автора?
Аноним 20/12/16 Втр 20:15:26 5889262
>>5793

всё, что ему нужно из общей топологии, там подробно разжёвано. можешь читать и не опасаться
Аноним 23/12/16 Птн 07:39:16 6103263
Лекции Каледина по алгему норм?
Аноним 23/12/16 Птн 09:27:45 6113264
>>6103

лучшее, что есть вообче
Аноним 23/12/16 Птн 10:33:50 6125265
Аноним 23/12/16 Птн 13:17:53 6140266
>>6113
Даже так? А какие там особенности?
Аноним 23/12/16 Птн 23:18:55 6183267
>>6140
Особенности вида 3/2 и 5/2 кривых, фактор-особенности, логканонические особенности, рациональные особенности пар.
Аноним 04/01/17 Срд 11:25:28 6997268
>полкниги о математике
>ни слова о пучках
>зато 6 глав про Платона
Господа, это просто пиздос
У Френкеля в love and math и то лучше было.
Аноним 04/01/17 Срд 11:40:24 6999269
>>6997
>не читал, но осуждаю
ты книгу-то открой, болван ёбаный

>ни слова о пучках
и нахуя там пучки?
сразу видно тупорылого школьника, типичного обитателя /math, который нихуя не умеет, а только жонглирует подобранными здесь же словами
Аноним 04/01/17 Срд 11:49:32 7000270
>>6997
Открыл Бурбаки
>полкниги о математике
>ни слова о РАЗБИЕНИЯ НАТУРАЛЬНЫХ ЧИСЕЛ
>зато 6 глав про КОЛЬЦА
Господа, это просто пиздос

Аноним 04/01/17 Срд 18:09:40 7022271
>>6999
Я именно что читал, откуда, по-твоему, узнал, что там нет пучков?
>и нахуя там пучки
За тем что это базовое понятие современной математики, аналогичное понятию функции. Дифференциальной геометрии без этого не бывает, а у него полкниги о ней, буквально.
Если ты хуесос и не знаешь, что такое пучок, вежливо попроси меня, и я объясню тебе, животное ебаное.
Аноним 04/01/17 Срд 19:40:36 7031272
>>7022
Ты думаешь пучки упростят книгу Пенроуза?

Опиши какой ты видишь эту книгу, где математический аппарат описывается через пучки. Сколько страниц у тебя будет математическая часть, сколько уйдёт конкретно на пучки. При условии, что бэкграунд у читателя обычная школа — квадратные уравнения (пускай даже с определением комплексных чисел), совсем базовый калькулюс, синтетическая геометрия.

Если есть время — попробуй напиши главу про пучки.

Потому что пиздеть — не мешки ворочать.

это я очень вежливо прошу, не вежливо было бы сказать, что ты очередной инфантильный выёбщик, который дрочит на очередную абстракцию патамушта модна и ходит по тредам и пишет бесполезную хуйню про модули над кольцом, топосы, пучки и схемы
Аноним 05/01/17 Чтв 01:33:48 7037273
>>7031
Ты рофлишь что ли? Я же указал такую книгу, где пучки объясняются для первого класса, автор Эдвард Френкель. Во многих популярных книгах объясняются пучки, например Юрген Йост Концепции математики. У Стиллвелла и Эдвардса тоже было.
>топосы, абстракции
Ну это вообще пиздец. Ты понимаешь, что и пучок и модуль это более фундаментальные понятия, чем скажем векторное пространство? Модули вообще изобрел Дедекинд в 1860-х, если это для тебя запредельная абстракция, то Диккенс и Флобер наверное радикальные новаторы на грани контркультуры.
Знание модулей даже в егэ требуется, там кажется есть задачи на решение целочисленных уравнений сравнениями и алгоритмом Евклида.
>упростят книгу Пенроуза
Что упростят, "я не буду вдаваться в теорию, просто приведу пару фактов, которые покажут магию комплексных чисел" –> это надо упрощать? Или "а что если элементарные частицы в копенгагенской интерпретации это и есть платоновские идеи?"
Убери фуфлософию и книга сократится в три раза.
Философию я люблю, но скорее Маха и Пирса, чем пизданутых сектантов-платонистов
Аноним 05/01/17 Чтв 03:53:47 7039274
>>7037
Ну ок, я гляну этих ребят и попытаюсь представить как бы подобная книжка (~Road to Reality) выглядела с таким подходом.

Упростят это я про физико-математическое содержание, про радикальный поехавший платонизм и говорить нечего.
Аноним 05/01/17 Чтв 05:36:16 7042275
>>7037
>сектантов-платонистов
Что не так с платонизмом? У него только у ко-ко-консруктивистов пичот.
Аноним 05/01/17 Чтв 12:37:34 7045276
>>7042
У всех пичот, кроме даунов. Начиная со спора об универсалиях.
Аноним 05/01/17 Чтв 12:47:53 7046277
>>7039
Если конкретно по физике, то хорошие книги Годбийон/Шутц/Накахара. Категорий, пучков и топосов там нет, конечно. Но Пенроуз же любит математику и находит в ней ценность самой по себе. Впрочем если сравнивать с Френкелем, у того на самом деле вполне утилитарное изложение: ему нужно объяснить свою работу (связь геометрического ленглендса с зеркальной симметрией). Пенроузу я так понял нужно было объяснить основны направления (калибровочные, струнные теории) и свои твисторы. Просто он решил, что философия полезнее в этом плане.
Аноним 05/01/17 Чтв 20:11:04 7081278
>>7037
>скорее Маха и Пирса
>>7045
>со спора об универсалиях.
Ты увяз в далекой старине. Почитай, например, про платонизм Уайтхеда.
Аноним 05/01/17 Чтв 20:58:36 7083279
>>7081
Какого из трех? Не интересует, спасибо. Почитай лучше про феноменологию.
Аноним 06/01/17 Птн 13:31:06 7133280
>>7083
Много Уайтхедов знаешь? Хуя ты эрудит. Я имею в виду того, что сотрудничал с Расселом.
Аноним 06/01/17 Птн 23:16:55 7219281
>>7133
Тут скорее можно удивляться, как можно знать одного из соавторов Рассела, но не знать основателя топологии и крупного специалиста по теории гомотопий.
https://en.wikipedia.org/wiki/J._H._C._Whitehead
https://en.wikipedia.org/wiki/George_W._Whitehead
Предположу, что ты в самом начале жизненного пути и еще не добрался до Витгенштейна (а следовательно и до Маха с Пирсом). Либо случай уже неизлечимый.
Аноним 07/01/17 Суб 02:57:51 7239282
>>7219
Разговор был в контексте философии. Один из этих Уайтхедов племянник Уайтхеда. Какой из них основатель топологии? Всегда считал, что это Пуанкаре и Хаусдорф.

>не добрался до Витгенштейна
Нет никакого смысла до него добираться, уход к языку это просто уход от ответов. С точки зрения платониста математика это ограниченное средствами математического языка описание идеального мира. Но если я уткнусь в философию языка, я вынужден признать, что рассуждаю о тавтологии, что мой философский дискурс это уроборос, что собака имеет лапы, морду и хвост, а остальное я придумал, общаясь с ней. Но какая польза от такой деконструкции для математика? С одной стороны вакхическое проникновение в божественные тайны, прикосновение к самой мякоти идеального мира, а с другой бессмысленная экзистенциальная деятельность по переработке символов, игра в слова с самим собой, и математика как ремесло? Взросление математика это признание этого факта?
Аноним 07/01/17 Суб 12:35:14 7251283
>>7239
>какой из них
Создатель понятия cw-комплекса. До него еще был Брауэр с симплициальными комплексами. Брауэров тоже двое, но имеется в виду тот самый интуиционист.
>Но какая польза от такой деконструкции для математика
В самой математике – никакой, но то, что ты описал это и есть предмет философии.
>прикосновение к самой мякоти идеального мира
Это же просто фантазии, ничем не лучше например солипсизма. Чтобы рассуждать о фундаментальной реальности, тебе прежде необходимо избавиться от накопленного содержания понятий, которыми ты пользуешься.
То есть
>собака имеет лапы, морду и хвост, а остальное я придумал, общаясь с ней
Витгенштейн об этом и говорит, слова это рычаги в кабине машинста и инструменты в столярном ящике. Вполне возможно что ты заблуждаешься насчет их использования.
В духе Декарта: Я существую, я воспринимаю собаку, значит и она существует.
В духе Гуссерля: Я отказываюсь высказывать суждения о самой собаке и отождествляю собаку с её восприятием в моем сознании, стирая грань между субстанцией и феноменом.
В духе Маха: Собака, как и весь материальный мир, состоит из элементов, называемых ощущениями, и их соотношений, объективная часть которых в процессах, принадлежащих субъекту, различие между субъектом и объектом уничтожается.
Можно подумать зачем все это, если есть научная картина мира, и все такое, проблема в том, что она опирается на точно такую же философию, путь и неявно. Или вполне открыто, в случае Пенроуза.
Аноним 07/01/17 Суб 13:09:13 7256284
>>7239
Ситуация с платонизмом примерно такая же как с реализмом. Можно принимать точки зрения на спектре между реализмом и солипсизмом, не обязательно выбирать крайние точки.

Например, можно считать математику продуктом мозга человека, но т.к. используются очень низкоуровневая основа (представление о числе, пространстве), то возникает иллюзия какой-то высшей объективности. Эта иллюзия и есть платонический мир — иди себе изучай его.

Но ты не можешь сказать, что другая форма жизни во вселенной с другой физикой будет иметь такую же математику.
Аноним 07/01/17 Суб 13:36:49 7261285
>>7256
Так реализм это и есть платонизм, буквально. Его противоположность называется номинализм. Что идеи это только имена и не более.
>возникает иллюзия какой-то высшей объективности
Если вспомнить что математика, как и любая область человеческой деятельности, основана на некоторого рода соглашениях — конвенциях, ничего удивительного тут нет
>другая форма жизни во вселенной
Скорее всего не будет иметь таких же людей
Аноним 07/01/17 Суб 14:29:51 7287286
>>7251
>проблема в том, что она опирается на точно такую же философию, путь и неявно.
>>7256
>Эта иллюзия и есть платонический мир — иди себе изучай его.
Я и говорю, поэтому, что платонизм — рабочая схема с массой достоинств. Можно и разводить формализм, рассуждая об имени и о том, дОлжно ли имя отражает идею, тут можно и работать просто, используя готовые имена, в надежде, что их сочетания способны отразить немного света в пещере.

>Но ты не можешь сказать, что другая форма жизни во вселенной с другой физикой будет иметь такую же математику.
Я могу быть уверен, что математика будет как минимум похожей, т.к. верю, что вся математика стремится к божественной, иначе она бесцельна. Демиург ведь не обязательно представлен определенным порядком, он может являться всем, любым порядком, а тот, что доступен нашим ощущениям, хоть и является идеалом, но не обязан быть единственным (в этом расхождение с античным платонизмом). Можно, конечно, отрицать демиурга и придти к любой форме субъективизма.
Аноним 07/01/17 Суб 18:56:46 7352287
Прошу обратить внимание модератора на данный псто, пусть закрепит в ссылках в будущем треде.

Буквально вся топология от и до. Но на английском. При желании, можно найти некоторые книги в переводе, того же Хатчера)

Allen Hatcher - A List of Recommended Books in Topology
Книги: https://yadi.sk/d/H18aLqes37ayz3
Аноним 08/01/17 Вск 20:24:41 7532288
Аноним 12/01/17 Чтв 23:49:10 7854289
13/01/17 Птн 00:07:08 7855290
>>7854
>теорема Геделя никак не опровергает возможности построить полную систему аксиом, описывающих арифметику -- она лишь утверждает, что такая система аксиом не может быть получена применением алгоритма (более того, любой алгоритм, достаточно развитый для того, чтобы эту задачу поставить, непременно рано или поздно сломается).
Хе-хе.
>Вероятно, делая наблюдения над природными феноменами, мы сможем научиться эти многообразия тоже различать, то есть путем наблюдения решать задачи, алгоритмически неразрешимые в принципе и доказывать теоремы, которые никак не вытекают из любой конечной системы аксиом.
Лол.
Аноним 13/01/17 Птн 02:31:21 7856291
>>7855
Cистема аксиом, которая не может быть получена применением алгоритма - это прекрасная идея.
Можно сразу принять за аксиомы все истинные предложения арифметики, и никакие правила вывода не нужны.
Аноним 13/01/17 Птн 22:52:15 7915292
>>7856
>Можно сразу принять за аксиомы все истинные предложения арифметики,
Как доказать ее полноту?
Аноним 15/01/17 Вск 17:17:57 8078293
>>7915

боже, зачем создавали отдельный тред про основания, когда всё это говно ровным слоем по всей борде размазано?!
Аноним 15/01/17 Вск 20:38:42 8097294
>>7915
Такая теория по определению будет полной, так как каждое истинное высказывание в ней - аксиома, а следовательно и теорема.
Аноним 19/01/17 Чтв 01:37:52 8505295
>>7037
>>7039
Я охуел, есть у него там пучки. И угадай где? В 39 главе про твисторы. Пиздец он совсем что ли, если будешь использовать, хули раньше не объяснил-то?!
Аноним 19/01/17 Чтв 01:57:48 8512296
>>8505
Чёт проиграл, старикан всех переиграл, пойду читать дальше.
>>7039-кун
Аноним 20/01/17 Птн 23:49:00 8990297
Впрочем ладно, поясню еще раз специально для альтернативно одаренного говна из вышки, или откуда вы там лезете.
Пенроуз в 33 главе поясняет про свои твисторы на примере sheaf cohomology. Что такое sheaf он, при этом, не поясняет. При том что на математику отведено не менее 15 глав, там есть гладкие многообразия, грассманианы and what not.
Если ты не знаешь, пучок это более фундаментальное понятие, чем многообразие. И при этом более простое. Так же как модуль фундаментальнее и проще кольца.
Примеры книг, где пучки вводятся до многообразий и при этом на элементарном уровне, я уже приводил выше. Если не совсем пиздоглазый, сумеешь найти.
Аноним 21/01/17 Суб 00:03:26 8996298
Предыдущий аргумент был в том, что Пенроузу это и не нужно, поэтому не включил в изложение. А оказывается что нужно. При чем это еще ладно, если там нет фундаментальной группы и накрытий (хотя даже у Стюарта в детской книжке есть, а у Каца с Уламом и симплициальные гомологии, при том что книга про всю математику и о 250 страницах) хотя это и пригодилось бы для комплексного анализа – почему интеграл инвариантен вдоль пути – потому что риманова поверхность это накрытие, а монодромия это гомотопия,
но то что в такой книге, которая, на минуточку, включает в себя такие темы как теория струн (тебе, блядь, напомнить что такое а-брана?) – нет пучков, вот это уже за гранью пиздеца. Примерно как если бы в школьном учебнике по математике не было определения понятия функции, только частные примеры.
Впрочем, в книгах, по которым учился Гельфанд, вроде как и не было, из-за чего он изобрел определение сам, но это другая тема.
Аноним 21/01/17 Суб 01:04:36 9009299
>>8990
>>8996
Ок, ок. Если там действительно нужны пучки, то я понял твою позицию. Так ты как это в итоге видишь: перед какой главой ему нужно было ввести пучки?
Аноним 21/01/17 Суб 01:43:51 9012300
> модуль фундаментальнее и проще кольца
Это как можно определить модуль над кольцом, не определяя что такое кольцо?
Аноним 21/01/17 Суб 12:08:28 9034301
>>9012
В школах же как-то учат работать с ним, не определяя ни того, ни другого.
Аноним 21/01/17 Суб 17:02:18 9061302
>>9012
Как это сделано во всех нормальных книгах от алгебры Маклейнаи Биркгофа до Айзекса и Роуэна, например.
Аноним 21/01/17 Суб 17:42:50 9064303
>>9061

дебил, в утверждении логическая ошибка, ссылаться на авторитеты не поможет
Аноним 21/01/17 Суб 21:17:38 9073304
>>9064
Логическая ошибка у тебя в днк. Я не ссылаюсь на авторитеты, просто показываю пример. Никто тебя не заставляет определять каждое понятие, которым ты пользуешься. Тебя не удивляет что в курсах алгебры Левина и Смирнова кольцо определяется раньше группы? Как же так, боже мой.
Более того, модуль бывает над кольцом, над полем, над телом, хоть над моим хером. Модуль это не более чем
Абелева группа по сложению, плюс операторы, действующее на ней, при чем выполняются ассоциативность, дистрибутивность относительно сложения элементов, относительно сложения элементов, унитальность. В какой пизде расположены эти операторы, можно до поры до времени не уточнять.
Аноним 21/01/17 Суб 21:20:06 9074305
относительно операторов*
Аноним 21/01/17 Суб 21:58:09 9077306
Вообще, в обучении математике сначала надо вводить модуль, потом алгебру, потом проективный модуль. Потом уже натуральные числа и все остальное.
Аноним 21/01/17 Суб 22:19:14 9082307
>>9077
модуль уже подразумевает собой понятие коммутативной группы. А чем иллюстрировать понятие группы? Поворотами треугольника и натуральными числами, поэтому их хорошо бы уже иметь.
Аноним 21/01/17 Суб 22:22:54 9083308
>>9082
Подстановками можно. Либо косами, что одно и то же. Для кос натуральные числа не особо нужны.
Аноним 21/01/17 Суб 22:29:43 9084309
>>9083
ну все равно это как-то через жопу выходит, т.к. для подстановок уже нужны рассуждения в кольце (количество подстановок).
Аноним 22/01/17 Вск 01:21:09 9127310
>>9073
>ассоциативность, дистрибутивность относительно сложения элементов, относительно сложения элементов, унитальность
Алгебра готова.
22/01/17 Вск 01:25:04 9129311
>>9073

петушок, ты бурбаков перечитал, пойди остынь

в любом неспецильном тексте модуль по умолчанию означает модуль над кольцом, или над алгеброй, это все знают. если имеется в виду какое-то другое значение --- это оговаривается

в каком порядке что определяют авторы учебников, которые ты раскопал в библиотеке своего чушка, никого не волнует, с каким бы придыханием ты не произносил ты их имена

а чтобы вести споры за педагогику и в каком порядке чего надо вводить, неплохо бы указанную науку выучить сначала, поделать в ней что-нибудь

а то сидят теоретики бля, определение пучка выучили, ни одного конкретного кейса их использования сто пудов не знают, зато имеют своё ценное мнение, как нужно им учить
22/01/17 Вск 01:30:01 9131312
>>9129

сага случайно, сижу с пылесоса

сорян
Аноним 22/01/17 Вск 01:54:25 9139313
>>9129
Иди в пизду со своими кейсами. Пучок используется в сотне других определений, начиная с определения схемы.
Я мог бы перечислять любые другие имена, а если бы не перечислял ничего, здесь бы кукарекали что вообще не бывает такого и никто так не делает. Ты у нас молодой практик дохуя? Скидывай ссылку на свой учебник, посмотрим что ты там и как определяешь. Сравним с десятком других учебников, которые я откопал на амазоне/либ\гене, в то время как ты кроме своего атии-макдональдса вообще вряд ли что-то видел, знаток педагогики. Писать статьи куда интереснее, только вот дохуя таких писак, как ни странно.
Аноним 22/01/17 Вск 04:33:45 9146314
>>9139

ого, зелёненький, который считает, что самое важное писать учебники! лел

а ты просто зелёненький или ещё и старший преподаватель, которому поручили писать методичку, и ты надул щёки от важности поэтому?

Аноним 22/01/17 Вск 04:37:15 9147315
screen.png 300Кб, 1362x745
1362x745
Не знаю, засовывать вопрос в тапалогии или в котягории вопрос кидать. Помогите решить 2.4.5 в Вайбеле. Понятно, что нужно просто модифицировать рассуждение в доказательстве, но как построить отмеченный на пике морфизм, если мы априори не знаем, что Р проективный?
Аноним 22/01/17 Вск 04:38:30 9148316
>>9139
>Пучок используется в сотне других определений, начиная с определения схемы.

вот это мне определённо понравилось!

незамутнённой прелести чистейший образец. друзья, мы собрались тут, чтоб написать побольше определений! определения будем складывать на вики, как бишь её... а, энкатлаб!
Аноним 22/01/17 Вск 04:41:15 9149317
>>9148
Но без языка схем правда ведь ни комплан, ни алгеом, ни арифм.тч не делается сегодня.
Аноним 22/01/17 Вск 05:02:07 9150318
>>9149

как будтно кто-то этому возражает.

троллящий (поневоле?) там вверху просто с умным видом делает идиотское замечание, что чтобы определить модуль над кольцом кольца не нужны, потом ещё раз проходит по граблям, приводя частные случаи этого понятия (модуль над полем, телом, етц. --- и поле, и тело, огорчу, это всё кольца) и намекая, что дескать ещё и пообщее модули бывают, наверное, имея ввиду модули над алгеброй над операдой, там, модули над кольцевым спектром. и потрясает какими-то хуями-авторами никому не известных учебников.

какое это всё отношение имеет к легитимному замечанию, что если понятие X использует в своём определении понятие Y, то чтобы X было корректно определено, понятие Y надо определять до X --- непонятно.

А пучки нужны не для того, чтобы сотни определений определять, а чтобы иметь структуру, которая содержит данные, определяемые локально, но склеивающиеся до глобальных. Причём тут многообразия, зачем тут сравнение, что что-то фундаментальнее чего-то? Что фундаментальнее, функции или векторные пространства, в которых они могут принимать значения?!
Аноним 22/01/17 Вск 12:16:32 9160319
>>9150
Я не говорю, что кольца не нужны. Утверждение было в том, что модуль, фундаментальнее и проще, и что его лучше определять раньше.
>какое это всё отношение имеет к легитимному замечанию,
Тебе кажется что оно легитимное. Ну начинай курс анализа с аксиоматики Пеано, построения рациональных чисел, потом пополнения их до вещественных, хули. Эдмунд Ландау про это книгу написал, тоже.
Продолжая твои рассуждения, любое занятие математикой надо начинать с разбора аксиоматики, в которой ты работаешь, будь то ZFC., NGB или что-то еще. Все же понятия надо определить сперва, прежде чем начать ими пользоваться, да? Нахуй дураков, которые не дают детерминант матрицы до корректного определения, но пользуются им сразу, это ссылка на авторитеты. Если на тебя, петуха, ссылаться, это ещё нормально, твое мнение важнее каких-то там авторов.
>global data into local
Ну я не знаю, это уже КЕЙС в твоём понимании, или очередная прописная истина от гуру?
Аноним 22/01/17 Вск 14:32:36 9167320
>>9160

о алл-х, ты ещё упорствуешь!

оно не кажется, оно ясно как день для любого человека, не обязательно математика, обладающего здравым смыслом.

и не надо впадать в истерику и поминать какие-то совершенно не относящиеся к делу вещи.

иронию про "кейс" не понял. ранее я высказался, что неплохо бы понимать, зачем вообще пучки, и что они позволяют делать.

в рамках хождения в народ, так уж и быть, приведу пример: такие казалось бы разные теории когомологии, как сингулярные и дольбо, оказываются обе производными функторами функтора глобальных сечений, в одном случае --- постоянного пучка коэффициентов, в другом случае --- пучка голоморфных n-форм. без определения пучка это наблюдение нельзя даже сформулировать. отталкиваясь от такой формулировки, можно, например, написать спектралку фрёлихера и получить разложение ходжа на когомологиях кэлерова многообразия.
Аноним 22/01/17 Вск 17:04:39 9194321
А, это очередной "я потратил год на изучение тягомотной хуйни чтобы накропать статейку, доказав там какую-то комбинаторную хуйню, это всё очень важно изучать!!" >>9148 тут обоссывается.
Поджилки трясутся, что при правильном подходе к математике, где определения таки да важнее КЕЙСОВ, его ТРУД окажется тривиальной хуйнёй, которую любой первокур доказать сможет, денежек выбить под это не получится, плак плак.
Аноним 22/01/17 Вск 17:19:39 9198322
>>9167

и кстати, я посмотрел в предмет преткновения, главу 33 пенроузовской
книжки.

там межпрочим идёт речь о когомологиях Чеха! Twistor cohomology это
значит H^1 с коэффициентами в структурном пучке, если я не напутал. И
до кучи, с явным определением типа вот это ребята 1-коцикл, а вот это
когомологичные коциклы. Слова "резольвента", "ацикличное покрытие" не
произносятся, и заметены под ковёр, корректность определений, конечно,
не доказывается. Совершенно естественно, что автор не захотел давать
определение пучка, а ровно определил то, что ему нужно. Для монографии
это было бы недостаточно может быть аккуратно, но тут же, блджад,
обзорно-научно-популярная книжка.
Аноним 22/01/17 Вск 17:58:08 9203323
>>9194

да, определения важней утверждений, утверждения важней доказательств.

но определения должны приводить к пониманию чего-то, а не просто так
висеть в воздухе. как раз-таки, когда всё понято, выбрана правильная
понятийная система, и первокур всё может легко посчитать, это
называется работа сделана, и любой математик ровно к этому и
стремится.

и должен поставить тебе на вид, что твоё агрессивное высокомерное
невежество выглядит несколько неуместно.
Аноним 23/01/17 Пнд 01:31:47 9246324
>>9147
Коль чего, вопрос всё ещё актуален. (Бампать с периодичностью раз в сутки-то можно или банхаммером можно получить за такое?)
Аноним 04/02/17 Суб 05:04:42 10302325
Аноним 04/02/17 Суб 22:46:28 10346326
>>10302
Найсово.
Я немного от себя расширю (с пояснениями) и можно будет в каждый тред кидать. Главным образом в начинайко!
Аноним 05/02/17 Вск 01:04:55 10353327
А можете похвастаться перед алгебраистом мамкиным, топологи? Что можно интересного доказать про группы там, про алгебры или в теории представлений с помощью топологии легко и непринуждённо? Я имею ввиду кроме баяна про алгебры с делением над R, что-то новенькое.
Аноним 05/02/17 Вск 17:28:54 10381328
>>10353
Мамкин, ты же не читал ничего, а просишь себе покушать прямо в рот положить. Открой любой учебник по топологии, там на первой странице написано, как про подругруппы свободных групп можно доказывать с помощью фундаментальных групп накрытий графа
Аноним 12/02/17 Вск 18:10:30 10844329
>>4036
Здесь можно возразить, что подразумевался апгрейд программы, а не списка литературы (который мне тоже не особо удался). Попробую оставить набросок основных идей.

1. Линейная алгебра. Модуль можно определять до кольца, см. Isaacs Module theory without ring theory.
Содержательная часть: Определение модуля. Гомоморфизмы. Прямая сумма и произведение. Свободные модули как векторные пространства. Классификация модулей над pid, теорема о жордановой форме. Литература: Грийе (Grillet) главы 8-12, Isaacs 11-15, Вавилов Линейная алгебра гл 1-2, "Modules with algebraic K-theory in mind" первая глава.

2. Топология. Наиболее естественной кажется комбинаторная топология с точки зрения симплициальных комплексов, без определения топологического пространства.
Элементарная теория: накрытия, гомотопия, фундаментальная группа. Цепной комплекс, гомологии, точная последовательность. Пуэлл-бэк, пуш-аут, проективные и инъективные модули, функторы Hom и ⊗. Векторные расслоения, локальные когомологии, характеристические классы.
Литература: любой graduate textbook, например Прасолов.

3. Коммутативная алгебра.
Примарное разложение, ассоциированные простые идеалы. Пополнение, лемма Гензеля, лемма Артина-Рисса, плоские модули, условия обрыва. Нормированные кольца, дискретная норма, Дедекиндовы области, рамификация. Функции Гильберта, функции Самюэля, системы параметров, мультипликативность. Локальные кольца, гомологическая размерность. Регулярные последовательности, комплекс Кошуля.
Литература: задачник Altman-Kleiman (есть всё из Атии-Макдональда и больше), Matsumura Ring theory главы 1-6, "Modules with algebraic K-theory in mind" все главы после первой.

4. Гомологическая алгебра.
Спектральные последовательности, фильтрация, точные пары. Определение категории. Абелевы категории. Производные категории, локализация, производные функторы, когомологии пучков. Триангулированные категории, эквивалентность.

Про АГ и К-теорию допишу позже.
12/02/17 Вск 18:37:22 10849330
>>10844
>Модуль можно определять до кольца
В чём профит?
>Наиболее естественной кажется
Мне вот так не кажется. Да и естественной для кого? Только для тебя и других любителей алгбраической топологии?
Аноним 12/02/17 Вск 19:00:19 10856331
>>10849
Начинать с них легче, проще, приятнее, можно вывести основные результаты линейной алгебры без координат и вычислений. То, что понятие модуля используется с самого начала и не уходит из виду, помогает выстроить мышление, приобрести необходимую интуицию.
>Да и естественной для кого
Дескриптивной теории множеств и общей топологии место на свалке, не знаю ни одного приложения у этой хуйни.
Теория категорий в топологии и алгебре, по моему убеждению, не нужна. Преимуществ никаких, язык более сложный и абстрактный, мотивации меньше. Рассказывать топологию через фреймы и локали, или, как предлагал Павлов, использовать модельные или (\infty-1) категории, это полнейший кретинизм, бессмысленная деятельность, вредительство.
Ничего лучше конструктивной комбинаторной топологии не придумали, и придумывать не надо, а с какого-то момента можно начать пользоваться достижениями модульной алгебры.
Аноним 13/02/17 Пнд 03:36:27 10892332
>>10849
Многие алгебраисты считают, что изучение абелевых групп относится не к теории групп, а к теории колец, поскольку все основные результаты об абелевых группах доказываются теоретико-кольцевыми методами.
Аноним 13/02/17 Пнд 11:08:06 10897333
>>10856
>без определения топологического пространства.
Что ты под этим вообще понимаешь? Оно везде используется и всем нужно. Я, конечно, дурак, но вроде чисто комбинаторный подход это сущий ад, где все доказательства базовых фактов будут занимать по 30 страниц ебли. И вообще даже нелюбимая тобой общая топология нужна хотя бы в объеме теоремы Тихонова (для аделей, например).
>Примарное разложение
Еще давно хотел узнать, почему все считают примарное разложение чем-то очень важным? Где оно существенно используется в ТЧ/Алгеме?
Аноним 13/02/17 Пнд 12:26:17 10906334
IMG201702131226[...].jpg 129Кб, 600x804
600x804
Слово модуль теперь в спам-листе, похоже. Охуеть, приехали.
>>10897
>>10892
Аноним 13/02/17 Пнд 12:59:32 10907335
Даже более того, что такое модуль, вообще? Nineteenth century for abelian group, отдельное понятие подчеркивает фундаментальное различие групп и абелевых групп. А абелева категория это просто абстракция категории абелевых групп/модулей над кольцом/пучков модулей.
С точки зрения алгебры, групповая алгебра и универсальная обертывающая алгебра более естественный объект, чем группа и алгебра ли, и допускает дальнейшее обобщение.
13/02/17 Пнд 13:00:36 10908336
Аноним 13/02/17 Пнд 13:02:07 10909337
Аноним 13/02/17 Пнд 13:02:23 10910338
Важнее, что комбинаторные определения значительно легче и нагляднее, это базовая для элементарных понятий техника
Аноним 13/02/17 Пнд 13:02:46 10911339
foundation proofs
Аноним 13/02/17 Пнд 14:31:39 10918340
blob 225Кб, 500x500
500x500
>>10906
Слово в спам-листе - это om_oto
homo_topy
Видимо, спамили тут
Аноним 13/02/17 Пнд 14:37:11 10920341
>>10856
>конструктивной
В смысле любителей Брауэера? Выходит, ты не любишь общую топологию из-за аксимы выбора?
Аноним 13/02/17 Пнд 15:04:15 10923342
>>10920
отдельный прикол, кстати, это конструктивное определение Tor и Ext
13/02/17 Пнд 18:08:29 10932343
Кстати, дед, а ты слушаем не ко-ко-конструктивист? Способ общения похожий, форсите своих богинь - Брауэра и Дедекиндора, оба пытаетесь подсадить на свой форсы других, вместо детального объяснения ссылаетесь на что-то.
Аноним 13/02/17 Пнд 23:20:12 10950344
>>10910
По-прежнему совершенно не понимаю. Можешь подробнее изложить программу? Какие там будут определения и теоремы? Достаточно ли их будет для когомологий де Рама или чтобы посчитать целочисленные гомологии и фундаментальные группы у комплексных кривых? И определение общего топологического пространства все-таки нужно везде.
>>10909
Ну, такое. Во-первых вещи там изложенные совсем не базовые. Во-вторых большая часть из них не особо то и использует примарное разложение. Ему специально пришлось добавить ответ с неминимальными компонентами, который не особо и убедителен.
К твоей программе по коммутачу на самом деле в этом плане претензий нет, она достаточно большая. Но примарное разложение почему-то пихают во все даже вводные и сжатые курсы. В том же Атье-Макдональде достаточно невнятная глава есть, вместо которой можно было бы дать что-то сильно более полезное.
Аноним 13/02/17 Пнд 23:34:34 10951345
XX век это век надежды, надеялись что природу можно наебать.
XXI век - век взросления.
Комбинаторика - наука XXI века.
Аноним 23/02/17 Чтв 03:20:36 11803346
>>3784 (OP)
ты, наверное, много достигнешь, когда всё это прочитаешь
Аноним 03/03/17 Птн 02:37:56 12429347
>>3784 (OP)
>>3801

А есть похожие карты, по другим разделам математики, например, по диф. уравнениям - "diff. equations tree"? "math. physics tree"
Аноним 04/03/17 Суб 13:29:01 12507348
>>12429
Не сделали пока.
Аноним 06/03/17 Пнд 00:47:06 12663349
Оп-хуй, я не могу сообразить такую залупу - односвязна поверхность граненого стакана? Она вроде гомеоморфна (или изоморфна) двумерной сфере, но если взять кольцо и натянуть его на внешние стенки, но кольцо в точку не стянется, ибо есть дыра. Ньюфаг, поэтому сильно не ссыте.
Аноним 06/03/17 Пнд 02:12:57 12670350
>>12663
Поверхность гранёного стакана - это диск. Представь что ты берёшь диск и давишь на его центр, вытягивая вниз - получается донышко.
Аноним 06/03/17 Пнд 02:15:57 12671351
>>12670
Я в курсах. Но чтобы поверхность была односвязна, кольцо должно сжиматься в точку в любом месте, либо именно в том, куда я это кольцо нарисую?
Аноним 06/03/17 Пнд 02:18:56 12672352
Безымянный.png 5Кб, 368x327
368x327
>>12671
Иными словами, красное кольцо должно сжаться в зеленую точку, которая лежит в плоскости этого красного кольца, или же в зеленую точку, лежащую на дне?
Аноним 06/03/17 Пнд 02:19:21 12673353
>>12672
синюю точку, лежащую на дне
Аноним 06/03/17 Пнд 10:44:54 12679354
>>12672
А на какой поверхности стакана находится эта зелёная точка?
> красное кольцо должно сжаться в зеленую точку, которая лежит в плоскости этого красного кольца
Само собой, нет. Твоё кольцо деформируется, не покидая пространство, которое представляет из себя стенка стакана. В синюю точку оно стянется, как и в любую другую, принадлежащую пространству.
Аноним 06/03/17 Пнд 10:49:23 12680355
>>12679
Понял тебя.
Зеленая точка у меня в воздухе висит.
>В синюю точку оно стянется, как и в любую другую, принадлежащую пространству
А не поверхности стакана?
Аноним 06/03/17 Пнд 11:45:24 12682356
>>12680
Грубо говоря, твоя петля - это путь в пространстве Х, т.е., отображение f : [0, 1] → X такое, что f(0) = f(1). "Точка" - постоянное отображение, такое, что для любого t p(t) = const. То, что петля стягивается в точку, означает гомотопность постоянного отображения p и пути f. Ну и вот. С пространством X всё ясно. Это стенки "стакана", а что такое пустота? Вообще говоря, f там кагбе не определена.
Аноним 06/03/17 Пнд 11:48:38 12683357
>>12682
Я хз что ты написал, по топологии пока читал только апологию математики. Мне бы на пальцах.
Аноним 06/03/17 Пнд 12:21:17 12684358
Homotopycurves.png 7Кб, 519x269
519x269
>>12683
Ну, если кратко, то нельзя стянуть петлю на поверхности стакана в точку, этой поверхности не принадлежащую. Гомотопность - это как раз и есть "стягиваемость" в каком-то смысле. На картинке график функции гамма-0 непрерывно деформируется в график функции гамма-1. Эти две функции гомотопны. Все эти петли, точки - это тоже функции по сути. У функции одна определённая область значений. Либо эта область подмножество другого множества, либо это "всё множество целиком", но не два каких-то несвязных множества. Стакан не является каким-то подмножеством "пустоты" и вообще, эта "пустота" никак формально не определена в данном случае.
Аноним 06/03/17 Пнд 12:23:38 12685359
>>12683
Значение какого из слов тебе неизвестно? "Путь", "петля" или "точка"?
Аноним 06/03/17 Пнд 12:24:47 12686360
>>12685
>отображение f : [0, 1] → X такое, что f(0) = f(1)
Вот это все.
Аноним 06/03/17 Пнд 13:05:45 12689361
>>12686
Сорян. Вот что имелось в виду https://en.wikipedia.org/wiki/Path_%28topology%29. Со временем распарсишь может, ну а пока придётся принять на веру, что все эти петли и прочие штуки не должны покидать поверхность пространства, которое может быть стаканом, сферой, бубликом, плоскостью, бутылкой Клейна, рогатой сферой и чего угодно вообще.
Аноним 06/03/17 Пнд 13:06:22 12690362
К ссылке точка приклеилась в конце.
Аноним 20/03/17 Пнд 14:55:30 13327363
C6eUDEcXEAAkzX.jpg 436Кб, 2047x1346
2047x1346
Хочу угореть по алгебраической топологии. Сам 30лвл программист, физик-теоретик по образованию. Какие подводные камни?
Аноним 20/03/17 Пнд 15:56:26 13329364
>>13327
>>13327
Потеряешь всякую связь с реальность и уедешь рассказывать наполеонам про топологию и концепцию непрерывности проткнутых окресностей.
Аноним 20/03/17 Пнд 20:37:55 13342365
>>13329
спасибо, постараюсь не отъехать
Аноним 20/03/17 Пнд 22:53:06 13347366
>>3833
складывай в цилиндрических координатах, ну или в сферических, если совсем поехавший
Аноним 20/03/17 Пнд 23:03:02 13349367
>>3920
Спасибо, а то тоже все думал где найти предисловие
Аноним 23/03/17 Чтв 22:46:30 13501368
Т.е. это правда, что собственно единственный главный метод чисто топологический это пучки/расслоения?
26/03/17 Вск 04:01:51 13604369
top.png 35Кб, 770x115
770x115
Смутил термин отображение включения. Что это? Просто тождественное отображение подможества во множество?
Аноним 26/03/17 Вск 09:15:57 13605370
26/03/17 Вск 11:17:13 13607371
>>13605
Спасибо.
Можно ещё вопрос? Модульный дед утверждал, что R^n не нужно и можно работать в произвольном поле. Но ведь, метрика определяеться, как отображение в R! Имеет ли какой-нибудь смысл такое отображение, вроде метрики, где R заменено произвольном полем?
Аноним 26/03/17 Вск 14:41:18 13615372
>>13607
>Модульный дед утверждал, что R^n не нужно и можно работать в произвольном поле.
Подразумевается жирная R? Потому что простая R — это кольцо.
>Имеет ли какой-нибудь смысл такое отображение, вроде метрики, где R заменено произвольном полем?
Не видел, чтобы использовалось. Там дело не в том, что R — поле, а в том, что оно упорядочено. Там же неравенство треугольника. Полное (линейно)
упорядоченное поле эквивалентно R.
Но обычная метрика определяется скалярным произведением, а оно имеет смысл (и используется!) для кольца.
Аноним 07/04/17 Птн 16:20:00 14460373
Бутылка Клейна топологически вкладывается в R4. А геометрически(=изометрически) для плоской метрики на нём? А в R5?
Аноним 07/04/17 Птн 16:22:27 14461374
>>14460
Ну, в R5 наверно тоже. Хуй знает. А в чём проблема-то?
Аноним 07/04/17 Птн 22:39:53 14474375
>>14461
>Ну, в R5 наверно тоже.
То, что она топологически вкладывается в R5 абсолютно очевидно, так как R4 вкладывается в R5.
Но на бутылке клейна есть плоская метрика. Можно ли вложить так, чтобы индуцированная риманова метрика на ней была плоской?
Аноним 08/04/17 Суб 14:43:05 14513376
>>14474
Может с чего-то попроще начать, вообще кажется что даже совсем простые многообразия не вкладываются изометрически в эрэн. Вот S∧1 например?
Аноним 08/04/17 Суб 17:02:46 14517377
>>14513
>Может с чего-то попроще начать, вообще кажется что даже совсем простые многообразия не вкладываются изометрически в эрэн.
Тор, получающийся из квадратика, как и бутылка клейна, вкладывается в R4.
>Вот S∧1 например?
...окружность? Окружность вкладывается в R2.
Аноним 08/04/17 Суб 17:31:11 14522378
>>14517
> Тор, получающийся из квадратика, как и бутылка клейна, вкладывается в R4
> ...окружность? Окружность вкладывается в R2
Мы же про изометрическое вложение. Вот берём окружность в R^2 с внутренней метрикой, естественное вложение в R^2 с эвклидовой метрикой не является изометрией. Почему всё же есть изометрическое вложение в R^2?
Аноним 09/04/17 Вск 21:12:05 14551379
>>14522
Любую (?) метрику можно сделать внутренней, рассматривая инфимумы длин путей.
То есть имеется в виду индуцированная риманова метрика.
Аноним 09/04/17 Вск 22:53:19 14555380
>>14551
> Любую (?) метрику можно сделать внутренней, рассматривая инфимумы длин путей.
Ну, метрику на линейно несвязных пространствах например нельзя.
Или рассмотри плоскость, из которой вырезано что-то с площадью, окружность ненулевого радиуса например с обычной евклидовой метрикой.
> То есть имеется в виду индуцированная риманова метрика.
Ну, расстояние - длина дуги, индуцировано с R^2. Длина дуги =/= длине хорды, тавтологическое вложение это не изометрия. И, мне кажется, так и не получится отобразить окружность в какую-то замкнутую кривую в R^2 чтобы длина хорды в образе всегда была равна длине дуги в прообразе на окружности.
Аноним 10/04/17 Пнд 12:18:20 14587381
>>14555
Риманова метрика — квадратичная форма на касательном пространстве. Её може можно ограничить=индуцировать. То есть всё тут рассматривается как римановы многообразия.

А вообще, мне уже поебать на вопрос.
Аноним 15/04/17 Суб 22:52:56 14906382
>>4179
Смотрю, интересная борда, почитаю-ка тред по своей специализации

>Хатчер в 8 классе

Окей, пока
Аноним 19/04/17 Срд 15:14:57 15469383
>>3784 (OP)
Анон, такие дела: у меня получается доказать, что любое компактное множество является секвенциально компактным.

Допустим, что A - компактно, не не секвенциально компактно. Значит существует такая счётная последовательность точек x1, x2, ... принадлежащих A, что любая точка a множества A принадлежит определённому открытому множеству U(a), которому принадлежит только конечное число точек последовательности x1, x2... (иначе a была бы предельной точкой последовательности x1, x2... И так, берём все такие U(z) для каждой точки z множества A, объёдиняем их, получаем покрытие множества A и в силу компактности A выбираем конечное подпокрытие. Каждое открытое множество этого конечного подпокрытия содержит конечное число точек из последовательности x1, x2.., значит и множество A содержит только конечное число этих точек - противоречие.

В книжках написано, что в общем из компактности не следует секвенциальная компактность. Где я накосячил в доказательстве?
Аноним 20/04/17 Чтв 03:22:58 15541384
>>15469
Для метрических пространств, секвенциальная и обычная компактность равносильны.
Аноним 20/04/17 Чтв 03:26:26 15542385
>>15541
Да, но моё доказательство показывает, что любое компактное множество является секвенциально компактным, а не только метрическое. Книжки утверждают, что это не так.
Аноним 20/04/17 Чтв 03:31:13 15543386
>>15542
Надо искать где оно вступает в противоречие с 1 аксиомой счетности.
Аноним 22/04/17 Суб 19:09:07 15800387
Вопрос на который не ответит ни один тополог.
Какой предмет изучения топологии?
Аноним 22/04/17 Суб 21:17:20 15813388
>>15800
Топология изучает извлечение квадратного корня из нуля.
Аноним 22/04/17 Суб 21:57:47 15821389
>>15800
Топология изучает топологические структуры.
Аноним 22/04/17 Суб 21:59:25 15823390
>>15469
bump! Я так и не нашёл ошибки в своём доказательстве. Ну, анончики-топологи, где же я ошибся??
Аноним 22/04/17 Суб 22:34:27 15842391
>>15821
Развивай дальше эту тему, что такое топологичекие пространства.
Аноним 22/04/17 Суб 22:38:43 15843392
>>15469
>получаем покрытие множества A
Докажи.
Аноним 22/04/17 Суб 23:12:41 15845393
>>15842
Топологическое пространство - это математическая структура, которые можно определить разными способами. Самый распространённый - через задание на множестве (которое будет в этому случае топологическим пространством) множества его подмножеств, называемых открытыми, которые удовлетворяют ряду аксиом:
1. Пустое множество и само топологическое пространство - открытые множества.
2. Объединение множества окрытых множеств - открытое множество.
3. Пересечение двух открытых множеств - открытое множество.
Аноним 22/04/17 Суб 23:16:31 15846394
>>15843
любая точка a множества A принадлежит определённому открытому множеству U(a).
Следовательно a принадлежит и объединению всех U(z), т.к. U(a) - подмножество этого объединения.
Значит, это объединение является покрытием множества A.
Аноним 22/04/17 Суб 23:28:07 15848395
>>15846
Возражение снято. Хм.
Аноним 23/04/17 Вск 03:15:38 15885396
>>15469
>Значит существует такая счётная последовательность точек x1, x2, ... принадлежащих A, что любая точка a множества A принадлежит определённому открытому множеству U(a), которому принадлежит только конечное число точек последовательности
По-моему, возможность выбора сходящейся подпоследовательности при наличии предельной точки доказывается при предположении чего-то типа замкнутости одноточечных множеств. Хотя это вроде не необходимо.

Аноним 23/04/17 Вск 08:06:13 15898397
>>15885
>возможность выбора сходящейся подпоследовательности
Это требует 1 аксиомы счетности, без нее нельзя.
Аноним 23/04/17 Вск 14:26:45 15961398
SciMathCountere[...].PNG 52Кб, 541x603
541x603
>>15898
При предположении 1 аксиомы счётности, говорят, секвенциальная компактность эквивалентна компактности, нет противоречия.
Аноним 23/04/17 Вск 16:13:48 15998399
>>15961
Да, но моё доказательство не требует в предположении 1 аксиому счётности.

Книги пишут, что есть компактные, но не секвенциально компактные множества. Из моего доказательства следует, что таких множеств нет.

Я понимаю, что с вероятностью 99,99% в моём доказательстве есть ошибка, или я что-то совершенно не так понял.
Аноним 23/04/17 Вск 16:23:12 16012400
>>15885
>>15898
>>15961
>>15998
Cорри, прочёл жопой.
Мне осталось разобраться, почему нужна 1 аксиома счётности, чтобы иметь возможность выбора сходящейся подпоследовательности при наличии предельной точки
Аноним 23/04/17 Вск 20:03:42 16064401
>>16012
Всё понял. Спасибо!
Аноним 29/04/17 Суб 19:06:26 16687402
>>15469
>любая точка a множества A принадлежит определённому открытому множеству U(a), которому принадлежит только конечное число точек последовательности x1, x2...
Это неверно. Есть точки, которые сильно изолированы от последовательности (имеют окрестность, не содержащую точек), а есть точки, которые слабо изолированы: не вычленяется подпоследовательность, которая будет сходиться.
Сильная изолированность - это дополнение к замыканию, а слабая изолированность - дополнение к секвенциальному замыканию.

Если выполняется 1 аксиома счетности, всякая изолированная точка сильно изолирована, поэтому доказательство компактный => секв. компактный работает.
Аноним 09/06/17 Птн 20:10:43 19994403
Первокультурные топологие призываются в тред!
В обычной топологии R открыто или замкнуто множество A=[0;1)?
С одной стороны, множество открыто, если Int(A)=A, а замкнуто, если Cl(A)=A. Где Int- внутренность, а Cl - замыкание. Но (0;1)=Int(A) подмножество A подмножество Cl(A)=[0;1]! То есть оно не является ни замкнутом ни открытом! Такое может быть? Или я туплю где-то?
Аноним 09/06/17 Птн 20:36:51 19996404
>>19994
Совершенно верно, множества не могут быть ни открытыми ни замкнутыми. Точно так же как треугольники на плоскости не обязаны быть либо только равносторонними, либо только со всеми сторонами разных длин.
Аноним 09/06/17 Птн 20:44:13 19998405
>>19996
Спасибо. Я просто думал, что множество могло быть только открытое или замкнутое.
Аноним 09/06/17 Птн 22:33:38 20002406
>>19996
> могут
естественно
Аноним 10/06/17 Суб 04:33:27 20008407
>>19998
Открытое-закрытое зависит от топологии. Можешь задать на R: R и 0пустое. Тогда любое множество, кроме R и 0 ни открытое ни замкнутое.
Аноним 14/06/17 Срд 18:20:37 20197408
Сап, умные анончики
Скоро экзамен по топологии, я пытаюсь вкатиться в теорию, пока не особо получается
Застрял на когомологиях де Рама, везде в сети примеры не разбираются, а пишется итоговый ответ
В частности, не могу разобраться, как найти H^k(R^2/{a,b,c}), то есть эти самые когомологии для плоскости с тремя выколотыми точками
Вроде как дошел до того, что тогда это Z[x,y,z]/(x^2,y^2,z^2)
потому что это букет трех окружностей, у каждой кольцо когомологий изоморфно Z[x]/(x^2)
Но итоговое решение хуй знает как оформить
Короче, если поможете - с меня как всегда
Верю в вас
Аноним 15/06/17 Чтв 08:51:30 20217409
>>20197
Пиши в кукаретник Мише, он разбирается.
Аноним 16/06/17 Птн 09:53:05 20294410
>>20217
Это куда? Поясни нюфане
Аноним 16/06/17 Птн 21:44:35 20334411
>>20294
Ты найдёшь ссылку в треде про топологию. Но это не точно. Ключевое слово - "ссылкота".
Аноним 18/06/17 Вск 21:52:05 20526412
сап, пацаны
можно как-то через определение доказать гомотопическую эквивалентность R^3\R^1 и R^2\R^0, то есть трехмерное пространство без прямой и плоскость с выколотой точкой?
через определение - предоставить два таких отображения, ну вы поняли

алсо, если можно как-то иначе это доказать - тоже пилите
с меня как всегда
Аноним 19/06/17 Пнд 16:13:26 20597413
>>20526
Если что, у нас есть многообразие М (R^3\R^1), это трехмерное пространство без прямой (допустим, (х,у,0)), есть многообразие N, R^2\0 (плоскость без точки)
Нам нужно для доказательства предоставить два отображения, f (из М в Н) и g (из Н в М)
Я думал, f(x,y,z)=(x,y,0); а g(x,y)=(x,y) {g - тождественное}, но оказалось, что в таком случае f отображение из М в М, а g - из Н в Н.
Как фиксить-то?
Аноним 20/06/17 Втр 05:17:55 20646414
>>20526
Представь что выколотая прямая в R^3 у тебя располагается по оси Z, а плоскость с выколотой точкой это плоскость Z=0 (и точка это начало координат соответственно). Тогда одно отображение это тавтологическое включение плоскости в R^3/R^1, а обратная гомотопия - это ортогональная проекция всего пространства на эту плоскость Z=0 с выколотым началом координат.
Аноним 20/06/17 Втр 14:50:58 20662415
>>20646
благодарю, а если это записывать на бумаге, как записать оба отображения?
Аноним 21/06/17 Срд 04:40:41 20680416
>>20662
Так же как ты и написал:
f(x,y) = (x,y,0)
g(x,y,z) = (x,y)
Аноним 07/07/17 Птн 04:44:42 21427417
image.png 20Кб, 777x212
777x212
Ребят, я что-то совсем поехал, это же наебка от Зорича? Ведь если такое возможно, то x1 будет предельной точкой для замкнутого множества E2, то она должна будет содержаться в E2, что противореиче, и значит не существует таких множеств. Или я тупанул?
Аноним 07/07/17 Птн 10:28:40 21429418
>>21427
Может E1 - любое замкнутое, а E2 - пустое?
Аноним 07/07/17 Птн 13:26:15 21438419
>>21429
я тоже так думал, но тогда мы не можем найти расстояние.
Аноним 07/07/17 Птн 15:23:23 21448420
Аноним 07/07/17 Птн 15:42:11 21449421
>>21448
Спасибо, я придумывал подобные примеры, но у меня вечно что-то с предельными точками не сходилось.
Аноним 08/07/17 Суб 19:33:38 21563422
>>21427
Вот еще пример: графики функций 1/x и -1/x.
Аноним 08/07/17 Суб 23:03:56 21575423
>>21563
1/x и -1/x не подходят, ибо первое, "графики" это не множества, надо как-то конкретнее объяснить. И второе, если я правильно понял, то графики будут множеством открытым.
Аноним 08/07/17 Суб 23:09:58 21576424
>>21575
но если ты имел ввиду подмножества, точек {x;1/x} и {x;-1/x} в R^n n>1, то да, подойдет.
Аноним 08/07/17 Суб 23:25:54 21577425
>>21563
А они точно замкнутые?
Аноним 09/07/17 Вск 02:45:38 21579426
>>21577

Если взять этот пример >>21576
, то вполне себе, это вполне себе множества граничных точек.
Аноним 09/07/17 Вск 12:31:20 21590427
>>21575
> "графики" это не множества
График функции f - это множество
Гf = { (x, y)) | y = f(x) }.
Аноним 15/07/17 Суб 20:37:54 21928428
>>21577
Они точно не замкнутые, так как окрестность нуля всегда включает и элементы R и элементы 1/n, а дополнение замкнутого должно быть открытым
Аноним 20/07/17 Чтв 13:13:00 22192429
Ладно пацаны. Решил вкатиться в топологию, стал читать Манкреса и делать упражнения. Дошел до связности и что-то подустал. Порекомендуйте книжку какую-нибудь для разжигания интереса, и чтобы можно было в отпуске перед сном читать.
Аноним 20/07/17 Чтв 14:12:36 22209430
>>22192
лекции по математике босса. Этакое развлекательное чтиво с налетом математичности. Поясняют про интригалы, рогатые сферы, простые числа и проткнутость окресностей жопный анусов.
Аноним