М.Двач / Математика

Топология Bog # OP 24 ноя 2016, 08:54 3784 В конец треда | Веб

1,6 Мб, 831x8974,6 Мб, 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 книг прочел, поэтому древо, конечно, неидеальное.
ИТТ приветствуются любые дискассы/реквесты, связанные с топологией. Допускается обсуждение околотопологических мемов (например, личность Ромы Михайлова, Вербит, Перельман итд). Алсо, обсуждаем литературу и пикчу. Говно будет нещадно смываться.
Итак, господа, СЛАВА ТОПОЛОГИИ! Начнем-с!

Ответы3787380138934017465111803124291546925250366234191744141119290

Bog # OP 2 24 ноя 2016, 09:07 2 3786

>еще ближе приближаемся к топологии
подбираемся* фикс

3 24 ноя 2016, 09:32 3 3787

>>3784 (OP)
>Добавлю, что у Скопенкова помимо "Алгебраической топологии с геометрической точки зрения" есть еще "Алгебраическая топология с элементарной точки зрения"
Это ж одно и то же, по моему
"Элементарная" более ранняя версия
Мог бы сделать по темам, например:
Комбинаторная топология, "геометрический" стиль: Зайферт-Трельфалль, Прасолов, Элементарные топологии
Общая/метрическая: Виро-Харламов-Иванов-Нецветаев, Вербицкий
Standard syllabus, AT: Hatcher, Spanier, May
DG: Lee, Tu, Nicolaescu
Более обзорные: Ramanan, Michor, Wedhorn
То есть типа кластерами такими, вместо дерева зависимостей. Хотя идея с вертикальным расположением (хотя бы по уровню андерград/град/исследовательская монография) неплохая.
>можно прочитать т.н. Триаду от издательства
Есть еще четвертая, Масси-Столлингс. Можно читать параллельно с Виком.

Ответы3788

Bog # OP 4 24 ноя 2016, 09:39 4 3788

>>3787
Благодарю за комментарий, может потом займусь переделкой (в любом случае для нового трэда нужно будет подготовить более годную пикчу).
Масси-Столлингс есть в древе, под триадой я имел в виду, что все они выходили в рамках одной и той же серии.

Ответы3792

5 24 ноя 2016, 09:58 5 3790

Кстати, Алгебраическая К-теория Милнора это явно лишнее. Алгебраическая К-теория не имеет ничего общего с топологической, кроме К(0). Там нет периодичности Ботта, да и вообще, другая наука просто, и намного сложнее.
Топологическая это: Атья, Каруби, Мищенко, Хьюзмоллер и тд.
Алгебраическая. Милнор, Басс, Вайбель и еще дохера, я могу составить список если надо.
Топологическая К-теория это по сути раздел К-теории С* алгебр. Алгебраическая это вообще другая тема и больше связана с мотивами Воеводского или например с циклическими гомологиями (аддитивная К-теория), чем с этим. Про нее надо думать как про раздел линейной алгебры.
No offense, но создается впечатление что вы там реально нихуя не знаете и дальше автора и названия не читали. Где Милнор-Сташеф? С "когомологий Галуа" в списке по топологии вообще проиграл.

Ответы37943795

6 24 ноя 2016, 10:17 6 3791

Вообще, та же алгебраическая к-теория это на 100% алгебра, и чтобы перекрыть всю современную математику надо такой же список по алгебре, либо совместить их. Я пробовал сделать, но бросил за бессмысленностью. Основная проблема: нужно сразу понимать, куда двигаться
Например:
Топология симплициальных и cw-комплексов → теория гомотопий → характеристические классы
Теория морса → топологическая к-теория → к-теория С*-алгебр
Но для этого сначала нужно классифицировать современные области/направления, что трудно и получится очень субъективно
Если не иметь узколобого взгляда ОП-пика типа "все интересные идеи либо высказаны до 80-х, либо относятся к зеркальной симметрии и теории струн", ничего не получится. Но можно иметь альтернативный этому взгляд, пусть столь же узколобый, но уже будет из чего выбирать, например.

Ответы37943820

7 24 ноя 2016, 10:20 7 3792

>>3788
>все они выходили в рамках одной и той же серии.
Масси и Столлингс там же выходили, тоже как и Милнор с Уоллесом, две книги под одной обложкой.
Курант и Роббинс говно, Люсьенн Феликс лучше.

8 24 ноя 2016, 11:44 8 3794

>>3790
>>3791
С точки зрения безграмотного быдла - несомненно.

Ответы3795

9 24 ноя 2016, 12:47 9 3795

>>3794
>>3790
>Где Милнор-Сташеф?
в глаза ебешься
В конце работы решил сделать пик побольше, и не только по топологии, потом понял, что совсем заебусь, отсюда некоторые относительно лишние книги (Гомологическая алгебра, Когомологии Галуа итд), изучающему азы это точно не нужно, как и, например, топологическая библиотека Новикова-Тайманова.
Алсо, Милнора и Атью я так поставил, потому что сам читал в этом порядке, так или иначе обе нужно прочесть.
>Я пробовал сделать, но бросил за бессмысленностью
Распиши, что надумал, нормальный гуид сделаем.
>Масси и Столлингс там же выходили
Лол, и вправду, я и не заметил. МС года три назад читал, и то диагонально, потому что все оттуда знал. Оказывается это была одна из двух книг с несерийной обложкой, есть еще годнота по теорверу.
>узколобого взгляда ОП-пика типа "все интересные идеи либо высказаны до 80-х, либо относятся к зеркальной симметрии и теории струн"
Полегче! Это было легкое чтиво по азам, в некоторых местах чуть дальше (и то это следовало убрать). Ничего серьезного, из чего можно было бы делать такие выводы, тут нет.
Алсо, ты на dxdy есть? Или это ниже твоего достоинства

Ответы3799

60 Кб, 528x299
10 24 ноя 2016, 13:11 10 3796

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

11 24 ноя 2016, 14:29 11 3799

>>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

Ответы7532

12 24 ноя 2016, 14:53 12 3800

Что касается математики в целом, предлагаю такую классификацию:
1) Когомологии Галуа, мотивные когомологии, мотивы с конечными коэффицентами
2) Циклические гомологии, аддитивная к-теория, лямбда-кольца, некоммутативная геометрия
3) Этальные когомологии, l-адические когомологии, Делинь Гипотезы Вейля-2, правда в основном уже завершено
4) Эллиптические когомологии, топологические модулярные формы, Лурье
Геометрический Ленглендс им. Дринфельда и зеркальную симметрию им. Виттена предлагаю считать картофаном, pursuing stacks/les dérivateurs, tame topology и Мочидзуку – пока не мейнстримной периферией.
Соответственно программу изучения надо написать под это.

Ответы38203914

2 Мб, 2189x1646
13 24 ноя 2016, 16:16 13 3801

>>3784 (OP)
В общем вот, ОП. Сделал все, что мог.

Ответы391412429

14 24 ноя 2016, 16:45 14 3802

Чем топология отличается от геометрии?

Ответы3805

15 24 ноя 2016, 17:07 15 3805

>>3802
Топология бывает общая (раздел теории множеств, скорее язык, чем область), алгебраическая (cw-комплексы, гомологии) и дифференциальная (гладкие многообразия, кривизна). Геометрия же это изучение групп преобразований, то есть раздел теории групп.

16 24 ноя 2016, 18:45 16 3808

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

Ответы38093817

17 24 ноя 2016, 19:09 17 3809

>>3808
Да не схлестнулись, мне просто не понравилось что он сортировал не по содержанию, а по серии в которой книга издавалась, обложке и автору.

Ответы38103817

18 24 ноя 2016, 19:41 18 3810

>>3809
по содержанию книги на каждом уровне дублируют друг-друга процентов на 90%.

Ответы3817

19 24 ноя 2016, 19:52 19 3811

Очень интересно. А что там с алтопом, например?

20 24 ноя 2016, 20:03 20 3812

Где можно найти книжки "Топологическая библиотека", которые про кобордизмы и прочее?

Ответы38173818

21 25 ноя 2016, 00:47 21 3817

Соре, спал, не мог ответить. Итак, а теперь обо всем по порядку:
>>3808
>ИТТ схлестнулись два любителя ключевых слов с тифаретника
На тифаретник я заходил всего 1 раз, если ты не понимаешь о чем идет речь, это не значит, что это рандомный набор слов, нес па?
>Список ужасный, избыточный и содержит кучу говнокниг
Я не говорил, что нужно осваивать все, еще раз
>вы можете прочитать только Фукса-Рохлина, потом Фукса-Фоменко
И добавил почти все классические учебники, чтобы никого не задеть. Перечисли, что считаешь говнокнигами.
>Четыре нижних этажей можно выкинуть без потери ценностей
А я о чем
>5-ый этап! (В принципе, можно сразу с него и начинать)
Нижние этажи добавлены исключительно для школоты, чтобы та хоть что-то понимала, а не строчила про гамалогии и ящики.
>>3809
>он сортировал не по содержанию, а по серии в которой книга издавалась, обложке и автору
ДА НЕТ ЖЕ БЛЯДЬ!
>общей топологии справа, по алгебраической в центре и некоторые по дифференциальной справа
То что я назвал Триадой идеально подходит для первого чтения, поэтому они стоят там вместе, причем их и перевели на русский, в рамках серии начальных курсов, отсюда и совпадение.
О ОБЛОЖКАХ И АВТОРАХ ВООБЩЕ РЕЧИ НЕ ИДЕТ! Я изначально все выписывал в блокнот, а потом уже по нему выстраивал пик. Единственное, где может быть совпадение обложек, кроме серии Мира, это Зейферт-Новиков, которые идеально подходят, чтобы читать их подряд, а также 2 книги Понтрягина (тут вообще без вопросов)!
>>3810
>по содержанию книги на каждом уровне дублируют друг-друга процентов на 90%.
Вы что сговорились что ли? Все в глаза ебетесь?
>по одной алгебраической здесь много аналогов по одним и тем же темам
>>3812
А вот с этим проблема, на сколько я знаю нигде, только платно скачать с одного сайта. Но эти книги представляют собой сборники статей и монографий, так что ты можешь скачать пробную версию (вроде должна быть) и по оглавлению спокойно выгуглить каждую книгу. А вообще, я наверное сам расщедрюсь и как-нибудь их куплю, чтоб выложить в открытый доступ. Сканировать я точно не буду, заебусь.
Вообщем подожди недельку-три я раздобуду.
Итак, господа, окей, вот у нас новый ОП-пик, в принципе справедливо, хотя некоторые вещи я бы не стал выметать. Чуть позже немножечко, с вашего дозволения, доправлю. А для школоты, наверное, сделаем отдельную пикчу. И тогда всех все устроит.

21 25 ноя 2016, 00:47 21 3817

Соре, спал, не мог ответить. Итак, а теперь обо всем по порядку:
>>3808
>ИТТ схлестнулись два любителя ключевых слов с тифаретника
На тифаретник я заходил всего 1 раз, если ты не понимаешь о чем идет речь, это не значит, что это рандомный набор слов, нес па?
>Список ужасный, избыточный и содержит кучу говнокниг
Я не говорил, что нужно осваивать все, еще раз
>вы можете прочитать только Фукса-Рохлина, потом Фукса-Фоменко
И добавил почти все классические учебники, чтобы никого не задеть. Перечисли, что считаешь говнокнигами.
>Четыре нижних этажей можно выкинуть без потери ценностей
А я о чем
>5-ый этап! (В принципе, можно сразу с него и начинать)
Нижние этажи добавлены исключительно для школоты, чтобы та хоть что-то понимала, а не строчила про гамалогии и ящики.
>>3809
>он сортировал не по содержанию, а по серии в которой книга издавалась, обложке и автору
ДА НЕТ ЖЕ БЛЯДЬ!
>общей топологии справа, по алгебраической в центре и некоторые по дифференциальной справа
То что я назвал Триадой идеально подходит для первого чтения, поэтому они стоят там вместе, причем их и перевели на русский, в рамках серии начальных курсов, отсюда и совпадение.
О ОБЛОЖКАХ И АВТОРАХ ВООБЩЕ РЕЧИ НЕ ИДЕТ! Я изначально все выписывал в блокнот, а потом уже по нему выстраивал пик. Единственное, где может быть совпадение обложек, кроме серии Мира, это Зейферт-Новиков, которые идеально подходят, чтобы читать их подряд, а также 2 книги Понтрягина (тут вообще без вопросов)!
>>3810
>по содержанию книги на каждом уровне дублируют друг-друга процентов на 90%.
Вы что сговорились что ли? Все в глаза ебетесь?
>по одной алгебраической здесь много аналогов по одним и тем же темам
>>3812
А вот с этим проблема, на сколько я знаю нигде, только платно скачать с одного сайта. Но эти книги представляют собой сборники статей и монографий, так что ты можешь скачать пробную версию (вроде должна быть) и по оглавлению спокойно выгуглить каждую книгу. А вообще, я наверное сам расщедрюсь и как-нибудь их куплю, чтоб выложить в открытый доступ. Сканировать я точно не буду, заебусь.
Вообщем подожди недельку-три я раздобуду.
Итак, господа, окей, вот у нас новый ОП-пик, в принципе справедливо, хотя некоторые вещи я бы не стал выметать. Чуть позже немножечко, с вашего дозволения, доправлю. А для школоты, наверное, сделаем отдельную пикчу. И тогда всех все устроит.

Показать весь текст
Ответы382038423934

22 25 ноя 2016, 01:10 22 3818

149 Кб, 699x947141 Кб, 697x905166 Кб, 717x1009

>>3812
На всякий случай выкладываю список сюда

Ответы3858

23 25 ноя 2016, 01:19 23 3819

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

24 25 ноя 2016, 01:54 24 3820

>>3817
>Чуть позже немножечко, с вашего дозволения, доправлю
А вообще нет, пусть лучше
>>3791 >>3800 - кун напишет (хотяб список, не пикчу) свой вариант,
>бросил за бессмысленностью
теперь есть резончик
а там уж разберемся

25 25 ноя 2016, 05:04 25 3824

более подробно и конкретные вещи

26 25 ноя 2016, 14:55 26 3833

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

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

Ответы4503450513347

27 25 ноя 2016, 18:36 27 3842

>>3817
>Перечисли, что считаешь говнокнигами.
Лень каждую книгу открывать, но как минимум книги Понтрягина, он просто блядь ужасно пишет, как можно этого не видеть. Что-то по алгтопу помимо Хатчера. Куча какой-то хуйни по общей топологии, даже мехматовский учебник.

Ответы38493852

28 25 ноя 2016, 23:04 28 3849

>>3842
>какой-то хуйни по общей топологии, даже мехматовский учебник
>Что-то по алгтопу помимо Хатчера
В принципе на это и отвечать не нужно, но я таки прокомментирую
ебать даун

Ответы3853

29 25 ноя 2016, 23:35 29 3852

>>3842
>книги Понтрягина, он просто блядь ужасно пишет
То есть ты даже конкретно эти не читал? Лол. Гладкие манифолды - это вообще обязательно к освоению, первая книга в Топологической библиотеке. Крч:
>мяяяяяяям, сложнаа!!1

Ответы3853

30 25 ноя 2016, 23:44 30 3853

>>3849
>Александров, Урыссон
Может сразу Пуанкаре читанем, возбудимся? Для современного взгляда на эту "дисциплину" есть тошнотворный Мункрес, для историков математики.

>>3852
Есть Ли, есть Ту, есть Мищенко-Фукс на худой конец, нахуй читать этого шизофреника?

Ответы38543855

31 26 ноя 2016, 01:14 31 3854

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

Ответы38553859

32 26 ноя 2016, 02:51 32 3855

>>3854
Мил человек, распиши уж, что хотел. прогу-то
Или свой заброшенный вариант.

>>3853
Насчет Александрова-Урысона, не могу сказать, что она совсем устарела, эта небольшая книженция все еще подходит для первого чтения, поэтому она там стоит. К тому же совсем не косноязычна как раз для тебя

33 26 ноя 2016, 06:55 33 3858

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

34 26 ноя 2016, 08:31 34 3859

>>3854
> Насчет его компетентности сомнений ни у кого нет – он умеет только приписывать себе результаты, которые им не были получены.
Серьёзно? Кстати, почему до сих пор то и дело всплывает Зайферт-Трельфалль? Оно же выглядит, как копролит.

Ответы38603861

35 26 ноя 2016, 08:53 35 3860

>>3859
http://sowa.livejournal.com/91076.html

36 26 ноя 2016, 09:08 36 3861

>>3859
Потому что оно не стареет, а стиль изложения делает его идеальным для первого чтения.

Ответы3862

37 26 ноя 2016, 09:15 37 3862

>>3861
Ну фиг знает. По-моему как-то сильно на любителя. Да и для первого чтения по чём, собственно? По алтопу есть же куда более современный хатчер, по общим тапалогиям - уйма других книг. У ЗТ закономерно отсутствует современный категорный язык, на некоторые недостатки определений указано в сносках Алексндровым(?) на самом деле вообще хер пойми, кто эту книгу переводил и почему, я что-то так и не нашёл вменяемых выходных данных и каких-то сведений, кроме ссылки на грант

Ответы3864

38 26 ноя 2016, 09:22 38 3863

Зейферт-Трельфалль это лучшая книга по комбинаторной топологии для начинающего. Те самые симплициальные гомологии в лицах.
Еще подобного: Тёрстон Трехмерная геометрия и топология, Needham Visual complex analysis, ряд книг Stillwell'а и Edwards'а по алгебре.
Про "первое издание до 1982-го = копролит" выглядит как глупое подражание вербицкому, если бы не противоречило его же позиции.
Для тебя и Хирцебрух по АГ например копролит. Ты же сразу выучил алгебру по Алуфи, топологию на языке локалей и теорию галуа для топосов, правильно?

Ответы3865

39 26 ноя 2016, 09:27 39 3864

>>3862
>общим тапалогиям
Какая там общая топология, ты охуел, лолка? Твоя теория категорий это и есть то же самое говно, что и общая топология.
В ЗФ топология комбинаторная, и там сразу даются результаты. А не куча немотивированных определений без теорем, как в теории множеств, общей топологи, книгах Мальцева и Куроша по общей алгебре, теории категорий по Awodey и прочим. Точно такое же бессодержательное говно.
Теория категорий нужна только в гомологической алгебре, в комбинаторной топологии она не нужна нахуй, это не экстремизм уже, а просто безграмотное ебланство, уровня теории Галуа для топосов.

Ответы3865

40 26 ноя 2016, 09:36 40 3865

>>3863
> Про "первое издание до 1982-го = копролит"
Друг, я не понимаю, при чём тут вербитка, но книга впервые вышла в свет в 1930-каком-то году на немецком. Она реально стара. На этом фоне несколько удивляет, что кто-то зачем-то откопал её полвека спустя ну и учитывая упомянутые моменты. Такое впечатление, что она появилась только потому, что кому-то надо было освоить грант. Ты и анализ по книгам Коши изучаешь что ли, ну?

>>3864
> в комбинаторной топологии
Привет. Как там в пятидесятых?
Может тебе в алтопе и алгебра не нужна?

Ответы3866

41 26 ноя 2016, 09:57 41 3866

>>3865
Я понимаю, что ты умеешь смотреть только на год издания, поэтому и расписал настолько подробно. Твои рофлы про пятидесятые не при чем. Агебра это модули над коммутативными кольцами, их порождающие и соотношения. Теория категорий это не современная алгебра, это современная общая топология.
Тем не менее, язык окрестностей более понятен интуитивно, нежели язык открытых множеств, локалей или чего-то еще. Точно так же комбинаторная топология не теряет актуальности, хотя она намного старше тридцатых.
Фактологически там ничего не устарело, так же как не устарела теорема Пифагора. Ничего нового включать туда не нужно.
Можно изложить то же самое на трех страницах с категориями, но понятнее не будет от этого, а значит это дрочерство типа универсальной алгебры. И нет никакой потребности каждый раз переписывать одно и то же в новом формализме, это не улучшает ситуацию с распространенем знаний, а ухудшает.

Ответы3868

42 26 ноя 2016, 10:18 42 3868

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

43 26 ноя 2016, 19:53 43 3893

>>3784 (OP)
Братик, бахни на картинку легенду и пронумеруй этапы, будет лучше намного.

Ответы39143920

44 27 ноя 2016, 04:08 44 3914

>>3893 ---> >>3801
А еще есть прекрасный гайд, как вкатиться, в предисловии переводчика в русскому изданию "Теории гомологий" Дж. Вика, на первых двух страницах там все подробно расписано.
Что касается ОП-пика я жду постов от >>3800-антуана, если не решиться, то худо-бедно допилю его пик к следующему трэду.

Ответы39204036

45 27 ноя 2016, 13:20 45 3920

241 Кб, 845x1137214 Кб, 801x1157146 Кб, 929x809

>>3893
>>3914
Внезапно обнаружил, что Вик Дж. нэма в интернете, ЕСПЧ книга 2005 года, ХЗ какого хера ее еще никто не отсканировал. Если нужно будет найдешь английскую, а пока прилагаю то самое предисловие с гайдом (обзором)

Ответы3928403213349

46 27 ноя 2016, 16:38 46 3928

>>3920
Ну всё верно. Зачем русек, если есть оригинал?
http://gen.lib.rus.ec/book/index.php?md5=6E300073B86740B04E4ADBF9C09DCC5B
http://gen.lib.rus.ec/book/index.php?md5=594A561C221FC0A584658BB640CCD68A

Ответы3992

47 27 ноя 2016, 18:06 47 3934

>>3817
> нес па?
Привет дедам! Да здравствуют деды!

Ответы39833991

48 28 ноя 2016, 01:40 48 3983

>>3934
>Привет дедам! Да здравствуют деды!
https://www.youtube.com/watch?v=cWIqjhD2LGw

Ответы3997

49 28 ноя 2016, 02:21 49 3991

>>3934
лол, малолетка итт
думаешь? если пеплов употребил это выражение, значит так только диды говорят?
нет http://lurkmore.to/Улавливаешь

Ответы3997

50 28 ноя 2016, 02:22 50 3992

>>3928
увы, в оригинале нет проги

Ответы4012

51 28 ноя 2016, 04:15 51 3997

>>3983
Хыч! Колдуем!

>>3991
Я же его не по одной этой фразе сдетектил (но по ней - в том числе). К тому же мой пост хоть и был написан в весьма ироничном тоне, но никакой негативной коннотации в себе не нес, нес па?

52 28 ноя 2016, 10:27 52 4012

>>3992
Да не прога это. В любой книге есть такие рекомендации.

53 28 ноя 2016, 11:18 53 4017

>>3784 (OP)
Внезапно! Учебник Вербита появится в печатном виде в 2017 году
https://publications.hse.ru/books/195425930
Надеюсь, тогда же выпустят вторую часть Городенцева, а то с ней чо-то совсем перетянули
Ура, товарищи!

Ответы4029

54 28 ноя 2016, 15:25 54 4029

>>4017
А чё ура? Преподавательский талант Мишки под большим вопросом. Его тяга к новым методам, конечно, похвальна, но этого недостаточно.

Ответы4031

55 28 ноя 2016, 15:35 55 4031

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

Ответы4069

56 28 ноя 2016, 15:40 56 4032

>>3920
>ЕСПЧ
сука, как же долго я орал :)
натуральная вата головного мозга, когда "европейский суд по правам человека", сука, путает с "если мне не изменяет память" ЕМНИП
бля, и никто кроме меня не заметил?
https://www.youtube.com/watch?v=lN-Y242GOgk

Ответы4050

57 28 ноя 2016, 15:56 57 4036

>>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.

57 28 ноя 2016, 15:56 57 4036

>>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.

Показать весь текст
Ответы40394040407141094187103021084443903

58 28 ноя 2016, 16:16 58 4039

>>4036
ееееееееее, я на 5-ом курсе

59 28 ноя 2016, 16:19 59 4040

>>4036
и там по-моему емнип 2 бураго и иванов, а не наоборот
вообщем, допили 5-ый, я подгоню пикчу, и будет у нас новая паста

Ответы4041

60 28 ноя 2016, 16:21 60 4041

>>4040
Второй Иванов это sowa.

Ответы4042

61 28 ноя 2016, 16:24 61 4042

>>4041
а он здесь причем? я чего-то не знаю?
у меня эта книга есть, читана,
сова - это некто Николай Иванов ВЭ, а там С.В.Иванов

62 28 ноя 2016, 16:25 62 4043

это такая тонкая шутка? аки Перельман с Шенем на инфинити?

Ответы4045

63 28 ноя 2016, 16:28 63 4044

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

Ответы4046

64 28 ноя 2016, 16:28 64 4045

>>4043
http://imperium.lenin.ru/~verbit/LJ/tiphareth/2002/2/104378.html
Вот здесь как видишь Вербицкий поместил Бураго и Громова на пятый курс. Я не берусь менять структуру его программы, просто добавляю новые тайтлы.

65 28 ноя 2016, 16:29 65 4046

>>4044
На немецком вышла давно. По содержанию она не особо интересна, много такого. А второй том уникален среди переведённой на русский литературы имхо.

Ответы40474048

66 28 ноя 2016, 16:38 66 4047

>>4046
можно линк?
не гуглится у меня https://www.google.ru/search?num=40&newwindow=1&hl=ru&q=Sulanke+Onishchik+Algebra+und+Geometrie+teil+3&oq=Sulanke+Onishchik+Algebra+und+Geometrie+teil+3&gs_l=serp.3..30i10k1.6680.6680.0.7230.1.1.0.0.0.0.90.90.1.1.0....0...1c.1.64.serp..0.1.89.0XhHHOXj798

Ответы4048

67 28 ноя 2016, 16:41 67 4048

>>4046
>>4047
http://gen.lib.rus.ec/book/index.php?md5=13522938ED31D585EF1E1975D2A84C9F

Ответы4049

68 28 ноя 2016, 16:46 68 4049

>>4048
благодарствую
завтра займусь пастой

Ответы4158

69 28 ноя 2016, 16:55 69 4050

>>4032
Заметил, но я не понял, что в данном контексте может означать ЕСПЧ. Подумал, так и надо, не стал заморачиваться.

70 28 ноя 2016, 21:23 70 4069

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

71 28 ноя 2016, 21:30 71 4071

>>4036
Ну то, что написано в старшеклассник в большинстве бесполезно. Там же в половине книг без зазрения совести употребляется вполне строгая терминология. Выходит обычный парадокс для обзоров высшей математики: школьник это читать не может (если он не матшкольник), а первокуру это читать бесполезно, когда есть учебники.

Ответы4075

72 28 ноя 2016, 21:53 72 4075

>>4071
Да никакого парадокса. Матшкольник это просто название. Есть люди, которые это реально в школе знают, но большинство нет. Это просто этап развития. В США до graduate никакой математики нет. Тот же Isaacs в предисловии к Алгебре своей пишет, что когда поступал в аспирантуру Гарварда знал только определение группы, но даже фактор-групп и, тем более, модулей, он не видел. Салливан вроде тоже в 20 с чем-то заинтересовался математикой.
Если прочитать легкую книжку-брошюру по теории групп от определения до теорем Нетер о гоморфизме, то с graduate будет проще, поэтому не бесполезно.

73 29 ноя 2016, 00:22 73 4094

Алсо для первого чтения по топологии просто годнейшая книга: Janich, Levy - Topology. Она и Виро, Иванов, Харламов подойдет в качестве undergraduate.

Ответы4096

74 29 ноя 2016, 00:37 74 4096

>>4094
Там есть про гамалогии?

Ответы4102

75 29 ноя 2016, 01:33 75 4102

>>4096
В Виро-Иванове точно нет, доходят только до фундаментальной группы. Полкниги общей топологии хуле. Для фанатов Рохлина и Кассона есть ещё полная аллюзий на Пруста "В поисках утраченной топологии" от тех же авторов. Чтоб потом Громова изучать на пятом курсе.

Ответы4106

76 29 ноя 2016, 01:41 76 4104

Накидайте книг где определяют производные функторы и доказывают теорему Гильберта о нулях еще до 100-й страницы. Начну: Лекции Елагина Алгебра-2 и 3.

Ответы25993

87 Кб, 435x837
77 29 ноя 2016, 03:05 77 4106

>>4102
то есть я по-твоему зашкваренный петушок?
учебник и сборник избранных Владимира Абрамовича есть, но в другом месте

78 29 ноя 2016, 04:28 78 4109

>>4036
Прочитал (пусть и немного диагонально) я твоего Люсьена-Феликса, и вправду годнота, но сравнивать ее с ЧТМ некорректно, немного разные цели.
Помимо этой, я бы в старшеклассника добавил еще Курс Серра, Теоретическую арифметику Арнольда старшего и некоторые геом книжки отсюда
https://docs.google.com/spreadsheets/d/1UWwIIAFwSwOQLK3m--LOaMOvHUivFDEz-JAnLa87i7Q/edit#gid=0

Ответы4114415841764177

79 29 ноя 2016, 07:48 79 4114

>>4109
Зач троллишь? Я понимаю на dxdy все пишут про Курс арифметики, но они же не открывали никогда, это grafuate book по вопросам теории чисел (l-функции, модулярные формы) то есть уровня того же Манина-Панчишкина, только короче. Вообще там сам важное это теория полей классов.
>прочитал твоего Люсьен
То была баба.

Ответы4115

80 29 ноя 2016, 08:43 80 4115

>>4114
На дхдв никто о нем не пишет,
но, да, он есть в гудбуксе, который составляли в основном участники, уже покинувшие форум (когда он был еще тортом)
Я её читал после ЭЭМ (которую, кстати, тоже можно добавить) - зашло, на тифаретнике видел где-то пост, мужик рассказывал, что будучи 10 классником в матшколе худо бедно осилил ее, так что все нормально. у МП на порядок запросы больше, нельзя их в один ряд ставить

Ответы41174176

81 29 ноя 2016, 09:30 81 4117

>>4115
Ну я и Кирилова "Что такое число" поместил бы на первый курс минимум, для старшеклассника определение K(0) на второй странице это как-то чересчур.

82 29 ноя 2016, 15:41 82 4158

>>4109
>>4049
Можно еще добавить Taylor Комплексный анализ (пучки и гомологии имеются), Gunter Harder Алгебраическая геометрия (более сложная, чем Гортц-Ведхорн). По алгебраической и дифференциальной топологии есть две книги индийца Anant Shastri, хороший выбор материала.

Ответы4176

83 29 ноя 2016, 18:37 83 4176

>>4109
>>4115
>>4158
опять пришел graduate пахом. Тред то по топологии, может сразу тогда Хатчера ебануть в 10ом классе? А хуле топтаться на месте, все что нужно, человек уже небось прочитал в википедии. Ну если сложно будет, то можно Лэнга почитать, Лэнг то вообще детский сад.

Ответы4179

84 29 ноя 2016, 18:40 84 4177

>>4109
И заодно, забыл спросить: а НАХУЯ ВООБЩЕ НУЖНА ТЧ? Может я остатл где-то от тренда, и специалисты по ТЧ не замкнувшиеся в своей области аутисты, которые даже друг-друга прочитать не способны?

Ответы41834202

85 29 ноя 2016, 18:48 85 4179

>>4176
пффф, хатчера можно спокойно читать после ВНХИ, которая не требует какой-либо подготовки и решается достаточно быстро, тобишь, да, Хатчера действительно нужно начинать хотябы в 10, лучше раньше, и лучше не хатчера, а ФФ
не был бы я таким оболтусом в свое время, хатчера бы ебнул хоть в 8

Ответы14906

86 29 ноя 2016, 18:51 86 4183

>>4177
>специалисты по ТЧ замкнувшиеся в своей области аутисты, которые даже друг-друга прочитать не способны
что за взбезд? такого нигде нет, угомонись

Ответы4185

87 29 ноя 2016, 18:56 87 4185

>>4183
Ну тогда расскажи как содержимое "курса арифметики" поможет топологу.

Ответы4187

88 29 ноя 2016, 18:58 88 4187

>>4185
Речь шла о курсе математики вообще --> >>4036

Ответы4188

89 29 ноя 2016, 19:01 89 4188

>>4187
Курсе математики без анализа, ты хотел сказать?

90 29 ноя 2016, 19:36 90 4202

>>4177
ТЧ это раздел АГ. Обязательной к изучению является теория полей классов, просто так получилось что ее включают в книги по теории чисел. А в советских книгах по теории чисел например Михеловича вообще полкниги ликбез по кольцам и идеалам.

91 29 ноя 2016, 21:30 91 4216

В тему или нет: пятитомник Постникова "Лекции по геометрии" стоящий?

Ответы4266

92 29 ноя 2016, 21:56 92 4227

Пагни, составьте, пожалуйста, книжный курс для физиков, не состоящий из сотен тысяч наименований. То есть, по одной хорошей книге средне-начального уровня раздел будет достаточно. Сейчас читаю Мункреса по общей топологии, Сокольникова по тензорам и введению в риманову геометрию и "Высшую геометрию" Ефимова. Думаю начать "An Introduction to Manifolds" Tu и на полке лежит "Современная геометрия" Дубровина-Новикова-Фоменко.

Ответы42394274

93 29 ноя 2016, 22:37 93 4239

>>4227
Мункрес это слишком дохуя даже для математика, уже же обсудили это.

Ответы4241

94 29 ноя 2016, 22:48 94 4241

>>4239
Да похуй, я все равно к общей топологии возвращаться не собираюсь, а пишет он хорошо и подробно. Прочитаю и забуду. Но, по-моему, в новом издании часть книги посвящена алгебраической топологии. Что по остальным разделам? Барретт О"Нейл по дифф. геометрии годен в качестве введения?

Ответы42424243

95 29 ноя 2016, 22:50 95 4242

>>4241
на эту тему классика:
Milnor "Topology from a Differentiable Viewpoint"

96 29 ноя 2016, 22:52 96 4243

>>4241
чет прочел геометрия как топология.
Так-то Tu и Lee.

Ответы4247

97 29 ноя 2016, 23:10 97 4247

>>4243
>Lee
Это который Джон и который наебашил кучу книг по многообразиям?

Ответы4256

98 30 ноя 2016, 01:01 98 4256

>>4247
тебе нужны со словом introducion

Ответы4267

99 30 ноя 2016, 08:42 99 4266

>>4216
еще как, а вообще это 6 томник, у пятого 2 части (вроде последняя про риманову), алсо есть у него 2 книжки по топологии примыкающие к серии (указаны на оп пике)
единственное что, некоторые его книги отличаются от того, что обычно преподают по этим дисциплинам, например, по аналит геом лучше параллельно читать другой учебник (ПСА толстую, Беклемишева, Ильина-Позняка)

100 30 ноя 2016, 09:47 100 4267

>>4256
Introduction to Smooth Manifolds
Introduction to Topological Manifolds
Riemannian Manifolds: An Introduction to Curvature
Они хотя бы отличаются существенно чем-то друг от друга?
Собственно, это все? Эти три книги + Ту + Мункрес (плюс Дубровин-Новиков-Фоменко в будущем, скажем) - это и есть необходимый минимум для первого серьезного знакомства со всей топологией для физика?

Ответы4268

101 30 ноя 2016, 09:53 101 4268

>>4267
>первого и последнего серьезного знакомства со всей топологией
Пофиксил ради справедливости.

102 30 ноя 2016, 13:26 102 4274

>>4227
Кстати, двачую. Напишите теоретический минимум по топологии для нетополога. Желательно с одной книгой на русском и одной - на английском для всех подразделов.

103 30 ноя 2016, 13:32 103 4275

Бычкова и Шапиро читайте, нетопологии блядь...

104 30 ноя 2016, 21:30 104 4295

Поцыки, а есть че какое введение в аолтоп как хатчер, но не как хатчер? Ну, т.е., литералли введение, а не сразу там вот эти все сингулярные гамалогии Чеха-де Рама, но не такое мозгоёбное, как хатчер?
Сука, я уже на стену от него лезу; встретил бы ирл - ёбыч бы сломал нахуй. То у него (C, W)-пары обладают НЕР, а то он уже рассматривает ретракции цилиндров на консервные банки. Что за нахуй? Граница диска - это подкомплекс разве? Какая вообще ретракция Dn×I на Dn×0 ∪ ∂Dn×I. Пусть n=2, тогда Dn×I это ж цилиндр и он гомеоморфен шару, какая нахуй ретракция? Брауэр завещал, что не существует ретракции шара на его границу. А этот пидор нихуя толком не обесняет, только знай себе переписывает одно и то же по пять раз. Сука, ненавижу.

Ответы429642974745

105 30 ноя 2016, 21:35 105 4296

>>4295
> (C, W)-пары
Блядь, CW-пары, конечно.

106 30 ноя 2016, 21:40 106 4297

>>4295
Прасолов начинает с симплициальных, сингулярные определяются ближе к концу. А так Спеньера можешь попробовать (Spanier).

107 30 ноя 2016, 23:10 107 4301

В общем, пока что составил такой курс "для физиков", основываясь на курсе по геометрии Постникова, который буду читать параллельно.
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.

Замечания и предложения?

Ответы43094328444647014721

108 1 дек 2016, 01:19 108 4309

>>4301
Выкинуть пункты 1, 2, 4 за бесполезностью.

109 1 дек 2016, 08:34 109 4328

>>4301
Напрасно Шапиро, Бычкова игнорируешь,
Алсо, учебники Новикова отчасти заточены под физиков и прикладников, тот же ДНФ (Совр. геом.) и "Структуры и поля" - очень хороший вариант для физика.
А вообще, здесь все зависит от области, в зависимости от нее программы могут кардинально отличаться. Ты сам-то чем занимаешься?

Ответы4332

110 1 дек 2016, 11:06 110 4332

>>4328
Книги на русском я в основном в метро читаю. "Современную геометрию" ДНФ примерно так параллельно курсу и буду читать, она у меня есть в бумаге. Бычкова и Шапиро просмотрю.
>Ты сам-то чем занимаешься?
Металлофизика, физика твердого тела.

Ответы4701

111 2 дек 2016, 21:38 111 4446

>>4301
Бамп. Куда дальше (пусть и рано спрашиваю)? Что не учтено?

112 2 дек 2016, 23:40 112 4503

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

113 2 дек 2016, 23:41 113 4505

>>3833
> трёхмерные спирали идущие по одной оси
Фикс, кстати

114 3 дек 2016, 17:43 114 4568

Может кто-нибудь объяснить, по какой глубокой метафизической причине многие теории (ко)гомологий совпадают?
залётный-не-тополог

Ответы4583

115 3 дек 2016, 22:21 115 4583

>>4568
Мне кажется причина в том, что все эти гомологии - они про линеаризацию теорий. То-есть мы рассматриваем нечто с точностью до вторых дифференциалов (ddf = 0), а линейная алгебра ведь вообще штука простая довольно.
залётный-хуй-с-горы

124 Кб, 1061x627
116 4 дек 2016, 16:07 116 4651

>>3784 (OP)
ну вот, собственно, ОП и его говнопрограмма официально зашкварены
https://lj.rossia.org/users/tiphareth/1761692.html?thread=103482012#t103482012

Ответы465946604709

74 Кб, 1737x621
117 4 дек 2016, 16:39 117 4659

>>4651
Пролистал дальше. Проорал.

Ответы4661

118 4 дек 2016, 17:04 118 4660

>>4651
http://0s.nrva.ojxxg43jmexg64th.nblz.ru/users/tiphareth/1761692.html?thread=102877596#t102877596
Вот ещё интересное. Вся суть местных Гротендиков.

Ответы4661

30 Кб, 358x150
119 4 дек 2016, 17:55 119 4661

>>4659
>эксперт
алсо, проиграл с хачовской морды
>>4660
проще зенмейт поставить, не?

Ответы4662

120 4 дек 2016, 18:03 120 4662

>>4661
но этот эксперт - это другой хорен https://vk.com/horengrig
не менее ёбнутый

121 5 дек 2016, 09:48 121 4701

>>4301
Топчик по дифгему для физиков: Fecko "Differential Geometry and Lie Groups for Physicists" Гораздо лучше ДНФ, НТ. Постников торт, но связности в 4 томе так себе изложены.

>>4332
Вообще, странноватый список для твердотельщика. Ты, вроде, по всяким функциям Грина должен угорать. Или это всё, типа, уже знаешь? Или это абстрактный список для абстрактного физика? Тогда основа его на курсе Постникова, СИЛЬНО далёком от нужд физики, мотивированный совсем не связанными с физикой вопросами -- это фейл. Тогда уж на чём-нибудь таком основываться: http://www.goldbart.gatech.edu/PG_MS_MfP.htm

Ответы4710

122 5 дек 2016, 14:16 122 4709

>>4651
Можешь спросить, что Вербит думает, о том, что >Математика наука о модулях над кольцами
? Было бы интересно усылшать его мнение.

Ответы4712

123 5 дек 2016, 15:10 123 4710

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

Ответы47524754

124 5 дек 2016, 15:22 124 4712

>>4709
Спросил http://lj.rossia.org/users/tiphareth/1761692.html?thread=103504284#t103504284
а тебе рекомендую поставить зенмейт (или любую другую поеботу) и зарегистрироваться самому, помимо михайло сиргиивича, там полно зачетных пацанов, и куда проще читать всех через ленту.

Ответы4721

125 5 дек 2016, 15:56 125 4721

>>4712
О, спроси его, пожалуйста, об этом списке >>4301 топологии для физиков (что добавить) из расчета одна-две книги на один подраздел.

Ответы4724

126 5 дек 2016, 16:31 126 4724

>>4721
http://lj.rossia.org/users/tiphareth/1761692.html?thread=103505308#t103505308
Не вижу причины, почему нельзя поставить аномайзер или зайти через какой-нибудь сайт (по типу ноблок) и регнутсья самому, это минутное дело. Зато потом куда удобней

127 5 дек 2016, 23:54 127 4742

245 Кб, 1033x150046 Кб, 355x463

А лучше оба
http://lj.rossia.org/users/tiphareth/1761692.html?page=75#comments
BUMP

Ответы4743

13 Кб, 267x290
128 6 дек 2016, 00:10 128 4743

>>4742

129 6 дек 2016, 00:34 129 4745

>>4295
>Какая вообще ретракция Dn×I на Dn×0 ∪ ∂Dn×I. Пусть n=2, тогда Dn×I это ж цилиндр и он гомеоморфен шару, какая нахуй ретракция?

Подумай внимательно, что такое D^n×0 ∪ ∂D^n×I. Для n = 1,2. Лень рисовать картинку тут, но это ретракция на консервную банку с дном, но без крышки, и легко убедиться, что она есть (и не так сложно написать явную формулу).

Ответы5214

130 6 дек 2016, 04:29 130 4752

>>4710
> >Или это абстрактный список для абстрактного физика?
> Да, "теоретический минимум" по топологии, так сказать.
Т.е. чисто поржать, OK.

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

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

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

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

Про "топологию для твёрдотельщиков" можешь попробовать спросить у Антона Капустина. Он круто шарит и математику и твёрдое тело. Его ЖЖ: leblon.livejournal.com

130 6 дек 2016, 04:29 130 4752

>>4710
> >Или это абстрактный список для абстрактного физика?
> Да, "теоретический минимум" по топологии, так сказать.
Т.е. чисто поржать, OK.

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

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

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

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

Про "топологию для твёрдотельщиков" можешь попробовать спросить у Антона Капустина. Он круто шарит и математику и твёрдое тело. Его ЖЖ: leblon.livejournal.com

Показать весь текст
Ответы4758

131 6 дек 2016, 05:42 131 4754

>>4710
Frankel "The Geometry of Physics: An Introduction" ещё заебись.

Ответы47584766

132 6 дек 2016, 13:46 132 4758

>>4752
>И речи не может идти о том, чтобы считать, что Постников может быть геометрическим теорминимумом для физиков.
Что тогда может? На что следует опираться? Постников выбран как костяк, связный курс одного автора.
>>4754
Это что-то типа "Современных геометрический структур и полей" Новикова. В моем понимании такие книги следует читать уже после чистых математических введений по соответствующим темам. Хотя, содержание таких книг возможно и можно будет взять за основу, это да.

133 6 дек 2016, 17:30 133 4762

https://lj.rossia.org/users/dmitri_pavlov/12706.html
Теперь ясно, кто за локали топит.

Ответы4767

134 6 дек 2016, 17:56 134 4763

Заодно раскрыт мистер модуль над кольцом.
https://lj.rossia.org/users/dmitri_pavlov/14321.html?nc=46

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

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

Если это загуглить, то будет ссылка на наши треды.

Ответы4767

135 6 дек 2016, 18:26 135 4766

>>4754
А что еще годного от Френкеля есть?

136 6 дек 2016, 18:41 136 4767

>>4763
>>4762
Ты бы спросил, я бы тебе сразу сказал. Про интегрирование и двойственность Пуанкаре я тоже у Павлова взял. Но за модули он нигде не топит, впрочем.

137 6 дек 2016, 18:45 137 4768

Алсо
>раскрыт
Когда я это первый раз написал в /sci, про топос Гротендика, несколько ананонов начали полемику, на что я им скинул ссылку прямо на Павлова, и они продолжили оспаривать уже его компетентность.
>мистер
>раскрыт
Ты там Грэма Грина обчитался, или что?

138 6 дек 2016, 19:16 138 4770

Ньюфажие открывает для себя frames & locales, спешите видеть. В полгода до nlab доберемся, а там глядишь и до stacks project не далеко!
Тот факт, что на ljr эти темы пропагандирует только один человек, может быть как-то связан с официальной позицией tiphareth (а заодно kaledin и других, периодически посещающих), можешь подумать над этим в свободное от деанонов время.
В том же livejournal таких людей будет уже минимум несколько, при чем не у всех математика – основная профессия.
Ну про mathematica.stackexchange и собственно nlab/stacks я уже молчу, это, видимо, за гранью твоео кругозора, мистер мамкин Пуаро.
И то, что в Беркли, который закончил Павлов, особенно силен этот департамент, тоже давно известно.

89 Кб, 500x484
139 6 дек 2016, 21:00 139 4776

Миша, конечно, демотивирует страшно. Наверное он прав насчёт самоучек по книгам. Без общения с сокурсниками и преподами трудно различить ситуацию в которой ты что-то понял и в который ты думаешь, что что-то понял. И решение задач/доказательство теорем не сильно поможет без проверки этих решений другими людьми

Ответы47784782

140 6 дек 2016, 21:03 140 4778

>>4776
Расслаюся. Можешь обсудить на дваче/математических форумах/тифарете свой знания. Там же тебя могут направить. Просто раньше не было интернета, и самоучки не могли регулировать себя.

Ответы47794781

141 6 дек 2016, 21:03 141 4779

>>4778
*Расслабся

Ответы4781

142 6 дек 2016, 21:30 142 4781

>>4779
и все равно с ошибкой :)
>>4778
алсо, двачую, сейчас никаких проблем с самообразованием нет, миша, конечно, сильно проутрировал. другое дело, что если ты собрался серьезно заниматься, то без ВУЗика и общения - никуда, и изолировать себя элементарно нет смысла (...хотя можешь попробовать)

143 6 дек 2016, 21:36 143 4782

>>4776
Если осторожно выбирать, что читать, то никаких проблем, но главное решать много задач.

Ответы4847

144 7 дек 2016, 00:57 144 4789

Вербицкий мудак и идиот. Не слушайте его.

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

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

Мудак, блядь. Родина ему дала определение когомологий через бесконечные категории, учи, блядь, определение когомологий через бесконечные категории. Нет, блядь, хочу жрать архаичное дерьмо с кучей индексов из книг 50-х годов. Это математики, блядь?

Ответы4802

Владимир Арнольд 145 7 дек 2016, 01:00 145 4790

Топология - это всего лишь геометрического обоснование математического анализа в R.
Многообразия нужны постольку, поскольку помогают решать дифференциальные уравнения.

Математика - это часть физики, главное в математике - это анализ и геометрия, то, что можно нарисовать, а Бурбаки - это вредители математики и черти ебаные! Сука, блядь, ебал их! Мрази, сука! Пучки они, блядь, знают! А Тривиум могут решить? Суки, пидарасы. Лягушатники ебучие.

Владимир Арнольд 146 7 дек 2016, 01:05 146 4791

Совсем, шизофреники, с ума сошли со своей "улгебраической паталогией". Фунторсы считают какие-то. Категории вычисляют! С ума сошли! Психопаты! Шизофреники!
А вы сколько задач из Тривиума решили? А, не видели Тривиум, говорите. То-то и оно! Вы не математики, вы черти.

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

А какие-то функторсы, паталогии, гомикологии и прочее - это что вообще? Большая фантазия французов, взбесившихся с жиру. Черти, а не люди.

Ответы4794

Владимир Арнольд 147 7 дек 2016, 01:08 147 4792

Настоящая математика возможно только в величайшей державе - СССР. Потому что люди здоровые и физически, и нравственно, и решают вопросы, полезные народному хозяйству.

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

СССР, Сталин, отечество, дифференциальные уравнения первого порядка, колхоз, народное хозяйство. Это 4 столпа науки и научного метода. Остальное - схоластика.

Ответы4794

148 7 дек 2016, 01:21 148 4794

>>4791
>>4792
>Владимир Арнольд

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

Ответы4795

149 7 дек 2016, 01:51 149 4795

>>4794

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

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

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

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

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

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

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

Дай угадаю, он думает, что гомологии и когомологии - это такие специальные штучки для модулей.
Открою для тебя и Арнольда секрет в конце 50-х годов Гротендик упразднил модули и векторные пространства, обобщив все "гомологии" на теорию категорий.
И это, блять, конец 50-х годов. А всякие "почетные академики РАН" и в 80-х, и в 90-х всё ещё возились с векторными пространствами. Жулики, чего тут сказать.

Ответы48004801

150 7 дек 2016, 02:57 150 4800

>>4795
Ты смеешь нести тюремную мораль в святую математику, ничтожный червь?

151 7 дек 2016, 03:01 151 4801

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

Ответы4805

152 7 дек 2016, 03:12 152 4802

>>4789
>Вербицкий мудак и идиот. Не слушайте его.
>Читайте хорошие книги. Вербицкий вообще лох, вы его блог читали?
Вербицкий при этом является работающим математиком с кучей публикаций, а ты — хуесос с двачей, который не может решить упражения по линейной алгебре, но зато насобирал много ПРАВИЛЬНЫХ книг.

Ответы4803

153 7 дек 2016, 03:17 153 4803

>>4802

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

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

Ответы4804

154 7 дек 2016, 03:20 154 4804

>>4803
Школьник-категориядрочер, у тебя самого-то статьи есть? И не дифференциальной, а алгебраической, я понимаю, что ты ещё мал и таких слов не знаешь.

Ответы4806

155 7 дек 2016, 03:25 155 4805

>>4801
>На вкус и цвет. Если тебе не зашло, не значит, что другим не зайдёт. Большинство математиков найдёт эти реальные примеры довольны занимательными.

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

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

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

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

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

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

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

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

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

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

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

Ответы48074813

156 7 дек 2016, 03:28 156 4806

>>4804

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

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

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

Даже Каледин уже ткнул Вербицкого носом в этот бред.

Ответы4808

157 7 дек 2016, 03:30 157 4807

>>4805
>если ваша наука не использует хотя бы абелевы категории, то ваша наука - говно
Ты просто сам очень узколобый и совсем недавно открыл для себя Тохоку. Это просто общая аксиоматика, совсем базовая, а в 99% статей считаются конкретные когомологии, хоть модулей, хоть пучков, хоть пизды твоей мамки.

Ответы4809

158 7 дек 2016, 03:37 158 4808

>>4806
Любому человеку, кто в теме, понятно, что Вербицкий -- не алгебраист. И что по условной "широте кругозора" Каледин гораздо круче, но он куда скромнее в интернете.

Заебали обсуждать Вербицкого, лучше бы поменьше пиздели, побольше занимались математикой.

Ответы4810

159 7 дек 2016, 03:42 159 4809

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

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

Идиоты, хуле.

Ответы4812

160 7 дек 2016, 03:46 160 4810

>>4808
>Любому человеку, кто в теме, понятно, что Вербицкий -- не алгебраист.
Ну вон дебилу, которому я отвечал, было непонятно. Он искренне верил, что Мишенька занимается "алгебраической геометрии". Очевидно, что дебил даже не знает, что такое алгебраическая геометрия он впервые встретил это слово неделю назад в блоге Вербицкого

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

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

Ответы4811

161 7 дек 2016, 03:52 161 4811

>>4810
>Ты реально веришь, что кто-то из местных пиздюков, выучивших слово "пучок" вчера в блоге Вербицкого, реально собирается заниматься математикой? Большинство тупо пишет слова, о значении которых они даже не догадываеются

Можно и без пучков, порешать задачи по теории групп и линейной алгебре. Всяко полезней, чем обсуждать личности блогеров-математиков и коллекционировать названия "правильных" учебников.

Ответы4814

162 7 дек 2016, 03:54 162 4812

>>4809
Спасибо, анон, без твоих важных и глубоких суждений я бы не догадался, что статья, опубликованная в 1957 году — это прошлый век.

Ответы4816

163 7 дек 2016, 03:55 163 4813

>>4805
>Ну всякое говно с мехматов, только и умеющее цифорки в уравняшки подставлять, может быть.
Долбоёб, кто говорил о говне с мехнатов? Тупой хуесос, подставлять цифорки в уравняшки - это и есть абсрактная хуйня бурбаков. Под реальными примерами, я подразумевал то, где эти используется и зачем. Просто, тебе люто рвёт жопу с того, что у твоей санины нет приложений и нельзя рассказать простой и красивый пример из реальности, как можно с теми же диффурами.
>Я думал, что мы говорим про людей, а не про скотину.
>Но, видимо, со скотиной нельзя говорить о людях, так как она все суждения проецирует на себя, то есть на скотину.
Именно из-за таких высказываний ты не человек, а просто ЧСВшная писклявая шавка, которая думает, что из-за того, что она что-то выучила, стала сверхчеловеком.
>Ты балабол.
Нет, ты. И мемы с картофаном ты используешь неправильно.
>Нет. То есть это не "наука-математика"
Долбоёб, есть люди которым интересна вычислительная математика и которые разрабатывают методы и теории для неё. Но ты же нехуя кроме своих категорий, да и их тоже толком не знаешь и не хочешь знать, при этом считаешь, что выучив их, стал знать всё.
>Блять, я блеванул. Сука, я реально блеванул. Припоминают эту шизофреническую байку арнольда только самые отбитые дауны. Сука, я реально, блядь, блеванул.
Ещё бы ты не блеванул, ты со стороны именно так мерзко и выглядишь, хуже червя пидора. Дауны, которые не могут произвести простые вычисления должны страдать.
>Вычисления нужны. Но не для математиков.
>Это "объедки с барского стола" для дураков, которые не осилили математику и пошли учиться на экономистов и инженеров.
Ты, наверное, считаешь, что инженеры это те ребята, что сидят и дрочат циферки. Нет, их работа это создавать устройства с дрочем циферок они не имеют ничего общего. А когда им нужно посчитать циферки, то они идут к математикам, которые им считают, или предоставляют специальное оборудование для счета. С экономистами аналогично. Но ты же тупой и этого не знаешь. Хочешь того или нет, но один из аспектов работы математиков, считать.
>Встречный вопрос: зачем стрелять по воробьям вообще? Если ты вообще собрался стрелять по воробьям, хоть из пушки, хоть и рогатки, то ты ебаный придурок, и должен пойти нахуй сразу.
Увиливания дебила от ответа. Нахуй использовать категории в месте, где можно обойтись без них? Я повторяю вопрос, а то вдруг, такой даун, как ты не понял о чём речь.
>Это объективные критерий: если ваша наука не использует хотя бы абелевы категории, то ваша наука - говно, а вы хуесос и жулик ебучий.
>Это объективные критерий:
Проиграл. Во первых, наука ли математика это открытый вопрос. Во вторых, категории не используются в 99% наук. Значит, что это не науки дерьмо, а категорий - ненужный мусор в них, и тебе пригорает от того, что по факту они - мусор.

163 7 дек 2016, 03:55 163 4813

>>4805
>Ну всякое говно с мехматов, только и умеющее цифорки в уравняшки подставлять, может быть.
Долбоёб, кто говорил о говне с мехнатов? Тупой хуесос, подставлять цифорки в уравняшки - это и есть абсрактная хуйня бурбаков. Под реальными примерами, я подразумевал то, где эти используется и зачем. Просто, тебе люто рвёт жопу с того, что у твоей санины нет приложений и нельзя рассказать простой и красивый пример из реальности, как можно с теми же диффурами.
>Я думал, что мы говорим про людей, а не про скотину.
>Но, видимо, со скотиной нельзя говорить о людях, так как она все суждения проецирует на себя, то есть на скотину.
Именно из-за таких высказываний ты не человек, а просто ЧСВшная писклявая шавка, которая думает, что из-за того, что она что-то выучила, стала сверхчеловеком.
>Ты балабол.
Нет, ты. И мемы с картофаном ты используешь неправильно.
>Нет. То есть это не "наука-математика"
Долбоёб, есть люди которым интересна вычислительная математика и которые разрабатывают методы и теории для неё. Но ты же нехуя кроме своих категорий, да и их тоже толком не знаешь и не хочешь знать, при этом считаешь, что выучив их, стал знать всё.
>Блять, я блеванул. Сука, я реально блеванул. Припоминают эту шизофреническую байку арнольда только самые отбитые дауны. Сука, я реально, блядь, блеванул.
Ещё бы ты не блеванул, ты со стороны именно так мерзко и выглядишь, хуже червя пидора. Дауны, которые не могут произвести простые вычисления должны страдать.
>Вычисления нужны. Но не для математиков.
>Это "объедки с барского стола" для дураков, которые не осилили математику и пошли учиться на экономистов и инженеров.
Ты, наверное, считаешь, что инженеры это те ребята, что сидят и дрочат циферки. Нет, их работа это создавать устройства с дрочем циферок они не имеют ничего общего. А когда им нужно посчитать циферки, то они идут к математикам, которые им считают, или предоставляют специальное оборудование для счета. С экономистами аналогично. Но ты же тупой и этого не знаешь. Хочешь того или нет, но один из аспектов работы математиков, считать.
>Встречный вопрос: зачем стрелять по воробьям вообще? Если ты вообще собрался стрелять по воробьям, хоть из пушки, хоть и рогатки, то ты ебаный придурок, и должен пойти нахуй сразу.
Увиливания дебила от ответа. Нахуй использовать категории в месте, где можно обойтись без них? Я повторяю вопрос, а то вдруг, такой даун, как ты не понял о чём речь.
>Это объективные критерий: если ваша наука не использует хотя бы абелевы категории, то ваша наука - говно, а вы хуесос и жулик ебучий.
>Это объективные критерий:
Проиграл. Во первых, наука ли математика это открытый вопрос. Во вторых, категории не используются в 99% наук. Значит, что это не науки дерьмо, а категорий - ненужный мусор в них, и тебе пригорает от того, что по факту они - мусор.

Показать весь текст
Ответы4815

164 7 дек 2016, 04:00 164 4814

>>4811
Ты не понял, что я хотел сказать.
Они даже не собираются чего-то там учить. Ни линейную алгебру, ни теории групп.
Для них это фетиш - пиздеть про Вербицкого, про Арнольда, про "злых Бурбакистов", типа они "в теме". А через неделю им надоедает и они продолжают быдлокодить и дрочить.
Они выучили слово "пучок", но не могут даже осилить теорию векторных пространств над полем действительных чисел в вузике.

165 7 дек 2016, 04:02 165 4815

>>4813
Слушай, а хуле ты тут вообще забыл?
"Математика не наука"
"Примеры из реальности"
"Категории - мусор"

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

Ответы4817

166 7 дек 2016, 04:04 166 4816

>>4812
Блять
"Прошлый век" в смысле "морально устарело". Некоторые вещи и 40-х годов ещё полезны и целы.

167 7 дек 2016, 04:12 167 4817

>>4815
Ты в своём стиле, вырвал слова из контекста, а по делу ничего сказать не можешь.
> Выглядит убого.
Вот и я о том же. Ты не можешь вести нормальную дискусию.
>"Математика не наука"
Ещё раз перечитай мой пост я не утверждал, что она ей не является. Ты даже не понял, зачем я это сказал.
>"Примеры из реальности"
Если ты не можешь найти примеры из реальности для категорий это не значит, что они дерьмо и не нужны.
>"Категории - мусор"
Ты опять вырвал из контекста.
>Это объективные критерий: если ваша наука не использует хотя бы абелевы категории, то ваша наука - говно, а вы хуесос и жулик ебучий.
>Во вторых, категории не используются в 99% наук. Значит, что это не науки дерьмо, а категорий - ненужный мусор в них, и тебе пригорает от того, что по факту они - мусор.
А ещё, к чему ты сказал это
>жулик ебучий.
И как же это связанно с категориями? Ты воспринимаешь отсутствие категорий, как попытку тебя наебать?

168 7 дек 2016, 04:19 168 4818

И ещё раз уж ты топишь за категорий, то объясни, какие есть объективные причины описывать математику через их язык и объяснять через категорный формализм те вещи, которые можно объяснить без их использования.
Объяснения уровня "ну это же модно, щас так все делают, надо бьть мейнстримным унижать дедов, старьём нехуй заниматся" выдадут в тебе малолетнего долбоёба. Желательно, чтобы ты сказал, какую ценность это представляет для математиков.

Ответы48194825

169 7 дек 2016, 04:52 169 4819

>>4818
Вот один пример. Как известно, пересечение подгрупп - снова подгруппа, пересечение подколец - снова подкольцо. Каков общий случай этой конструкции? Оказывается, это "подобъект".

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

Для подобъекта очень простым образом определяется понятие факторобъекта. Таким образом нам не нужно ебаться отдельно с определением подгруппы и факторгруппы, подкольца и факторкольца, и прочее. Достаточно нарисовать пару стрелочек.

Ответы48284830

170 7 дек 2016, 05:26 170 4823

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

Ответы4824

171 7 дек 2016, 05:52 171 4824

>>4823
Охуенная геометрическая спесь. "Люблю" такое.
А кто тебе сказал, что кому-то твоя "конкретная" алгебра или геометрия нужна, кроме специалистов.
Кто изучает потоки Риччи, кроме геометров?
Намек ясен?
Математика в основном и нужна только специалистам. Иногда что-то из одной области бывает полезно в другой, но не так часто. Кроме того, никогда не знаешь, когда твои потоки Риччи-Кэлера-РамзанаКадырова пригодятся кому-то, кроме специалистов в твоей области, а когда нет.

То есть я даже не собираюсь защищать теорию категорий, это слишком активная и "модная" область, чтобы я её защищал. А чем плоха теория множеств? Люди вполне занимаются чистой теорией множеств, и в ус не дуют. Чем "теория множеств" хуже какой-нибудь всеми любимой "алгебраической геометрии"?

Ответы48274837

172 7 дек 2016, 05:54 172 4825

>>4818
Ты как дите малое. Тебя троллят, причём толсто и уныло, а ты ведешься.

При этом я сам фанат категорий, но если человек говорит, что всё, кроме категорий - не математика, то он троллит, как бы.

173 7 дек 2016, 06:01 173 4827

>>4824
Геометры охуели просто. Думают, что математика состоит в том, чтобы рисовать картинки. "А я бублик нарисовал, мама, я теперь тополог!"
А остальное для них "сложно" и "абстрактно". Только они не хотят признаваться, они начинают кричать, что "остальное нинужна!!! нинужна я сказал!!!"

174 7 дек 2016, 06:04 174 4828

>>4819
Пиздец
Какую хуету ты написал.
Я кстати сектант верящий что категории - это самое важное во вселенной, но блядь такую хуйню мне даже читать стыдно

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

Категории не для подобъектов делались. Рассказал бы про алгебраическую геометрию, про топологию там. Подобъект, блять. Охуевший совсем.

Ответы4829

175 7 дек 2016, 06:13 175 4829

>>4828
Анон попросил объяснить, зачем объяснять "через категорный формализм те вещи, которые можно объяснить без их использования". Я показал на конкретном примере, что это банально удобнее. Короче, единообразнее.
>ты его хоть определить можешь?
Да. А можешь ли ты (без подглядывания на ncatlab)?

176 7 дек 2016, 06:48 176 4830

>>4819
Унылейший пример. Уровень студента, который месяц назад выучил определение категории.

Ответы4831

31 Кб, 409x600
177 7 дек 2016, 06:50 177 4831

>>4830
Сделай лучше.

178 7 дек 2016, 11:06 178 4837

>>4824
Никто не говорит, что нужно запретить заниматься людям теорией множеств. Но вот когда кто-то вылезает и говорит что теория множеств - это и есть настоящая матёшка, а всё остальное картофан, и что применяется она и везде и нужна каждому уважающему себя математику, потому что везде есть множества то его необходимо прилюдно обоссывать. Так как нинужна она нигде кроме самой теории множеств. Как и теория категорий почти.

Ответы485352115236

179 7 дек 2016, 14:15 179 4845

Кстати, кто может нюфагу поведать кулсторю о том почему ncatlab в дубках забанен?

Ответы4857

180 7 дек 2016, 14:28 180 4847

>>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), которые можно решить в течении недели.
Но в любом случае надо будет когда-то запилить тему про годные задачники.

Ответы4852

181 7 дек 2016, 15:35 181 4852

>>4847
Проще тогда по каждому специализированному трэду раскидать, чем отдельную мешанину делать. А так идея хорошая

182 7 дек 2016, 16:11 182 4853

>>4837
Я не спорю, но то же самое можно сказать и про почти все остальные области математики.

183 7 дек 2016, 16:34 183 4857

>>4845
Дубки - это общага Вышки.
Объясняю. Матфак Вышки (и ранее НМУ) создали жуткие сектанты из секты Арнольд. Арнольд проповедовал, что математика должна быть "простая" и "наглядная". Он хотел, чтобы люди изучали геометрию только в Евклидовом пространстве, чтобы всё было видно, и можно было нарисовать.
Поэтому был против Бурбаков. nlab - это Бурбаки 21-го века. В геометрии, например, вместо наглядных картинок в стиле "сфера с ручками" там изучают функторы и высшие топосы. Поэтому арнольдисты из ВШЭ заблокировали ncatlab, чтобы студенты не изучали "вредительскую бурбаковщину". а рисовали наглядные картинки.

Ответы48594881

184 7 дек 2016, 16:42 184 4859

>>4857
>создали жуткие сектанты из секты Арнольд.
> Он хотел, чтобы люди изучали геометрию только в Евклидовом пространстве, чтобы всё было видно, и можно было нарисовать.
>Поэтому арнольдисты из ВШЭ заблокировали ncatlab, чтобы студенты не изучали "вредительскую бурбаковщину". а рисовали наглядные картинки.
Пруф или обоссан.

185 7 дек 2016, 18:29 185 4881

>>4857
>математика должна быть "простая" и "наглядная"
Теперь объясняй в чем он не прав в этой строчке?

Ответы4882

186 7 дек 2016, 18:43 186 4882

>>4881
в том, что большая часть математики к этому не сводится, отсюда и обосратушки

Ответы4885

187 7 дек 2016, 19:02 187 4885

>>4882
Я думаю, как раз большую часть математики объснять через простые аналогии из реального мира. Как например, Рома Михайлов это делает.

Ответы48874888

188 7 дек 2016, 19:08 188 4887

>>4885
У Ромы только все аналогии из его личного мира, который с реальностью почти не пересекается.

189 7 дек 2016, 19:22 189 4888

>>4885
>Рома Михайлов это делает
А точнее лсд, спиды и мет, которые он употребляет :)

58 Кб, 400x556
190 11 дек 2016, 01:18 190 5160

124 Кб, 493x602
191 11 дек 2016, 01:36 191 5161

192 12 дек 2016, 00:18 192 5211

>>4837
Но ведь теория категорий нужна везде, где она не нужна?

Ответы5213

193 12 дек 2016, 01:24 193 5213

>>5211
Нигде и не нужна кроме пучков и гомологической алгебры. Впрочем, если подумать, только пучков.

Ответы5226

194 12 дек 2016, 03:06 194 5214

>>4745
Да уже додумался, хотя теперь у меня всё равно травма. Почему-то вбился в голову совершенно другой образ подкомплекса (X, A), где X = Dn×I и A - хуй пойми что (не Dn×0 ∪ ∂Dn×I, ЧСХЛОЛ). Немного зря обидел Хатчера, че уж там. Особенно на фоне Спеньера.

Ответы5215

195 12 дек 2016, 03:07 195 5215

>>5214
> подкомплекса из пары (X, A)

sage 196 12 дек 2016, 03:36 196 5216

Ебучие хейторы категорий. Идите нахуй.

Ответы5217

197 12 дек 2016, 04:01 197 5217

>>5216
Может тогда скажешь где она нужна, кроме пучков и гомологической алгебры?

Ответы5230

198 12 дек 2016, 14:08 198 5226

>>5213
Но ведь везде нужна.

Ответы5228

199 12 дек 2016, 14:20 199 5228

>>5226
Тыскозал?

Ответы5234

200 12 дек 2016, 14:25 200 5230

>>5217
Правильный ответ: кроме пучков и гомологической алгебры по-хорошему методов настоящей математики и нет, остаётся только один комбинаторный картофан.

Ответы5231

201 12 дек 2016, 14:36 201 5231

>>5230
Я ждал более адекватного ответа, но получил мемовый визг вербитодауна. Мда. Меньше на тифарете сиди.

Ответы5232

202 12 дек 2016, 14:40 202 5232

>>5231
Существенные возражения? Или ты занимаешься, прости господи, ОЦЕНОЧКАМИ?

Ответы5233

203 12 дек 2016, 15:03 203 5233

>>5232
Во первых, почему ты считаешь, что
>кроме пучков и гомологической алгебры по-хорошему методов настоящей математики и нет
Люди которые так говорят, просто долбоёбы, им следует выпилится, чтобы не позорить профессию математиков.
Из таких школьников, как ты вырастают маразматичные деды вроде Мунина или Ред_Херинга. Так и представляю, как в своём юношестве Мунин хуесосил всех, кто не знал диффуров. Так же и местные патологи-гамологи будут вести себя в старости, только крича при этом про гамалогии.

204 12 дек 2016, 16:13 204 5234

>>5228
А ты скозал шо нет?

Ответы5235

205 12 дек 2016, 16:15 205 5235

>>5234
Что ты тут забыл, раз не знаешь такую школьную хуйню как бремя доказательства?

Ответы5236

206 12 дек 2016, 16:30 206 5236

>>5235
С каких пор полемический принцип превратился в безусловное правило? К тому же, если и руководствоваться им, то ты что-то утверждал первый

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

так что давай - вперёд.

Ответы5237

207 12 дек 2016, 16:54 207 5237

>>5236
>так что давай - вперёд.
В комбинаторике и численных методах твоя ссаная тиория котигарий нахуй не нужна.

Ответы523852395240

208 12 дек 2016, 17:01 208 5238

>>5237
Зато картошечка хорошо заходит.

Ответы5242

sage 209 12 дек 2016, 17:02 209 5239

>>5237
Ты квантор всеобщности с квантором существования перепутал, мамкин математик.

Ответы5242

210 12 дек 2016, 17:03 210 5240

>>5237
Во-первых - охуенно ты "бремя доказательства" сбросил, просто заменив свой тезис на эквивалентный.

Во-вторых - конечно же нужна. Почитай про combinatorial species и graph cohomology хотя бы, численные методы - это прикладной функан, в функане ещё более нужна (примеры нужны?). Я считаю, что любой концептуальный фреймворк в будущем будет строится на (infty,1)-топосной основе, иначе будет выходить картоха и bug of tricks.

Ответы5242

211 12 дек 2016, 17:10 211 5242

>>5239
А ты анона перепутал, я только что входжу в беседу.
>>5238
Она и с гамалогиями хорошо идёт, да и с пучками особонно жаренная с водовкой. Мммм... слюнки так и текут.
>>5240
>Во-первых - охуенно ты "бремя доказательства" сбросил, просто заменив свой тезис на эквивалентный.
Ещё раз говорю, я другой анон. И сказал контпример к
>Но ведь теория категорий нужна везде, где она не нужна?
>(infty,1)-топосной основе, иначе будет выходить картоха и bug of trick
Ага, чтобы подсчитать количество сочитаний нужно знать топосы)))) Сразу вспоминается мемас про Хаскель и подсчёт факториалов, вот и верх теории категорий - считать фактори в Хаскеле. Охуенный концептуальный фреймворк.

Ответы52435245

212 12 дек 2016, 17:12 212 5243

>>5242
Но ведь без теорката в Хаскеле ты факториал подсчитать не сможешь.
Шах и мат, математики!

Ответы5244

213 12 дек 2016, 17:14 213 5244

>>5243
Можно просто взять калькулятор и без блядского Хаскеля и теории категорий считануть его.

Ответы5246

214 12 дек 2016, 17:15 214 5245

>>5242
Ты бы целиком цитировал, там вначале стоит "я считаю". Моё мнение таково, что чтобы посчитать количество сочетаний - не нужно знать топосы, а чтобы посчитать нечто больше, чем количество сочетаний - нужно знать топосы (в перспективе, конечно, математика на топосах ещё только в самом зачаточном состоянии и не показала целиком своей мощи).
>Сразу вспоминается мемас про Хаскель и подсчёт факториалов, вот и верх теории категорий - считать фактори в Хаскеле.
Ты, гляжу, только мемасами и мыслишь. Unimath пишется на хаскелле-подобном языке (подмножестве coq), между прочим.

Ответы5248

215 12 дек 2016, 17:15 215 5246

>>5244
Может быть ты и числа складывать да перемножать без общей алгебры и теории колец собрался, еретик?

Ответы5247

216 12 дек 2016, 17:16 216 5247

>>5246
Проблевался с этого алгебраиста.

217 12 дек 2016, 17:25 217 5248

>>5245
Но нужно изучать теорию теорию категорий и всё переность на её язык? Я думаю, нет. Это так же глупо, как переводить всю современную физику на теорико-множественный формализм.

Ответы5249

218 12 дек 2016, 17:32 218 5249

>>5248
Мне кажется определенно нужно, а неприятие к ТК можно сравнить с неприятием общей алгебры, когда она начала появлятся. Профиты унивалентного языка для абсолютно разных частей математического знания очевидны - гораздо удобнее идеи из одних кусков можно будет транслировать на другие куски.
Насчёт физики: наиболее "ядерные" части современной физики переведены на формализм дифференциальных форм, римановых многообразий (в случае с ОТО), симплектической геометрии (в случае с классической механикой) или на язык операторных алгебр (в случае с КМ). Перевод на топосный уровень - следующий этап. Только сперва на топосный уровень нужно перевести современную математику, конечно.

Но это опять же моё мнение. В принципе все аргументы и контраргументы в таком споре заранее очевидны, потому неинтересно.

219 12 дек 2016, 17:36 219 5250

Поясните по поводу "Курса дифф. геометрии и топологии" Мищенко-Фоменко.

220 12 дек 2016, 17:50 220 5251

"Используется" =/= "Можно переформулировать на языке"
Конечно, в силу общей аутичности понятия категории, ей является вообще почти всё что угодно, вот только это ничего не даёт само по себе.

Ответы5252

221 12 дек 2016, 17:59 221 5252

>>5251
Я бы написал "переформулировать на достаточно удобном языке" - это вполне себе использование; я бы даже усилил и сказал бы, что это в гораздо большем смысле "использование" чем применение какого-то очередного трюка с оцениванием каких-нибудь норм в каком-то, допустим даже, неожиданном случае.

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

Ответы5253

222 12 дек 2016, 18:07 222 5253

>>5252
Ну и можно пример, лежащий вне алгтопа, когда переформулирование на "достаточно удобном" языке топосов помогало избавиться от реальной работы руками вроде оценок и доказывания равенств, а не просто маскировало её под коммутативность каких-то диаграмм из стрелочек?

Ответы52545268

223 12 дек 2016, 18:19 223 5254

>>5253
Если про категорный подход в целом: то теорема Гротендика-Римана-Роха доказывается в один абзац, в то время как теорема Римана-Роха достаточно сложна для доказательства. Вся теория схем/пучков построена в очень категорном духе вообще и она же демонстрирует почему такой взгляд полезен: в терминах теории схем можно на одном языке говорить и о теоретико-числовых конструкциях (т.н. арифметическая геометрия) и о стандартных алгебраических проективных/афинных многообразиях (алгебраическая геометрия), и, даже, кое о чём ещё.

Если конкретно топосные применения, то вот применения бескоординатного диф.геома к координатному https://ncatlab.org/nlab/show/motivation+for+higher+differential+geometry

224 13 дек 2016, 04:30 224 5268

>>5253
Слушай, дорогой, а нахуя твои оценочки нужны кому-то, мм?
Не, я согласен, что категории не везде полезны, но фишка в том, что они хотя бы полезны в нескольких серьезных современных науках, а твои оценочки (и прочая картофанная муть, вроде сочетаний) полезны ровно в двух областях: классическом анализе и комбинаторике. То есть спору нет, это математика, и есть люди, которые ею занимаются, но по глобальности это математика не сравнится с алгебраической топологией, алгебраической геометрией, гомологической и гомотопической алгеброй, теорией топосов и так далее.
То есть это очень смешно звучит. Приведу аналогию: сидит бабка, смотрит НТВ и Рен-ТВ круглый год напролёт и спрашивает: "А зачем нужен ваш интернет? И как ваш интернет мне поможет смотреть русское телевидение?"
Вот точно так же выглядит и комбинаторщик или классический аналитик, который ставит под сомнение полезность теории категорий на основе того, что в его маргинальных науках, находящихся, откровенно говоря, на отшибе математики, она не используется.

Ответы52775278

225 13 дек 2016, 15:46 225 5277

>>5268
>Слушай, дорогой, а нахуя твои оценочки нужны кому-то, мм?
В том то и дело, что мы на анонимной борде, а значит твои оценочки настолько же авторитетные, как и мои.

Ответы5299

226 13 дек 2016, 16:04 226 5278

>>5268
Оценочки и комбинаторика это не цель, а способы доказательства, ты читать не умеешь.

174 Кб, 1420x523
227 13 дек 2016, 16:08 227 5279

Похоже, я познал пучки. Лол.

Ответы52895292

228 13 дек 2016, 17:04 228 5289

>>5279
Не подскажешь, что за учебник?

Ответы5291

229 13 дек 2016, 17:16 229 5291

>>5289
Александров Лекции по аналитической геометрии

230 13 дек 2016, 17:17 230 5292

>>5279
А нахуй оно нужно ты тоже уже познал?

Ответы5293

231 13 дек 2016, 17:18 231 5293

>>5292
Да, буду выёбыватся знаниями пучков на дваче.

Ответы52965297

232 13 дек 2016, 17:35 232 5296

>>5293
вся суть вербитодетей

233 13 дек 2016, 17:37 233 5297

>>5293
https://ru.wikipedia.org/wiki/Пучок_(геометрия)
https://ru.wikipedia.org/wiki/Пучок_(математика)
А и еще
Проснись, сыч, ты обосрался :)

234 13 дек 2016, 17:43 234 5299

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

Ответы53005302

235 13 дек 2016, 17:51 235 5300

>>5299
>В серьёзных современных науках никакие оценочки и комбинаторика не нужны
Проиграл, с концептуалиста. Ты ведь понимаешь, что наверное 70% всех оценок в теории чисел трюковые и не концептуальные.
Или теория чисел для тебя тоже картофан?

Ответы53075314

236 13 дек 2016, 18:04 236 5302

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

Ответы53035314

237 13 дек 2016, 18:05 237 5303

>>5302
> но на практике как обычно.
А ещё они картошку жарить не помогают.

Ответы53045308

238 13 дек 2016, 18:11 238 5304

>>5303
Картошку лучше жарить на категориях, а водовку пить с алгеомом.

239 13 дек 2016, 18:22 239 5307

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

Ответы53095314

240 13 дек 2016, 18:27 240 5308

>>5303
Ага, и ничего не помогают.

241 13 дек 2016, 18:36 241 5309

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

Ответы5314

242 13 дек 2016, 21:17 242 5314

>>5300
>Проиграл, с концептуалиста. Ты ведь понимаешь, что наверное 70% всех оценок в теории чисел трюковые и не концептуальные.
>Или теория чисел для тебя тоже картофан?

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

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

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

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

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

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

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

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

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

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

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

242 13 дек 2016, 21:17 242 5314

>>5300
>Проиграл, с концептуалиста. Ты ведь понимаешь, что наверное 70% всех оценок в теории чисел трюковые и не концептуальные.
>Или теория чисел для тебя тоже картофан?

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

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

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

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

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

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

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

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

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

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

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

Показать весь текст
Ответы5327

243 14 дек 2016, 00:00 243 5327

>>5314
> И нахуя твои "гипотезы" нужны?
Как оценишь концептуальность картофельной последней теоремы Ферма?

Ответы53285330

244 14 дек 2016, 00:04 244 5328

>>5327
https://en.wikipedia.org/wiki/Wiles's_proof_of_Fermat's_Last_Theorem
По-твоему там мало современных концепций?

Ответы5342

245 14 дек 2016, 00:25 245 5330

>>5327

Сам по себе факт, что теорема Ферма доказана, нахуй никому не нужен.
Но важна она тем, что в процессе доказательства её было придумано много интересной глубокой математики (концептуальной теории чисел).

Ответы5344

246 14 дек 2016, 13:06 246 5342

>>5328
Прошлый век же

247 14 дек 2016, 15:49 247 5344

>>5330
Доказана была не теорема Ферма, а гипотеза Таниямы-Вейля о модулярности, из которой следовало утверждение, равносильное теореме Ферма. Гипотеза о модулярности не имеет никакого отношения к теореме Ферма и не была придумана в "процессе доказательства" последней. Она имеет отношение к программе Ленглендса, но это другая тема.
Никакой "концептуальной" теории чисел не существует, как науки, есть арифметическая геометрия.
Get your facts right, прежде чем пиздеть, товарищ.

248 15 дек 2016, 10:11 248 5375

Наверное, это крайне дебильный вопрос, но - какие вообще проблемы решает топология? Применяется ли топология каким-то образом в прикладном значении? Видел всякие видео про преобразования разного рода фигуры друг в друга, тип кружки в бублик и прочее, но я не понимаю как это вообще может быть связано с реальностью? Это же какие-то вымышленные проблемы с вымышленными условиями.

Ответы5376

249 15 дек 2016, 12:19 249 5376

>>5375
Тебе знакомо понятие "полуфабрикат"? С точки зрения инженера, все математические науки производят полуфабрикаты, которые затем используются в других математических науках. Топологические понятия встречаются в математике повсюду, но ни один из них не является готовым инженерным продуктом. Не понимаешь этой идеи - не лезь под капот. Рассматривай математику как черный ящик.

Ответы53775378

250 15 дек 2016, 13:25 250 5377

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

Ответы53785384

251 15 дек 2016, 13:32 251 5378

>>5376
>>5377
Вот, к примеру, вывели решение как вывернуть гипотетическую сферу в гипотетических условиях с гипотетическими ограничениями, чтобы без гипотетических разрывов было (условие возникновения которых такие же гипотетические) - ок. Дальше что? Это для чего-то еще применимо, кроме выворачивания подобного рода несуществующих и не имеющих никаких аналогов в реальном мире при тех же самых несуществующих условий? Или это из разряда сами придумали задачу - сами решили?
P.S. Я не тролль, я просто реально хочу со своими ограниченными познаниями понять топологию.

Ответы5383

sage 252 15 дек 2016, 15:56 252 5383

>>5378
Утилитаризм до добра не доводит. Другими словами, не всё написанное и созданное может СЕЙЧАС найти выходы к практике. Но быть может когда-нибудь потом.

Ответы5389

253 15 дек 2016, 17:08 253 5384

>>5377
Матанализ для тебя достаточно конкретен? Он полностью основан на топологии. Основная операция матана - предельный переход - всецело топологическая операция.

254 15 дек 2016, 19:17 254 5389

>>5383
У тебя просто какой-то уёбищный утилитаризм без поправки на "может быть понадобиться в будущем"

255 16 дек 2016, 05:00 255 5399

В каком объёме приличному математику-специалисту нетопологу надо знать общей и алгебраической топологии?

Ответы54125579

256 16 дек 2016, 14:08 256 5412

>>5399
Энгелькинг. Хатчер.

175 Кб, 519x480
257 16 дек 2016, 17:26 257 5433

Поцыки, ай нид хелп. Пикрелейтед - литералли втф?! Почему одно хаусдорфово, а второе нет? Если это имеет значение, то взято из "Topology", K.Jänich, S.Levy, 1984, глава про фактортапалогии.

Ответы5546

258 17 дек 2016, 17:15 258 5546

>>5433

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

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

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

моар дитэйл плз

Ответы5625

259 17 дек 2016, 22:12 259 5579

>>5399

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

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

если это выучишь, по пути всё нужное неминуемо выучишь

260 18 дек 2016, 16:04 260 5625

>>5546
На самом деле там не слишком много деталей и в самой книге. Судя по всему это I × I.

261 19 дек 2016, 23:26 261 5793

Кто-нибудь читал "Введение в топологические многообразия" Ли? Насколько книга покрывает введение в общую топологию? Нужны ли какие-то предварительные знания из нее? Или можно на общую топологию забить и читать книги автора?

Ответы5889

262 20 дек 2016, 20:15 262 5889

>>5793

всё, что ему нужно из общей топологии, там подробно разжёвано. можешь читать и не опасаться

263 23 дек 2016, 07:39 263 6103

Лекции Каледина по алгему норм?

Ответы61136125

264 23 дек 2016, 09:27 264 6113

>>6103

лучшее, что есть вообче

Ответы6140

265 23 дек 2016, 10:33 265 6125

>>6103
http://www.mi.ras.ru/~kaledin/noc/literature.html

266 23 дек 2016, 13:17 266 6140

>>6113
Даже так? А какие там особенности?

Ответы6183

267 23 дек 2016, 23:18 267 6183

>>6140
Особенности вида 3/2 и 5/2 кривых, фактор-особенности, логканонические особенности, рациональные особенности пар.

268 4 янв 2017, 11:25 268 6997

>полкниги о математике
>ни слова о пучках
>зато 6 глав про Платона
Господа, это просто пиздос
У Френкеля в love and math и то лучше было.

Ответы69997000

269 4 янв 2017, 11:40 269 6999

>>6997
>не читал, но осуждаю
ты книгу-то открой, болван ёбаный

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

Ответы7022

270 4 янв 2017, 11:49 270 7000

>>6997
Открыл Бурбаки
>полкниги о математике
>ни слова о РАЗБИЕНИЯ НАТУРАЛЬНЫХ ЧИСЕЛ
>зато 6 глав про КОЛЬЦА
Господа, это просто пиздос

271 4 янв 2017, 18:09 271 7022

>>6999
Я именно что читал, откуда, по-твоему, узнал, что там нет пучков?
>и нахуя там пучки
За тем что это базовое понятие современной математики, аналогичное понятию функции. Дифференциальной геометрии без этого не бывает, а у него полкниги о ней, буквально.
Если ты хуесос и не знаешь, что такое пучок, вежливо попроси меня, и я объясню тебе, животное ебаное.

Ответы70313298532986

272 4 янв 2017, 19:40 272 7031

>>7022
Ты думаешь пучки упростят книгу Пенроуза?

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

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

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

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

Ответы7037

273 5 янв 2017, 01:33 273 7037

>>7031
Ты рофлишь что ли? Я же указал такую книгу, где пучки объясняются для первого класса, автор Эдвард Френкель. Во многих популярных книгах объясняются пучки, например Юрген Йост Концепции математики. У Стиллвелла и Эдвардса тоже было.
>топосы, абстракции
Ну это вообще пиздец. Ты понимаешь, что и пучок и модуль это более фундаментальные понятия, чем скажем векторное пространство? Модули вообще изобрел Дедекинд в 1860-х, если это для тебя запредельная абстракция, то Диккенс и Флобер наверное радикальные новаторы на грани контркультуры.
Знание модулей даже в егэ требуется, там кажется есть задачи на решение целочисленных уравнений сравнениями и алгоритмом Евклида.
>упростят книгу Пенроуза
Что упростят, "я не буду вдаваться в теорию, просто приведу пару фактов, которые покажут магию комплексных чисел" –> это надо упрощать? Или "а что если элементарные частицы в копенгагенской интерпретации это и есть платоновские идеи?"
Убери фуфлософию и книга сократится в три раза.
Философию я люблю, но скорее Маха и Пирса, чем пизданутых сектантов-платонистов

Ответы7039704270818505

274 5 янв 2017, 03:53 274 7039

>>7037
Ну ок, я гляну этих ребят и попытаюсь представить как бы подобная книжка (~Road to Reality) выглядела с таким подходом.

Упростят это я про физико-математическое содержание, про радикальный поехавший платонизм и говорить нечего.

Ответы704685058512

275 5 янв 2017, 05:36 275 7042

>>7037
>сектантов-платонистов
Что не так с платонизмом? У него только у ко-ко-консруктивистов пичот.

Ответы7045

276 5 янв 2017, 12:37 276 7045

>>7042
У всех пичот, кроме даунов. Начиная со спора об универсалиях.

Ответы7081

277 5 янв 2017, 12:47 277 7046

>>7039
Если конкретно по физике, то хорошие книги Годбийон/Шутц/Накахара. Категорий, пучков и топосов там нет, конечно. Но Пенроуз же любит математику и находит в ней ценность самой по себе. Впрочем если сравнивать с Френкелем, у того на самом деле вполне утилитарное изложение: ему нужно объяснить свою работу (связь геометрического ленглендса с зеркальной симметрией). Пенроузу я так понял нужно было объяснить основны направления (калибровочные, струнные теории) и свои твисторы. Просто он решил, что философия полезнее в этом плане.

278 5 янв 2017, 20:11 278 7081

>>7037
>скорее Маха и Пирса
>>7045
>со спора об универсалиях.
Ты увяз в далекой старине. Почитай, например, про платонизм Уайтхеда.

Ответы7083

279 5 янв 2017, 20:58 279 7083

>>7081
Какого из трех? Не интересует, спасибо. Почитай лучше про феноменологию.

Ответы7133

280 6 янв 2017, 13:31 280 7133

>>7083
Много Уайтхедов знаешь? Хуя ты эрудит. Я имею в виду того, что сотрудничал с Расселом.

Ответы7219

281 6 янв 2017, 23:16 281 7219

>>7133
Тут скорее можно удивляться, как можно знать одного из соавторов Рассела, но не знать основателя топологии и крупного специалиста по теории гомотопий.
https://en.wikipedia.org/wiki/J._H._C._Whitehead
https://en.wikipedia.org/wiki/George_W._Whitehead
Предположу, что ты в самом начале жизненного пути и еще не добрался до Витгенштейна (а следовательно и до Маха с Пирсом). Либо случай уже неизлечимый.

Ответы7239

282 7 янв 2017, 02:57 282 7239

>>7219
Разговор был в контексте философии. Один из этих Уайтхедов племянник Уайтхеда. Какой из них основатель топологии? Всегда считал, что это Пуанкаре и Хаусдорф.

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

Ответы72517256

283 7 янв 2017, 12:35 283 7251

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

Ответы72877854

284 7 янв 2017, 13:09 284 7256

>>7239
Ситуация с платонизмом примерно такая же как с реализмом. Можно принимать точки зрения на спектре между реализмом и солипсизмом, не обязательно выбирать крайние точки.

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

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

Ответы7261728733054

285 7 янв 2017, 13:36 285 7261

>>7256
Так реализм это и есть платонизм, буквально. Его противоположность называется номинализм. Что идеи это только имена и не более.
>возникает иллюзия какой-то высшей объективности
Если вспомнить что математика, как и любая область человеческой деятельности, основана на некоторого рода соглашениях — конвенциях, ничего удивительного тут нет
>другая форма жизни во вселенной
Скорее всего не будет иметь таких же людей

286 7 янв 2017, 14:29 286 7287

>>7251
>проблема в том, что она опирается на точно такую же философию, путь и неявно.
>>7256
>Эта иллюзия и есть платонический мир — иди себе изучай его.
Я и говорю, поэтому, что платонизм — рабочая схема с массой достоинств. Можно и разводить формализм, рассуждая об имени и о том, дОлжно ли имя отражает идею, тут можно и работать просто, используя готовые имена, в надежде, что их сочетания способны отразить немного света в пещере.

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

Ответы7854

287 7 янв 2017, 18:56 287 7352

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

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

Allen Hatcher - A List of Recommended Books in Topology
Книги: https://yadi.sk/d/H18aLqes37ayz3

288 8 янв 2017, 20:24 288 7532

>>3799
https://yadi.sk/d/hjjmKwXp37p6mX

Всё верно?

289 12 янв 2017, 23:49 289 7854

>>7251
>>7287
http://imperium.lenin.ru/LENIN/19lmdg/19lmdg.html#penrose

Ответы7855

290 13 янв 2017, 00:07 290 7855

>>7854
>теорема Геделя никак не опровергает возможности построить полную систему аксиом, описывающих арифметику -- она лишь утверждает, что такая система аксиом не может быть получена применением алгоритма (более того, любой алгоритм, достаточно развитый для того, чтобы эту задачу поставить, непременно рано или поздно сломается).
Хе-хе.
>Вероятно, делая наблюдения над природными феноменами, мы сможем научиться эти многообразия тоже различать, то есть путем наблюдения решать задачи, алгоритмически неразрешимые в принципе и доказывать теоремы, которые никак не вытекают из любой конечной системы аксиом.
Лол.

Ответы7856

291 13 янв 2017, 02:31 291 7856

>>7855
Cистема аксиом, которая не может быть получена применением алгоритма - это прекрасная идея.
Можно сразу принять за аксиомы все истинные предложения арифметики, и никакие правила вывода не нужны.

Ответы7915

292 13 янв 2017, 22:52 292 7915

>>7856
>Можно сразу принять за аксиомы все истинные предложения арифметики,
Как доказать ее полноту?

Ответы80788097

293 15 янв 2017, 17:17 293 8078

>>7915

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

294 15 янв 2017, 20:38 294 8097

>>7915
Такая теория по определению будет полной, так как каждое истинное высказывание в ней - аксиома, а следовательно и теорема.

295 19 янв 2017, 01:37 295 8505

>>7037
>>7039
Я охуел, есть у него там пучки. И угадай где? В 39 главе про твисторы. Пиздец он совсем что ли, если будешь использовать, хули раньше не объяснил-то?!

Ответы8512

296 19 янв 2017, 01:57 296 8512

>>8505
Чёт проиграл, старикан всех переиграл, пойду читать дальше.
>>7039-кун

297 20 янв 2017, 23:49 297 8990

Впрочем ладно, поясню еще раз специально для альтернативно одаренного говна из вышки, или откуда вы там лезете.
Пенроуз в 33 главе поясняет про свои твисторы на примере sheaf cohomology. Что такое sheaf он, при этом, не поясняет. При том что на математику отведено не менее 15 глав, там есть гладкие многообразия, грассманианы and what not.
Если ты не знаешь, пучок это более фундаментальное понятие, чем многообразие. И при этом более простое. Так же как модуль фундаментальнее и проще кольца.
Примеры книг, где пучки вводятся до многообразий и при этом на элементарном уровне, я уже приводил выше. Если не совсем пиздоглазый, сумеешь найти.

Ответы9009

298 21 янв 2017, 00:03 298 8996

Предыдущий аргумент был в том, что Пенроузу это и не нужно, поэтому не включил в изложение. А оказывается что нужно. При чем это еще ладно, если там нет фундаментальной группы и накрытий (хотя даже у Стюарта в детской книжке есть, а у Каца с Уламом и симплициальные гомологии, при том что книга про всю математику и о 250 страницах) хотя это и пригодилось бы для комплексного анализа – почему интеграл инвариантен вдоль пути – потому что риманова поверхность это накрытие, а монодромия это гомотопия,
но то что в такой книге, которая, на минуточку, включает в себя такие темы как теория струн (тебе, блядь, напомнить что такое а-брана?) – нет пучков, вот это уже за гранью пиздеца. Примерно как если бы в школьном учебнике по математике не было определения понятия функции, только частные примеры.
Впрочем, в книгах, по которым учился Гельфанд, вроде как и не было, из-за чего он изобрел определение сам, но это другая тема.

Ответы9009

299 21 янв 2017, 01:04 299 9009

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

300 21 янв 2017, 01:43 300 9012

＞ модуль фундаментальнее и проще кольца
Это как можно определить модуль над кольцом, не определяя что такое кольцо？

Ответы90349061

301 21 янв 2017, 12:08 301 9034

>>9012
В школах же как-то учат работать с ним, не определяя ни того, ни другого.

302 21 янв 2017, 17:02 302 9061

>>9012
Как это сделано во всех нормальных книгах от алгебры Маклейнаи Биркгофа до Айзекса и Роуэна, например.

Ответы9064

303 21 янв 2017, 17:42 303 9064

>>9061

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

Ответы9073

304 21 янв 2017, 21:17 304 9073

>>9064
Логическая ошибка у тебя в днк. Я не ссылаюсь на авторитеты, просто показываю пример. Никто тебя не заставляет определять каждое понятие, которым ты пользуешься. Тебя не удивляет что в курсах алгебры Левина и Смирнова кольцо определяется раньше группы? Как же так, боже мой.
Более того, модуль бывает над кольцом, над полем, над телом, хоть над моим хером. Модуль это не более чем
Абелева группа по сложению, плюс операторы, действующее на ней, при чем выполняются ассоциативность, дистрибутивность относительно сложения элементов, относительно сложения элементов, унитальность. В какой пизде расположены эти операторы, можно до поры до времени не уточнять.

Ответы91279129

305 21 янв 2017, 21:20 305 9074

относительно операторов*

306 21 янв 2017, 21:58 306 9077

Вообще, в обучении математике сначала надо вводить модуль, потом алгебру, потом проективный модуль. Потом уже натуральные числа и все остальное.

Ответы9082

307 21 янв 2017, 22:19 307 9082

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

Ответы9083

308 21 янв 2017, 22:22 308 9083

>>9082
Подстановками можно. Либо косами, что одно и то же. Для кос натуральные числа не особо нужны.

Ответы9084

309 21 янв 2017, 22:29 309 9084

>>9083
ну все равно это как-то через жопу выходит, т.к. для подстановок уже нужны рассуждения в кольце (количество подстановок).

310 22 янв 2017, 01:21 310 9127

>>9073
>ассоциативность, дистрибутивность относительно сложения элементов, относительно сложения элементов, унитальность
Алгебра готова.

sage 311 22 янв 2017, 01:25 311 9129

>>9073

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

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

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

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

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

Ответы91319139

sage 312 22 янв 2017, 01:30 312 9131

>>9129

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

сорян

313 22 янв 2017, 01:54 313 9139

>>9129
Иди в пизду со своими кейсами. Пучок используется в сотне других определений, начиная с определения схемы.
Я мог бы перечислять любые другие имена, а если бы не перечислял ничего, здесь бы кукарекали что вообще не бывает такого и никто так не делает. Ты у нас молодой практик дохуя? Скидывай ссылку на свой учебник, посмотрим что ты там и как определяешь. Сравним с десятком других учебников, которые я откопал на амазоне/либ\гене, в то время как ты кроме своего атии-макдональдса вообще вряд ли что-то видел, знаток педагогики. Писать статьи куда интереснее, только вот дохуя таких писак, как ни странно.

Ответы91469148

314 22 янв 2017, 04:33 314 9146

>>9139

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

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

300 Кб, 1362x745
315 22 янв 2017, 04:37 315 9147

Не знаю, засовывать вопрос в тапалогии или в котягории вопрос кидать. Помогите решить 2.4.5 в Вайбеле. Понятно, что нужно просто модифицировать рассуждение в доказательстве, но как построить отмеченный на пике морфизм, если мы априори не знаем, что Р проективный?

Ответы9246

316 22 янв 2017, 04:38 316 9148

>>9139
>Пучок используется в сотне других определений, начиная с определения схемы.

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

незамутнённой прелести чистейший образец. друзья, мы собрались тут, чтоб написать побольше определений! определения будем складывать на вики, как бишь её... а, энкатлаб!

Ответы91499194

317 22 янв 2017, 04:41 317 9149

>>9148
Но без языка схем правда ведь ни комплан, ни алгеом, ни арифм.тч не делается сегодня.

Ответы9150

318 22 янв 2017, 05:02 318 9150

>>9149

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

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

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

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

Ответы9160

319 22 янв 2017, 12:16 319 9160

>>9150
Я не говорю, что кольца не нужны. Утверждение было в том, что модуль, фундаментальнее и проще, и что его лучше определять раньше.
>какое это всё отношение имеет к легитимному замечанию,
Тебе кажется что оно легитимное. Ну начинай курс анализа с аксиоматики Пеано, построения рациональных чисел, потом пополнения их до вещественных, хули. Эдмунд Ландау про это книгу написал, тоже.
Продолжая твои рассуждения, любое занятие математикой надо начинать с разбора аксиоматики, в которой ты работаешь, будь то ZFC., NGB или что-то еще. Все же понятия надо определить сперва, прежде чем начать ими пользоваться, да? Нахуй дураков, которые не дают детерминант матрицы до корректного определения, но пользуются им сразу, это ссылка на авторитеты. Если на тебя, петуха, ссылаться, это ещё нормально, твое мнение важнее каких-то там авторов.
>global data into local
Ну я не знаю, это уже КЕЙС в твоём понимании, или очередная прописная истина от гуру?

Ответы9167

320 22 янв 2017, 14:32 320 9167

>>9160

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

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

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

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

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

Ответы9198

321 22 янв 2017, 17:04 321 9194

А, это очередной "я потратил год на изучение тягомотной хуйни чтобы накропать статейку, доказав там какую-то комбинаторную хуйню, это всё очень важно изучать!!" >>9148 тут обоссывается.
Поджилки трясутся, что при правильном подходе к математике, где определения таки да важнее КЕЙСОВ, его ТРУД окажется тривиальной хуйнёй, которую любой первокур доказать сможет, денежек выбить под это не получится, плак плак.

Ответы9203

322 22 янв 2017, 17:19 322 9198

>>9167

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

там межпрочим идёт речь о когомологиях Чеха! Twistor cohomology это
значит H^1 с коэффициентами в структурном пучке, если я не напутал. И
до кучи, с явным определением типа вот это ребята 1-коцикл, а вот это
когомологичные коциклы. Слова "резольвента", "ацикличное покрытие" не
произносятся, и заметены под ковёр, корректность определений, конечно,
не доказывается. Совершенно естественно, что автор не захотел давать
определение пучка, а ровно определил то, что ему нужно. Для монографии
это было бы недостаточно может быть аккуратно, но тут же, блджад,
обзорно-научно-популярная книжка.

323 22 янв 2017, 17:58 323 9203

>>9194

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

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

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

324 23 янв 2017, 01:31 324 9246

>>9147
Коль чего, вопрос всё ещё актуален. (Бампать с периодичностью раз в сутки-то можно или банхаммером можно получить за такое?)

325 4 фев 2017, 05:04 325 10302

>>4036
https://yadi.sk/d/Gdsx6I5z3CkLc5

Ответы10346

326 4 фев 2017, 22:46 326 10346

>>10302
Найсово.
Я немного от себя расширю (с пояснениями) и можно будет в каждый тред кидать. Главным образом в начинайко!

327 5 фев 2017, 01:04 327 10353

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

Ответы10381

328 5 фев 2017, 17:28 328 10381

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

329 12 фев 2017, 18:10 329 10844

>>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. Гомологическая алгебра.
Спектральные последовательности, фильтрация, точные пары. Определение категории. Абелевы категории. Производные категории, локализация, производные функторы, когомологии пучков. Триангулированные категории, эквивалентность.

Про АГ и К-теорию допишу позже.

Ответы10849

330 12 фев 2017, 18:37 330 10849

>>10844
>Модуль можно определять до кольца
В чём профит?
>Наиболее естественной кажется
Мне вот так не кажется. Да и естественной для кого? Только для тебя и других любителей алгбраической топологии?

Ответы1085610892

331 12 фев 2017, 19:00 331 10856

>>10849
Начинать с них легче, проще, приятнее, можно вывести основные результаты линейной алгебры без координат и вычислений. То, что понятие модуля используется с самого начала и не уходит из виду, помогает выстроить мышление, приобрести необходимую интуицию.
>Да и естественной для кого
Дескриптивной теории множеств и общей топологии место на свалке, не знаю ни одного приложения у этой хуйни.
Теория категорий в топологии и алгебре, по моему убеждению, не нужна. Преимуществ никаких, язык более сложный и абстрактный, мотивации меньше. Рассказывать топологию через фреймы и локали, или, как предлагал Павлов, использовать модельные или (\infty-1) категории, это полнейший кретинизм, бессмысленная деятельность, вредительство.
Ничего лучше конструктивной комбинаторной топологии не придумали, и придумывать не надо, а с какого-то момента можно начать пользоваться достижениями модульной алгебры.

Ответы1089710920

332 13 фев 2017, 03:36 332 10892

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

Ответы10906

333 13 фев 2017, 11:08 333 10897

>>10856
>без определения топологического пространства.
Что ты под этим вообще понимаешь? Оно везде используется и всем нужно. Я, конечно, дурак, но вроде чисто комбинаторный подход это сущий ад, где все доказательства базовых фактов будут занимать по 30 страниц ебли. И вообще даже нелюбимая тобой общая топология нужна хотя бы в объеме теоремы Тихонова (для аделей, например).
>Примарное разложение
Еще давно хотел узнать, почему все считают примарное разложение чем-то очень важным? Где оно существенно используется в ТЧ/Алгеме?

Ответы10906

129 Кб, 600x804
334 13 фев 2017, 12:26 334 10906

Слово модуль теперь в спам-листе, похоже. Охуеть, приехали.
>>10897
>>10892

Ответы1090810918

335 13 фев 2017, 12:59 335 10907

Даже более того, что такое модуль, вообще? Nineteenth century for abelian group, отдельное понятие подчеркивает фундаментальное различие групп и абелевых групп. А абелева категория это просто абстракция категории абелевых групп/модулей над кольцом/пучков модулей.
С точки зрения алгебры, групповая алгебра и универсальная обертывающая алгебра более естественный объект, чем группа и алгебра ли, и допускает дальнейшее обобщение.

336 13 фев 2017, 13:00 336 10908

>>10906
Давно пора!

337 13 фев 2017, 13:02 337 10909

>где оно существенно используется
Здесь расписывают, например
http://mathoverflow.net/a/105187

Ответы10950

338 13 фев 2017, 13:02 338 10910

Важнее, что комбинаторные определения значительно легче и нагляднее, это базовая для элементарных понятий техника

Ответы10950

339 13 фев 2017, 13:02 339 10911

foundation proofs

225 Кб, 500x500
340 13 фев 2017, 14:31 340 10918

>>10906
Слово в спам-листе - это om_oto
homo_topy
Видимо, спамили тут

341 13 фев 2017, 14:37 341 10920

>>10856
>конструктивной
В смысле любителей Брауэера? Выходит, ты не любишь общую топологию из-за аксимы выбора?

Ответы10923

342 13 фев 2017, 15:04 342 10923

>>10920
отдельный прикол, кстати, это конструктивное определение Tor и Ext

343 13 фев 2017, 18:08 343 10932

Кстати, дед, а ты слушаем не ко-ко-конструктивист? Способ общения похожий, форсите своих богинь - Брауэра и Дедекиндора, оба пытаетесь подсадить на свой форсы других, вместо детального объяснения ссылаетесь на что-то.

344 13 фев 2017, 23:20 344 10950

>>10910
По-прежнему совершенно не понимаю. Можешь подробнее изложить программу? Какие там будут определения и теоремы? Достаточно ли их будет для когомологий де Рама или чтобы посчитать целочисленные гомологии и фундаментальные группы у комплексных кривых? И определение общего топологического пространства все-таки нужно везде.
>>10909
Ну, такое. Во-первых вещи там изложенные совсем не базовые. Во-вторых большая часть из них не особо то и использует примарное разложение. Ему специально пришлось добавить ответ с неминимальными компонентами, который не особо и убедителен.
К твоей программе по коммутачу на самом деле в этом плане претензий нет, она достаточно большая. Но примарное разложение почему-то пихают во все даже вводные и сжатые курсы. В том же Атье-Макдональде достаточно невнятная глава есть, вместо которой можно было бы дать что-то сильно более полезное.

345 13 фев 2017, 23:34 345 10951

XX век это век надежды, надеялись что природу можно наебать.
XXI век - век взросления.
Комбинаторика - наука XXI века.

Ответы32359

346 23 фев 2017, 03:20 346 11803

>>3784 (OP)
ты, наверное, много достигнешь, когда всё это прочитаешь

347 3 мар 2017, 02:37 347 12429

>>3784 (OP)
>>3801

А есть похожие карты, по другим разделам математики, например, по диф. уравнениям - "diff. equations tree"? "math. physics tree"

Ответы1250745339

348 4 мар 2017, 13:29 348 12507

>>12429
Не сделали пока.

349 6 мар 2017, 00:47 349 12663

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

Ответы12670

350 6 мар 2017, 02:12 350 12670

>>12663
Поверхность гранёного стакана - это диск. Представь что ты берёшь диск и давишь на его центр, вытягивая вниз - получается донышко.

Ответы12671

351 6 мар 2017, 02:15 351 12671

>>12670
Я в курсах. Но чтобы поверхность была односвязна, кольцо должно сжиматься в точку в любом месте, либо именно в том, куда я это кольцо нарисую?

Ответы12672

5 Кб, 368x327
352 6 мар 2017, 02:18 352 12672

>>12671
Иными словами, красное кольцо должно сжаться в зеленую точку, которая лежит в плоскости этого красного кольца, или же в зеленую точку, лежащую на дне?

Ответы1267312679

353 6 мар 2017, 02:19 353 12673

>>12672
синюю точку, лежащую на дне

354 6 мар 2017, 10:44 354 12679

>>12672
А на какой поверхности стакана находится эта зелёная точка?
> красное кольцо должно сжаться в зеленую точку, которая лежит в плоскости этого красного кольца
Само собой, нет. Твоё кольцо деформируется, не покидая пространство, которое представляет из себя стенка стакана. В синюю точку оно стянется, как и в любую другую, принадлежащую пространству.

Ответы12680

355 6 мар 2017, 10:49 355 12680

>>12679
Понял тебя.
Зеленая точка у меня в воздухе висит.
>В синюю точку оно стянется, как и в любую другую, принадлежащую пространству
А не поверхности стакана?

Ответы12682

356 6 мар 2017, 11:45 356 12682

>>12680
Грубо говоря, твоя петля - это путь в пространстве Х, т.е., отображение f : [0, 1] → X такое, что f(0) = f(1). "Точка" - постоянное отображение, такое, что для любого t p(t) = const. То, что петля стягивается в точку, означает гомотопность постоянного отображения p и пути f. Ну и вот. С пространством X всё ясно. Это стенки "стакана", а что такое пустота? Вообще говоря, f там кагбе не определена.

Ответы12683

357 6 мар 2017, 11:48 357 12683

>>12682
Я хз что ты написал, по топологии пока читал только апологию математики. Мне бы на пальцах.

Ответы1268412685

7 Кб, 519x269
358 6 мар 2017, 12:21 358 12684

>>12683
Ну, если кратко, то нельзя стянуть петлю на поверхности стакана в точку, этой поверхности не принадлежащую. Гомотопность - это как раз и есть "стягиваемость" в каком-то смысле. На картинке график функции гамма-0 непрерывно деформируется в график функции гамма-1. Эти две функции гомотопны. Все эти петли, точки - это тоже функции по сути. У функции одна определённая область значений. Либо эта область подмножество другого множества, либо это "всё множество целиком", но не два каких-то несвязных множества. Стакан не является каким-то подмножеством "пустоты" и вообще, эта "пустота" никак формально не определена в данном случае.

359 6 мар 2017, 12:23 359 12685

>>12683
Значение какого из слов тебе неизвестно? "Путь", "петля" или "точка"?

Ответы12686

360 6 мар 2017, 12:24 360 12686

>>12685
>отображение f : [0, 1] → X такое, что f(0) = f(1)
Вот это все.

Ответы12689

361 6 мар 2017, 13:05 361 12689

>>12686
Сорян. Вот что имелось в виду https://en.wikipedia.org/wiki/Path_(topology). Со временем распарсишь может, ну а пока придётся принять на веру, что все эти петли и прочие штуки не должны покидать поверхность пространства, которое может быть стаканом, сферой, бубликом, плоскостью, бутылкой Клейна, рогатой сферой и чего угодно вообще.

362 6 мар 2017, 13:06 362 12690

К ссылке точка приклеилась в конце.

436 Кб, 2047x1346
363 20 мар 2017, 14:55 363 13327

Хочу угореть по алгебраической топологии. Сам 30лвл программист, физик-теоретик по образованию. Какие подводные камни?

Ответы13329

364 20 мар 2017, 15:56 364 13329

>>13327
>>13327
Потеряешь всякую связь с реальность и уедешь рассказывать наполеонам про топологию и концепцию непрерывности проткнутых окресностей.

Ответы13342

365 20 мар 2017, 20:37 365 13342

>>13329
спасибо, постараюсь не отъехать

366 20 мар 2017, 22:53 366 13347

>>3833
складывай в цилиндрических координатах, ну или в сферических, если совсем поехавший

367 20 мар 2017, 23:03 367 13349

>>3920
Спасибо, а то тоже все думал где найти предисловие

368 23 мар 2017, 22:46 368 13501

Т.е. это правда, что собственно единственный главный метод чисто топологический это пучки/расслоения?

35 Кб, 770x115
369 26 мар 2017, 04:01 369 13604

Смутил термин отображение включения. Что это? Просто тождественное отображение подможества во множество?

Ответы13605

370 26 мар 2017, 09:15 370 13605

>>13604
Да.

Ответы13607

371 26 мар 2017, 11:17 371 13607

>>13605
Спасибо.
Можно ещё вопрос? Модульный дед утверждал, что R^n не нужно и можно работать в произвольном поле. Но ведь, метрика определяеться, как отображение в R! Имеет ли какой-нибудь смысл такое отображение, вроде метрики, где R заменено произвольном полем?

Ответы13615

372 26 мар 2017, 14:41 372 13615

>>13607
>Модульный дед утверждал, что R^n не нужно и можно работать в произвольном поле.
Подразумевается жирная R? Потому что простая R — это кольцо.
>Имеет ли какой-нибудь смысл такое отображение, вроде метрики, где R заменено произвольном полем?
Не видел, чтобы использовалось. Там дело не в том, что R — поле, а в том, что оно упорядочено. Там же неравенство треугольника. Полное (линейно)
упорядоченное поле эквивалентно R.
Но обычная метрика определяется скалярным произведением, а оно имеет смысл (и используется!) для кольца.

373 7 апр 2017, 16:20 373 14460

Бутылка Клейна топологически вкладывается в R4. А геометрически(=изометрически) для плоской метрики на нём? А в R5?

Ответы14461

374 7 апр 2017, 16:22 374 14461

>>14460
Ну, в R5 наверно тоже. Хуй знает. А в чём проблема-то?

Ответы14474

375 7 апр 2017, 22:39 375 14474

>>14461
>Ну, в R5 наверно тоже.
То, что она топологически вкладывается в R5 абсолютно очевидно, так как R4 вкладывается в R5.
Но на бутылке клейна есть плоская метрика. Можно ли вложить так, чтобы индуцированная риманова метрика на ней была плоской?

Ответы14513

376 8 апр 2017, 14:43 376 14513

>>14474
Может с чего-то попроще начать, вообще кажется что даже совсем простые многообразия не вкладываются изометрически в эрэн. Вот S∧1 например？

Ответы14517

377 8 апр 2017, 17:02 377 14517

>>14513
>Может с чего-то попроще начать, вообще кажется что даже совсем простые многообразия не вкладываются изометрически в эрэн.
Тор, получающийся из квадратика, как и бутылка клейна, вкладывается в R4.
>Вот S∧1 например？
...окружность? Окружность вкладывается в R2.

Ответы14522

378 8 апр 2017, 17:31 378 14522

>>14517
> Тор, получающийся из квадратика, как и бутылка клейна, вкладывается в R4
> ...окружность? Окружность вкладывается в R2
Мы же про изометрическое вложение. Вот берём окружность в R^2 с внутренней метрикой, естественное вложение в R^2 с эвклидовой метрикой не является изометрией. Почему всё же есть изометрическое вложение в R^2?

Ответы14551

379 9 апр 2017, 21:12 379 14551

>>14522
Любую (?) метрику можно сделать внутренней, рассматривая инфимумы длин путей.
То есть имеется в виду индуцированная риманова метрика.

Ответы14555

380 9 апр 2017, 22:53 380 14555

>>14551
> Любую (?) метрику можно сделать внутренней, рассматривая инфимумы длин путей.
Ну, метрику на линейно несвязных пространствах например нельзя.
Или рассмотри плоскость, из которой вырезано что-то с площадью, окружность ненулевого радиуса например с обычной евклидовой метрикой.
> То есть имеется в виду индуцированная риманова метрика.
Ну, расстояние - длина дуги, индуцировано с R^2. Длина дуги =/= длине хорды, тавтологическое вложение это не изометрия. И, мне кажется, так и не получится отобразить окружность в какую-то замкнутую кривую в R^2 чтобы длина хорды в образе всегда была равна длине дуги в прообразе на окружности.

Ответы14587

381 10 апр 2017, 12:18 381 14587

>>14555
Риманова метрика — квадратичная форма на касательном пространстве. Её може можно ограничить=индуцировать. То есть всё тут рассматривается как римановы многообразия.

А вообще, мне уже поебать на вопрос.

382 15 апр 2017, 22:52 382 14906

>>4179
Смотрю, интересная борда, почитаю-ка тред по своей специализации

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

Окей, пока

383 19 апр 2017, 15:14 383 15469

>>3784 (OP)
Анон, такие дела: у меня получается доказать, что любое компактное множество является секвенциально компактным.

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

В книжках написано, что в общем из компактности не следует секвенциальная компактность. Где я накосячил в доказательстве?

Ответы1554115823158431588516687

384 20 апр 2017, 03:22 384 15541

>>15469
Для метрических пространств, секвенциальная и обычная компактность равносильны.

Ответы15542

385 20 апр 2017, 03:26 385 15542

>>15541
Да, но моё доказательство показывает, что любое компактное множество является секвенциально компактным, а не только метрическое. Книжки утверждают, что это не так.

Ответы15543

386 20 апр 2017, 03:31 386 15543

>>15542
Надо искать где оно вступает в противоречие с 1 аксиомой счетности.

387 22 апр 2017, 19:09 387 15800

Вопрос на который не ответит ни один тополог.
Какой предмет изучения топологии?

Ответы1581315821

388 22 апр 2017, 21:17 388 15813

>>15800
Топология изучает извлечение квадратного корня из нуля.

389 22 апр 2017, 21:57 389 15821

>>15800
Топология изучает топологические структуры.

Ответы15842

390 22 апр 2017, 21:59 390 15823

>>15469
bump! Я так и не нашёл ошибки в своём доказательстве. Ну, анончики-топологи, где же я ошибся??

391 22 апр 2017, 22:34 391 15842

>>15821
Развивай дальше эту тему, что такое топологичекие пространства.

Ответы15845

392 22 апр 2017, 22:38 392 15843

>>15469
>получаем покрытие множества A
Докажи.

Ответы15846

393 22 апр 2017, 23:12 393 15845

>>15842
Топологическое пространство - это математическая структура, которые можно определить разными способами. Самый распространённый - через задание на множестве (которое будет в этому случае топологическим пространством) множества его подмножеств, называемых открытыми, которые удовлетворяют ряду аксиом:
1. Пустое множество и само топологическое пространство - открытые множества.
2. Объединение множества окрытых множеств - открытое множество.
3. Пересечение двух открытых множеств - открытое множество.

394 22 апр 2017, 23:16 394 15846

>>15843
любая точка a множества A принадлежит определённому открытому множеству U(a).
Следовательно a принадлежит и объединению всех U(z), т.к. U(a) - подмножество этого объединения.
Значит, это объединение является покрытием множества A.

Ответы15848

395 22 апр 2017, 23:28 395 15848

>>15846
Возражение снято. Хм.

396 23 апр 2017, 03:15 396 15885

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

Ответы1589816012

397 23 апр 2017, 08:06 397 15898

>>15885
>возможность выбора сходящейся подпоследовательности
Это требует 1 аксиомы счетности, без нее нельзя.

Ответы1596116012

52 Кб, 541x603
398 23 апр 2017, 14:26 398 15961

>>15898
При предположении 1 аксиомы счётности, говорят, секвенциальная компактность эквивалентна компактности, нет противоречия.

Ответы1599816012

399 23 апр 2017, 16:13 399 15998

>>15961
Да, но моё доказательство не требует в предположении 1 аксиому счётности.

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

Я понимаю, что с вероятностью 99,99% в моём доказательстве есть ошибка, или я что-то совершенно не так понял.

Ответы16012

400 23 апр 2017, 16:23 400 16012

>>15885
>>15898
>>15961
>>15998
Cорри, прочёл жопой.
Мне осталось разобраться, почему нужна 1 аксиома счётности, чтобы иметь возможность выбора сходящейся подпоследовательности при наличии предельной точки

Ответы16064

401 23 апр 2017, 20:03 401 16064

>>16012
Всё понял. Спасибо!

402 29 апр 2017, 19:06 402 16687

>>15469
>любая точка a множества A принадлежит определённому открытому множеству U(a), которому принадлежит только конечное число точек последовательности x1, x2...
Это неверно. Есть точки, которые сильно изолированы от последовательности (имеют окрестность, не содержащую точек), а есть точки, которые слабо изолированы: не вычленяется подпоследовательность, которая будет сходиться.
Сильная изолированность - это дополнение к замыканию, а слабая изолированность - дополнение к секвенциальному замыканию.

Если выполняется 1 аксиома счетности, всякая изолированная точка сильно изолирована, поэтому доказательство компактный => секв. компактный работает.

403 9 июня 2017, 20:10 403 19994

Первокультурные топологие призываются в тред!
В обычной топологии R открыто или замкнуто множество A=[0;1)?
С одной стороны, множество открыто, если Int(A)=A, а замкнуто, если Cl(A)=A. Где Int- внутренность, а Cl - замыкание. Но (0;1)=Int(A) подмножество A подмножество Cl(A)=[0;1]! То есть оно не является ни замкнутом ни открытом! Такое может быть? Или я туплю где-то?

Ответы19996

404 9 июня 2017, 20:36 404 19996

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

Ответы1999820002

405 9 июня 2017, 20:44 405 19998

>>19996
Спасибо. Я просто думал, что множество могло быть только открытое или замкнутое.

Ответы20008

406 9 июня 2017, 22:33 406 20002

>>19996
> могут
естественно

407 10 июня 2017, 04:33 407 20008

>>19998
Открытое-закрытое зависит от топологии. Можешь задать на R: R и 0пустое. Тогда любое множество, кроме R и 0 ни открытое ни замкнутое.

408 14 июня 2017, 18:20 408 20197

Сап, умные анончики
Скоро экзамен по топологии, я пытаюсь вкатиться в теорию, пока не особо получается
Застрял на когомологиях де Рама, везде в сети примеры не разбираются, а пишется итоговый ответ
В частности, не могу разобраться, как найти H^k(R^2/{a,b,c}), то есть эти самые когомологии для плоскости с тремя выколотыми точками
Вроде как дошел до того, что тогда это Z[x,y,z]/(x^2,y^2,z^2)
потому что это букет трех окружностей, у каждой кольцо когомологий изоморфно Z[x]/(x^2)
Но итоговое решение хуй знает как оформить
Короче, если поможете - с меня как всегда
Верю в вас

Ответы20217

409 15 июня 2017, 08:51 409 20217

>>20197
Пиши в кукаретник Мише, он разбирается.

Ответы20294

410 16 июня 2017, 09:53 410 20294

>>20217
Это куда? Поясни нюфане

Ответы20334

411 16 июня 2017, 21:44 411 20334

>>20294
Ты найдёшь ссылку в треде про топологию. Но это не точно. Ключевое слово - "ссылкота".

412 18 июня 2017, 21:52 412 20526

сап, пацаны
можно как-то через определение доказать гомотопическую эквивалентность R^3\R^1 и R^2\R^0, то есть трехмерное пространство без прямой и плоскость с выколотой точкой?
через определение - предоставить два таких отображения, ну вы поняли

алсо, если можно как-то иначе это доказать - тоже пилите
с меня как всегда

Ответы2059720646

413 19 июня 2017, 16:13 413 20597

>>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 - из Н в Н.
Как фиксить-то?

414 20 июня 2017, 05:17 414 20646

>>20526
Представь что выколотая прямая в R^3 у тебя располагается по оси Z, а плоскость с выколотой точкой это плоскость Z=0 (и точка это начало координат соответственно). Тогда одно отображение это тавтологическое включение плоскости в R^3/R^1, а обратная гомотопия - это ортогональная проекция всего пространства на эту плоскость Z=0 с выколотым началом координат.

Ответы20662

415 20 июня 2017, 14:50 415 20662

>>20646
благодарю, а если это записывать на бумаге, как записать оба отображения?

Ответы20680

416 21 июня 2017, 04:40 416 20680

>>20662
Так же как ты и написал:
f(x,y) = (x,y,0)
g(x,y,z) = (x,y)

20 Кб, 777x212
417 7 июля 2017, 04:44 417 21427

Ребят, я что-то совсем поехал, это же наебка от Зорича? Ведь если такое возможно, то x1 будет предельной точкой для замкнутого множества E2, то она должна будет содержаться в E2, что противореиче, и значит не существует таких множеств. Или я тупанул?

Ответы214292144821563

418 7 июля 2017, 10:28 418 21429

>>21427
Может E1 - любое замкнутое, а E2 - пустое?

Ответы21438

419 7 июля 2017, 13:26 419 21438

>>21429
я тоже так думал, но тогда мы не можем найти расстояние.

420 7 июля 2017, 15:23 420 21448

>>21427
https://math.stackexchange.com/questions/125709/example-to-show-the-distance-between-two-closed-sets-can-be-0-even-if-the-two-se

Ответы21449

421 7 июля 2017, 15:42 421 21449

>>21448
Спасибо, я придумывал подобные примеры, но у меня вечно что-то с предельными точками не сходилось.

422 8 июля 2017, 19:33 422 21563

>>21427
Вот еще пример: графики функций 1/x и -1/x.

Ответы2157521577

423 8 июля 2017, 23:03 423 21575

>>21563
1/x и -1/x не подходят, ибо первое, "графики" это не множества, надо как-то конкретнее объяснить. И второе, если я правильно понял, то графики будут множеством открытым.

Ответы2157621590

424 8 июля 2017, 23:09 424 21576

>>21575
но если ты имел ввиду подмножества, точек {x;1/x} и {x;-1/x} в R^n n>1, то да, подойдет.

Ответы21579

425 8 июля 2017, 23:25 425 21577

>>21563
А они точно замкнутые?

Ответы2157921928

426 9 июля 2017, 02:45 426 21579

>>21577

Если взять этот пример >>21576
, то вполне себе, это вполне себе множества граничных точек.

427 9 июля 2017, 12:31 427 21590

>>21575
> "графики" это не множества
График функции f - это множество
Гf = { (x, y)) | y = f(x) }.

428 15 июля 2017, 20:37 428 21928

>>21577
Они точно не замкнутые, так как окрестность нуля всегда включает и элементы R и элементы 1/n, а дополнение замкнутого должно быть открытым

429 20 июля 2017, 13:13 429 22192

Ладно пацаны. Решил вкатиться в топологию, стал читать Манкреса и делать упражнения. Дошел до связности и что-то подустал. Порекомендуйте книжку какую-нибудь для разжигания интереса, и чтобы можно было в отпуске перед сном читать.

Ответы22209

430 20 июля 2017, 14:12 430 22209

>>22192
лекции по математике босса. Этакое развлекательное чтиво с налетом математичности. Поясняют про интригалы, рогатые сферы, простые числа и проткнутость окресностей жопный анусов.

Ответы22214

431 20 июля 2017, 14:20 431 22214

>>22209
Спасибо. Правда про топологию там мало, но на отпуск может и хватить

Ответы22223

84 Кб, 461x473
432 20 июля 2017, 14:38 432 22223

>>22214
Ну так текст же со смишнявочками, рофляночками и лоляночками. Чего ты от него хочешь такого?

433 21 сен 2017, 21:18 433 25081

А как называется наука когда топологические алгебры изучают методами алгебраической топологии и вообще живёт ли кто-нибудь так?

Ответы25083

434 21 сен 2017, 21:24 434 25083

>>25081
Функциональный анализ.

435 27 сен 2017, 22:46 435 25250

>>3784 (OP)
А есть такое тотально несвязное множество на прямой, которое
1) Континуальное
2) При замыкании остаётся тотально несвязным
Или, если ответ нет для прямой то может ли такое вообще быть в произвольном топологическом пространстве?

Ответы2592825969

436 17 окт 2017, 09:58 436 25928

>>25250
множество сьерпиньского, вроде

437 18 окт 2017, 19:51 437 25969

>>25250
Канторово множество.

438 19 окт 2017, 10:15 438 25993

>>4104
А где б их взять?

439 20 окт 2017, 16:07 439 26032

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

Ответы26067

440 21 окт 2017, 20:09 440 26067

>>26032
Верно.

Ответы26100

441 22 окт 2017, 15:36 441 26100

>>26067
Почему?

442 8 ноя 2017, 00:43 442 27315

Количество возможных топологий счетно или несчетно бесконечно?

Ответы273383236032361

443 8 ноя 2017, 14:50 443 27338

>>27315
смотря на каком множестве

Ответы32361

444 19 дек 2017, 18:12 444 32359

>>10951
У вас есть набор бильярдных шаров цвета красного, зеленого, синего, желтого, черного, белого, синего, фиолетового, голубого, сиреневого, азурного, перламутрового, лимонного, оранжевого, хаки, розового, детской неожиданности, серого, грязно-серого, ультрафиолетового, фосфор-зеленого, ярко-коричневого и бледно-коричневого. Эти шары разложили в 8 000 000 коробочек так, что в любой коробочке нет шаров одинакого цвета. Наблюдение показало: для любых двух взятых наугад коробочек имеется а возможно, и является одной из двух такая, что цветовой спектр ее шаров покрывает суммарный цветовой спектр взятых наугад коробочек (т.е. если в первой коробочке есть только один шарик, причем синего цвета, а во второй есть синий, да еще ультрафиолетовый и лимонный, то искомой спектропокрывающей коробочкой будет вторая; если же в первой коробочке кроме синего был еще и розовый шарик, то среди коробочек непременно есть содержащая синий, розовый, ультрафиолетовый и лимонный шарики. Вопрос: беретесь ли вы утверждать, что высыпав шарики в кучу и пересчитав их, мы найдем хотя бы 4 000 000 шариков одного цвета?

445 19 дек 2017, 18:26 445 32360

>>27315
На конечном - конечное.
На счетном и больше- несчетное.

Ответы32361

446 19 дек 2017, 18:30 446 32361

>>27315
>>27338
>>32360

447 26 дек 2017, 00:11 447 32985

>>7022
У Пенроуза были пучки, точно помню.

Ответы32986

448 26 дек 2017, 00:14 448 32986

>>32985
>>7022
33.9. Твисторная когомология пучков
Что такое когомология пучков? Эта идея имеет сложное математическое выражение, но
на самом деле она вполне естественна. Здесь мы будем иметь дело только с так называемой
первой когомологией пучков. Это понятие, вероятно, проще всего себе представить,
выясняя, каким образом можно построить многообразие из ряда координатных лоскутов, как
это делалось в §§ 10.2, 12.2 и изображено на рис. 12.5 а. Для каждого перекрытия пары
лоскутов вводится функция перехода (предполагается склеивание лоскутов). Напомним (§12.2,
рис. 12.5 а), что в области тройных перекрытий функции перехода должны удовлетворять
некоторым условиям согласования.
Рассмотрим построенное таким путем многообразие, но будем предполагать, что
функции перехода отличаются от единицы (тождественного преобразования) лишь на бесконечно
малую величину (см. рис. 33.17). Такой бесконечно малый сдвиг между одним лоскутом Ui
и другим лоскутом Uj описывается векторным полем Fij на той части лоскута 14%,
которая перекрывается с Uj. Это поле описывает бесконечно малое смещение лоскута Щ
относительно Uj. Точно так же можно считать, что лоскут Uj смещается относительно Ui,
но в противоположном направлении. Это смещение описывается векторным полем Fj\ на той
части лоскута Uj, которая перекрывается с W», так что для этого перекрытия имеет место33.9. ТВИСТОРНАЯ КОГОМОЛОГИЯ ПУЧКОВ 819
Рис. 33.17. Вспомните (см. рис. 12.5 а), как
строится многообразие из нескольких координатных лоскутов.
(На каждом перекрытии между парой лоскутов
определяется «функция перехода», при этом предполагается
«склеивание» лоскутов.) Здесь рассматриваются функции
перехода, отличающиеся от единицы (тождественного
преобразования) лишь на бесконечно малую величину, и для
каждого перекрытия лоскутов U%, Uj вводится векторное
поле Fij, указывающее, на сколько каждый лоскут
должен «сдвинуться» по отношению к другим, с которыми
он перекрывается. (Лоскуты представляют собой
открытые множества U\, U2, Кз, ... в плоском координатном
пространстве.)
соотношение
Рц = -Fij
(см. рис. 33.18л). Для тройного перекрытия между лоскутами UiMjMk (рис. 33.186) должно
выполняться условие согласования*
Fa + Fa = Fik.
Существуют также «тривиальные» бесконечно малые деформации, возникающие
просто из-за (бесконечно малого) изменения координатной системы на каждом лоскуте. Можно
считать, что они создаются на каждом лоскуте Ui некоторым векторным полем Щ9 которое
просто «приподымает» весь этот лоскут как целое над самим собой. Это дает нам семейство
«тривиальных» полей ?ц вида
F^ = Щ — Hj
на перекрытиях между парами лоскутов, которые не изменяют исходного многообразия
(рис. 33.18 в).
Эти идеи устанавливают правила первой когомологии пучковР3-321. Нам, однако, не
обязательно иметь дело с векторными полями ?ц. С тем же успехом можно пользоваться
обычными функциями f^. Достаточно потребовать, чтобы каждая функция Д?,
определенная на пересечении Uj с Ui, удовлетворяла условию fij = —fji, условию fij -f fji = fik
для каждого тройного перекрытия и чтобы полный набор {fij} рассматривался как
эквивалентный другому такому набору {gij}, если каждый член набора соответствующих
разностей {fij — gij} имел «тривиальный» вид {hi — hj}. Можно сказать, что функции Д?
представляют собой приведенные по модулю величины вида {hi — hj} в том же смысле,
в каком термин «приведение по модулю» применялся в § 16.1 (см. также понятие «класса
эквивалентности», введенное в предисловии). Фактически тот класс функций, с которым
имеют дело в теории когомологии (fij или hij), может быть самого общего вида. В
теории твисторов обычно имеют дело с голоморфными функциями. Это приводит к понятию
«голоморфной когомологии пучков».

448 26 дек 2017, 00:14 448 32986

>>32985
>>7022
33.9. Твисторная когомология пучков
Что такое когомология пучков? Эта идея имеет сложное математическое выражение, но
на самом деле она вполне естественна. Здесь мы будем иметь дело только с так называемой
первой когомологией пучков. Это понятие, вероятно, проще всего себе представить,
выясняя, каким образом можно построить многообразие из ряда координатных лоскутов, как
это делалось в §§ 10.2, 12.2 и изображено на рис. 12.5 а. Для каждого перекрытия пары
лоскутов вводится функция перехода (предполагается склеивание лоскутов). Напомним (§12.2,
рис. 12.5 а), что в области тройных перекрытий функции перехода должны удовлетворять
некоторым условиям согласования.
Рассмотрим построенное таким путем многообразие, но будем предполагать, что
функции перехода отличаются от единицы (тождественного преобразования) лишь на бесконечно
малую величину (см. рис. 33.17). Такой бесконечно малый сдвиг между одним лоскутом Ui
и другим лоскутом Uj описывается векторным полем Fij на той части лоскута 14%,
которая перекрывается с Uj. Это поле описывает бесконечно малое смещение лоскута Щ
относительно Uj. Точно так же можно считать, что лоскут Uj смещается относительно Ui,
но в противоположном направлении. Это смещение описывается векторным полем Fj\ на той
части лоскута Uj, которая перекрывается с W», так что для этого перекрытия имеет место33.9. ТВИСТОРНАЯ КОГОМОЛОГИЯ ПУЧКОВ 819
Рис. 33.17. Вспомните (см. рис. 12.5 а), как
строится многообразие из нескольких координатных лоскутов.
(На каждом перекрытии между парой лоскутов
определяется «функция перехода», при этом предполагается
«склеивание» лоскутов.) Здесь рассматриваются функции
перехода, отличающиеся от единицы (тождественного
преобразования) лишь на бесконечно малую величину, и для
каждого перекрытия лоскутов U%, Uj вводится векторное
поле Fij, указывающее, на сколько каждый лоскут
должен «сдвинуться» по отношению к другим, с которыми
он перекрывается. (Лоскуты представляют собой
открытые множества U\, U2, Кз, ... в плоском координатном
пространстве.)
соотношение
Рц = -Fij
(см. рис. 33.18л). Для тройного перекрытия между лоскутами UiMjMk (рис. 33.186) должно
выполняться условие согласования*
Fa + Fa = Fik.
Существуют также «тривиальные» бесконечно малые деформации, возникающие
просто из-за (бесконечно малого) изменения координатной системы на каждом лоскуте. Можно
считать, что они создаются на каждом лоскуте Ui некоторым векторным полем Щ9 которое
просто «приподымает» весь этот лоскут как целое над самим собой. Это дает нам семейство
«тривиальных» полей ?ц вида
F^ = Щ — Hj
на перекрытиях между парами лоскутов, которые не изменяют исходного многообразия
(рис. 33.18 в).
Эти идеи устанавливают правила первой когомологии пучковР3-321. Нам, однако, не
обязательно иметь дело с векторными полями ?ц. С тем же успехом можно пользоваться
обычными функциями f^. Достаточно потребовать, чтобы каждая функция Д?,
определенная на пересечении Uj с Ui, удовлетворяла условию fij = —fji, условию fij -f fji = fik
для каждого тройного перекрытия и чтобы полный набор {fij} рассматривался как
эквивалентный другому такому набору {gij}, если каждый член набора соответствующих
разностей {fij — gij} имел «тривиальный» вид {hi — hj}. Можно сказать, что функции Д?
представляют собой приведенные по модулю величины вида {hi — hj} в том же смысле,
в каком термин «приведение по модулю» применялся в § 16.1 (см. также понятие «класса
эквивалентности», введенное в предисловии). Фактически тот класс функций, с которым
имеют дело в теории когомологии (fij или hij), может быть самого общего вида. В
теории твисторов обычно имеют дело с голоморфными функциями. Это приводит к понятию
«голоморфной когомологии пучков».

Показать весь текст
Ответы33046

449 26 дек 2017, 07:30 449 33046

>>32986
Претензия, вообще-то, в этом и состояла: Пенроуз упоминает sheaf cohomology (на самом деле даже не это, а Cech cohomology, частный случай) и при этом не говорит, что такое sheaf (что такое cohomology, по-моему, тоже не говорит, но тут я не уверен).
Хотя пучки можно объяснить даже более популярно, чем материал книги Пенроуза (а её довольно сложно читать), например Эдвард Френкель math and love, Маклейн form & function, Host concepts, etc
Road to reality это бенчмарк в плане handwaving, при этом в отличие от обычного рукомахательства умудряется вообще ничего не сообщить. Его объяснение алгебры Грассмана это худшее, что я видел за свою долгую жизнь.
Зато навязчивой пропаганды платонизма сколь угодно.

Ответы330473305333146

450 26 дек 2017, 07:32 450 33047

>>33046
Jost, а не Host. Ебучий андроид любит исправлять.

451 26 дек 2017, 10:22 451 33053

>>33046
Мне тоже не понравилось. А Новый ум короля так вообще хуета какая-то антинаучная.

452 26 дек 2017, 10:41 452 33054

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

453 26 дек 2017, 19:12 453 33146

>>33046
Пучки — это множество. Вещи об те данные свойством. Не понимаю, почему их форсят.

Ответы33148

454 26 дек 2017, 21:24 454 33148

>>33146
Потому что. Пучки это обобщение понятия открытого множества. Гротендик осознал, что базовым объектом топологии является не топологическое пространство, а категория пучков на этом пространстве (это называется топос, кстати) – или на сайте, что не обязательно пространство. Определение пучка не требует открытых подмножеств топологического пространства, их можно заменить на этальные накрытия. Когомологии пучков тогда будут этальными когомологиями. Эта крайне полезная вещь, среди прочего, помогла доказать гипотезы Вейля (в том числе гипотезу Римана).

Ответы33250

sage 455 28 дек 2017, 15:36 455 33250

>>33148
Где про это читать, если знаешь "обычную" топологию, функциональный анализ, алгебру? Чтобы доступно (в меру), лучше на английском.

Ответы33452

456 29 дек 2017, 19:51 456 33452

>>33250
Любич-Глазман
Да в любой книге по алгебраической геометрии на самом деле, хоть Хартсхорн. Если отдельно надо, то Freitag-Kiehl лучше всего.

Ответы3345333481

457 29 дек 2017, 19:58 457 33453

>>33452
>в любой книге по алгебраической геометрии
Посоветуй какие-нибудь хорошие, только Хартсхорна знаю.

Ответы33454

458 29 дек 2017, 20:03 458 33454

>>33453
Görtz-Wedhorn вместо 2 главы Хартсхорна
Günter Harder вместо третьей

Ответы33481

459 30 дек 2017, 09:17 459 33481

>>33452
>>33454
Спасибо.

460 3 янв 2018, 19:08 460 33734

Объясните простыми словами, для чего полезно знать топологию? Какую практическую пользу можно из неё извлечь? Кроме решения других математических задач.

Ответы3392035116

461 4 янв 2018, 05:44 461 33920

>>33734
>практическую пользу
Что под этим подразумевается?
>Кроме решения других математических задач.
Почему ты думаешь, что доска по математике является подходящим местом для этого вопроса?

462 16 янв 2018, 21:04 462 35116

>>33734

Много где. Труднее сказать, где её нет. Даже в логике она есть.

У меня, кстати, тот же вопрос, но про дифференциальную геометрию. Есть ли у неё красивые абстрактные применения, а не прикладные.
Ну то есть с влиянием на другие области математики, а не только для теории векторных полей.

Ответы35183

463 17 янв 2018, 16:22 463 35183

>>35116
Атья-Зингер же
Вообще дифф. геом. нужна для анализа (на многообразиях), а не сама по себе

464 20 янв 2018, 17:00 464 35346

Что это значит?
В …-мерном евклидовом пространстве число топологических типов замкнутых выпуклых множеств ______?

465 22 янв 2018, 15:37 465 35654

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

Ответы35655

466 22 янв 2018, 16:17 466 35655

>>35654
>читать Хэтчера
Плохая идея независимо от твоего знания общей топологии.

Ответы356573565935975

467 22 янв 2018, 17:48 467 35657

>>35655
на меня очень хорошо перед сном действует. как открою его почитать (в произвольном месте) - так сразу засыпаю, минут за 5, крепко и сладко

468 22 янв 2018, 20:11 468 35659

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

Ответы3566035661

469 22 янв 2018, 20:24 469 35660

Коснёвского, например.
>>35659

470 22 янв 2018, 20:51 470 35661

>>35659
>самые-самые базовые понятия общей топологии
Что под этим имеется ввиду?

471 28 янв 2018, 14:16 471 35975

>>35655
Почему?

Ответы3598535988

472 28 янв 2018, 18:08 472 35985

>>35975
ну так почитай, если хочется. таки лучше читать хатчера, чем вообще ничего

473 28 янв 2018, 19:21 473 35988

>>35975
Потому что плохая книга. А так идея нормальная.

474 11 фев 2018, 14:25 474 36623

>>3784 (OP)
А правда что теорию гомотопий лучше учить на категорном языка вообще без упоминания слова топологическое пространство?

Ответы366243665436774

475 11 фев 2018, 14:53 475 36624

>>36623
Нет. Лучше учить теорию гомотопий без упоминаний категорий.

476 12 фев 2018, 14:53 476 36654

>>36623
Да. Лучше учить теорию гомотопий без упоминаний топологических пространств.

477 16 фев 2018, 17:13 477 36774

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

Ответы36776

478 16 фев 2018, 19:16 478 36776

>>36774
>раз ты тут, значит тупой
Самокритичненько. Анончик, тебе нужно поднимать самооценку. Про это есть доска /psy, а тут доска про математику.

Ответы36777

479 16 фев 2018, 21:29 479 36777

>>36776
Удваиваю.

41 Кб, 1920x94
480 3 июня 2018, 15:00 480 40095

выручайте,осталось 1 задание доделать чтобы сдать топологию

Ответы40251

481 8 июня 2018, 15:34 481 40251

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

482 23 июня 2018, 17:35 482 40893

Продублирую сюда.
>>40875
Хелп.

Ответы40991

483 24 июня 2018, 17:46 483 40991

>>40893
не знаю, я фоменко фукса не читал

Ответы41003

sage 484 25 июня 2018, 09:59 484 41003

>>40991
Это очень неприятно. Но я надеюсь,что еще кто-то найдется.

Ответы41004

485 25 июня 2018, 10:00 485 41004

>>41003
Сажи пристала.

486 6 авг 2018, 18:03 486 41915

Как доказать, что у диска с n дырками число краевых окружностей (границ) не более n+1?

487 6 авг 2018, 18:16 487 41917

>>3784 (OP)
Что почитать перед топологией-1 НМУ?

Ответы436184363543715

488 27 сен 2018, 01:21 488 43618

>>41917
Удваиваю вопрос

489 27 сен 2018, 16:13 489 43635

>>41917
"Наглядная топология"

Ответы43685

490 29 сен 2018, 00:38 490 43685

>>43635
Какая из?

491 30 сен 2018, 07:47 491 43715

>>41917
Виро и Васильева.

492 30 сен 2018, 15:04 492 43747

Как тор с вырезанной круглой дыркой (граница осталось) непрерывно отобразить в себя без неподвижных точек?

Ответы4375243765

493 30 сен 2018, 15:59 493 43752

>>43747
вывернуть наизнанку

Ответы43753

494 30 сен 2018, 16:08 494 43753

>>43752
Да, но после этого точки остались на месте. Нужно затем сделать ещё какое-то непрерывное отображение.

495 30 сен 2018, 18:24 495 43765

>>43747
Представь как квадрат с вырезанным кругом по центру и прокрути на 90 градусов.

Ответы43766

496 30 сен 2018, 18:42 496 43766

>>43765
Не, квадрат без неподвижных точек можно непрерывно отобразить поворотом на любой угол отличный от 2pi*k. Если таким способом действовать, то нужно доказывать гомеоморфизм двух фигур. И ещё тогда вопрос является ли свойство "существует непрерывное отображение без неподвижных точек" инвариантом?

Ответы43771

497 30 сен 2018, 19:14 497 43771

>>43766
Является. Пусть a:X->X - отображение без неподвижных точек, b:X->Y - гомеоморфизм. bab^(-1) :Y->Y - отображение без неподвижных точек.

498 1 окт 2018, 17:46 498 43813

Поясните, в элементарной топологии просят доказать теорему ван дер вардена, это такой прикол или надо приступать к книге, когда можешь запросто такую теорему?

Ответы4383443835

499 2 окт 2018, 11:56 499 43834

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

500 2 окт 2018, 12:55 500 43835

>>43813
Это математики выебываются.

501 6 окт 2018, 12:12 501 43895

Не хочу изучать классические университетские курсы Анализа. Есть альтернатива не забивать себе мозг всяким классическо-университетским бредом? Посоветуйте плиз, что необходимо предварительно изучить топологу из Анализа, желательно книжки с картинками и сразу с упражнениями.

Ответы4389743901

502 6 окт 2018, 20:25 502 43897

>>43895
>анализ
>тред по топологии

Ответы43898

503 6 окт 2018, 21:53 503 43898

>>43897
Спрашивает же топологов, так что всё правильно.

504 7 окт 2018, 04:09 504 43901

>>43895
Возьми книжку Львовского по анализу. В ней нет ничего лишнего.

Ответы43904

505 7 окт 2018, 12:20 505 43903

>>4036
Посмотрел здесь. Тут вообще только вроде бы достаточно для начала Анализа бесконечно малых Понтрягина или нужен еще Львовский?

506 7 окт 2018, 12:26 506 43904

>>43901
Львовский -- это разве не хардкор для НМУ-шников. Ньюфагу на нулевом уровне зачем им голову забивать? Может отпугнуть, а надо чтобы шло как по вазелину и нравилось ...

Ответы43983

507 11 окт 2018, 12:08 507 43983

>>43904
Львовский пересмотрел свои взгляды на педагогику и недавно выпустил новый учебник по комплексному анализу, который на этот раз очень приятен и лёгок. Ещё он пропагандирует мясоедство на своей обложке

Ответы61496

508 16 окт 2018, 19:38 508 44141

>>3784 (OP)
А с каким уровнем математики стоит врываться в топологию? Мои знания заканчиваются на ДУ второго порядка которые еще вспомнить надо, но хотелось бы хоть что-то понять в этих вычурных фигурах.

Ответы44145

509 16 окт 2018, 19:56 509 44145

>>44141
С наглядной Праслова и Болтянского. Потом по пику в ОПе.

510 16 окт 2018, 20:14 510 44148

Верно ли, что на кренделе нет непрерывного касательного векторного поля без нулей? Как доказать?

Ответы44772

511 17 окт 2018, 23:13 511 44193

Как формально найти гомеоморфизм между джойном S^n*S^k и S^(n+k+1)?

512 3 ноя 2018, 12:01 512 44772

>>44148
Может попробовать докащательство, как для сферы?

513 17 ноя 2018, 15:28 513 45339

>>12429
>diff. equations tree
Ну, тут просто. Если ты хочешь самообучиться, выбираешь книги с решебниками.

0 лвл (если прогулял всю матершу в институте)
Calculus Стюарта (вторая ссылка на решебник)
http://libgen.io/book/index.php?md5=9DAE11CFC12AACDBFBE40761C22311A5
http://libgen.io/book/index.php?md5=330DB5F45D911EFD638510A7E9036CEA
На русском - "Интегральное и дифференциальное исчисление для втузов" Пискунова

1 лвл (Калькулюсы Апостола и Куранта на английском, даю ссылки только на первые книги и их решебники. По задачам Апостол легче, Курант сложнее).
http://libgen.io/book/index.php?md5=3CBA42EE7FB4D291156919AC44C79EA6
http://www.stumblingrobot.com/index-of-solutions/solutions-to-calculus-exercises/

http://libgen.io/book/index.php?md5=A4B2710B3A5F7A27C9A5E8495C247239
http://libgen.io/book/index.php?md5=20F973DAA2F5354B07E3CEFE11AB5A48

2 lvl
Обыкновенные дифф.. уравнения
http://libgen.io/book/index.php?md5=B8042DBF98736B15F5E48EA84AD94848
http://libgen.io/book/index.php?md5=73E919B20CF0007E94654687B14ED0F6

Нелинейные обыкновенные
http://libgen.io/book/index.php?md5=A96DBA21F87D65D4358631C24B74FCDC
http://libgen.io/book/index.php?md5=1F0387CACFAF55FDB26F901F75ADFD17

3 лвл
В частных производных
http://libgen.io/book/index.php?md5=54E6785427CA5C0BB6B8EC620E978CD4
http://libgen.io/book/index.php?md5=191F014F0427CE1E55222DEDED3EEC3F

На русском можно еще почитать "Дифференциальные уравнения и вариационное исчисление" Эльсгольца (есть решения в конце книги) и "Уравнения математической физики" Самарского (там есть задачник с решениями).

513 17 ноя 2018, 15:28 513 45339

>>12429
>diff. equations tree
Ну, тут просто. Если ты хочешь самообучиться, выбираешь книги с решебниками.

0 лвл (если прогулял всю матершу в институте)
Calculus Стюарта (вторая ссылка на решебник)
http://libgen.io/book/index.php?md5=9DAE11CFC12AACDBFBE40761C22311A5
http://libgen.io/book/index.php?md5=330DB5F45D911EFD638510A7E9036CEA
На русском - "Интегральное и дифференциальное исчисление для втузов" Пискунова

1 лвл (Калькулюсы Апостола и Куранта на английском, даю ссылки только на первые книги и их решебники. По задачам Апостол легче, Курант сложнее).
http://libgen.io/book/index.php?md5=3CBA42EE7FB4D291156919AC44C79EA6
http://www.stumblingrobot.com/index-of-solutions/solutions-to-calculus-exercises/

http://libgen.io/book/index.php?md5=A4B2710B3A5F7A27C9A5E8495C247239
http://libgen.io/book/index.php?md5=20F973DAA2F5354B07E3CEFE11AB5A48

2 lvl
Обыкновенные дифф.. уравнения
http://libgen.io/book/index.php?md5=B8042DBF98736B15F5E48EA84AD94848
http://libgen.io/book/index.php?md5=73E919B20CF0007E94654687B14ED0F6

Нелинейные обыкновенные
http://libgen.io/book/index.php?md5=A96DBA21F87D65D4358631C24B74FCDC
http://libgen.io/book/index.php?md5=1F0387CACFAF55FDB26F901F75ADFD17

3 лвл
В частных производных
http://libgen.io/book/index.php?md5=54E6785427CA5C0BB6B8EC620E978CD4
http://libgen.io/book/index.php?md5=191F014F0427CE1E55222DEDED3EEC3F

На русском можно еще почитать "Дифференциальные уравнения и вариационное исчисление" Эльсгольца (есть решения в конце книги) и "Уравнения математической физики" Самарского (там есть задачник с решениями).

Показать весь текст

514 4 дек 2018, 06:40 514 46037

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

Необходимо показать, что если мы возьмём n-мерный тор и отождествием на нём все точки с точностью до перестановки их координат, то получится не что иное, как произведение тора на CP^(n-1).
Для случая n = 2 это занимательная задачка по топологии, когда мы берём представление тора в виде квадратика, отождествляем заодно по диагонали и выворачиваем всё в лист Мёбиуса, показывая, что фактор конкретно по ней это он и есть, домножая затем на тор. А как быть в общем случае? Пока начал гуглить по поводу orbit space of torus, но не думаю, что это доведёт меня до понимания. Не могли бы уважаемые господа-топологи дать подсказку, где искать это?

515 21 апр 2019, 01:38 515 52611

>Объект кривизны 2-го порядка содержит объект кривизны фундаментально-групповой связности, задаваемой в главном расслоении; объект кривизны аффинной связности над многообразием; компоненты 2-го порядка. Выведены дифференциальные сравнения на компоненты объекта кривизны фундаментально-групповой связности 2-го порядка. Эти сравнения показывают, что объект кривизны образует геометрический объект лишь в совокупности c компонентами 2-го порядка объекта связности. В общем случае объект кривизны фундаментально-групповой связности 2-го порядка не образует тензор.

Объясните гуманитарию, что это и зачем, пожалуйста.

516 19 мая 2019, 01:26 516 53521

пацанчики, а теорию гомотопий можно выдрочить тупа с категорий моделей Квиллена, или я сосну?

517 3 ноя 2019, 15:16 517 61062

Поднимаю вербяху

14 Кб, 812x200
518 11 ноя 2019, 03:28 518 61496

>>43983
>Львовский пересмотрел свои взгляды на педагогику и недавно выпустил новый учебник по комплексному анализу
Что даже задачки от Рамануджана перестал вставлять?

519 14 дек 2019, 17:21 519 62842

https://youtu.be/CN_hdnnvPdo

520 15 июня 2021, 03:00 520 84549

Ребят, решил вкатиться в топологию. С горем пополам более- менее осиливаю. НО, когда приступил к гомологиям. Понял, что не понимаю изоморфизм, гомоморфизмы. Да и вообще усомнился в моём понимании фактормножеств. В связи с чем, прошу у уважаемых анонов каких - нибудь задачников с РЕШЕНИЯМИ по этим темам. Да и по гомологиям было бы неплохо, но это, веоятно за гранью фантастики.

521 15 авг 2024, 23:14 521 117012

Что будет если из n-сферы мы выколем точку? У нас получится фигура гомеоморфная открытому n-1 мерному шару?

522 21 дек 2024, 00:57 522 119290

>>3784 (OP)
ну третья книга это И. Маслобой "Пистолет"

Обновить тред
« /math/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion