20 Кб, 404x313
ВНИМАНИЕ! Если ты школьник\студент или просто первый раз зашел на доску, НЕ СОЗДАВАЙ НОВЫЙ ТРЕД, а задай вопрос в прикрепленном треде "математика для начинающих". Так ты повысишь свои шансы получить ответ, а не быть обложенным хуями.

С вопросами по поводу ЕГЭ и поступления: https://2ch.hk/un/ (М)

Щитпостинг в тематических модерируемых тредах будет жестко пресекаться. Не пишите в тематические треды, если не уверены, что вам есть что сказать. Список тематических тредов:

Альтернативный тред для начинающих
Копипасты тред
Регулярные локальные кольца
Прикладная математика
Алгебра
Анализ
Топология
Теория категорий
Основания математики
Образование математика
Мендельсона тред и Metamath тред
International Math Thread

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

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

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

Архивач раздела

52 Кб, 500x500
В этом треде мы изучаем математику. Если ты школьник или студент, и у тебя есть трудности с задачей, то здесь тебе помогут её решить или хотя бы скажут, в каком направлении двигаться для её решения. Чем более чётко и конкретно ты опишешь суть своих затруднений, тем выше твой шанс на содержательный ответ.

Основные списки литературы:
http://pastebin.com/raw/4iMjfWAf - classic
http://pastebin.com/raw/4FngRj6n - dxdy

Архив тредов (там же остальные списки литературы и полезные ссылки):
https://pastebin.com/raw/qhs0WNbY

47 Кб, 354x251
Это - тред общематематических разговоров. Он призван выполнять те функции, которые стихийно выполнял тред для начинающих, и, ранее, общий тред в /sci. Если хочется просто о чем-нибудь поговорить - пишите сюда. Если ваш вопрос достаточно конкретен - лучше воспользуйтесь одним из тематических тредов.

132 Кб, 800x1122
Metamath [21] >>
Ранее я создал Мендельсона-тред, теперь хочу обратить внимание на другую достаточно клёвую вещь: Metamath.
(Это связано с основаниями математики, но не спешите отчаиваться)

В данном треде я постараюсь ответить на все возникшие у анонов вопросы. Его вроде надо сделать модерируемым.

FAQ:
1)Что это?
Это теория типов для формального доказательств первопорядковых языков. Ну то есть язык программирования для ZFC, NBG, геометрии (Тарского) и ещё много чего первопорядкового.
Всё это доступно онлайн в удобном гипертекстовом виде.

2)Какие профиты?
а) Очень большая библиотека доказательств, легко читается. Имеет достаточно долгую историю - с девяностых.
б) Пруфассистант: два режима, как в Coq: либо конструируешь доказательство, либо интерактивный режим.
в) Непосредственно прилагается самоучитель.
г) Простой (300 строк на питоне) верификатор доказательств.
д) Имеет модель в ZFC. (самая мякотка, смотри пункт 3)
е) Живое коммьюнити.

3) Какие задачи?
Есть такая статья: http://us.metamath.org/ocat/model/model.pdf
Не знаю как анону, но мне было бы очень любопытно в ней разобраться.

4) Почему "лучше" чем HoTT, Coq, HOL и т.д.?
Да потому что ZFC и логика предикатов - это математический стандарт де-факто, поэтому знание metamath может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".)

Смело задавайте вопросы и высказывайте мнения.

163 Кб, 800x800
Если математика - царица наук, то алгебра - венец самой математики. Этот тред посвящён ей! ссым в нём на тех, кто занимается анализом и не знает теорему де Рама

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

Для начала предлагаю следующую задачу на пикрелейтид.
Это самоконтрольный тест. Не можешь её решить - не владеешь алгебраической геометрией.

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

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

105 Кб, 632x501
Глупец тот, кто приравнивает 0,(9) и 1!
Сама запись 0,(9) уже подразумевает, что 1 никогда не должен быть достигнут!

110 Кб, 1213x830
Изначально тред создавался в /b/, но пусть тут повисит. Дублирую.

Нужна помощь коллективного разума. Есть некая компания, производящая не сложный продукт бакалейная продукция. Но с точки зрения производства - при малом количестве входов очень много выходов. 2017 год был для компании не самый лучший убыточный. Я занимаюсь ПО в компании и мне поставлена задача уже как полгода разработать архитектуру системы производственно-логистического планирования. Обычно планирование - это усредненный линейный график, основанный на статистике, но все мы знаем, что это - полное говно. Я же хочу сделать систему на вероятностных методах с применением имитационного моделирования, в перспективе, возможно, присвоить себе готовое решение. Да вот проблема - мои знания в математике поверхностные. В целом, я хорошо разбираюсь в дифференциальном и дискретном исчислении, но тут мне знаний не хватает. Более того, имитационное моделирование - сравнительно молодая отрасль науки в рашке, очень много материала на инглише, например, из MIT. Из хороших решений разобрался, как работать с RePAST Simphony. А вопрос такой - где найти гика-математика? Не на хедхантере же? Где они обитают?

Ссылка на тред в б http://arhivach.org/thread/330060

58 Кб, 490x604
В связи с тем, что оп начинайкотреда продолжает слоупочить, я взял на себя смелость создать новый, альтернативный тред для начинающих.

Здесь мы будем не спеша и без фанатизма изучать математику, задавать ответы и получать вопросы, а также культурно общаться на смежные темы. ВНИМАНИЕ! Тред — модерируемый! Я собственноручно и прилежно буду репортить любой пост, являющийся нерелейтедом или содержащий мат и оскорбления, и очень прошу модератора неизменно такие посты удалять. Пожалуйста, воздержитесь от грубостей в этом треде! Если вам такой стиль общения не по душе - скройте этот тред.

Остальным же - добро пожаловать в добротред. И помните: главное — хуявное

131 Кб, 1300x936
Секите задачку, пацанчики.
Есть у нас сколько-то фигурок. Известно, сколько из них какого цвета (N цветов) и сколько какой формы (M форм).
Как бы так найти минимальное количество сочетаний цвет-форма, на которые их все можно поделить?

16 Кб, 220x311
В этом треде мы рисуем коммутативные диаграммы, доказываем теоремы с помощью diagram chasing и, конечно, хуесосим теоретико-множественных дидов.

438 Кб, 732x548
Зашёл в тупик, разбирая интересную задачу.
Рассмотрим отобращение f:Z->Z, такое, что f(xy)=f(x)f(y) (гомоморфизм, если рассматривать Z/{0} как группу относительно умножения). Для определения отображения введём понятие производящей функции последовательности простых чисел: H(a) = P(1)a/1! + P(2)a^2/2! +...+ P(n)*a^n/n! +..., где P(n) - n-е по счёту простое число. Из определения H(a) следует, что ь-япроизводная H в точке 0 равна m-у простому числу: H(0)^{m}=P(m).
Определим тогда f следующим образом: пусть x из Z однозначно разлагается в произведение P(1)^n_1 + P(2)^n_2 + ... + P(m)^n_m + ..., где n_i из множества N U {0}, тогда f(x)=f(P(1))^n_1 + f(P(2))^n_2 + ... + f(P(m))^n_m + ... А образ i-го простого числа определим как: f(P(i))=f(a)^{i} для некоторого действительного a, макрирующего отображение. Нетрудно показать, что f(P(i))=P(i)+P(i+1)a/1!+P(i+2)a^2/2!+...+P(i+m)a^m/m!+..., а также, что этот ряд сходится для любых чисел a и i.
Так как поле Q получается из Z путём добавления обратных (не путать с противоположными в случае сложения) элементов, а f(xy)=f(x)f(y), то положив f(x/y)=f(x)/f(y), где x,y из Z получим обобщение такого отображения. Графики для разных значения a в гифрелейтед.
Теперь, собственно, вопрос: можно ли расширить отображение на поле действительных чисел? Выражаясь точнее, правда ли что, если последовательность x_i над Q сходится к некоторому x' из Z, то верно ли, что последовательность f(x_i) тоже сходящаяся?

218 Кб, 328x478
Модерируемый.
Вайп, спам, щитпостинг трётся, всё остальное разрешено.
По настоянию модератора предыдущий тред остается на растерзание школьникам, теперь постите сюда.

135 Кб, 512x512
Наверное платина, но кем может работать математик? Кроме очевидного учителя математики.

Сам сейчас учусь на матфаке ВШЭ, уже понятно, что учёным 99% не стану, а зарабатывать как-то надо, так что делать?

254 Кб, 714x1010
Как /math/ относится к каббале?
Не спешите гнать в философач. Я попытался обмазаться (чисто ради примитивной эрудиции), и мне подумалось, что в образе мысли есть что-то перекликающееся с теорией категорий. Такая мысль пришла от чтения этой книги:
https://ru.wikipedia.org/wiki/Сефер_ха-Зоар

36 Кб, 1847x381
Первом делом надо собрать побольше материала на Мунина! Кому что известно?
Так же планируем набег на dxdy.

74 Кб, 452x272
Здравствуйте.
У меня небольшой реквест. Интересует видео лекции Романа Михайлова, где он рисует на доске треугольники.
Хотелось бы узнать, к чему относятся эти треугольники. В одном из видео Роман говорил о треугольнике как о фигуре, в которой "есть что-то животное, сама жизнь" или что-то в таком духе, не помню точной формулировки.
Если кто удосужится залить искомый кусок лекции или поделится ссылкой на фулл, буду оч. благодарен.
Сам не математик, интересует метафизический аспект треугольников скорее. Всем мир.



126 Кб, 1280x960
В этом итт треде мы будем спасать утопающие в гомотопическом хаосе золотые россыпи крупиц народной мудрости /math. Ответы на платиновые вопросы, рецензии на статьи Мочидзуки, исправленные доказательства из Зорича и просто любые хорошие, годные посты.

Правила:
1. Не копипастить свои посты.
2. Не постить мемасы и форсы — для этого есть деградации тред, тут собираем мудрость.
3. Мод, удаляй все, что не является копипастой, но не сразу, а через пару дней — так, чтобы обсуждение тонуло вниз, а копипасты всплывали наверх.

72 Кб, 223x320
Хорошо известно, что математика это раздел алгебраической к-теории. Лучшим помощником к-теоретика представляется нам классическая наука о резольвентах модулей.
В этом треде мы объясняем любителям Демидовича что такое дифференциал и операция дифференцирования, как определить модуль не обращаясь к понятию группы, определяем когомологии и Ext на языке точных последовательностей. Прошу воздержаться от диаграммного поиска и метания стрелок, для этого есть отдельный тред >>2473 (OP).
Классической гомологической алгебры нить стартует тут.