Далеко-далеко в самом гладком из гладких многообразий на самой его границе жила дифференциальная форма. И была та форма замкнута и имела такой скверный характер, что не было у той формы ни друзей, ни близких, и нельзя было встретить никого даже в самой малой эпсилон окрестности этой границы. Но однажды в том краю появился мудрый и удовлетворяющий всем аксиомам отделимости Гасан Заде. И пошел он сразу на самый край этого многообразия и встретил там эту самую форму. И начала форма ругаться на него, почэму он ходит по многообразию, пачиму баламутит метрический тензор. На что Гасан Задэ невозмутимо спросил: "Форма, всю жизнь ты живешь на этой границе, а знаешь ли ты каков твой интеграл по ней? И задумалась форма, и не было у нее мыслей кроме этой, бросила форма все сваи занятия, перестала пить и есть, потиряла покой и сон. Семь дней и восемь ночей пыталась форма проинтегрироваться по контуру, но ничего у нее нэ получалось: пыталась форма интегрировать в лоб, пыталась перейти к другим координатам, а когда савсем отчаялась, устремила к бисканечности интегральные суммы, но патирпела полный провал, поскольку учил ее интегрировать велеречивый, но не очень ученый хан Агахан.И пришла форма исхудавшая до такой степени, что было видно у нее внешнее произведение, к Гасану Заде и протянула к нему в мольбе координаты свои: "О мудрый и метризуемый Гасан Заде, помоги мне проинтегрироваться по контуру, ибо не в силах я терпеть дальше такие унижения!" И отвечал ей невозмутимый и сепарабельный Гасан Заде: "Интеграл твой равен нулю и было известно мне еще до того, как подошел к краю, поскольку одинока ты и нет у тебя ни друзей ни образа при дифференцировании". "Ну и что с того того!” - возопила форма. "А то, что известна мне формула Стокса и ясна она мне как первый луч весеннего солнца взошедшего над алгебраически замкнутым полем" И услышав слова такие не выдержала форма, подошла к границе и прыгнула с нее в самые пучины бесконечномерных топологий, так что не сыскать ее теперь, поскольку топологий этих несчислимое множество и занимается ими совсем другая наука.Так поднимем же точные последовательности за то, чтобы умели мы считать когомологии, невзирая ни на гомотопический тип, ни на символы Кристофеля, что причиняют столько неприятностей и по сей день.---Этот тред посвящён pure mathematics. Здесь из нескольких разных доказательств выбирают самое концептуально правильное, доказывают задачи из листочков для первого курса НМУ, а также читают научные статьи (пытаются). Если вы хотите задать вопрос типа "как мне взять этот интеграл", это не сюда. Вам нужен тред "для начинающих", он плавает неподалёку.Предыдущий: >>355215 (OP) (OP)
1. https://arhivach.org/thread/18638/2. https://arhivach.org/thread/27246/3. https://arhivach.org/thread/27696/4. https://arhivach.org/thread/38709/5. https://arhivach.org/thread/46502/6. https://arhivach.org/thread/48852/7. https://arhivach.org/thread/52165/8. https://arhivach.org/thread/56479/9. https://arhivach.org/thread/63306/10. https://arhivach.org/thread/70618/11. https://arhivach.org/thread/74342/12. https://arhivach.org/thread/74341/13v1. https://arhivach.org/thread/76561/13v2. https://arhivach.org/thread/92428/14. https://arhivach.org/thread/78408/15. https://arhivach.org/thread/79152/16. https://arhivach.org/thread/82499/17. https://arhivach.org/thread/92427/18. https://arhivach.org/thread/84722/19. https://arhivach.org/thread/87923/20. https://arhivach.org/thread/91329/21. http://arhivach.org/thread/93067/22. https://arhivach.org/thread/94240/23. https://arhivach.org/thread/95680/24. https://arhivach.org/thread/96720/25. https://arhivach.org/thread/99481/26. https://arhivach.org/thread/100880/27. https://arhivach.org/thread/101335/28. http://arhivach.org/thread/106743/29. https://arhivach.org/thread/109198/30. https://arhivach.org/thread/114111/31. https://arhivach.org/thread/116099/32. https://arhivach.org/thread/118093/33v1. https://arhivach.org/thread/122613/33v2. https://arhivach.org/thread/122615/34. https://arhivach.org/thread/123717/35. https://arhivach.org/thread/128822/36. https://arhivach.org/thread/129039/37. https://arhivach.org/thread/131462/38. https://arhivach.org/thread/138362/39. https://arhivach.org/thread/13842940. http://arhivach.org/thread/140404/41. https://arhivach.org/thread/142386/42. https://arhivach.org/thread/145879/43. https://arhivach.org/thread/146833/44. https://arhivach.org/thread/152600/45. https://arhivach.org/thread/153157/46. https://arhivach.org/thread/156244/47. https://arhivach.org/thread/159628/48. https://arhivach.org/thread/165872/49. https://arhivach.org/thread/183576/
>>372131 (OP)А настоящий предыдущий там: >>368293 (OP)
>>372131 (OP)Прошлая картинка лучше была.
И сразу сажи аниму-пидорам.
>>372131 (OP)>потиряла Ну йобана.
>>372341Ошибки - это не баг, это специально.
>>372343Ты случайно не танкист? А то там такой же дебил был писавший ровно тоже самое.
Не взлетает что-то тематическое обсуждение. А я пока напоминаю вам, что действительные числа не нужны.
>>372354А что вообще можно тут обсуждать? Я вот просто читаю книги. У меня нет причин привлекать как-то других людей. Возникающие вопросы прекрасно разрешаются с помощью гугла. Могу задать задачки, если хотите. Семейство подмножеств множества X называется сигма-алгеброй над X, если объединение его счётного подсемейства является его элементом, пересечение его счётного подсемейства является его элементом, дополнение его элемента является его элементом. Пусть X - множество, пусть M - семейство его подмножеств. 1. Докажите, что существует сигма-алгебра, являющаяся надмножеством M. 2. Докажите, что пересечение всех сигма-алгебр, являющихся надмножествами M, снова сигма-алгебра. Таким образом, каждое семейство подмножеств X содержится в некоей наименьшей по включению сигма-алгебре.Пусть X - вещественная прямая со стандартной топологией. Наименьшая сигма-алгебра, содержащая все открытые множества, называется борелевской. 3. Докажите, что мощность борелевской сигма-алгебры равна континууму.Указание. С помощью трансфинитной рекурсии определите бесконечно много классов таких, что элементами последующего являются счётные объединения и пересечения элементов предыдущего. Начните с класса всех отрезков. Доведите трансфинитное построение до первого несчётного ординала.
Кто бы что ни говорил. А мне вот доставляли споры о натуральных числах, с перебрасыванием на философские статейки, темы на MO и SE и всем таким. Было весело.Твои задачки ведь совсем упражнения, давай чего-нибудь полуолимпиадного или на глубокое понимание. В идеале ещё, чтобы не гуглилось. Ну или я могу дать:Найти все неизоморфные плотные линейные порядки порядки без концов, такие, что каждый начальный отрезок счётен.1,2 - конструкция порождённой сигма-алгебры.3 - борелевская иерархия множеств.
>>372131 (OP)Что ззначает производная?Приращение функции относительно переменной, да.Вот функция икс квадрат. Её производная 2 икс.При икс пять функция равна 25, производная 10при шесть 36, 12, при семи 49, 14.Вот в каком месте это приращение? Относительно чего?
1. Любая абелева группа над алгебраически замкнутым полем имеет только одномерные неприводимые представления. Верно ли обратное, что любая группа, у которой только одномерные неприводимые представления - абелева? Верно-ли для конечных? 2. Есть примеры известных и использующихся в науке функторов, которые точны слева/справа, но не являются при этом правыми/левыми сопряжёнными к каким-то?
>>372366Ну давай, зубри, зубри промытыш, свои бессмысленные сигма-алгебры
>>3723661. Множество всех подмножеств X.2. Тривиальная проверка.3. Ясно, что борелевская сигма-алгебра несчетна, потому что она содержит все одноточечные множества. Мощности несчетных множеств между собой я различать не собираюсь, это эзотерико-мистическая хуйня для дрочил.Вот лучше найдите мне нормальное доказательство формулы Тейлора. По запросу "intuition for taylor's series" ниче хорошего нет.У Львовского нашел интуитивное объяснение, почему коэффициенты такие (пик 1), но получение остаточного члена какое-то совсем трюковое (пик 2 и 3). Кто-нибудь знает попроще вывод?
>>372371Повторяю, нахуя тебе это знать?
>>372373Если множество борелевских множеств континуально, то, так как множество всех подмножеств R более чем континуально, существуют неборелевские множества, что довольно-таки забавно.
>>372374Чтоб у тебя, картофана, бомбануло от того, что люди развлекаются, а ты дрочишь свой картофан.
>>372374Чтобы на двачах выебываться.>>372376У картофана есть возможность устроиться на нормальную работу, а ты так и будешь у мамки на шее сидеть.
>>372375> что довольно-таки забавно.Почему? Для этого и придумали борелевские сигма-алгебры: чтобы не рассматривать патологические множества.
>>372378Потому что априори совершенно не очевидно существование множеств, которые не могут быть получены из интервалов с помощью счётного количества применений операций объединения, пересечения и взятия дополнения.
>>372373Наименее трюковое доказательство тутhttp://math.stackexchange.com/questions/481661/simplest-proof-of-taylors-theoremкак по мне. >это эзотерико-мистическая хуйня для дрочил.Это единственное, чем я заниматься собираюсь!
>>372379Так это маняматики понапридумывали своих аксиом выбора и верят в существование таких множеств. Нормальные люди используют аксиому конструктивности и получают вполне интуитивный и концептуально верный для анализа результат - таких множеств не существует.
>>372381>>372379Ну это несерьезно даже.Если у меня есть непустое множество, почему я не могу выбрать из него элемент? Что за бред?
>>372380> Наименее трюковое доказательство тутСпасибо, анон, обязательно посмотрю.
>>372383Из одного непустого - можешь. А из континуального семейства непустых - нет. Потому что само понятие "континуальности" - сказки от маняматиков.
>>372369>производная?Приращение функции относительно переменной, да.Производная это не приращение, производная -- это коэффициент линейной части приращения.Типа есть у тебя функция, f(x). Что такое наличие непрерывности в x? Это когда f(x+dx)-f(x)=o(1). Что такое наличие производной в x? Это когда существует A(x) такой, что f(x+dx)-f(x)=A(x) dx+o(dx). Что такое производная? Как раз этот A(x). >Вот функция икс квадрат. Её производная 2 икс.(x+dx)^2 - x^2 = 2 x dx + dx^2 = 2 x dx + o(dx).Линейная часть приращения 2 x dx, поэтому производная 2x.>Вот в каком месте это приращение? Относительно чего? В левой части написано f(x+dx)-f(x), это приращение.В правой части написано 2 x dx + o(dx). Линейная его часть описывается производной.
>>372385Дробных чисел не бывает. Отрицательных чисел не бывает. Нуля не бывает. Чисел более чем 10^20 не бывает.
>>372380>>372384(На самом деле нет, нахуй тебя пошлю задротик)))) )
>>372387Категориями "бывает" и "не бывает" даже в ХХ веке не мыслили. Есть два языковых фреймворка - на аксиоме выбора и на аксиоме конструктивности. Первый усложняет теорию всякими ебучими множествами Витали, заставляет делать постоянно оговорку "пусть f - измерима", и вообще даёт неправильную перспективу и прикладникам, и чистым математикам: будто неизмеримые множества - это реально часто встречающийся эффект, который нужно учитывать, а не лингвистическая конструкция на хуёвом языке; а второй позволяет всего этого избежать и делает теорию в разы стройнее и ставит правильную интуицию (как прикладникам, так и чистым математикам). А свои ебучие демагогические гиперболизации при себе оставь, чёрт.
>>372388Относительно точки 5.
>>372386>>372391
>>372390А что там с неизмеримыми множествами по лебегу, если отрицать аксиомы выбора? Они вообще исчезают?
>>372392Не понел? Ничем другим кроме описанного производная не является, разве что я не сказал, что она оператор, действующий на приращениях.
>>372390Начнём с того, что в конструктивной математике теорема Больцано-Коши не имеет места. Если провести на плоскости прямую, взять в полуплоскостях две разные точки и соединить их непрерывной линией, то у конструктивистов может случиться так, что кривая не будет пересекать прямую. На этом разговор о неправильной интуиции закончим.
>>372395>у конструктивистов может случиться так, что кривая не будет пересекать прямуюА почему это кстати? Там ведь никакой аксиомы выбора нет
>>372393Нет конечно, принимать отрицание аксиомы выбора - это вообще шиза, так как счётная аксиома выбора постоянно используется в анализе. Они исчезают, если принять аксиому конструктивности.>>372395Хуйню говоришь. Ты путаешь аксиому конструктивности с конструктивной математикой типа Маркова. Весь одномерный анализ с аксиомой конструктивности сохраняется точно таким же. По модулю всяких рассуждений, основанных на неравенстве мощностей (которые нахуй не нужны, зачастую, ни прикладникам, ни математикам).
>>372397Ну давай, докажи теорему Больцано-Коши, ке ке ке.
Ой, блять, прошу прощения всех в теме. Под аксиомой конструктивности я всегда имел в виду аксиому детерменированности.
>>372398Доказательство полностью перепишется из любого учебника по анализу. Потому что оно нигде не использует несчётный выбор.
>>372399Почти каждый вывод из аксиомы детерминированности является злоебучкой. С помощью этой аксиомы ты можешь разделить вещественную прямую на более чем континуум попарно непересекающихся непустых множеств. Хотя в ней всего лишь континуум точек.http://mathoverflow.net/questions/22927/why-worry-about-the-axiom-of-choice/22935#22935По-прежнему не считаю нужным продолжать разговор о неправильной интуиции.>>372400Не-не, ты докажи. Ке ке ке.
Молодца гуглить умеешь, только заметь, что в той темке нету ни одного факта, на который было бы не поебать аналитику. А размышления о континуумах и о том, на что его можно разбить, а на что нельзя, и как там сравниваются разные бесконечности - нахуй не нужны в анализе, да и вообще неинтересны нормальным людям. Вас выдрачивали 20 лет, что N и Q равномощны, а N и R - нет, - и вам кажется это очень интуитивным и пиздос каким очевидным. Выдрачивали бы 20 лет, что С можно разбить на более, чем C множеств, то и это бы казалось очевидным и интуитивным. Нормальным людям же заниматься интеллектуальной мастурбацией не нужно.
>>372374А нахуя тебя спрашивать?
>>372403Вот когда покажешь мне более чем континуум непересекающихся непустых числовых множеств, тогда и поговорим.
>>372404Чего?
>>372405Когда мне покажешь континуум, тогда и поговорим.
>>372406тебе*
>>372407Существование R твоя религия не запрещает, насколько я понимаю.
>>372408Узнать, для чего он просит, чтобы оценить, стоит ли отвечать.
>>372410А ты знаешь ответ-то?
>>372409Моя религия проста: для анализа нужна АD, вопрос о количестве попарно непересекающиеся множеств континуума - не аналитический. Понять, почему АD в анализе лучше, чем AC можно очень просто: взглянуть на длину формулировок и доказательств одних и тех же утверждений в одной теории, и в другой.
Найти все неизоморфные плотные линейные порядки порядки без концов, такие, что каждый начальный отрезок счётен.Zadacha.
>>372412У меня нет причин считать, что AD достаточно для анализа. Никто ещё не взял на себя труд развить анализ на основе этой аксиомы. Скажи, ты можешь доказать, что определения предела по Коши и по Гейне эквивалентны, опираясь на аксиому детерминированности?
>>372386Что значит>o(1)df?Что такое>A(x)Другая функция?И что получается, производная показывает насколько много вырастет функция при малом увеличении икса?
>>372417Разумеется, доказательство точно такое же, как и в любом учебнике анализа.
>>372424В учебнике используется аксиома выбора.
>>372427Аксиома счётного выбора. Которая следует из AD, разумеется.
>>372428В произвольных метрических пространствах-то?
>>372430Да.
>>372390Эквивалентность пределов по Коши и Гейне докажешь конструктивист мамкин?
>>372431Ой ли.
>>372433Научили дурака умным словам.
>>372390Аминь.
>>372368>Найти все неизоморфные плотные линейные порядки порядки без концов, такие, что каждый начальный отрезок счётен.Подскажи, как это решить вообще?
>>372490Попробуй сначала показать, что любой счётный плотный линейный порядок без концов изоморфен Q.
>>372496Это-то очевидно.
>>372544Теперь попробуй придумать пример нужного порядка, неизоморфный Q.
>>372422>Что значит o(1)?https://en.wikipedia.org/wiki/Big_O_notation#Little-o_notationФункция, стремящаяся к нулю при dx->0.>И что получается, производная показывает насколько много вырастет функция при малом увеличении икса?Да, объясняет линейную часть этого роста: f(x+dx)-f(x)=f'(x)dx + o(dx)
Заметил, что по проекции (перспективы) тройки векторов на плоскость можно определить, могли ли они быть равны по длине, в предположении, что они ортогональны.Но как это сделать просто? Иными словами, как рисовать куб в перспективе, чтобы точно знать, что это куб, что должно выполняться? Второй вопрос, при фиксированных ортогональных направлениях, легко ли делать параллельный перенос векторов вдоль них, и как?
>>372569Вроде сам понял.Если кому интересноЧтобы проверить, что перед тобой не просто прямоуг параллелепипед, а куб, достаточно проверить, что диагонали под 45 градусов. Делить углы пополам в проективке оче просто. Солвед.Параллельный перенос вдоль прямой можно тоже ухитриться делать через эти 45 градусов, но наверняка можно проще
>>372131 (OP)Теория колец и теория множеств. Они как то связанны, вложены друг в дружку, или нет?
>>372620Да, связаны. Многие факты из теории колец опираются на фундаментальные множественные конструкции.
>>372623Связанны в каком смысле? У них общее основание или кольца находятся под эгидой теории множеств/наоборот?
>>372624В присутствии аксиомы выбора получается одна теория колец (с ультрафильтрами и прочим), в присутствии отрицания аксиомы выбора получается совсем другая теория колец, без ультрафильтров вообще говоря.
>>372131 (OP)Скажите, p-адичсекие числа есть в программе каких-то факультетов кроме чисто-математических? Как называется дисциплина, в рамках которой они изучаются?
>>372638Теория чисел.В глубоком идеале, их должны проходить на факультетах по информационной безопасности. Но всем как всегда.
>>372639А является ли глубокий идеал полупростым?
>>372131 (OP)Вопрос, наверное, странный. Я тот тип, который спрашивал про некоммутативную геометрию, будучи очень далеким от темы. Скажите 1. С какими разделами математики я должен быть знаком для того, чтобы более-менее понимать о чем речь при чтении литературы по некоммутативной геометрии? 2.(навеяно постом чуть выше) Этот минимальный уровень для понимания некоммутативной геометрии можно получить где-то кроме чисто-математических факультетов?
>>372643Я тот тип, который тебе отвечал1. C*-алгебры, К-теория, классическая алгебраическая геометрия.2. Нельзя даже на математических факультетах. Это очень новая ветвь, по которой написано 1.5 книжки и которые развивает 3.5 человека. Найти компетентного человека именно в некоммутативной геометрии - очень сложно.
>>372651Т.е. даже если я буду нормально соображать во всем, что ты указал в пункте 1., то без разъяснений компетентного человека я все равно не пойму почти ничего?
>>372651Тем не менее, стоит заметить что идти на чисто-математический факультет в любом случае смысла больше чем идти куда-то ещё или не идти никуда - чтобы стать более менее современно образованным математиком и заниматься наукой, заниматься "только некоммутативной геометрией" не получится, узнать надо очень много всего. В конце обучения вообще может оказаться, что некоммутативная геометрия не так уж интересна, а интересно что-то другое совсем.
>>372655Не знаю, я сам в ней плохо разбираюсь. Но думаю, что если ты хорошо образован, то книжка Конна может хорошо зайти, и тогда компетентный человек нужен не будет. А может и нет.А почему именно некоммутативная геометрия? Название понравилось?
>>372651>>372655"C*-алгебры, К-теория, классическая алгебраическая геометрия" а это можно получить где-то кроме чисто математических факультетов?(условно, на ФУПМ пистеха такому учат?)
>>372659Ситуация такая, что даже на математических факультетах это не входит в общеобразовательную программу, бывают спецкурсы какие-то, конечно, но это такое. Вообще с какого-то уровня ты уже сам можешь учиться чисто по учебникам; если ты думаешь, что сидя на лекции ты будешь получать больше фидбэка, чем читая книжку или смотря лекции по ютубу - то ты ошибаешься очень
>>372659>условно, на ФУПМ пистеха такому учат.Нет.
>>372660Переформулирую: на условном мехмате я смогу получить нужную инфу по этим разделам в виде спецкурсов, или на крайний случай просто помощи конкретного сведущего человека, а на условном ФУПМ смогу, или нет? (ФУПМ привожу как пример сильного, но не чисто-математического факультета)
>>372659Ок, понял
>>372663Очень вряд ли.
>>372665Последний вопрос. Самый странный, наверное. Хочется иметь как можно более широкий математический кругозор, но при этом учиться не на чисто-математическом факультете(не надо спрашивать почему, просто принят как есть). Есть ли варианты которые существенно лучше ФУПМа?
>>372666Ходить в НМУ по вечерам. Какой лучший факультет прикладной математики - не знаю. Я бы во ВШЭ пошёл, у них денег дохуя - куда-нибудь тебя приткнут после выпуска, если не долбоёб.
я платонистам покушать принёс:http://www.runivers.ru/upload/iblock/25d/florensky.pdf
>>372671Лел, Кайло Рен какой-то написал.
Все чаще можно встретить мнение, что мехмат- говно, матфак- сила. Склонен считать, что это скорее правда, чем ложь, но вот в чем вопрос: есть ли тенденция к улучшению ситуации на мехмате?
>>372691Есть тенденция к ухудшению ситуации на матфаке.
>>372691https://www.youtube.com/watch?v=UnFKh0WLVwoПознавательное видео.
>>372695хуйня для задротов
>>372696Выпускник МГУ, подвизавшийся в Оксфорде (в одном из тамошних вузов), популярно поясняет, почему матфак сосёт.
>>372698Блядь, я посмотрел, сложилось ощущение, что ему 15 рублей от мгу пришло.
>>372698Пиздец, посмотрел его видео, лютый зашкварник какой-то: "Учитесь на пятёрки, а то общество потом вас спросит о результатах", - и это, блять, математик? Где контркультурность, где сверхидеи, где демоническая одержимость? Это ёбанный карьерист - рак, убивающий математику, Гротендик и Серр дружно ссут ему в ебальник.
>>372700Ну, по части оценок он как бэ прав. Если ты собираешься продолжать учиться за бугром, тебе лучше бы иметь пятёрки, так-то.
>>372701Это бугру лучше бы не выёбываться, если он хочет, чтобы я у них продолжал учиться.
>>372702Excellence programs всех сортов сейчас поссали на тебя
>>372703Хуй знает что это за эксэлэнц програмс, поссал на тебя на всякий случай.
Шалом, перельманы.Я в мтанах ваших ничего не знаю, но очень хочу разобраться. Например смысл среднего арифметического я понимаю, а смысл среднего геометрического нет. Нет, я знаю как оно считается блять, но суть нихуя не улавливаю при малых значениях СА и СГ очень близки друг к другу НО ПОЧЕМУ ОНИ НЕ ОДИНАКОВЫЕ Смысл матметодов тоже не понимаю, метод наименьших квадратов, например.Кароч, посоветуйте книгу для совсем уж долбоебов тип меня, чтоб прям графически на графиках или может на словах в шутками-хуютками все доступно объяснялось.
>>372708Зачем тебе это?
>>372708>смысл среднего геометрического Среднее арифметическое в смысле показателя. Если у тебя есть e^a, e^b, e^c, среднее геометрическое будет e^{(a+b+c)/3}>метод наименьших квадратовПриближение данных линейным оператором. У тебя скажем есть вектора X_i из R^n, которым соответствуют вектора Y_j из R^m. Ты хочешь найти такой линейный оператор B:R^n->R^m, что B . X_i ~= Y_j (примерно равно). Самое простое -- минимизировать квадраты расстояний от B . X_i до Y_j, их сумму. Это и делает метод минимальных квадратов.
>>372714 B . X_i ~= Y_i квадраты расстояний от B . X_i до Y_i
>>372708Корощ мне кажется тебе не нужна книга, достаточно гугла
>>372717Можешь попробовать навернуть Босса "Интуиция и математика", хуй знает насколько рилейтед.
>>372719>БоссаЕго на dxdy обоссали.
>>372720Да мы тут сам дхду давно обоссали.
>>372720Пруф подгони, хочу поржать с идиотов. IRL Босс - это коллектив литературных негров, часть из которых очень квалифицированы.
>>372724http://dxdy.ru/topic74332.htmlhttp://dxdy.ru/topic3475.htmlГде-то здесь.
>>372720Там одни днища сидят
>>372732Будто на сосаке одни успешные.
>>372734А ты че их защищаешь, а? Ты вообще на чьей стороне, а? А!?
>>372735С каких пор мне dxdy нельзя защищать?
>>372735Какие ещё стороны? Ты упорот? Иди на бамбасе взорвись, если тебе деление на стороны нужно.
>>372736>>372737Какие вы скучные
Обычно как в шарагоинженерных предметах матана очень мало и он как-то легко заходил, а в тау как выяснилось все состоит из матана и такой даун как я не могу даже понять зачем тут нужен интеграл? - Как я могу найти высоту воды в баке поделив, вроде как, площадь функции вытекания воды на площадь сечения. - Почему площадь сечения оказалась в знаменателе?
>>372739>матан
>>372734Поуспешнее будем)))
>>372739Интеграл дает тебе объем воды в баке. Объем разделить на площадь - выйдет высота.
У меня накопилось МНОЖЕСТВО вопросов, аж два.Почему теория множеств считается острием математики?Я так почитал её и что то у меня сложилось впечетление что её изобрели специально для разжижения мозга математиков, чтобы они потом гомологии с гомотопиями на многообразиях анализировали и решали проблемы голода всего мира путем парадокса хаусдорфа-банаха-тарского.Собственно, что то я разговорился. Что мне делать если мне надо математику выучить для того чтобы смочь в физику, в которой теория множеств не применяется в связи с её поразительной неэффективностью в ней, а все учебники по высшей математике начинаются со слов "возьмем множество натуральных чисел N..."? Не то чтобы мне было западло её учить, хоть и западло, но половина учебников, если не больше, построенны по принципу "долго и нудно вводим понятия чтобы на последней страничке написать "вот если ту хуйню вот туда поставить а потом вот сюда то что будет потом мы не знаем. Но мы работаем над этим""Ну и второй вопрос, кто что может сказать про нестандартный анализ? Я почитал википедию, книги которые смог найти, понял его суть, понял что он легче теории пределов, но не понял почему его не преподают и не распространяют. Он же естественнее, или я его не понял вводим дополнительные числа, которые не подчиняются аксиоме архимеда и не представимы в виде суммы единиц, и с их помощью разрабатываем интегралы с дифференциалами
>>372659>пистех Пистех (по легенде) создавался чтобы пилить атомную боньбу. От сюда получается что вершина математики на пизтехе - Уравнения Математической Физики, на довольно картофанном уровне. Плюс еще немножко разной дискреточки.Никаких гротендико-фантазий там даже и близко не пробегало. Даже абстрактной алгебры в общем-то там толком не преподают хнык-хнык.
>>372766Что значит "картофанный уровень"?
>>372748>Почему теория множеств считается острием математики?
>>372748СВЯТАЯ ТОЛСТОТА
>>372748> все учебники по высшей математике начинаются со слов "возьмем множество натуральных чисел N..."И что главное: никак не определяют это множество, а если и определяют, то через какие-то трюки с рекурсией....
>>372777Пусть дано множество M и отношение порядка < на нём...
>>372777vector<int> v;
>Почему теория множеств считается острием математики?Не считается.>Я так почитал её и что то у меня сложилось впечетление что её изобрели специально для разжижения мозга математиков, чтобы они потом гомологии с гомотопиями на многообразиях анализировали и решали проблемы голода всего мира путем парадокса хаусдорфа-банаха-тарского.Нет, её изобрели как попытку (более-менее удачную) подвести всю математику под единый язык и сделать арифметику и анализ одной наукой.>Собственно, что то я разговорился. Что мне делать если мне надо математику выучить для того чтобы смочь в физику, в которой теория множеств не применяется в связи с её поразительной неэффективностью в ней, а все учебники по высшей математике начинаются со слов "возьмем множество натуральных чисел N..."? Прочитать введение на 5 страниц в любом учебнике по анализу. Думаю, от получасового чтения не умрешь.>Ну и второй вопрос, кто что может сказать про нестандартный анализ? Я почитал википедию, книги которые смог найти, понял его суть, понял что он легче теории пределов, но не понял почему его не преподают и не распространяют. Он же естественнее, или я его не понял вводим дополнительные числа, которые не подчиняются аксиоме архимеда и не представимы в виде суммы единиц, и с их помощью разрабатываем интегралы с дифференциаламиМилая идея, но бесполезная. Он использует сложные теоретико-модельные конструкции, для которых нужно очень хорошо понимать сущности некоторых метаматематических эффектов. В рувики хуйня написана, кстати, определение производных через дуальные числа и нильпотенты высших порядков никакого отношения к нестандартному анализу не имеет, и это действительно довольно няшное определение, которое нужно если не брать за основное, то рассказывать о нём в упражнениях или замечаниях.
>>372779ПО ИНДУКЦИИ
>>372772>>372774А разве нет?>>372777Ну, в книжках это все на чистой интуиции определяется, мол это целые числа, это натуральные, это трансцендентные а это вообще все подряд в одной куче.>>372783>сделать арифметику и анализ одной наукой.Зачем?>Прочитать введение на 5 страниц в любом учебнике по анализу.Как я писал выше, в связи с поразительной неэффективностью теории множеств вне математики это будет балласт тормозящий обучение.>нужно очень хорошо понимать сущности некоторых метаматематических эффектов. Это например каких?
Поясните за пикрелейтед, последний абзац. L^1 - пространство интегрируемых функций. Как складывать и умножать классы эквивалентности? Я так понимаю, как с классами вычетов по модулю: нужно выбрать по представителю, сложить/умножить представителей и это будет результат. По идее же еще нужно доказывать, что результат не зависит от выбора представителя?В общем, поясните за общую ситуацию: мы разбиваем множество на классы эквивалентности и вводим на множестве классов эквивалентности какие-то операции; чтобы применять операции к классам, мы их применяем к представителям.Какой должен быть порядок действий в этой ситуации?
Сколько-то тредов назад мне обещали обосновать почленное интегрирование ряда без равномерной сходимости. Ну так че?
>>372837>Зачем?Чтобы использовать результаты одного раздела в другом и вообще для душевного спокойствия и чувства единства.>Как я писал выше, в связи с поразительной неэффективностью теории множеств вне математики это будет балласт тормозящий обучение.Зато теория множеств поразительно эффективна в математике (что неудивительно, ведь именно за этим её создавали), поэтому если ты хочешь выучить именно математику, то тебе придётся выучить азы ТМ.>Это например каких?Существование нестандартных моделей и их неосязаемость в большинстве случаев. >>372870Нужно доказывать. Или доказать это один раз для всех нормированных векторных пространств. Правда произведение функций из L^1 вообще может не быть функцией из L^1, но это мелочи жизни.>>372913Я думал ты уже съебал давно. Напишу сегодня, лил.
>>372919Нет, я хочу выучить именно физику. Но её не выучишь без математики. А математике сейчас учат только через теорию множеств.Например? Что за модели и что за неосязаемость? Подробнее распиши.
>>372935Потрать час на первую главу в Зориче. Ты бы давно уже выучил нужный тебе кусок ТМ, если бы не хныкал.>Например? Что за модели и что за неосязаемость? Подробнее распиши.Сложно расписать человеку не в теме. Если коротко, то мат. теория - это просто синтаксическая конструкция - множество формул (теорем) на некотором очень строго определённом языке. Модель - это когда мы значкам из нашего очень строгого языка сопоставляем элементы алгебраической системы так, что теоремы выполняются. У теории бывают довольно привычные модели, которые называются "стандартными" и довольно сюрреальные, которые называются "нестандартными". Например интуиция о натуральных числах (sic) аксиоматизируется через аксиомы Пеано, аксиомы Пеано имеют стандартную модель: привычные нам натуральные числа {1,2,3,...} и имеют нестандартные модели, в которых есть нестандартные элементы, большие любого "стандартного" числа. Проблема в том, что по теореме Таненбаума я не могу построить рекурсивно аксиоматизируемую теорию такой вот нестандартной модели, поэтому говорить о них как бы можно - можно делать какие-то даже универсальные утверждение о их структуре (например, известен их порядковый тип), но нельзя "пощупать" их. Нельзя, например, в языке программирования сделать класс "нестандартное натуральное число" с как-то переопределёнными операторами умножения и сложения, так, чтобы все аксиомы выполнялись.
>>372939>по теореме ТаненбаумаЯ уже который раз тебя вижу, анон. Сколько можно повторять? Он Tennenbaum, через е. https://en.wikipedia.org/wiki/Tennenbaum%27s_theorem
>>372960Строго говоря, он Тонненбом - фамилия-то французская.
>>372964В литературе он постоянно фигурирует как Тенненбаум, особенно в сочетании Соловей и Тенненбаум. Можешь проверить на матнете.
>>372964>французская?????танненбаум - ёлка
>>372971А Тонненбом - математик.
>>372972Не знаю такого. Знаю лишь американского Стенли Тенненбаума.
>>372972Фамилия немецкая, долбоеб.
>>372666Самый широкий математический кругозор ты получишь, учась на физика-теоретика не разлагающего в ряд Тейлора, а угорающего по калибровкам и по струнам в одном месте, и на математика в другом.С последним достаточно ясно - НМУ и программа Вербицкого, а в первом проблема в том, что я знаю только одно место, где занимаются первым ФОПФ Пистеха, но это люто отнимает время, травмирует психику и давит на людей.По не особо большому опыту общения - люди с ВШЭ и мехмата уровня конца бакалавра-начала магистратуры не особо знают за даже калибровки, в то время как пистехи некоторых кафедр типа ИТЭФа могут пояснить за Стандартную модель и КТП. Но за это знание придётся заплатить прохождением сотен говнокурсов и иным.Правда, эти же пистехи могут знать расслоения только на уровне определения и расслоения Хопфа, чем дико выёбываться, но это уже другая история. Ещё есть проблема в том, что эти курсы придётся самому переводить с картофельного языка на нормальный, от чего будут гореть жопа и голова, да ещё и учить обезьянничество на уровне трёх теорем вместо одной нормальной теоремы Стокса. Либо страдать от отсутствия стипендии и нормального отношения к тебе, как это делаю я.Прикладных математиков я бы тебе не советовал. Куча информатики и дискретного, логика без теории категорий, алгебраической геометрии вроде как тоже нет. Либо же есть, но так, что лучше бы и не было.>>372766Карасёв читал годовой курс, в котором пояснял за гомологии и характеристические классы векторных расслоений. По идее, он знает и К-теорию, и симплектическую геометрию, и нечто большее, но на пистехе таких людей единицы хотя разбирающихся знаю лично двух-трёх. Ещё у ФИВТов на 3 курсе был курс про гомологии, но это где-то на базе и он не очень годный, как по мне.
Филологи в маттреде, спешите видеть!
>>372979АТТИЯ
>>372982ГЕЛЬФ А НД
>>372983значение знаешь?
>>372978Дело вот в чем. Я люблю математику, но понимаю, что такой человек как я вряд ли когда-то станет ученым. К физике у меня отношение нормальное, готов ее учить, но... все же я ее понимаю несколько хуже, чем математику, и интереса к ней несколько меньше. Так что, для такого как я ФОПФ- не вариант. Но, может быт я чего-то не понимаю и ты меня переубедишь.
>>372986Не идти на ФОПФ - выбор правильный (если только ты не являешься дико работоспособным или любишь скорости; к слову, в плане бессмысленной и просто нагрузки между факультетами не особо различие, поэтому дважды подумай, если всё же решишь выбрать физкек). Если МОЛОДОСТЬ ХАРДКОР не для тебя, ты не хочешь получить почётное звание местного сумасшедшего, а хочешь жить относительно тихо-мирно и изучать математику для себя - то матфак ВШЭ для тебя правильный выбор, мне кажется там, правда, общежитие далеко, но если есть возможность жить рядом - это не проблема. С третьего курса получишь возможность выбирать то, что нравится и не напрягает хоть экономика, что, кстати, даёт возможность безболезненно сменить специализацию в случае чего.Об отсутствии невыносимой сложности говорит факт, что листочки с заданиями некоторые решают с репетиторами за не очень большие деньги, и что на матфак порой идут те, кто не поступил на нужный факультет.Что касается необходимого материала - то >>372651-кун написал верно, за два курса ты получишь весь необходимый (или хотя бы 70%) материал для изучения им описанных дисциплин, далее - изучаешь их, а затем (в идеале - поняв 2-3 первых курса программы Вербита) - то, что желаешь, по книжкам.И повторю совет - изучай физику (квантмех, теории поля, струны - только не задачки из ОБЩЕЙ ФИЗИКИ), дабы не отрываться в прямо таки совсем чистую математику. Вроде в ВШЭ даже есть курсы, правда, не знаю, насколько они хороши.После этого, в принципе, должны появиться очертания всего происходящего в математике, а там уже поймёшь всё сам.
>>372978>По идее, он знает и К-теорию, и симплектическую геометрию, и нечто большееНу охуеть теперь просто. Крепкого здоровья ему и творческих успехов.>Правда, эти же пистехи могут знать расслоения только на уровне определения и расслоения ХопфаСомневаюсь что средний физтех сможет ответить что такое расслоение, да даже что такое многообразие. Только если несколько хардкорных ботанов с ФОПФа.Мне как бы хотелось помечтать чтобы основная программа была что ли "поинтереснее", а то что там может даваться на спецкурсах - которые занимают от силы 5% нагрузки - ну не знаю хуй с ними>>372771>Что значит "картофанный уровень"? Ну примерно так же как изучение интегралов на первых курсах сводится к задрачиванию формулок до изнеможения, так же УМФ на курсах постарше сводятся к задрачиванию стандартных подходов для стандартных задач.Хотя сама эта тема безгранична и можно было бы рассматривать всякие современные физические теории, струны, топологические инварианты, работы Виттена и прочее. Хотя видимо все это не нужно, а нужен очевидно только картофан.
Привет матемач. Отправили к Вам.Помогите решить задачку.Дано, количество игральных костей - N, загаданное число - M. Все кубики 6-гранные.Необходимо рассчитать вероятность выпадения загаданного числа.
>>372991>изучай физику (квантмех, теории поля, струны - только не задачки из ОБЩЕЙ ФИЗИКИ), дабы не отрываться в прямо таки совсем чистую математикуЭто ещё зачем?
>>372998Чёт хз. Эта задача решается как-то кроме полного перебора?
>>373008Конечно решается. Нам же не надо знать все возможные расклады, нам нужна только сумма - соответственно мы можем свернуть результат суммированием.
>>372939С комплексными числами вполне себе оперируют и не заморачиваются поисками числа квадрат которого равен минус единице. А ведь такое число не "пощупать".Я вот щас по мельком прочитал английскую вики про нестандартный анализ, там такое же написанно что и в русской по этой теме, разве что более подробно, с применением суперструктур и прочим подобным. ВРоде мне все понятно.
>>372655Можешь понять, если у тебя ПОДХОДЯЩИЙ склад ума. Ведь все люди разные. Может ты сходу вкуришь и представишь себе двухмерную визуализацию трехмерной проекции пространства калби яу, а может будешь тупить над синусами с арктангенсами пять лет подряд и так и не поймешь их суть.
>>372674
Почему общую топологию не изучают в школах вместо того, что там изучают? Как минимум, для матана нужно знать про непрерывность, компактность, связность, метризуемость, полноту и т. д. То есть, без топологии даже интегральчики под картофанчик осознанно хуярить нельзя, потому что все доказательства опираются на топологию. Но ведь во всех вузах обучение построено так, что студенты вникают в доказательства. Разве школа не должна готовить к вузу?
>>373099Школьный реформатор, у тебя летнее обострение!?
>>373099>Почему общую топологию не изучают в школах вместо того, что там изучают?Непрактично. Её и в университетах часто не изучают.>Как минимум, для матана нужно знать про непрерывность, компактность, связность, метризуемость, полноту и т. д.Всё это делается для случая вещественной прямой.>То есть, без топологии даже интегральчики под картофанчик осознанно хуярить нельзя, потому что все доказательства опираются на топологию.В школе особо интегралов не берут.>Но ведь во всех вузах обучение построено так, что студенты вникают в доказательства.Доказательства мало кого волнуют, используются наглядные примеры — площадь под графиком и путь.>Разве школа не должна готовить к вузу?Школа воспитывает членов общества.
>>373103> Школа воспитывает членов общества.Справедливо.>>373101Я не он.
>>373099Давай рассмотрим на примере геометрии. Обычно ее преподают с 7 по 11 класс, 2 или 3 часа в неделю, получается около 180 часов в год, 900 часов за 5 лет. При этом что она даёт ученику?1) неформальные и порой неверные определения геометрических объектов2) кучу забавных следствий из аксиом евклида, но без самих аксиом3) умение записывать геометрические доказательства ужасным бюрократическим языком, неиспользуемым больше нигдеГде это пригодится в дальнейшем? Да нигде, это тупик.
>>373107Геометрия учит мыслить. Верь в это.
>>373107Лол, так еще Вавилов говорил, что доказательства из школьной геометрии чуть ли не единственное полезное, что можно вынести из школы, т к эти доказательства являются доказательствами не только по меркам школьной, но и по меркам "взрослой" математики.
>>373127Почему?
>>373129Не знаю. У Вавилова надо спросить.
>>373127С такой аксиоматикой и терминологией -- путь во взрослую математику открыт!
Так что, школьная геометрия говно и в вузе учат с нуля?
>>373133Конкретизируй претензии.
>>373142Как это - через точки? Что такое: полуплоскость, наложение, неразвернутый угол, единица измерения отрезка, фигура?Почему аксиомы представлены в виде каких-то бытовых утверждений о какой-то там плоскости в какой то там прямой? Зачем для конгруэнтности какие-то дополнительные аксиомы, неопределенное понятие фигуры?
>>373127Вынести-то можно, только, учитывая то, что школьник изначально не знает, что важно (доказательство), а что второстепенно (формулки), а учителя не объясняют это, он и не выносит ничего из важного.Это, конечно, верно, если человек учился в обычной школе, а не в математической или каком-нибудь приличном лицее.Знаю как по своему опыту, так и по знакомству с многими людьми физ-мат специальностей.Прекрасно помню, как мне уже в ВУЗе объясняли, что эквивалентность утверждений нужно доказывать как "Пусть выполнено А. Тогда В. Пусть выполнено В. Тогда А".При этом, что характерно, незнание такого базового никак не повлияло на конечные знания математики.
>>373157Тебе непонятно, что такое наложение и полуплоскость? Тогда тебе не в школу, а в детский сад надо.
>>373172Я так и знал, что что-то упускаю. Я же не ходил в детский сад, а именно там давали строгие понятия этих вот объектов. Гильберт видно тоже там не был, но в его времена вообще все неразвито было.
Как интеграл Лебега согласуется с "несобственными" интегралами"? Например, мы хотим вычислить интеграл от f(x) = 1/x^2 на [1; inf). Я думал ввести посл-ть функций f_n таких, что f_n(x) = f(x), если x <= n, и 0, если x > n. Тогда f_n сходится к f, но я не могу вычислить интеграл от f как предел от интегралов от f_n, потому что чтобы применить dominated convergence theorem, мне надо знать, что |f_n| можно ограничить интегрируемой функцией. Как быть?
>>372919>>372913Ну че, давай уже. Я собираюсь читать про элементарные функции типа exp, sin и cos.exp определяется через ряд. Насколько я понимаю, справедливость почленного дифференцирования этого ряда будет объясняться через равномерную сходимость или что-то типа того.Что я уже знаю: меру Лебега на прямой, интеграл Лебега, monotone convergence theorem, dominated convergence theorem и как с помощью нее обосновать почленное интегрирование ряда (без равномерной сходимости).Мне теперь надо разобраться с почленным дифференцированием и потом я буду читать главу про аналитические функции (это же так называется?)
>>373195Определение не нужно делать строже, чем это требуется для работы. Провёл прямую, ткнул пальцем - вот и вот полуплоскости. Определение завершено.
Какие разделы математики самые-самые новые среди известных местным анонам?
https://vk.com/wall-42366362_1024?reply=1118>Российские учебники по математике, по которым мы учимся, это ТУПОЙ НАБОР ПСЕВДО-"УМНЫХ" СЛОВ. Который никакого отношения к математике не имеет.>Я отработал преподавателем математики 12 лет и видел десятки самых ходовых учебников математики. Поэтому хочу рассказать, что в них не так.>Приведу в пример популярный учебник Пискунова Н.С. "Дифференциальное и интегральное исчисления", 9-е издание. Вот, например, как Пискунов начинает раздел "Формула Тейлора":>...>1) Первая реакция на такое описание формулы Тейлора:>ЧТО ЭТО ЗА ФИГНЯ? ПРИ ЧЕМ ЗДЕСЬ ВООБЩЕ ФОРМУЛА ТЕЙЛОРА.>Даже определение формулы Тейлора у Пискунова написано лишь через три (!!!) страницы ниже.>2) Автор пытается изо всех сил запутать читателя.>Любой адекватный автор пишет текст по всем законам логики. Если уж надо писать про формулу Тейлора - так и надо писать: "Формула Тейлора это.... Она нужна для.... ".>...>5) Автор - не существует как личность.>В учебнике Пискунова вы нигде не встретите слова "я занимался тем-то и тем-то...", "мой опыт показывает, что...", "я занимаюсь 30 лет применением математики в различных отраслях знаний".>Это какой-то аноним. А ценность текстов анонима - нулевая. Наверно автор просто переписывал работы Ньютона, Эйлера и других великих, поэтому у него не было морального права написать "Я".>А ведь основной принцип обучения - у кого учишься, тем и станешь. Учишься у сантехника - станешь сантехником. Учишься у Пискунова - станешь Пискуновым. А кто такой Пискунов? Почему он не пишет о себе в каждом разделе - как он применял этот раздел, как ему в жизни это помогло? Сколько он на этом заработал или сколько премий Филдса получил? Почему мы должны становиться Пискуновым, хотя не знаем, кто это, и как ему помогла его математика?>...
>>373252Diagrammatic algebra и её подразделы. Появилась по популярной версии в 1987, по неофициальной аж в 1882. http://mathoverflow.net/questions/168888/who-invented-diagrammatic-algebraСуть такова. https://arxiv.org/abs/1106.2128Википедия про это мало что знает.https://en.wikipedia.org/wiki/Category:Diagram_algebras
>>373254Благодарю. Ну же, анон, накидай еще.
>>373254Ого. Выглядит охуенно
>>373253> ценность текстов анонима - нулеваяВот это сейчас обидно было.
>>373254Перескажите вкратце суть для Ъ.
>>373253>Учишься у Пискунова - станешь Пискуновым.Единственная умная мысль в этом потоке бреда. Группа, к слову, просто феерическая, я впечатлился.
Реквестую годные книги по - мат. анализу- аналитической геометрии и линейной алгебре.Заранее спасибо.
>>373266Начинать с зорича, читать все книги параллельно.
>>373266>>373269
Какой толк от этих картиночек? Можно ли с их помощью доказать тождество Бианки, или нет простите ебитесь с индексами?
>>373254>>373296
>>373296Передовые разделы математики хороши тем, что не нужно доказывать их полезность всем подряд. Если ты не в теме - иди своей дорогой, занимайся чем-то более консервативным, ты здесь не необходим, никто тебя сюда не зовёт, никто не пытается тебе что-то прорекламировать. Если тебе это не интересно - просто не занимайся этим, проходи по своим делам, отстань.
>>373296Может и можно, зависит от того, какие картиночки.
>>373303Нинравица ухади!111 аргументы ни для миня!1111
>>373317Именно так. У нас тут наука. Вас никто не знал. Мы вас не знаем.
>>373336Этот прекрасный аргумент во всю свою силу разворачивается, будучи применённым по отношению к рыбниковым и ведической математике.
>>373338Древний русс в треде, все в всерод
>>373253Лол, человек после> 18-летнего опыта применения математикиоткрыл для себя, что чистая математика не нужна инженерам. Ебать он умный.
>>373253> Современная профессиональная математика - очень простая и мощная, дает серьезные результаты и может служить источником сверхдоходов.> Если вам нравится учебная математика (оторванные от жизни детские задачи с полным отсутствием логики) - тогда эта группа не для вас. Каждое сообщение в группе будет вас бесить и противоречить вашему мировоззрению))> Также эта группа о том, как зарабатывать 10000 р/день с помощью математики. Как найти людей, кому нужна математика, какие математические услуги нужны клиентам, как математику работать с высокой производительностью, как продавать математические услуги.> Эта группа о математике, которую поддерживает высшее научное руководство России - РАН и ВАК, об уровне, который принят в математических НИИ и научном сообществе.Чет ору.
>>373253> Читать учебники по-математике, надеясь изучить математику - все равно что читать частушки Петросяна, надеясь изучить историю и политологию.> Все что было в науке раньше 2010 года - ОФИЦИАЛЬНО НЕ СЧИТАЕТСЯ НАУКОЙ. А относится к "истории науки".Чем-то напоминает местных анонов.
>>373264>Группа, к слову, просто феерическаяВот что бывает без карательной психиатрии.
>>373063Для комплексных чисел вполне можно написать класс в языке программирования, который будет реализовывать комплексную арифметику (по крайней мере для Q(i) - точно можно).>Я вот щас по мельком прочитал английскую вики про нестандартный анализ, там такое же написанно Там ни слова о дуальных числах.> ВРоде мне все понятно.Это иллюзия.
>>373216Прости, инет отключили. Вообще dominated/monotone теоремы не являются полной заменой равномерной сходимости.Поэтому я просто напишу эссе о "перестановках интеграла и производной".
Куда поступать, чтоб понимать о чем вы тут пиздите?
>>373392Это эзотерическое знание которое можно постигнуть только при помощи духовных практик, а не петушинных вузов.
>>373392Прочитать эти книги можно без всякого поступления.
>>373400Ленг, Ван Дер Варден и Колг.Фомин говно. Дискач.
>>373400по такой логике что угодно можно выучить без поступления + я ж сходу не пойму даже предисловие
>>373404>по такой логике что угодно можно выучить без поступленияТак и есть.
>>373405Сайенчую. Потом можно новую хронологию придумать или ещё какую-нибудь хуйню.
>>373406А Фоменыч самоучка разве? Не знал.
>>373401Ты не выдвинул аргументов. Тебя можно опровергнуть, просто сказав слова "это не так".
>>373404Думаешь, что после поступления что-то волшебным образом изменится? Тебе всё так же нужно будет прочитать учебники, только вдобавок придётся большую часть дня тратить на лекции по физкультуре и ОБЖ.
>>373401Ван Дер Варден устарел.Ленг сух и перегружен.Колмогоров Фомин устарел и сух и перегружен (где спектральная теорема? где азы C*-алгебр? где теория индекса? где котягории?)
>>373413Сначала поступают в ебанутые вузы, а потом жалуются на ебанутый учебный план.
>>373415Ван дер Варден не устарел.Ленг минималистичен.Колмогоров-Фомин - книжка для элементарного введения в анализ и для разъяснения, почему определения Шварца именно такие.
>>373417Во всех вузах России есть принудительные физкультура, культурология, бжд, история, философия и русский язык, в части вузов есть обязательное православие.
>>373413да, но там можно будет задать вопросы на темы, которые не понял, повшать чсв, решая задачи перед быдлогруппниками + будет мотивация учить, чтоб не вылететь
>>373421>можно будет задать вопросы на темы, которые не понялТолько если ты не понял очередное эпсилон-дельта определение. На вещи посложнее преподы будут отвечать "я этого не знаю, это не нужно".
>>373418Ты в эти книги почти что не заглядывал, наверное.>Ван дер Варден не устарел.Алгебра без категорий? Их уже на первом курсе читают.>Ленг минималистичен.Ага, как и все Бурбаки, эталон минимализма ёба.>Колмогоров-Фомин - книжка для элементарного введения в анализ и для разъяснения, почему определения Шварца именно такие.А, ты тот говноед-бурбакист, тогда нахуй иди, ненавижу тебя.
>>373424Категории есть у Ленга. Ван дер Варден уравновешивает минималистичность Ленга. >тогда нахуй идиВоспринимаю это как твою капитуляцию.
>>373421Ты за 4 года в лучшем случае выучишь вещественный и комплексный анализ, и пройдёшь какой-нибудь спец.курс типа "современные методы в топологии", где дадут определение гомотопическим группам и всё. Курсы алгебраической геометрии и алгебраической топологии (считающиеся стандартом для математика де-факто) вообще не входят в обязательную программу. Алгебра и дифференциальная геометрия дико урезаны и читаются на уровне 19 века. Так что если будешь равняться на университет - максимум ботаном-заучкой ебучим, а не человеком, станешь. (Хотя в топ. ВУЗах интеллектуальный климат ничего так, обычно, что мотивирует.)
>>373425>Воспринимаю это как твою капитуляцию.Это "манямир" называется.
>>373427Если ты взялся пояснять за книги, но вместо аргументов начал издавать ругань, то как тут ещё можно отреагировать?
>>373428Нахуй пойти, например.
>>373430
>>373407В истории да. Ты же нормально примешь постулат о том, что историк-самоучка математики - днище ёбаное. То же и с математиком-самоучкой истории.
>>373432У тебя предложение построено - пиздец: "... историк-самоучка математики ..." - бля. Понял, что ты хотел сказать, только после третьего прочтения. Да аналогия не совсем корректная, мне кажется. Во-первых история не совсем наука, а во-вторых математика не совсем наука; но в другую сторону. По факту-то все успешные молодые учёные более менее ебашили сами, а университет воспринимали как баласт и формальную хуйню для построения научной карьере. На Тифаретнике так пишут, по крайней мере. Лил.
>>373426ну бля придется идти в погромизды, раз все равно математику в одного ботать придется, а так хоть какую то работу потом получу
>>373420Во всех вузах РФ есть обязательные история и физкультура. Остальное наполнение зависит от вуза.
>>373446Культурология тоже везде есть.
>>373444У тебя времени не будет на то, чтобы на серьезном уровне заниматься и программированием и математикой. Если ты не ебучий гений, конечно.
>>373453пиздец какой то, а как тогда всякие ученые это делают? Учатся до 30 лет, потом начинают работать?
>>373376Давай. Хочется, например, чтобы описывалось, почему ряд exp(z) можно почленно продифференцировать и за счет этого[exp(z)]' = exp(z).Все-таки, получается, что равномерная сходимость нужна и ты был неправ, когда сказал, что это лишняя глава в Зориче.
>>373448Нет, не везде.
>>373446Во ВШЭ на 1 курсе всем, кто учился в корпусе на Кирпичной, ставили 10 автоматом по физкультуре, потому что зала для занятий не было. Такие дела. Истории тоже не было.
>>373465Забыл сказать: объясняется это тем, что любой вуз, имеющий статус НИУ, может сам себе составлять программу. Но пидорашьи вузы предпочитают оставить историю и физкультуру даже если имеют этот статус.
>>373458Да. Изредка им выдают гранты и стипендии. Более того, всё, что тебя ждёт в идеале (даже если ты возьмёшь PhD и получишь postdoc-позицию в престижном месте) - это 30-50к$ в год, что смехотворная зарплата по сравнению с аналогами в ИТ-сфере.Как по мне путь учёного - это сорт оф путь монаха, и он включает в себя некоторый отказ от социальных благ. >>373460>Все-таки, получается, что равномерная сходимость нужна и ты был неправ, когда сказал, что это лишняя глава в Зориче.Окей, я чуть ослаблю утверждение. Она нужна, но не так, а в контексте функ. анализа и всяких там модов сходимости.
>>373470> 30-50к$ в год> сорт оф путь монахаНихуя ты зажрался.
>>373465Раз вам ставили автомат по физкультуре, значит она у вас все-таки была, и исключить ее из программы не могли, несмотря на отсутствие материальной возможности проводить занятия. Ок?Мне, кстати, лекции по истории и культурологии запомнились больше всего. Надо было все-таи на лингвиста поступать.
>>373473Это ниже средней в СШПшках https://en.wikipedia.org/wiki/Household_income_in_the_United_States а конкуренция у тебя будет просто дикая.
>>373476Так у среднего пиндоса свое кондо и 3 машины. Зачем нормальному человеку это надо?
>>373477Тебе просто на то, чтобы есть и жить не в гетто будет уходить уже овер дохуя. Цены на одежду там тоже не самые маленькие. Я просто говорю, что в цивилизованном мире квалифицированный PhD прошедший дико жёсткий конкурс на работу, требующую огромного творческого потенциала, знаний и интеллекта получает в 3 раза меньше, чем стажёр-студент в Майкрасофте, который просто хорошо знает ЯП и более-менее эрудирован.
>>373448Нет.
>>373466Они в какой-то степени правы, конечно, ведь от спец. предметов нужно как-то отвлекаться. Только делать это надо не так топорно. Например, можно давать на выбор много курсов всякого барахла, да ту же культурологию, может найдутся любители, а не делать это обязаловкой.
>>373493Ну делают они это крайне нестарательно. Например, вводят небольшой курс философии, не специализируя его, в результате вместо интересного рассказа про кризисы математики и науку в рамках философских школ, читается обычный невнятный курс истории философии "одна лекция 5 философов". А потом еще и сдавать что-то требуют из этого нерелевантного говна. Ну а про преподавание устройства ПК и работы в TURBO pascal в 2016 году и говорить нечего.
Задача, которую никто так и не решил:Найти количество (угадайте ответ хотя бы!) всех неизоморфных плотных порядков без концов, у которых каждый собственный начальный отрезок счётен.
>>3735171.
>>373479> Цены на одежду там тоже не самые маленькие.Хожу в спортивках с рынка.https://youtu.be/L24GfNGMf9w?t=754
Если морфизм пучков эпи на слоях, то он эпи как морфизм пучков?
Я тут подумал, что когда мы говорим "возьмем любую функцию из R в R", мы используем аксиому выбора. То есть без аксиомы выбора мы так не можем сделать?
>>373616Нет, мы здесь используем правило вывода из логики предикатов: введение квантора всеобщности.
>>373616>Я тут подумал, что когда мы говорим "возьмем любую функцию из R в R", мы используем аксиому выбора. То есть без аксиомы выбора мы так не можем сделать?По-моему это шиза.
>>373476>Это ниже средней в СШПшкахИнтересно, а можно где-нибудь найти динамику? Когда всё по пизде пошло?
>>373618>>373617Ну типа для каждого x из R надо выбрать значение f(x).
>>373493>Они в какой-то степени правы диды говно жрали неча и нам начинать хорошо житьОй блядь дибил. Хорошо хоть пока в магистратуру и пхд никто не не додумывается это говно пихать.
>>373639Ничего, что во всех так любимых тобой западных университетах тоже есть пресловутые гуманитарные курсы? При чем тут деды, дурашка?
>>373642Неси пруф на то, что в западных университетах есть принудительные физкультура, бжд и культурология, которые нужно сдавать и из-за которых можно вылететь.
>>373642Я про запад ничего не говорил, это ты уже сам додумал.
>>373650> гуманитарные курсы> физкультураАлсо, гуглом пользоваться научись.
>>373652Читай дискуссию глубже одного поста. Ну и пруфы неси.
>>373651Ну так и про дидов ты тоже сам додумал. Справедливый размен, как мне кажется.
>>373608бля проебался.короче вопрос такой: правда ли, что если морфизм пучков эпи на сечениях, то он эпи как морфизм пучков?
>>373533Нет.
>>373659Что за пучок и нахуй он нужен?
>>373667лол картофан чтоле?
>>373780Иди в пизду понял меня?
>>373667На энвики написано хорошо очень.
>>372131 (OP)Каковы взгляды на логику у Гильберта, Цермелло, Пуанкаре, Шрёдера, чем различаются?
>>373845Блядь, у нас на факультете за такие вопросы убивают нахуй
сап, матанырешил я узнать есть ли в математике такое понятие как гетероморфизм как антоним гомеорфизмаединственное, что нагуглил для математики - это гетероморфное преобразование http://www.multitran.ru/c/m.exe?shortf=1&t=1496331_2_1&s1=%E3%E5%F2%E5%F0%EE%EC%EE%F0%F4%ED%EE%E5%20%EF%F0%E5%EE%E1%F0%E0%E7%EE%E2%E0%ED%E8%E5правда, гугол засран одноимённым биологическим термином и ничего про гетероморфное преобразование в математике не знает кроме ссылки на мультитранвнимание, вопрос: это мультитран так троллирует или в математике действительно есть гетероморфное преобразование? если есть, то где про него можно почитать?
>>373856>антоним гомеоморфизмабыстрофикс
>>373856Если такой термин и есть, то не общепринятый.
>>373871может есть синонимы?я надеялся найти информацию о чём-то типа отображения-выворачивания не обязательно непрерывного
>>373874Прочитай про выворачивание сферы и про то, как процесс её выворачивания формализуется. Единственное, что пришло в голову.
>>373879спасиботор, оказывается, тоже можно вывернуть
>>373888Тор тоже можно, но твоя пикча никакого отношения к этому не имеет, так как на ней выворачивается проколотый тор, а не тор.https://www.youtube.com/watch?v=kQcy5DvpvlM
Кто-нибудь знает этимологию слов "мономорфизм" и "эпиморфизм"? Нашел сайт со значениями греческих приставок:https://www.learnthat.org/pages/view/roots.htmlЕсли учесть, что эпиморфизм - это аналог сюръективной функции, то понятно, почему он так называется. А почему мономорфизм так называется? Потому что прообраз одноэлементного множества относительно инъективной функции состоит из одного элемента?
>>373659очевидно да
Есть какие-то видео на ютубе, которые показывают гомеоморфизм пикрелейтед?
>>372691учусь там конкретно сказать сложно, но они вроде бы пытаются, что то делать в положительном направлении, программу потихоньку меняют.
>>374284Каким образом ты хочешь гомеоморфизм на видео показать?
>>374288Типа как тутhttps://www.youtube.com/watch?v=W-sKLN0VBkk
>>372998если число м больше н но меньше 6н то 1/6*н
>>374290при наглядном изображении гомеоморфизма тут просто петля пересечет сама себя и получится тор как тор
>>374290Интересно очень. А гомеоморфизм между чем и чем там показан?
Зачем нужна обычная связность? В каких случаях недостаточно линейной связности?
>>374321Линейная связность очень "гомотопическая" конструкция, её определение завязано на R, в то время как связность - общетопологическая и её определение ни на каких отдельных пространствах не завязано. Поэтому связность удобнее доказывать там, где рассуждения "общетопологические", а не "гомотопические". Линейную связность - наоборот.
>>374321во всяких динсистемах или еще каких-то диффурах естественно появляются связные не линейно связные пространства кажется
>>374284Базарю, что ты хочешь не гомеоморфизм, а гомотопию. Это не одно и то же.
Кстати о топологии. Сколько дыр имеет K-дыров? Сколько ручек?
>>374417> Сколько дыр имеет K-дыров?K, очевидно.
>>374417>K-дыровЭто который размазан?
>>374478Р-мзн.
>>374478Нет, который шахмат К-дыров.
Посоветуйте учебник по теории типов энтри левела.
>>374499tapl
>>374500Это достаточно фундаментальная книжка?Мне для TCS
>>374503Если фундаментально в том, что большинство быдлокодеров ее бросают на 15 странице, то да.
>>374504Большинство быдлокодеров и матан вузовский не осиливает. Мне интересно, это книга уровня Винберга/Городенцева по "Алгебере" в своей области?
>>374504Ты сам за сколько её прочитал?
Вопрос:Можно ли представить единичный элемент в группе подстановок в виде произведения нечетного количества транспозиций, и почему?И еще, что это на пике?
Извиняюсь за нерелейтед, но это правда, что после 25 мозг перестаёт развиваться? Просто недавно услышал такое заявление, что после 25 начинать учить математику, все равно что головой об стену долбится.
>>374551Смотря какие у тебя цели. Профессиональным математиком ты уже не станешь, а для удовольствия можно хоть в 100 лет.
>>374549>Можно ли представить единичный элемент в группе подстановок в виде произведения нечетного количества транспозиций, и почему?Нет, знак перестановок.>И еще, что это на пике? Обычное бесконечное бинарное дерево. Как его развязать -- одновременно на всех уровнях сделать то, что на пикрелейтеде.
>>374549Это конструкция сферы Александрова.
И оно не развязывается.
>>374555>>374556Сцук( А я надеялся, что можно провернуть >>374554 одновременно
Сфера Александера*
>>374555>>374556>>374558В википедии написано, что эта конструкция называется еще дикая сфера. И определение "дикости".Вложение стандартной двумерной сферы в евклидово трехмерное пространство называется диким тогда и только тогда, когда оно не продолжается до вложения окрестности этой сферы в евклидово пространство.Почему оно не продолжается до вложения окрестности? возьмем просто открытый шар из нашего пространства, содержащий в себе данную конструкцию. вот и вложение, продолжающееся до окрестности.Где ошибка?
Анон, как можно доказать делимость натуральных чисел на пять, заканчивающихся 0 и 5 соответственно?Являются ли очевидные примеры доказательством>10:5=2>25:5 = 5не думаю, поэтому и прикатил сюда ?
>>374561Подойдёт ли подобная форма как доказательство?* -любое целое числоесли к любому целому числу приписать 0 или 5 в конце - считай, оно делится на 5.Всё тот же >>374561 - кун
>>374556Чувак, чё-то я нигде не нашёл пруфы, что оно не развязывается, как и ошибки в способе >>374554Давай-ка ты завезёшь их.
>приписать 0 или 5 в конце - считай, оно делится на 5.Это злоупотребление русским языком. Вот так четче будет:Пусть а - нат. число, заканчивающееся на 0,тогда его можно записать как а=10k => a делится на 5, т.к 10 делится на 5.(свойства делимости).аналогично, если заканчивается на 5, то a=10k+5 => делится на 5.
>>374568Можно ли сказать, что натуральное число - дискретная величина т.к. является исчисляемой?
как четко доказать, что любая группа допускает иньективный гомоморфизм в группу подстановок(не обязательно конечного множества)?Можно попытаться явно задать этот гомоморфизм f.Пусть f(1 - в первой группе)=1 - единица в группе подстановок.А дальше как, что бы почетче?
>>374570
>>374574Что, вопросы нюфань здесь не котируются?
>>374575Ну скажи, что ты понимаешь под исчисляемостью
>>374576То, что можно вычислить.*вычисляемость, обосрался малость
>>374576то, что можно перечислить
А как же рекурсивные функции?
>>372131 (OP)>самой малой эпсилон окрестности этой границы.Ясно.
>>372366>сигма-алгебраЧто?Что это?
>>374585Какая-то Йоба с операцией счетного объединения множеств.
>>374559>вот и вложение, продолжающееся до окрестности.Нет. Ты неправильно понимаешь слово "вложение". Вложение - это отображение из обычной сферы в сферу Александера. Нужно продолжить его до отображения eps-окрестности сферы в eps-окрестность сферы Александера.>>374567Ты очень странно искалhttps://en.wikipedia.org/wiki/Alexander_horned_sphereThe exterior is not simply connected, unlike the exterior of the usual round sphere;
Верно ли, что любая группа из шести элементов изоморфна или группе перестановок S3, или произведению двух нетривиальных групп? И почему?
>>374587а, спасибо
Может в телеграме конфочку запилим?
>>374570У тебя каша в голове.
Не кормите школьника, для них есть отдельный тред.
>>374587>The exterior is not simply connected, unlike the exterior of the usual round sphere;Лол, это по-твоему означает неразвязываемость? ахахахахахахахахахаа, лол, ну ты тупой ппц.У тора внешность тоже не односвязная, да и у бесконечного бинарного дерева, которому по моему рассуждению равносильна эта хуйня.
>>374585>Семейство подмножеств множества X называется сигма-алгеброй над X, если объединение его счётного подсемейства является его элементом, пересечение его счётного подсемейства является его элементом, дополнение его элемента является его элементом.Написано же.
>>374613Какого из?
>>374598Z/5Z
>>374661Школьник, иди отсюда, тебе двумя тредами ниже.
>>374662Хуй соси, даун.
>>374616Пошёл нахуй, мразь.
>>374602Да ну. Нахуя?
>>374661как это относится к решению этой >>374598 задачи?
>>374682чятик, в котором всегда кто-то есть
Верно ли, что любые два векторных пространства с базисом Гамеля мощности A изоморфны? Два пространства со счётным базисом всегда изоморфны, да?
>>374687Да.
>>374688А как доказать?
>>374690Биективно отобразить базис в базис и проверить, что отображение будет линейным (по определению базиса).
Почему предмет в вузе называется "дискретная математика"? Я правильно понимаю, что нет такого раздела математики?
>>374693Раздел на arxiv.org есть, научные журналы есть, люди, идентифицирующие себя специалистами в дискретной математики есть - значит раздел есть.
>>374685Это группа из шести элементов, которая ни S3 ни произведение нетривиальных.
>>374696Z/>>>>>>->>5<<-<<<<<<<Z группа из 6 элементов?
>>374693Дисциплины в вузе и не обязаны быть "научными областями".
>>374697Ну Z/6Z.
>>374699Это которая Z/2Z x Z/3Z?
>>374700Ну да.
>>374687Нет, неверно. Бывают два неизоморфных пространства с базисом мощности алеф-нуль.
>>374718Хуйню несёшь, либо троллить (ололо над разными полями гыгы))))
Ну и зачем?
Что-то мне наивная теория множеств напоминает тригонометрию в школе. Есть набор формул, который я задрочил до полного автоматизма, пока занимался общей топологией и теорией меры, и теперь их использую чисто механически, не задумываясь.
>>374754По каким книгам занимался общей топологией и теорией меры?
>>374746Конечномерные пространства однозначно характеризуются размерностью. Бесконечномерные - нет.
>>374765Тебе мамка так сказала?А ниче, что биекция базисов продолжается до изоморфизма векторных пространств?
>>374718Пример в студию.
>>374773Валяй, попробуй доказать. А я посмеюсь.
>>374763Топологией по разным. Теорией меры по Folland, Real Analysis: Modern Techniques and Their Applications.
>>374778Над собой смейся, дебилушка. http://math.stackexchange.com/questions/1498961/how-to-show-two-infinite-dimensional-vector-spaces-are-not-isomorphic
>>374775А я всё ещё жду пример. Спойлер: не дождусь
>>374793Как тебе книга Миши?
>>374801Не решал, посмотрел только. Те топологические концепции, которые в матане используются, там есть, а про фундаментальную группу, накрывающие пространства и прочее ничего не могу сказать, потому что я картофан.
>>374809Ну, то есть, я ориентируюсь в материале первых 7 листков, а в последних 3 ничего не знаю. Первые 7 листков норм вроде. Лекции не смотрел. Стоит с опасением к Вербиту относиться и не решать все подряд, потому что он любит пихать всякое говно типа p-адических чисел.
>>374813почему это р-адические числа это говно?
>>374815А зачем они в матане? В общей топологии?
>>374815Ну объясни, зачем они нужны человеку, который не занимается профессионально алгеброй или теорией чисел.
>>374824> профессионально теорией чиселФикс.
Рекомендовавший Зорича анон (или кто угодно, кто в теме), поясни за погрешности, пожалуйста. Как происходит переход, обведённый синеньким? Почему первая дробь по модулю меньше второй?
>>374870деление на число меньше 1, это по сути умножение на обратное, поэтому и больше
>>374898Но ведь эти две дроби не обратны друг другу.
>>374870Серьёзно, аноны, помогите. Что за магия тут использована?
>>374911Дробь делят на единицу плюс что-то, допустим на 1.2, дробь делят на единицу минус что-то допустим на 0.75. Какое частное больше?
>>374930Но ведь бета, делённая на игрек с чертой, не обязана быть положительным числом.
>>374870Seichas posmotru.
Для любого u т.ч. |u|<1 выполнено неравенство|1/(1+u)| < 1/(1-|u|)
>>374934Почему?
>>374935Неравенство с модулями 7-8 класс.Давай разбираать случаи0<=u<11/(1+u) <= 1/(1-u)1+u > 1-u2u >=0 верно-1<u<=01/(1+u)<=1/(1+u)верно
1+u >= 1-uточнее
>>374934Пусть u = -2.|1/(-1)| = 11/(1-2) = -11<-1 - ложь.
>>374939>u т.ч. |u|<1 Кредо олимпиадника - 30% решения задачи - это правильно прочитать условие.
>>374937Окей. Спасибо. В моей школе не было седьмого класса просто.
>>374934Если что, при u=-1/2 там будет равенство.
>>374944и при u=0 тоже, да, <= нужно, конечно же.
B(X) - пространство ограниченных функций из X в R, наделенное sup-нормой. Поясните за последнюю строчку на пикрелейтед 1. Тут же наебка какая-то, да? На основании чего мы сделали вывод, что fm(x) под модулем переходит в f(x) при m -> Inf?
В чём суть capset problem? Нахуя это нужно?
>>374976А ты подумай. Любая посл-ть Коши сходится к своему пределу. У тебя там равномерная сходимость (независимо от точки).
Как теорию категорий учить? Есть ли учебники, которые, например, объясняют её в связке с другими разделами?
>>375037Маклейнаклейн
>>375037Аводи лучше.
>>375037Современная - только в статьях. Старая - кто угодно, Маклейн - канон.
Как вывели теорему ньютона лейбница? Ну вот с дифференцировнием все понятно, приращения, сверхреальные числа, стремление предела к нулю. А как заметили что дифференциал интеграла равен внутриинтегральной функции? Это сейчас все ОЧЕВИДНО, ЧТО И ТРЕБОВАЛОСЬ ДОКАЗАТЬ, а как ньютон с лейбницем заметили это?Как они интеграл прикрутили к математике через дифференциал? Сидели вычисляли их, а потом лейбниц вскочил с криком "НУ ЕБАТЬ, СМАРИ КАКАЯ ХУЙНЯ, НЬЮТОША!!", ньютон глянул и сказал "Мммм, прикольно" и пошли вдвоем всем рассказывать что они заметили?
>>375186На вики же аж целых два параграфа на эту тему: geometric meaning и physical intuition.
>>375186Короч пили они вдвоём, наутро протрезвели, бац, смотрят - блин, формула! Кто из них открыл? Зачем открыл?.. Чтоб долго не разбираться, назвали формулой Ньютона-Лейбница.
>>375186Рассмтрим простейший случай. Пусть точка движется с неотрицательной скоростью v(t) в течение промежутка времени [a, b]. Пусть путь, пройденный точкой на момент времени x, равен S(x). Ясно, что если v(t) - ступенчатая функция, то надо сложить площади прямоугольников под графиком скорости, чтобы получить весь путь. Но предположим, что v не ступенчатая. Тогда будем приближать площадь под графиком "бесконечно малыми" прямоугольниками. Если считать, что при "бесконечно малом" приращении времени dt скорость не меняется, то приращение пути dS можно считать равным площади прямоугольника dt * v(t). Весь пройденный путь равен сумме таких "бесконечно малых" прямоугольников.Такие рассуждения, конечно, являются нестрогими, особенно слова "бесконечно малые". Но я думаю, что именно как-то так и догадались.
>>375190И чем там за слово то?
>>375186Производная это скорость интеграл это путь (функции от времени).
>>375209Но ведь нет никаких оснований проецировать это с скорости и пути на все остальные функции.
>>375190Так самые примитивные конструкции интеграла (по Риману и по Коши) никак и не связаны с дифференциалом, только на интуитивно-интенсивном уровне.
>>375208>>375212
>>375211Если F' = f, то f ведет себя как скорость, потому что определение производной такое.
>>375209Я имею виду, вот допустим человечество ВСЕ, пленшеты сели, двачи недоступны, и чтобы подняться хотя бы на уровень 19 века нужна математика. Вот я лично её знаю более менее, а как мне объяснить будущим постчеловекам почему дифференциал интригала равен внутринтригальной функции? Сказать "Уверуй, ибо ваистину" не пойдет. Он скажет "Ниверю" и будет по своему прав,итак как я не могу доказать что надо верить в это.
>>375212Это какие такие, примитивные?
>>375208infinitesimal конечно же.
>>375217Почему оно в спаме? Мод не понял суть гиперреальных чисел?
>>375215Что тебе непонятно в объяснении на вики? Нарисуй криволинейную трапецию от x до x+h и покажи, что её высота равна примерно f(x) если h очень маленькое. Отсюда следует Int[x..x+h] f(x) dx ~ h * f(x)>>375216По Риману и по Коши, я ведь в скобках написал. Значок "dx" в интеграле по Риману - это не дифференциал, а просто часть синтаксиса.
>>375219Ну вот возьмем квадрат функцию. Расчертим её до двух. Площадь под двумя равна 7/3. Добавим к двум 0.1. ПО твоей площади выходит что площадь примерно равна 0.7/3=7/30. Равзе это так?
>>375215> вот допустим человечество ВСЕ, пленшеты сели, двачи недоступны, и чтобы подняться хотя бы на уровень 19 века нужна математика> как мне объяснить будущим постчеловекам почему дифференциал интригала равен внутринтригальной функции?Пиздец ты еблан. Тебе еще стоит на курсы выживальщиков в дикой природе записаться и начать готовиться к зомби-апокалипсису, строить подземный бункер у себя на даче.
>>375221Площадь между 2 и 2.1 под графиком x^2 примерно равна 0.1 (2)^2 = 0.4и по мне так оценка неплохая: https://www.wolframalpha.com/input/?i=integral+x%5E2+from+2+to+2.1
>>375218Была ситуация.
>>375222Какая мощная аргументация.>>375223Ну да, подходит примерно.Но я все еще не вижу связи с интегралом. У квадрата же он равен куб делить на три.
>>375226Ещё раз попытайся объяснить что тебе непонятно. Тебе нужны максимально интуитивные и простые аргументы к тому, что производная у функции F(x)=int[0..x] f(t) dt равна f(x)?На вики их аж целых два - в соответствующих двух абзацах (один из них я даже тут кратко пересказать умудрился). Нужно строгое доказательство? В любом учебнике анализа. Или что-то ещё?
>>375227Интеграл это сумма значений функции на сверхмалых промежутках умноженных на длинну этих самых промежутков, так? Так.Где связь с производной блять? Длинны промежутков через производную вычисляются? Значения функции через производную?
>>375230Ну вот если брать интеграл по очень маленькому промежутку, то он (в силу непрерывности функции) будет примерно равен длине этого промежутка на значение в какой-то точке этого промежутка. То есть F(x+h) - F(x) ~ h*f(x). А теперь подели это выражение на h и устреми h к 0.
>>375232F(x+h) - F(x)~h F(x)=F(x+h)/h - F(x)/h ~ h f(x)/h= (F(x+h)-F(x))/h ~f(x)Так что ли?
>>375236Я хотел, чтобы ты увидел, что F'(x) ~ f(x)
>>375237Так, подожди, я же только что производную сделал по сути. Так, и что, получается интеграл это куча околонулевых производных? Н ведь это же ряд по моему я в ряды еще не сильно углублялся
>>375240>Так, и что, получается интеграл это куча околонулевых производных?Нет. Интеграл - это просуммированная куча значений функций помноженных на маленькие промежутки.>Н ведь это же ряд по моему я в ряды еще не сильно углублялсяИнтеграл концепция чуть сложнее, чем ряды, если её формализовывать. Так что если хочешь какой-то строгости - то придётся изучать всё последовательно, а если хочешь интуиции - то тут всё предельно просто и описано на той же вики.
>>375245Все равно не вижу связи.Ты меня никак не можешь ткнуть в суть, которая наверняка проста до безобразия, но которую я в упор не вижу.Еще раз.Интеграл это сумма значений функции на околонулевых промежутках функции, умноженных на длинну этих промежутков.Вот суть вопроса, если суммировать кучу значений квадрата получится куб делить на три. Почему? Можешь мне это пояснить без производных интеграла равных подинтегральной функции? Или это невозможно вывести по другому кроме как через производные и если я это не понимаю то стоит смириться и считать дальше не задумываясь о глубинной сути интеграла?
>>375250Пусть f(x)=x^2, интеграл от 0 до 1 по определению - это lim(n->inf) sum[k=0..n-1] f(k/n) * 1/n (поделили промежуток [0..1] на n кусков длины 1/n и просуммировали их, домножив на значение функции в точке, а потом устремили 1/n к нулю). Если возьмёшь предел то получишь те самые 1/3 которые интеграл от 0 до 1 x^2 по dx. Вот и всё.
>>375251>(поделили промежуток х=[0..1] на n кусков длины x^2/n и просуммировали их, домножив на значение функции в точке между разрывами кусков, а потом устремили x^2/n к нулю)Правильно я понял?
>>375255Ну если до x суммировать собрался, то да. У меня в случае x=1. Попробуй посчитать предел, кстати - это школьное упражнение не требующее никакого знания о производных даже.
>>375258Я же написал>промежуток х=[0..1]
>>375261Ну это очень неаккуратная запись которая мне непонятна. У меня x - это число, а не промежуток.
>>375222На самом деле вполне годный метод проверки своих реальных познаний. Человек, который разбирается в математике, сможет обучить будущие поколения интегральчикам.
>>375258Я поделил промежуток на 10 частей и получил 0.275Поделил на 20 и получил 0.369025Считал вручную на бумажке, так что во втором случае у меня может быть ошибка. Или все так и задуманно?
>>375279Не знаю, я поделил на 20 частей и получил 0.308https://www.wolframalpha.com/input/?i=sum+(k%2F20)%5E2++1%2F20+where+k+from+0+to+19поделил на 1000 частей, получил ~0.332https://www.wolframalpha.com/input/?i=sum+(k%2F1000)%5E2++1%2F1000+where+k+from+0+to+999что совпадает с той самой 1/3-0.333..., которая получается, если в x^3/3 подставить 1.
>>375280Не совпадает, а даёт очень хорошее приближение.
>>375280Ну значит я где то в разрядах ошибся.Но вообщем суть я понял, разбить на промежутки, найти значения на концах промежутков, умножить на длинну промежутка, суммировать.Алсо, это все так и задуманно, чтобы подинтегральная функция была рвана призводной интеграла или так звезды встали?
>>375283Ну я опять же отсылаю к статье на википедии. На ней написано примерно следующее: интеграл на очень маленьком промежутке [x0..x0+eps] например примерно равен eps f(x0). Иначе говоря F(x0+eps)-F(x0) ~ epsf(x0) -> (F(x0+eps)-F(x0))/eps ~ f(x0) если устремить eps к нулю получим F'(x0) = f(x0). Там ведь даже картинка есть, попробуй прочесть внимательно и вдумчиво раздел про geometric meaning.
>>375250> длиннуБрат, прекрати пожалуйста.
>>375293Дленну?
>>375284Ты ведь понимаешь что мне легче у тебя спросить чем читать!?У меня очень плохо с английским, на русской викпедии пояснено слишком сложноЯ прочитал но не понял как он с производной скручен. Там поясняют как найти площадь красной полоски, и через нее выразить площадь синей области, но потом я теряю нить разговора и нахожу её только на словах>Computing the derivative of a function and “finding the area” under its curve are "opposite" operations. This is the crux of the Fundamental Theorem of Calculus.
>>375284ВОт давай я сейчас перескажу примерную суть из того что я там понял.Есть другой способ найти площадь полоски. Как показано на рисунке ш умножается на функцию, из за чего находится площадь треугольника.формула1По факту уравнение станет точным если добавить к результату незакрашенную выделенную область.формула2переставляя члены получаемформула3При приближении ш к нулю, "лишняя" площадь приходящаяся на треугольник тоже стремится к нулю.Это происходит из за того что "лишняя" площадь треугольник меньше или равна незакрашенной выделенной области. Более точноформула4Из за непрерывности функции последнее выражение тоже стремится к нулю при стремлении ш к нулю. Из за этого левая часть уравнения тоже стремится к нулю при стремлении ш к нулюформула5Получается что f(x) = A′(x). Так, производная площади существует так же как и сама функция и её значения. Так площадь функции является первообразной изначальной функции. Вычисление площади под кривой и нахождение производной являются противоположными операциями. Что и есть основной теоремой калькулуса.
>>375325
>>375321>У меня очень плохо с английским, на русской викпедии пояснено слишком сложноТы статью Fundamental theorem of calculus читаешь? Сегодня сам спрашивал в соседнем треде про первообразные, потом уже статью ту открыл. Я так понял, что связь с производной выходит их того, что h стремится к нулю, то есть по сути площадь бесконечно малого прямоугольника. А формула вот эта A(x+h)-A(x) /h это всё равно что для производной, только там буквы другие. Ну а она вышла из выражения для f(x), где делится всё на h. >As h approaches 0 in the limit, the last fraction can be shown to go to zero.Хз, зачем я написал, просто самому до конца хочется разобраться тоже.
>>375325Там поясняют, что площадь красной полоски (A(x+h) - A(x)) делённая на длину основания (h) красной полоски примерна равна производной функции f в точке x, если h достаточно маленькая.>>375325Ну вроде хорошо перевёл. На каком месте ты теряешься?
>>375327Да.Я уже говорил о том что интеграл это сумма околонулевых производных, но мне сказали что это не так.
>>375330Ну так я же спрашивал, интеграл это куча производных, а ты сказал что нет.
>>375332Ну так потому что действительно нет. Производная, если грубо, это f(x+h) - f(x) / h, а интеграл - это f(x) h, разве же это похожие штуки?
>>375330Вот ты имеешь ввиду что сумма производных во всех точках интеграла равна внутриинтегральной функции.При этом, площадь под кривой вычисляется по методу огромного числа прямоугольничков, сумма площади которых стремится к интегралу.При этом, точное значение интеграла находится через операцию обратную производной и утверждается что эта операция и есть интегрирование.
>>375334Ну смотри, интеграл это f(x)h. Вернемся к квадратной функции.Если дифференцировать, получим(f((x+h)^2)h-f(x^2)h)/h=f(x+h)^2-f(x^2)=f(2hx), так?
>>375334Но только из f(x)*h не вывести ничего. Или можно?
>>375409Привет, что здесь забыл?
https://www.youtube.com/watch?v=W2Ll83izz0o
https://www.youtube.com/watch?v=Y0A6ac3BTIgА вы ещё тут окрестность-ловушку бугуртите, вот это я понимаю строгое математическое объяснение.
Читаю доказательство того, что если мы почленно проинтегрируем степенной ряд, полученный ряд будет иметь тот же радиус сходимости. Рассуждения пикрелейтед же совсем нестрогие. Откуда мы знаем, что если lim sup a_n = a и lim sup b_n = b, то lim sup (a_n ^ b_n) = a^b? Это же доказывать надо. Или, может, я че-то не понимаю и есть какое-то общее утверждение, из которого такие штуки следуют?
>>375412Это шень что-ли?
А вот я не понимаю, почему вообще не пишут полных доказательств, с каждым переходом? Вежь это нерационально, студенты потом тратят столько воемени, задавая одни и те же вопросы, что за него можно было бы все учебники по 10 раз переписать. Почему не сделать сразу нормально?
>>375433Причем> если lim sup a_n = a и lim sup b_n = b, то lim sup (a_n ^ b_n) = a^bэто даже неверно. Возьмем a_n = e^{-n^2}, b_n = 1/n.Тогда a_n -> 0, b_n -> 0, но a_n^{b_n} сходится не к 1, а к 0. Охуенное доказательство, че сказать.
>>375443С каждым переходом ты бы такое доказательство из какого-нибудь реального анализа за всю жизнь не прочёл.Но если говорить просто о подробных доказательствах, то тут в силу вступают экономические причины - в книге нужно компактно уместить пакет тем, а не растянуть всё на две тысячи страниц, ведь последнюю книгу никто тогда не купит.
>>375468Ну это ерунда какая-то. Давайте тогда вообще перестанем писать книги и ограничимся методичками на 50 листов. Никто не мешает взять и напечатать два тома: обычный учебник в одном, подробные доказательства в другом. Да и вообще, количество использованной бумаги уже давно не является экономической причиной в таких вещах. Короче - нет, вообще мимо.Если уж говорить об экономике, то сказал бы лучше о временных затратах на написание этих доказатедьств. Но и это, на мой взгляд, не проблема.
>>375487>ограничимся методичками на 50 листовSUKAAAAAAAAAAAAAAAAA, как же мне бугуртно от этого. Как вспомню как учился по методичке на 50 листов так пдаю в обморок от бугурта
>>375443Мозг устроен сильно иначе, чем математика. Поэтому знание доказательств часто вообще ничем не помогает в понимании, а наоборот идеи, не имеющие отношения к математике, могут давать мощный толчок в понимании. Здесь я соглашусь в Ромой Михайловым, что имеют место некоторые "узоры", которые человек выцепляет из реальности. Эти узоры могут быть общими для многих явлений.Поэтому когда доказательство несёт в себе некий важный узор, его стоит записывать. Если же это манипуляция терминами (просто техническое док-во, например), человек потратит время, но для себя ничего не усвоит.
>>375503Роман, конечно, хороший человек, но ты сейчас ведешь себя как типичный русский - заметил? В ответ на вполне конкретный технический вопрос пускаешься в пространные философские рассуждения о познании и смысле жизни."А как вот из этого получилось вот это?" - типичный и до жути распространенный вопрос. Я не предлагаю обсуждать проблемы обучения и роль математики в формировании жизненной позиции поциентов. Я спрашиваю, почему нельзя один раз напечатать все переходы, чтоб потом студенты не задавали одни и те же вопросы преподам и форумам по тыще раз.Я достаточно четко обозначил вопрос?
>>375514>но ты сейчас ведешь себя как типичный русский - заметил? В ответ на вполне конкретный технический вопрос пускаешься в пространные философские рассуждения о познании и смысле жизни.O_O Что простите? Конкретно охренел с такого выпада.> вот я не понимаю, почему вообще не пишут полных доказательств, с каждым переходом?Ты сам свой вопрос-то видел?И сразу кидаться в национальности. Как культурно-то и по-европейски.
>>375514Не говоря уже о том, что на вопрос я ответил, и даже вынес это в отдельный абзац.>Поэтому когда доказательство несёт в себе некий важный узор, его стоит записывать. Если же это манипуляция терминами (просто техническое док-во, например), человек потратит время, но для себя ничего не усвоит. Читай если оно идейное, его записывают полностью, а техничные нерационально записывать. В общем, как в говне искупался, немного противно, что я для такого человека вообще потратил время на ответ.
>>375516Лол, и вот опять. Вряд ли кто-то еще кроме русских воспринимает как оскорбление констатацию факта принадлежности к своему народу. Грустно это, конечно, но совсем уж оффтоп.В моем посте не было никаких выпадов, ты неверно воспринял его тон - который я даже и не думал хоть как-то приближать к оскорбительному. Перечитай, пожалуйста, мой пост с учетом этого.>>375517Так я же ответу именно на этот твой абзац посвятил и свой абзац тоже - тот, который начинается со слов "А как вот из этогго получилось вот это?".
>>375519Как оскорбление я воспринял в первую очередь называние меня "поциентом". Впрочем, и то, что "типичный русский" для тебя оскорбление, сомнений особо не вызывает.
>>375514>"А как вот из этого получилось вот это?"Что докажет конкретный автор, зависит от его позиций исключительно. Есть и те, кто записывают все доказательства, включая совсем технические, мне, например, приходилось таких читать. В основном это считают нерациональным / ленятся и опускают детали, чтобы больше времени уделить более важным вещам.
>>375520Гхм, я не называл тебя поциентом. Могу только еще раз посоветовать внимательно и с чистой головой прочитать мой пост, если это тебе интересно. Но конструктивного в нашем разговоре я вижу мало, так что вместо этого предлагаю лучше закончить его поскорей.И вернуться к проблеме недостаточной строгости доказательств из учебников.
>>375524Так вопрос как раз в том, почему в основной своей массе люди считают это излишним и нерациональным, хотя есть некоторые доказательства обратного.Как же мы будем все доказательства в какие-нибудь агды с коками переводить, когда у нас даже культуры просто подробных неформальных доказательств нет?
>>375527>почему в основной своей массе люди считают это излишним и нерациональным, хотя есть некоторые доказательства обратного.Можно пример какой-нибудь? >Как же мы будем все доказательства в какие-нибудь агды с коками переводитьТак для этого всё равно слегка другие умения требуются, а не умение просто доказать теорему. Для этого стоит теорию типов в совершенстве знать, и базовые пакеты.
>>375530Ну вон же выше анон спрашивал "как отсюда сюда перешли", например.
>>375341Бамп что ли. Я честно прочитал весь раздел про геометрикал мианинг и пол ночи уснуть не мог, думал где я ошибаюсь.
>>375574Даже не так, я продифференцировал функцию интеграла, таки получил внутриинтегральную функцию по верхнему пределу, но так и не понял как у меня это получилось.
>>375575>>375574И да, я в поисках по интернету видел как к правильному выражению интеграла пришли с помощью, если я правильно понял, алгебры и чего то там про арифметические прогрессии.На примере площади квадратичной функции от одного до двух там получили уравнение в духе 7/3-дробь_с_dx-дробь_с_dx^2. Собственно при приближении dx к нулю эти дроби становились КРАЙНЕ МАЛЫМИ и не влияли на результат. Вот про это судя по всему мне надо пояснить.
>>375487Всё ложь.
>>375613Скукожь ее, скукожь.
>>372131 (OP)Анон, существует ли последовательность рациональных чисел, сходящаяся к квадратному корню из 2? Если да, то какой она имеет вид?
>>375618Нужно было задать в более общем виде: для любого ли иррационального числа существует последовательность рациональных чисел, сходящаяся к нему?
>>375620О да. И даже бесконечно много их.
>>375624Меня больше интересует вид хотя бы одной из таких.
>>375443С какого-то момента дальнейшее уточнение доказательства только мешает его воспринимать. Представь себе как крайнюю точку этого пути настоящее формальное доказательство из логики на n страницах. Понять будет гораздо сложнее, чем придумать самому. На самом деле вообще невозможно, если заранее не знать.Как менее крайнюю точку можешь представить учебник матана, где каждое преобразование выражения сопровождалось бы словами вроде "Мы можем перестановкой слагаемых x и y перейти от выражения A к выражению B из-за того, что вещественные числа образуют поле (теорема n), а поле обладает свойством коммутативности (аксиома m из определения)".Поэтому нужна золотая середина. Каждый автор учебника видит её по-своему.
>>375630Так ведь придумали же для этого иерархические доказательства, или как они там правильно называются.Кроме того, я не предлагаю менять золотую середину - для этого у меня мозгов маловато и яйца недостаточно круты. Я предлагаю к учебнику добавить томик с заголовком "Доказательства", где все будет педантично и без пробелов.
>>375626A_n = round(sqrt(2)*2^n)/2^nround -- округление до целого (любое из).A_n рациональное и отличается от sqrt(2) не более чем на 2/2^n.
>>375626https://en.wikipedia.org/wiki/Square_root_of_2#Series_and_product_representations
>>375632Ох, в общем, суть в том, чтобы представить все вещественные числа в виде суммы единиц с приравниванием к нулю. С иррациональными возникла проблема. Если рациональные представимы в виде суммы единиц, то нужно найти способ представить и иррациональные в таком виде. То есть в характеристике последовательности не должно быть иррациональных чисел. Тогда можно пойти по иному пути. Необходимо найти последовательность рац. чисел вида (m^2)/(n^2), сходящуюся к 2. Тогда последовательность корней этих чисел будет сходиться к sqrt(2). Есть идеи?
>>375634>в виде суммы единиц с приравниванием к нулюЧего??
>>375633Спасибо, но там вроде только ряды, а не чистые последовательности. Но может и они сойдут. >>375635Последовательно можно показать, что любое рац число "порождается" единицей и неким характеристическим уравнением. В некоторых из них нужен еще ноль. При чем, умножение даже в общем случае пока что вплоть до рац. чисел выражается через сумму этих самых единиц.
>>375636>Спасибо, но там вроде только ряды, а не чистые последовательности. Так последовательностью будут частичные суммы ряда.
>>375636>Спасибо, но там вроде только ряды, а не чистые последовательности. В той же статье есть https://en.wikipedia.org/wiki/Square_root_of_2#Computation_algorithmsЕсли a_0 > 0, a_n стремятся к корню из 2.
Посаны, помогите разобраться с русской и английской терминологией. Пикрелейтед 2 (Львовский), по-моему, не согласуется с термином sequentially compact. В английской вики:> Topological space is sequentially compact if every infinite sequence has a convergent subsequence.> Topological space X is limit point compact if every infinite subset of X has a limit point in X.Очевидно, что в метрическом пространстве sequential compactness эквивалетна limit point compactness. Как я понял, в неметризуемом пространстве это может быть не так. Я правильно понимаю, что в русскоязычной литературе секвенциальная компактность - это на самом деле limit point compactness, а термина для sequential compactness нет вообще?
А кто сейчас в Бурбаки, кстати? Я что-то и не знаю видных франц. математиков, работающих на данный момент.
>>375668Эти понятия в любом топологическом пространстве эквиваленты.
>>375701Sequentially compact --> Limit-point compact.Limit point compact, first-countable and T1 --> Sequentially compact.Наверное ты хотел сказать в любом метризуемом?
>>375704Ну не в метризуемом обязательно, просто в любом человеческом.С этим вот короче> first-countable and T1Я, правда, не понял зачем там счётная база.
>>375704Ну и говнище! Ну и жопа! Нахрена нужны эти патологические топ. пространства, а? Зачем? Т1 блджадт, счётная база... говно.
>>375668>Я правильно понимаю, что в русскоязычной литературе секвенциальная компактность - это на самом деле limit point compactness, а термина для sequential compactness нет вообще?Нет sequentially compact и limit point compact - это разные свойства.
>>375575>>375576Разобрался? Сегодня читал отсюда статью Integrals, первые главы. Там на примере суммы и разности вроде поясняют. Но я бегло прочел, тебе, возможно, поможет.
>>375766ссылка отклеиласьhttp://ocw.mit.edu/resources/res-18-001-calculus-online-textbook-spring-2005/textbook/
>>375736> sequentially compact и limit point compact - это разные свойства.Это я понимаю. Я хотел прояснить как в русскоязычной литературе что называется. Но чет уже интерес пропал.
чего-то в этом году без гробов обошлосьhttps://www.imo-official.org/year_individual_r.aspx?year=2016&column=total&order=desc
>>375835Почему большинство участников в топе из азиатских стран? Типа там все настолько плохо с наукой, что умным людям не остается ничего кроме как олимпиадки дрочить?
>>375836Потому что их много.
>>375836У азиатов и IQ выше в среднем, например. >настолько плохо с наукой, что умным людям не остается ничего кроме как олимпиадки дрочитЭто олимпиада школьников, дурик.
https://www.imo-official.org/year_country_r.aspx?year=2016Хаха СЕВЕРНАЯ КОРЕЯ выше РОССИИ.
>>375836Радует, что все 4 человека в топе команды США -- тоже азиаты)) Allen Liu, Yuan Yao, Junyao Peng, Ashwin Sah
>>375842Что с командой Лаоса? Почему у них все по нулям? Но при этом рейтинг указан выше, чем на предпоследнем месте.
>>375631>Так ведь придумали же для этого иерархические доказательства, или как они там правильно называются.К сожалению, без понятия. Про что это?>где все будет педантично и без пробелов.Насколько педантично и без пробелов? Аргументы вновь в силе. Настоящее формальное доказательство будет нечитабельно, прочитает его ровно 0 человек. Почти формальное будет почти нечитабельно и прочитает его парочка мазохистов.В итоге окажется, что правильное название для этого томика будет "Чуть более подробные доказательства".
>>375964> Про что этоВсе доказательство в виде серии утверждений, каждое из которых можно развернуть (как в проводнике), чтобы увидеть переход уровнем ниже. То есть когда все закрыто, есть только предпосылка и вывод. Когда все развернуто, полное формальное докво. Если какой-то переход не понятен, разворачиваешь, все еще непонятно - развоачиваешь дальше, етк.
>>375836Потому что в азиатских странах мучить школьников считается нормальным (причем, вне зависимости от уровня демократии). В России тоже принято, но не в такой степени. В Китае школьников в рамках подготовки натурально на три месяца закрывают в интернате, где они задрачивают все, что можно. Поэтому практически любую геометрию они без проблем посчитают. Даже если это займет три листа.
Пересоздайте тред с картинкой, где аниме квантор всеобщности держит. Заебали своими олимпиадами.
>>376017 (OP)>>376017 (OP)>>376017 (OP)
>>376012Она в прошлом треде была.
