Сперва нужно понятным образом объяснить аксиоматический метод.То есть рассказать, что такое "система вещей" по Гильберту, что такое аксиомы. Далее нужно ввести элементы логики.Объяснить, что такое предикат, что такое функциональный символ, что такое квантор и т.д.Теория множеств вводится так. Существует система вещей, называемых множествами. Для них задано логическое отношение "быть элементом".Всякая вещь A либо является элементом вещи B, либо не является.Кроме того, для этих вещей задано отношение равенства с традиционными свойствами:рефлексивность, симметричность, транзитивность, подстановочность.Далее нужно дать несколько определений. 1. Множество называется пустым, если никакое множество не является его элементом.2. Множество называется индуктивным, если хотя бы одно пустое множество является его элементом и если оно вместе с каждым элементом x содержит элемент {x}.3. A называется подмножеством B, если всякий элемент A является элементом B. В таком случае B называется надмножеством A.4. Вместо того, чтобы говорить "множество множеств", мы часто будем говорить "семейство множеств".5. Пусть M - семейство. A называется объединением M, если каждое множество из M - подмножество A и каждый элемент A - элемент хотя бы одного элемента M.6. Семейство называется регулярным, если в нём есть такое множество, что каждый его элемент не входит в семейство.7. Непустое C называется неупорядоченной парой A и B, если каждый элемент C равен либо A, либо B.8. Пусть A и M множества.Пусть каждое подмножество A является элементом M.Пусть каждый элемент M является подмножеством A.Тогда M называется "булеан A" или "множество всех подмножеств A".9. Пусть M - множество, P - высказывание о его элементах, N - подмножество M.Мы говорим, что N удовлетворяет P, если для всякого n из N высказывание P(n) истинно.10. Пусть, в тех же обозначениях, N удовлетворяет P.Пусть любое подмножество M, которое удовлетворяет P, является подмножеством N.Мы говорим, что P выделяет множество N из множества M. Или что N выделено предикатом P из M.11. Пусть f - функциональный символ от двух аргументов.Если вещь можно подставить в этот символ в качестве первого аргумента, то мы говорим, что функциональный символ осмыслен на этой вещи.Мы говорим, что функциональный символ корректен на множестве M, если функциональный символ осмыслен на каждом элементе M.Мы говорим, что функциональный символ является истинным функциональным высказыванием об M, если он корректен на M.12. Мы говорим, что функциональный символ f, корректный на M, преобразует множество M во множество N, если а) для всякого m из M существует единственный n из N такой, что f(m, n) истинноб) для всякого n из N существует элемент m из M такой, что f(m, n) истинно13. Пусть есть функциональный символ, корректный на M. Пусть существует такое N, что f преобразует M в N. Тогда мы говорим, что f является преобразованием M.Далее нужно сказать, что вещи нашей системы подчиняются следующим аксиомам (Цермело-Френкеля с выбором). 1. Два множества равны тогда и только тогда, когда первое является подмножеством второго и второе является подмножеством первого.2. Для всякого множества всякое высказывание о его элементах выделяет подмножество.3. Существует пустое множество.4. Существует индуктивное множество. 5. Для любых двух множеств, не обязательно разных, существует неупорядоченная пара.6. Для всякого множества существует булеан.7. Для всякого семейства множеств существует объединение.8. Всякое истинное функциональное высказывание о множестве является преобразованием множества.9. Всякое непустое семейство регулярно.10. Для всякого семейства непустых множеств существует множество, содержащее ровно по одному элементу из каждого множества семейства.Прошлый: >>340433 (OP)
>>343958 (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/
Я вам суть математикохейтерства принес.
>>343964Тян в матанотреде, все в ковалевскую
>>343968Этой фотографии больше лет, чем некоторым школьникам из /b/.
Где моё корректное определение N? Вы сосёте мой хуй.
Нам нужна новая эмпирическая наука, замена математики. Математика устарела, она стара и мертва. Мы стоим на пороге новых открытий.
Школьная математика - не математика, а хуйня. Ненужная. Каждый говёный доктор преподавания считает своим долгом написать столь же говёную книжку по элементарной математике.
>>344006>>344011>>344012А что, если все эти темы выдумал один и тот же человек?
>>344013Вроде разные. N-петух не дал определения определению, а Толстота дал.
>>344006>>344011>>344012Три столпа на которых стоит мат.тред
Тред математики - раковая опухоль на теле /sci.
>>344067Тред математики - ядро /sci.
Алгебраическая геометрия - не математика, а хуйня. Ненужная. Каждый говёный доктор считает свои долгом написать столь же говёную книжку по алгебраической геометрии.
Да уж, убожество
>>344071Лол.
Используя распределительное свойство умножения, найдите значения букв.Вычислите:a(2,3+1,6)=4,22,3+bЗадача за 5 класс
>>344086Сложна
>>344086https://ru.wikipedia.org/wiki/Таблица_математических_символовhttps://en.wikipedia.org/wiki/List_of_mathematical_symbolsдарю ссылки
>>344090Ну смари правильное решениеa (2,3 + 1,6) = 4,2 2,3 + ba 2,3 + а 1,6 = 4,2 2,3 + bа = 4,2b = a 1,6 = 4,2 *1,6 = 6,72С какого хуя а = 4,2?
>>344092Блеадь, еле разобрался.
>>344166Поясните за него.
>>344168Он охуенен.
>>344169Есть интервью где он рассказывает про свой дар?
>>344170Нет.
>>344169Он лох.
>>344067Лол, это же моя фраза. Я её придумал, сучёныш!
>>343968Лол, ньюфажек, это не тян, а переодетый еврей.
>>344125у тебя нихуя не понятно воще, ты что сука чистый математик? У меня -4.6а-9.66=-9.66 и -4.6а=-19.32 от тебя.
Ребят, я полный нуб в математике. В школе нихера не понимал и последняя годная оценка была в 5 классе на контрольной.Может кто что посоветует для того чтобы как то понимать математику и уметь решать?Спасибо
Кто уже читал, как оцениваете триумфальное возвращение?
>>344306Вот же человечище! С того света о гомологиях пишет.
>>344308Кто он, блядь? Их здесь не один.
>>344306>Les Éléments de mathématique restent, encore à ce jour, inachevés.Лол, видимо, будет ещё продолжение. >Springer А вот это плохо. У них говённое качество принта.
Знакомьтесь, ребята, на пике - лох. Презирайте его.
>>344335Ты почему не на уроках?
Ребзя, подскажите книгу, которая легко описывает матан? Студент 3 курс, понял, что нужно подтянуть знания.
>>344400
>>344400mathprofi, если ты совсем даун
>>344403Спасибо.
Как приучить себя решать матан 8 часов?
>>344427Для начала понять, что нет никакого "матана" в 8 классе.
>>344434Че? В каком ещё 8-м классе?
>>344403дерьмо
>>344434*в восьмом часе.
>>344166лол вот это реал дил труъ, и как всегда американец, а рашкованы только по двачам тупят, даже и близко никого нет!
>>344481>американецТем временем либерашка продолжала жидко конфузиться. Впрочем, ничего нового.
>>344498Ну хуй знает. Яу тоже вот как в девяностые осел в некоммунистической СШАшке, утёкши из не менее некоммунистического Гонконга, так и не собирается оттуда съезжать, судя по всему. И он такой не один. Мурикане оне сука многонациональные. Почему-то пакинстанцы и иранцы тоже не не родине реализуются, как и рашкованы зачастую. В общем под изучение ситуации нужен грант. А без гранта тут нехуй даже обсуждать.
>>344502Так он же в австралии рос и математическим соком наливался. Можно в принципе заключить, что он и там реализовался, если бы в сшаку не переехал. Но хуй знает, все равно в австралии, что и в рашке, никто не реализовывается. Только в сшаке почему-то. Даже не в гейропе.
Суп, сай. Помогите школьнику вывести сумму ряда. Ну или дайте хотя бы наводок, как это вообще происходит.
Тут очепятка про а куб или нет?>>344552Берешь н=2 и тупо считаешь ряд. Потом берешь н=3,4,5,6....
>>344552Что значит "вывести сумму ряда"? Ты задание напиши нормально, от себя хуйни не выдумывай.
>>344557Доказать тождество пикрилейтед.
Поясните. Фазовое пространство https://en.wikipedia.org/wiki/Phase_space и пространство состояний https://en.wikipedia.org/wiki/State-space_representation в чем разница? И там и там динамическая система представляется в виде своих координат.
>>344581В первом координаты и импульсы, во втором координаты и скорости
>>344584Хм. Все равно разница как-то неочевидна. Вот пикрелейтед - это фазовое пространство или пространство состояний и почему?
>>344579Методом мат. индукции пользуйся.
>>344586То чем ты мучаешься называется общим словом динамические системы. И да, по второй ссылке я не так понял, думал, что под этим подразумевается конфигурационное пространство, а там какая то хуета из теории управлений.
>>344591Т.е. ты хочешь сказать, что это одно и то же?
>>344594Нет, я хочу сказать, что лучше оперировать понятием динамическая система, в том числе потому что она хорошо определена.
>>344597Ок. А как тогда называть пространство координат динамической системы?
>>344590Нужно найти это имея на руках только сумму ряда.
>>344599Именем своей мамаши называй. Еба, не существует такого понятия, просто такого нет забудь. Это же картофан ебаный, ты чё педор ашка не понимаишь??
>>344603>не существует такого понятия, просто такого нет забудьДа неужели. Динамические системы, описываемые дифурами, обычно представляются в виде своего фазового пространства, тот же учебник Арнольда на этом построен. Далее, именно таким образом можно представить модели лотки-вольтерры и т.п. околоэкологическую хуйню. Далее, читаю я пикрелейтед и что вижу - большинство моделей экологических процессов построено на пространстве состояний из теории управления. В т.ч. та же модель лотки-вольтерры. Я и хочу понять, в чем разница, есть она вообще или это одно и то же? В соотв. статьях в педивикии об этом вообще нет ничего, в других местах так же не нашел. Тут возможны 2 варианта - либо "ЭТО БЛЯДЬ КЛАССИКА, ЭТО ЗНАТЬ НАДА!!", либо (что нереально) этот вопрос до меня никем не ставился в принципе.
Боже мой, говорите просто пространство и всё. Состояния параметризуются точками пространства.
>>344552Возьми формулу для $$\sum_{k=1}^{n} x^{-k}$$ геометрическая прогрессия и вычисли производную, это будет формула для суммы из производных $$\sum_{k=1}^{n} -kx^{-k-1}$$. Домножь на $$-x^{n+1}$$ - получишь сумму для $$\sum_{k=1}^{n} kx^{n-k}$$. Подставив, например, x=2 обнаружишь своё равенство. Вообще, для того чтобы творить такую грязь гугли производящие функции, норм такая тема дискретки, полезная для современной математики в том числе.
>>344607>дифурамиКартофан, нинужно, затрален.
>>344613> КартофанВербитка, ты что ли?
Таки вопрос остается открытым: 1) Есть динамическая система. 2) В чем разница ее представления в виде фазового пространства и в виде пространства состояний?Тралей, школуйню и прочее хуепутоло сразу нахуй, интересен ответ по-существу.
>>344611Что за нотация?
>>344622TEX мазерфакер ду ю спик ит?
>>344623Пока нет.
>>344611Ебать ты картофан))0
>>344640Вербитоблядь закукарекала заместо авроры))
Короче, чем больше гуглю, тем больше запутался. В одном месте (пик 1) явно гоаорится, что фазовое пространство и пространство состояний это одно и то же, в другом (пик 2) - что это разные вещи. В чем жи правда?
>>344611Если ты ещё тут, объясни, пожалуйста, каждый шаг. Почему ты делал именно так, а не иначе?
>>344651Блять, иди в /un лучше, там тебе распишут решение. Задачка твоя тривиальная, решатся методом мат. индукции. Загугли метод математической индукции, посмотри примеры решения подобных задач. Ну ты даун что ли совсем?
>>344648В сигсах, братишка, в сигмах.
>>344654Очвидно, решение этой задачи по индукции не имеет никакой ценности, потому что если бы ответ не был заранее посчитан, ты бы до него никогда не догадался.
>>344663Даун это ты. Перечитай посты по теме.
>>344665 => >>344654
>>344663>если бы ответ не был заранее посчитанНо ответ просчитан заранее, дебил. Школопердяй тут высрал >>344579 , что нужно доказать тождество. И всё.
>>344669 => >>344602Просто иди нахуй, зеленый.
>>344669Бля ты правда тупой или притворяешься? Есть ряд sum kn^(n-k), надо найти closed form для этого выражения.
>>344651В смысле, понятно вообще что сделано? Или ты спрашиваешь почему именно так? Ну это суть всей этой техники, взять известную сумму/ряд (в данном случае конечную геом.прогрессию) и интегрированием/дифференцированием/умножением/сложением получить требуемую сумму/ряд. Тогда выражение суммы/ряда, если оно есть, получается соответствующей последовательностью действий с выражением для исходной суммы/ряда, которая известна. >>344640Но..там же теневое исчисление с такими штуками бывает, алгебра хопфа даже на полиномах есть!
>>344735>Но..там же теневое исчисление с такими штуками бывает, алгебра хопфа даже на полиномах есть!Это вообще о чем? "Алгебра Хопфа на полиномах" это я понимаю афинная групповая схема, а все остальное про что?
>>344743Ладно, я уже сам нашел. Вопрос меняется на зачем оно нужно и где про него написано.
>>344743>>344746Ну, я вообще прочитал это в книге Ландо "Введение в дискретную математику". Ну, применяется в комбинаторных равенствах всяких, есть связи с разными замечательными последовательностями полиномов, и теориями операторов на них.
>>344552Можно без производных и производящих функций, а также мат. индукций на отъебись.Попробуй представить выражение под суммой как сумму(умножение на целое - это сумма). И нарисовать сию двойную сумму по слагаемым в виде матрицы - по строкам будут внутренние суммы(выйдет-таки треугольник). Далее выполни суммирование сначала по строкам(треугольник схлопнется в одну строчку)Увидишь геометрическую прогрессию ты, а потом суммируй эту строчку. Надеюсь, я ясно разьяснил. Сии операции можно выполнить/записать путем перестановочек знак сумм и выкрутасов с индексами, но это довольно сложно осознать неискушенному в матанах.Такой вот алгебраический хинт ушами.inbefore картофан
>>344611Допустим. А что дальше-то с этим делать? Не понимаю.
>>344735>>344812Не заметил твоего ответа. Всё понял, спасибо.
>>343958 (OP)Почему эллиптические кривые так важны и пропиарены, а кривые уравнений высших степеней нет? Лишь потому что уравнения 3 степени легко решать?
>>344822Потому что они сыграли ключевую роль в доказательстве теоремы Ферма.https://en.wikipedia.org/wiki/Fermat's_Last_Theorem#Connection_with_elliptic_curves
Пасаны, есть какой-нибудь онлайн сервис, чтоб интегралы символьно считать? Желательно с туториалом. Помню, что в мапле можно было, но ставить его запало что-то.Надо срочно проверить один картофельный интеграл, я хоть и справился, но чёта думаю, что мог обосраться жиденько.
Чем отличается функционал от функции?
>>344853ничем, просто функционалом чаще называют отображение из какого-то функционального пространства на действительную прямую
>>344854> в поле/кольцо, над которым это функциональное прстранство рассматриваетсяфикс
>>344857ну окей, тащемта если ты меня поправил, тогда поясни мне вот что, а то я хуй простойКакие ещё есть поля кроме действительных и комплексных чисел? Часто вижу, что теоремы доказываются, скажем, для произвольного поля, но примеров полей, кроме вышеперечисленных, не дают.
>>344858На ум всплывает только неопределённое кольцо N.
>>344858Поле - это любой объект, удовлетворяющий аксиомам. Q, С и R лишь частные примеры. Если хочется "не очень традиционных" полей, можешь рассмотреть поле вычетов по модулю p Zp или любое расширение С, R, чего угодно ещё.
>>344822Придумай применение для кривых восьмой степени.>>344859Репорт петушка
>>343958 (OP)Вся математика опирается на три фундаментальных значения: ноль, единица и бесконечность.
>>344880Толсто.
>>344894Иди нахуй.
>>344876>Придумай применениеТак если реальное применение находят только какие-то частные примеры кривых или поверхностей, то чем тогда оправдывается пафос алгема как "центральной науки"?
>>344922>то чем тогда оправдывается пафос алгема как "центральной науки"?Твоей тупостью и тупостью тебе подобных, которые считают, что в математике есть что-то центральное.
>>344922> чем тогда оправдывается пафос алгема как "центральной науки"? Какой пафос? Почему центральной? Что ты несёшь вообще?
Поясните, почему формально полученные ряды/произведения/разложения нужно еще проверять на сходимость, причём они могут не сходиться вообще - в чём не состыковочка? В чём "упущение" акробатики, которая позволяет получать подобные выражения?
>>344924>>344930Детям - мимо.
>>344932В алгеме, кстати.
>>344932Формальные ряды не учитывают сходимость.
>>344945Но мы же их получили эквивалентными преобразованиями, как при преобразовании обычных выражений. Когда мы оперируем подобным образом над алгебраическими выражениями дополнительно проверять не надо - выражения тождественны. А тут у нас вроде бы тождество, а при проверке оно может оказаться ложным.В чём заложена скрытая разница? Может мы упускаем/подразумеваем какие-то детали предельных переходов?
>>344953>Но мы же их получили эквивалентными преобразованиями, как при преобразовании обычных выражений. В них тоже не учитывалась сходимость.>Когда мы оперируем подобным образом над алгебраическими выражениями дополнительно проверять не надо - выражения тождественны.Спорно. Можно например переопределить отношение '='. То есть снова необходимо учитывать модель. В простых случаях она используется по умолчанию.>А тут у нас вроде бы тождество, Формальное.>а при проверке оно может оказаться ложным.Более того при различных видах топологий (fine-coarse) - сходимость может быть, а может не быть. Но опять: формальные ряды – игнорируют сходимость.
"Эквивалентные преобразования" конечно не сохраняют сходимость, в этом фишка. Тем не менее, вопрос несколько глубже на самом деле, потому что это действительно несколько странный эффект, когда равенство чисто алгебраических выражений как функций от x зависит от этого самого значения x. Например, $\frac{1}{1-q}$ и $1+q+q^2+q^3+\dots$ равны как обычные конечные значения при $|q| < 1$, ещё можно принять их равенство как бесконечностей при $q=1$, но почему первое выражение обычное число при всех остальных $q$, а ряд расходится к бесконечности?
>>344822Не слушай уебков тебе отвечавших, они ничего не знают. Эллиптические кривые важны и пропиарены в основном из-за того, что это абелево многообразие, т.е. на них есть естественная структура группы (если выбрать точку, которая будет нулем). С комплексной точки зрения просто тор. По сути это самый простой из нетривиальных примеров многообразий, который еще можно совершенно в-наглую пощупать и очень много узнать.Но в алгеме и комплексной геометрии, конечно, еще куча куча многообразий не менее пропиаренных. А вне так много шума из-за разных применений в криптографии и теории чисел (которые обычно следуют из группового закона).
Почему все математики очень тупые?
>>345041Спс, аллах тебя не забудет.
>>345056Да потому что у них очень абстрактное мышление, оторванное не то, чтобы от трёхмерного пространства, но и, в некоторых конкретных случаях, от реальности вообще. Та же самая новая хронология Фоменко, теория струн, а в более запущенных случаях (вроде моего) - математическое устройство мира(т.е. все, что мы видим в мире - это сложные уравнения, возможно заложенные кем-то изначально, но не все уравнения в природе нам дано понять/узнать)
>>345063Но вот же - >>345071 - живой пример!
>>345076Ну, каждый ебанут в свою сторону. Кто как может.
Что делать, если я придумал фигню? Публиковаться?
>>345083Смотря что за фигня, и как придумал.
>>345083Можно сказать с большой степенью уверенности, что то, что ты придумал уже отражено в том или ином виде в научных публикациях или математической литературе. Так что не спеши радоваться.
>>345086А если я действительно придумал что-то новое, мне денег дадут?
>>345091Нет, скорее всего.
>>345092А на что тогда живут математики? Глупые.
>>345093Так математики, а не "математики". Те кто кончил вузик, пошёл на постгредуейт/аспирантуру, и далее по накатанной. Кто встроен в систему, короч.
>>345095То есть математик - это хуйня
>>345098Ну да, тянки то ним не текут, увы.
>>3450991) сказал какую-то математическую поеботу2) ????3) PROFIT
>>3451011) сходил в офис2) сделал никому не нужную хуйню3) пришёл домой4) ???5) ЗАРПЛАТА6) повторяешь 1) - 5) в течении 50 лет7) умираишь
>>345101Вряд ли удастся впечатлить тню какой-нибудь математической поеботой, если ты об этом, но если и не об этом, то всё равно напишу. Для большинства из них математика - это такой себе вид задротства, вроде мморпг или сборки кубика-рубика 11✕11, только с цифрами и фигурками. Ты произведёшь впечатление чудака: "какой ненормальный, зачем он рассказывает про свои гомологии, странный" - подумает тня. Другое дело физика, биология или психология, - в общем те дисциплины, которые находятся на острие практической науки и активно популяризируются. Если ещё и речь хорошо поставлена и тема актуальна, то успех тебе гарантирован.
>>345113>Другое дело физика, биология или психологияКакие отчаянные фантазии. Да тот же самый результат, если эта "наука" не имеет отношения к модному айфончико-ориентированному околоайти, бинарным опционам или прочей чепухе, которая неразрывно связана с доходом от 50к$ в месяц.
>>344895Толсто у тебя за щекой
>>345120>имеет отношения к модному айфончико-ориентированному околоайти, бинарным опционамЭто по большому счету относится к совсем уж ванильным тпшкам. Я скорее имел ввиду обычных няшек-стесняшек из университетов средней руки.
В математике есть раздел "дискретная математика" или этот винигрет придумали пидарасы для технариков?
>>345136Есть. Это вся математика, которая не касается понятий бесконечности и непрерывности.
>>345113>>345120Вы совершенно ничего не понимаете в тянках. Да и о произведении впечатления вообще. Совершнно не важно чем ты занимаешься и о чем говоришь. Это с равной вероятностью может быть воспринято как унылое задротство и как охуенная.Кстати, вбрасываю вполне себе солидного математика, выходца из России.
>>345141Это с равной вероятностью может быть воспринято как унылое задротство и как охуенная интеллектуальность в зависимости от харизмы и предпочтений собеседника.
>>345136Нет, разумеется. Такого раздела нет. Математические объекты не делятся по своей природе на "дискретные" и "непрерывные". Есть совершенно неожиданные примеры такого рода недвойственности. Например, в науке Громова группы можно представить в виде графа Кэли и изучать с помощью... метрической топологии.
>>345141Ты намекаешь на то, что тням похуй, что им говорят, главное слышать плавно текущую речь и видеть смазливое ебальце перед собой? Так это вроде понятно. А что если ты не является обладателем ни того ни другого?
>>345144>Математические объекты не делятся по своей природе на "дискретные" и "непрерывные".Ты так говоришь будто есть математические боги, которые запрещают делить объекты на "дискретные" и "непрерывные". Если смотреть с позиции, - что если что-то из одной области можно каким-то образом представить в другой области, то тогда области нельзя отличить; выйдет так, что из математики и вовсе нельзя выделить ни одного раздела.
>>345141Маттрахер.
>>345144А множества не делятся на счётные и континуальные.
Не хочу преподавать математику студентам-долбоёбам, хочу заниматься только исследованиями (какими смогу). В России это возможно? Доход неважен, лишь бы после получения диплома хватало на еду и снимать жильё. При этом меня не интересует статистика, теория вероятностей и прочая поебень - в экономическую контору не пойду.Сейчас второй курс столичного ВУЗ-а средней руки. Преподы ретрограды сумасшедшие, могу спросить только у вас.
>>345160А недолбоёбам готов преподавать? Можно ещё умудриться работать не преподавая где-то в стекловке, в смысле не обязательно каждый год браться вести курс лекций семестровый, но какая-то педагогическая практика всё равно будет когда ты будешь учиться в аспирантуре, например.
>>345160>хачу заниматься исследованиями, пока низнаю какими и нахуя они>это, это и это сразу нахуй >вы токо оплатите мне хату и ништяки >а я пока двач поскролю
https://storage.googleapis.com/content-krot-me/ravinagar/ravinagar.pdf
>>343964Соус автора
Хорошо знаю три иностранных языка, могу со средними усилиями полностью выучить и запомнить почти тысячу иностранных слов за день. Это значит, я смогу стать и хорошим математиком?
>>345175нет
>>345181Математику разве нужно что-нибудь, кроме памяти?
>>345182Картофель и водочка
>>345182А что ты запоминать собрался: формулы, теоремы, значки? Без понимания, как всё получается и для чего служит, тебе это не нужно. Сгенерировать что-либо новое ты будешь неспособен. А воспроизведение материала по памяти по большому счету нахуй никому не нужно. Всегда можно открыть учебник и посмотреть, что требуется.
>>345138Убери бесконечность.
>>345184Картофан и водовка
>>345182Воображение и культурная база
>1.Сформируйте систему линейных уравнений (то есть задайте матрицу коэффициентов A и свободный вектор b) для многочлена первой степени, который должен совпадать с функцией f в точках 1 и 15. Решите данную систему с помощью функции scipy.linalg.solve. Нарисуйте функцию f и полученный многочлен. Хорошо ли он приближает исходную функцию?Я решил, получилось 3.43914511, -0.18692825Второе часть не могу понять>2.Повторите те же шаги для многочлена второй степени, который совпадает с функцией f в точках 1, 8 и 15. Улучшилось ли качество аппроксимации?Где взять многочлен второй степени?
>>345202Водофан и картовка.
>>345168ромыч завис на постмодерне, а ведь уже не 70-е годы.
Парни, какие есть годные видео-лекции на русском (по любым направлениям и разделам математики)? НМУ-шные? Там по десятку лекторов на предмет, какие выбирать?
>>345384В натуре. Постоянно ссылается и цитирует, а говорил, что против постоянного цитирования.https://youtu.be/fJJ4W-0ATn8?t=135222:32
>>345168Ну поскольку я потратил время на прочтение, получите рецензию.Не зная Вашей даты рождения и соответственно Вашего гороскопа, а как известно любому астрологу, человек обычно рассказывает только свой гороскоп ;))Отмечу следующее. Книга написана достаточно живо и красочно, что намекает на хорошие аспекты венеры с меркурием. При этом есть концепция - узор(фрактальность, склейка), что вероятно говорит о пребывании планет в знаке стрельца.Перечисление - эпилепсия, паранойя, шизофрения, говорит о выделенности тем для автора.Что такое эпилепсия, как неосознанные выплески энергии. В отличие от маниакальности, когда энергия направлена на какую-то цель. То есть проблемы с Марсом и/или Плутоном. Ну и собственно весь текст, скорее описательный, что говорит о преобладании нейтральных и женских энергий. Кстати аватарка с преобладанием оранжевого, говорит об активности 2 чакры и энергиях Меркурия и Венеры. Короче основная точка сборки Вашей личности - там.Параноидальность - о желании понять структуру мира, это выделенность Сатурна. А шизофрения как раскол - о слабой проработке и осознанности энергий сверхличных планет Урана и Плутона.
У математиков волосы стали дыбом! Ваш IQ выше 1448, если вы решите эту задачу без гугла: три рыбака легли спать, не поделив улова. Проснувшийся ночью первый рыбак решил уйти, взяв свою долю. Но число рыб не делилось на три. Тогда он выбросил одну рыбу и забрал себе треть. Второй и третий рыбаки поступили аналогичным образом. Вопрос: какое наименьшее число удовлетворяет исходному количеству выловленной рыбы?
-Откуда взялись струны или браны если они есть-Почему планковская длина считается абсолютным нулем-Зачем нужны тахионы если есть суперсимметрия-Почему гравитация не квантуется в если есть гравитоны-Почему космические тела вращаются вокруг собственной оси-Почему электрон не падает на ядро теряя энергию
>>345447Это лишь разные виды узоров. Зачем нужны узоры, каждый сам видит для себя. Физика она как индия, там все есть, каждый берет что хочет.>>345444Одна рыба.
>>345397Выбирай НЕ прасолова.
>>345450>одна рыбаНет.
Бамп >>345213
>>345451А кого?
>>345453Обоснуй. 1 не делится на 3. Он выбросил рыбу и забрал себе треть нихуя.
>>345461Остальные не смогут сделать также.
>>345444Минимальный улов естественно достигается, если каждый рыбак забрал минимально возможное число рыбешек, а именно одну. Мне лень считать.
Вообще не ясно что значит "Второй и третий рыбаки поступили аналогичным образом". Если подразумевается что последний рыбак откинул одну рыбу и взял треть, то это максимум тупое поведение.
>>345465Нет.>>345464Нет.>>345461Нет.
>>345465Рыбак же не знает что все ушли, он думает что это неподеленый улов на троих.
>>345466Пидора ответ>>345466Пидора ответ>>345466Пидора ответ
>>3454444040 = (((1x3 + 1)x3 + 1)x3 + 1)
>>345467> неподеленый уловКоторый за одну ночь уменьшился в три раза? Рыбак после сна забывает все что произошло в прошлый день?
>>345444Аноны, что-то еще про про продавца шапок есть! Типа фальшивую купюру ему дали и нужно узнать насколько он попал. Или наоборот, покупатель попал. Кто помнит? Охуетельно сложная задача, 100 ответов и все неверные. Кажется просто, а ведь нескольких лет мехмата уровень!
>>345473Дали продавцу шапок сто фальшивых купюр, а они все как раз.
>>345470Нет.>>345472Нет.
>>345475Это загадка или отгадка?
>>345476Что нет? Улов не уменьшился? Или рыбак забывает? Улов не может не уменьшится по условию задачи. Про склероз у рубака ничего не написано.
>>345477У мужика кепка-пятиклинка стоит 200 рублей, покупатель хочет купить её, но у него только 500. Подзывает мужик мишу вербитского, выпидоренного за космополитизм из вышки и говорит: "Беги, еврейка, скорее к тетё маше, разменяй". Побежал миша со всей прыти, всё разменял на сотки, прибежал обратно. Отдал мужик сдачу и кепку, сидит, отдыхает. Через полчаса заходит тётя маша и говорит, что купюра фальшивая, мужику пришлось заплатить всё из своего кармана. Был конец рабочего дня, мужик наказал вербитскому выяснить в чём дело и определить до завтра где же его наебали, а сам домой пошёл. Помоги мишке найти сумму наёба.
>>345478Всё нет.
>>345479>мужику пришлось заплатитьВернуть т.е. тётке все 500 рублей.
>>345479> сумму наёбаПроеб - пятсот фальшивых рублей. Если сможет их кому-то впарить как пятисотку, то не проебал. Если за половину - проебал 250. Не сможет - 500.
>>34548010
>>345444Тут получается диофантово уравнение 8x - 27y = 38. НОД(8,27) = 1, следовательно оно неразрешимо в целых числах. >Вопрос: какое наименьшее число удовлетворяет исходному количеству выловленной рыбы?Ответ: никакое
>>345484Нет, дурак.>>345483Нет.
>>345486Нахуй пошел.
>>3454443
>>345489Ты дурак?>>345488Нет.
>>345479Покупатель наварил 300 рублей плюс шапку. Значит продавец очевидно попал на 300 плюс смотря как считать стоимость шапки.
>>345495Стоимость шапки - цена шапки, так как продавец проебал возможность ее продать за нормальные деньги.
>>345495Нет.>>345496Нет.
>>345496Ну тогда 300 + 200 = пицот
>>345497> Нет.Пидора ответ.
>>345497Что именно нет?Соседка осталась при своих, да или нет? Покупатель наварил 300 руб плюс шапку, да или нет? Продавец отдал соседке своих 300 плюс потерял шапку, которую мог бы продать за 200, да или нет? Обоснуй, а то пока мне кажется что это просто пидора ответ.
>>345499Нет.
>>345500Всё нет.
>>345503Блин ! Ну , что Вы все соседские деньги , соседские деньги ....!Вместе с остатком , вместе с остатком ..... ! Какие они к чертям соседские ? Какой к чёрту остаток ?Ребята это деньги ПОКУПАТЕЛЯ !!!! Реальные или фальшивые выяснится позже . Соседка лично своего ни чего не давала ! Её роль заключается всего лишь в размене денег. И продавец всего лишь вернул 15 р. его же денег ( покупателя ) , только уже реальных . А продавец заработал уже свои личные , кровные 10 р. с продажи шапки . В результате обнаружения фальшивки Продавец отдаёт свои кровно заработанные 10 р. и добавляет свои же 15 р. и отдаёт соседке ( 25 р. ). Вы спросите почему соседке ? Потому что она их получила в данном случае от продавца , а не от покупателя . Кроме того продаётся одна шапка , не 10 и не 1000 и не .....А именно одна из условия задачи и цена ей 10 р . В результате афёры продавец имеет фальшивую купюру в 25.р которая ни кому не нужна !!!! Продавец остался и БЕЗ ШАПКИ И ЕЩЁ ОТДАЛ СВОИ 25 р.Ущерб продавцу составляет 35 р.
>>345505Нет.
>>345506Вы зациклились на элементарных действиях . Получил , отдал . Получил , отдал !!! А ведь я вам изначально говорил обратите внимание на условие задачи : Один продавец ( сам по себе ) , ОДНА шапка ( понимаете ОДНА У ЭТОГО продавца ). Стоит конкретные 10 р.Я ведь разжёвывая Вам не зря приводил варианты . В варианте ЖУЛИК – ПРОДАВЕЦ ( без размена) , продавец теряет 25 р . В варианте ЖУЛИК – ПРОДАВЕЦ ( с разменом в магазине розничной торговли ) , продавец теряет 25 р. Читайте выше мои комментарии .В третьем варианте ( конкретные условия задачи ) в процессе сделки фальшивые деньги номиналом в 25 р. ЖУЛИКА (ДЕНЬГИ ЖУЛИКА ,А НЕ СОСЕДКИ ) плавно перетекают через продавца к соседке , где они удачно меняются на реальные и опять через продавца возвращаются к Жулику в виде ПРОДАННОЙ шапки и реальных 15 р. ПРОДАВЕЦ ПОЛУЧАЕТ ЧЕСТНО ЗАРАБОТАННЫЕ 10 р. С ПРОДАЖИ ШАПКИ. ХОРОШЕНЬКО ЗАПОМНИТЕ !!!! ЭТА ДЕСЯТКА УЖЕ ЕГО СОБСТВЕННОСТЬ !!! ЭТО ДЕНЬГИ НЕ СОСЕДКИ КОТОРЫЕ ПРИШЛИ ПОСЛЕ РАЗМЕНА , ЭТО ДЕНЬГИ КОТОРЫМИ РАСПЛАТИЛСЯ ЖУЛИК ЗА ШАПКУ .Поэтому как только к этой десятке Вы прибавляете ещё свои 15 р.( есть у продавца в данный момент ещё свои деньги или их нет РОЛИ НЕ ИГРАЕТ ) и отдаёте ( или 10 р. и будете должны 15 р. ) соседке 25 р. ПРОДАННАЯ ВАМИ ШАПКА ИЗ СТАТУСА ПРОДАННОЙ ПЛАВНО ПЕРЕХОДИТ В СТАТУС ДАРОМ ОТДАННОЙ !!!!! НЕТ ШАПКИ , НА РУКАХ ФАЛЬШИВЫЕ 25 р. Ну и на сколько Вас нагрели ????Ребята Вы зацикливаетесь на деньгах , ДАЛ ,РАЗМЕНЯЛ ,ОТДАЛ , ВЕРНУЛ – фигурируют конкретные суммы . И в тот же момент Вы теряете из виду саму шапку . ШАПКА – ТОВАР С КОНКРЕТНОЙ ЦЕНОЙ , ВМЕСТО ШАПКИ – ТОВАРА ПРОДАВЕЦ ПОЛУЧАЕТ ДЕНЬГИ – ПРИБЫЛЬ . И ЕСЛИ ОТДАТЬ ДЕНЬГИ – ПРИБЫЛЬ ,ДА ЕЩЁ ДОБАВИТЬ СВОИ , ТО ПРОДАВЕЦ ТОВАР – ШАПКУ ПРОСТО ОТДАЛ ДАРОМ !!!!! ( НЕ ЗАБЫВАЕМ РЕЧЬ ИДЁТ О КОНКРЕТНОЙ СДЕЛКЕ ЖУЛИК – ПРОДАВЕЦ -(РАЗМЕН )- ПРОДАВЕЦ -ЖУЛИК ).В данном случае ШАПКА досталась ЖУЛИКУ даром , а соседка урвала 25 р .
>>345507Да.
>>34544410 рыб.
Сие Я– автор поста номер 345444 (>>345444). Мой ответ на все ваши предположения: нет. Вы не достигли правильного ответа.Внимание, правильный ответ: наименьшим числом, удовлетворяющим заданным условиям, является (-2). Рыбаки выловили -2 рыбы или две антирыбы.Спасибо за внимание, глупцы, моё дело сделано, Я ухожу.
>>345511Ты охуел? Чем тебя например не устраивает -29 рыб? А, сука?
Братья ананасы, как взять первообразную этой функции e^(x^2)?
>>345520(e^(x^2))/2x^2
>>345521не выражается в элементарных функциях, а так выражается через функцию ошибок, путем интегрирования по частям.
>>345479>свербицкийа почему мишу тут так не любят? он конечно скандалист и русофоб, но математик же международной пробы. у него индекс цитирования кстати - огого, выше кажется только у арнольда был. как думаете аноны, он где-то с арнольдом одного уровня или все-таки уступает? за сколько бы он решил сто задачек арнольда?
>>343958 (OP)1 сентября 1997 года, в результате деления на ноль в компьютеризированной управляющей системе крейсера USS Yorktown (CG-48) Военно-морского флота США произошло отключение всех машин в системе, в результате чего двигательная установка корабля прекратила свою работу
>>345527Арнольд лох, извините. Полный лох.
>>345538Почему? Он же боролся с бурбаками. А бурбаки как вам?
>>345542А бурбаки няшки. Особенно готично-лысый Гротендик и Вейль со своими гипотезами.
>>345545Хранцузского школьника спросили, сколько будет 2+3? Он ответа не знал, но ответил как его научила бурбакомафия: 3+2, так как сложение коммутативно. байка от арнольда
>>34544425 рыб
>>345484 следовательно оно неразрешимо в целых числах.Скорее: следовательно - оно имеет бесконечно много решений в целых числах при любой правой части.
>>345553А почему вопрошающий счёл, что ответом на вопрос "сколько будет 2+3" не является "3+2"? Школьник, типа, должен был угадать слово, которое загадал вопрошающий?Пусть сначала научатся точно формулировать вопросы, и только потом спрашивают.
>>345572Да, тут я обосрался. Перебором остатков можно подобрать частное решение (25,6).
>>345527Нихуя он не международной пробы, да и какое это имеет значение? Важны ведь только результаты. Арнольд, например, международной пробы. Доказывал проблемы Гильберта, унижал бурбаков и прочее быдло, за что ему посмертный рейхспект. Миша решит максимум 2 задачи из тривиума, для него ведь это зашквар. Есть три категории математиков. Первая это так называемая первая культура(низший сорт, 1 уровень). У них принято считать, что самое главное - это новая абстрактная теория. Такая себе чистая математика. На уровень выше стоят прикладники и формалисты, которые пытаются получить результаты в разных областях теми методами, которые есть, и разрабатывают новые, только если это необходимо. Ну и третья категория самая немногочисленная, это такие себе полубоги по типу Перельмана, которые доказывают проблемы специальными детализированными методами.
В /уне такие же школьнике как и я, хз объяснят ли. Обоссыте, но помогите..Нихуя не понимаю смысл производной. Вот например дефолтная ЕГЭшная задача. Правильно ли я думаю? 1. Производительность рабочих есть некоторая функция, а значит у это функции есть график. 2. Нужно найти максимум на это графике. Если, например, мое время не ограниченно, то я могу просто подставлять все значения в функцию и рано или поздно я получу этот максимум. 3. Очень долго производить такие вычисления. Поэтому вместо самой функции можно рассмотреть её аппроксимацию или проще говоря спрямление этой функции.4. Получив вместо кривой функции обычную прямую или что-то похожее намного проще понять где у неё максимум.Для этого и нужна производная? Почему тогда, это спрямление пик 2 вообще не похоже на оригинал пик 1? https://www.youtube.com/watch?v=Erzf5ktLkMw&index=3&list=PLowFPHQVq5qPL_Nmx5sITxbzoou_k-gO8
Вы что тут устроили со своими детскими задачками? Еще теорию графов на их решение примените. Долбоебы...
>>345628ALLO, DAUN, ETO TI?Смысл производной в том, что она показывает скорость изменения функции в точке.
>>345630Я слышал это уже 500, яснее не стало.
>>345631Значит ты дурак.Открываешь тетрадку тгда и считаешь производную из функции х², может поймешь.
>>345631Хотя ладно, поясню дураку почему он дура. Жди пять минут пока я набираю
>>345628вычисляешь s', приравниваешь s'=0, находишь иксы и подставляешь их в s.
>>345630>Смысл производной в том, что она показывает скорость изменения функции в точкеБлядь, где строгое математическое определение, гильберт тебя за ногу?
>>345627>Нихуя он не международной пробыДавеча он представлял Россию на International Congress of Mathematicians.
>>345627
>>345542>>345553Если что, Арнольд в какой-то момент совсем ебнулся и стал нести хуйню на уровне Пахома. Например, про космические лучи, которые мешают компьютерам работать, из-за чего он с ручкой и бумажкой считает гораздо быстрее и "правильнее", чем всякие комплюктеры. Или вот про 3+2.
>>345638Пусть есть вещественная функция f. Пусть есть отрезок [a;b].Изменением функции f на этом отрезке называется число f(b) - f(a).Длиной отрезка называется число h = b-a.Средней скоростью изменения функции называется изменение функции, делённое на длину отрезка. Символьно, fсредняя ba = (f(b) - f(a)) / (b-a).Средняя скорость определена для отрезка. Но что если нас интересует скорость в точке? Нужно использовать предельный переход.Скоростью функции в точке a называется fсредняя ba, когда b стремится к a. Или, эквивалентно, когда расстояние h между b и a стремится к нулю.То есть fв точке a = limh→0(f(a+h) - f(a))/h
>>345641Тебя бы грузовик переехал - ты бы ещё не так ебанулся.
У тебя есть функция х². При значении икса 1 функция равна 1. Но вдруг тебе захотелось узнать насколько сильно измениться значение функции если к одному добавить одну десятую, относительно этого самого увеличения. Тобишь, насколько сильно увеличится функция относительно её увеличения. Ты делаешь следующие рассчеты (1+0.1)²-1²/0.1Посчитаем в лоб. 1.1²=1.21, 1²=11.21-1=0.21/0.1=2.1Вроде все просто.А если тебе надо узнать насколько измениться значение функции если к единице добавить одну миллиардную, или даже какую то охуллиардную, что тогда? Теперь уже кучу ноликов писать сильно долго, неудобно, да и ошибиться можно. Заменим теперь цифры буквами.Получится (х+у)²-х/у²=х²+2ху+у²-х²/у=2ху+у²/у=2х+уЕсли теперь подставить вместо букв цифры, то можно увидеть, что прибавление охуллиардной части не сильно влияет на результат, а именно 2+почти ноль.Что значат эти цифры?Это и есть скорость и величина изменения функции по направлению оси икс.
Тута про Арнольда заговорили, как я вижу. Вы же про пикрелейтед Арнольда говорите? Читаю я пикрелейтед книжку, и что-то понимаю что нихуя не понимаю кариночка-сложно.webm. С первой страницы диффеоморфизмы, фазовые потоки, вот это все. Что можете посоветовать по дифурам попроще?
>>345642Это не строгое
>>345646Нахуй строгость. Он сперва понять должен что от него хотят, а потом уже строгость
>>345628> можно рассмотреть её аппроксимациюАпроксимируют когда функция не известна, а есть только несколько ее значений. У тебя же функция известна, следовательно никаких апроксимаций не нужно.Твои графики это ни какие не "спрямления". Первый рисунок это график целевой функции, на которой нужно найти максимум. Только у тебя там как-то оси перепутаны, более показателней было бы х по горизонтали пустить. Второй график это график производной функции. На нем интрестно нулевое значение, которое соответсвует экстремуму функции.
Меня всё мучает один вопрос: нахуй в современном мире нужна ебучая евклидова геометрия и её методы?
>>345641Лол блядь
>>345646Это строгое.
>>345649Сгори в адском пламени.
>>345649поясни в убедительных тезисах, почему она ненужна?
>>345644>>345648>>345637>>345642Спасибо, но у меня еще тупее вопрос. Как с помощью понимания как возрастает функция я могу найти её максимум?
>>345653Сами её методы - хуйня, переходящая во что-то осмысленное только в алгебраической форме. Зачем людям знать о таком недоразумении, как Евклид и о его работах, когда у нас есть линейная алгебра?>>345652А вот и мусор прибежал.
>>345659Двачую
>>345657Максимум/минимум функции это значение функции при котором соседние участки имеют меньшее/большее значение чем в точке максимума/минимума. Этим такие точки отличаются от максимума/минимума вообще. В функции х³-х игрек может быть каким угодно большим, но минимум и максимум у нее в районе х=-/+0.5774.Находятся они по значению производных. Берем производную. Она будут равна 3х²-1=у. Подставлем у=0, так как в этих точках функция обращается в ноль и не изменяется, и находим корни уравнения. Они равны +/-0.5774.Но ты не знаешь какое именно число отвечает максимуму какое минимуму. Для этого берем производную от производной и подставляем туда найденные значения. Она равна у=6х. При подставленных найденых корнях производная будет отрицательной при отрицательном значении корня и положительной, растущей, при положительном. Знак найденного корня никак не показывает минимум это или максимум. Для наглядности найди критические точки у функции х³-х²-х.
>>345659>Сами её методы - хуйня, переходящая во что-то осмысленное только в алгебраической форме.У тебя получилось объяснение в духе вербитопомазанного: хуйня - просто потому что не алгем, и не то, что нам велит любить Миша. Но, на самом деле, ты же ничего не пояснил. Почему её методы хуйня безотносительно алгебраической формы?>Зачем людям знать о таком недоразумении, как Евклид и о его работахХотя бы потому, что он первый начал использовать аксиоматически построенную теорию. А такого подхода придерживается сейчас вся современная математика.
>>345444>аналогичным образом.Точнее. Каждый выбросил одну и взял треть остатка?
>>345651Технарик закукарекал
>>345628Если ты даже этого >>345630 не можешь понять, то ты реально даун и тебе надо было в пту съебывать после 9 класса.
>>345657Если функция в какой-то точке имеет экстремум, то в этой точке производная равна нулю. Поэтому чтобы найти наибольшее значение, тебе нужно вычислить значения функции во всех точках, где производная равна нулю и на границах области определения (если она ограничена) и выбрать максимум.
Ну и где эта ваша математика теперь?
>>345689
>>345695Что это значит?
>>345696Это мемас.
>>345697Ты пикчу >>345689 поясни, как так получилось? А то я веру в математику утратил.
>>345698Потому что там не 2 = 4, а 0 = 0.
>>345698Ты видмо не понимаешь всей глубины проблемы. Очевидно: любое произвольное значение умножить на (0) = любое другое произвольное значение умножить на (0). (0) сокращаем так как он в скобках, следовательно любое произвольное значение = любое другое произвольное значение. То есть даже бесконечность = 1, а 1 = 0, следовательно бесконечность = 0. Такие дела.
>>345113Всегда получалось. А физика, биология и психология - лженауки. Нахуй все, оставьте только математику. Ахахаха!!!! Глупый шкальнек!!! Весь мир будет у ног математиков!!!меня понесло
>>345505>>345507Поехавший
>>345705Нет. Дурак. Пробей в поиске.
>>345668Какое понятие ты считаешь неясным?
>>345641Пацаны, накидайте баек про ебанутых советских математиков. Давайте сравнивать ебанутость на международном уровне! Рассказ очевидца с mathoverflow про дуэль арнольда с французами в 2001-м. Из арнольда бы хороший двачер получилсяI was there. Arnol'd is one of my big mathematical heros, but I found the whole thing really sad. It was in French, but my French is decent. Arnol'd began his part with a phrase I've heard him say before: “In Russia it is impolite to talk ill of the dead, so I will not talk about Bourbaki” and then he proceeded to lambast Bourbaki in as nasty a way as you've ever read in any of his writings. I just felt like hanging my head. It was embarrassing watching him insult French Mathematics in front of 500 French men and saying things that seemed silly. It went on from there, Serre with a kind of sad understated dignity, not fighting, Arnol'd wanting a fight, hurling insults. The two barely even addressed each other. And yes, he did mention Toth, and if memory serves, he stated that Toth was probably Thales and had most likely come up with Newton's inverse square law. For me, the whole event was sad, embarrassing, and myth-crushing. Well, us mathematicians, we are all humans.
>>345728Математики этой страны были ебанутыми задолго до советов.>еще в 20-х гг. консервативные механики вроде Чаплыгина пренебрегали этими новыми науками, считали их западной чушью. П.С.Александров рассказывал мне, что Чаплыгин запретил П.Урысону включать новую тогда общую теорию относительности в его аспирантский экзамен. Это - наша специфическая русская черта - склонность к консерватизму, к отрыву от мировой науки. Даже Чебышев в XIX в., при своем блестящем аналитическом таланте был патологическим консерватором. В.Ф.Каган рассказывал, что будучи молодым приват-доцентом он встретил старого Чебышева, пытался поведать ему о современной геометрии и т.д., а тот презрительно высказался о новомодных дисциплинах типа римановой геометрии и комплексного анализа. Созданная им школа была сильной, но и с сильной склонностью к провинциализму.http://aspirant.rggu.ru/article.html?id=50768Это эссе тоже ебанутый человек написал, кстати, - Сергей Петрович Новиков. Боговерчик, ватник и просто интересная личность.
>>345689это как-то совсем толсто.
>>345628Мне бы твои проблемы. Я вот смысла частных производных никак понять не могу.
>>345728>>345736Идите-ка в /b со своими охуенными историями.
>>345743Тоже самое что и ибычная производная, только там джве переменных.Ближайший аналог это системы линейных уравнений. Там вроде тоже нихуя не понятно, но если выразить икс через игрек, то система вполнетрешается. Тут так же, только одна-две-N реременных считаеются постоянными, вокруг которых вычисляется одна свободная переменная.
>>345737Тоже толсто
>>345747Опять ты сука?
>>345747>>345749Алсо, вот это тоже твой пост. Ты уже не первый тред засираешь своей тупостью, я специально скриню.
>>345749>>345750Не знаю зачем ты скринишь всякую хуету, но я не он.По существу есть что ответить про частные производные или нет?
>>345751Вот тебе ссылочка и виктпедии, чтобы ты хоть как то мог связать свой поток сознания.
>>345751https://ru.wikipedia.org/wiki/Частная_производная#.D0.9F.D1.80.D0.B8.D0.BC.D0.B5.D1.80.D1.8B
>>345747Частная производная - это производная вдоль вектора, когда в качестве вектора рассматривается вектор из наперёд выбранного зафиксированного базиса.
>>345754А интеграл это площадь под кривой в пределах оси икс. Дальше что? Определение как суммы бесконечно малых неправильное?
>>345755Написать тебе определение производной вдоль вектора?
>>345756Не съезжай с темы.Чем конкретно математическое, без маняпространств, определение частной производной написанное мной так, чтобы даже конченый смог понять, тебя не устраивает?
>>345759Ты не говоришь, что такое частная производная. Ты говоришь всего лишь о синтаксических преобразованиях. Ты описываешь операцию, которую следует применять к строке символов, чтобы получить другую строку символов.Это тупо. Тебя спрашивают о смысле строк символов, а не о синтаксических манипуляциях.Поэтому частная производная - это производная вдоль вектора из наперед заданного базиса. Точка.Свои "одна-две-N реременных считаеются постоянными" засунь себе в жопу.
>>345760Школореформатор, ты?
>>345760Ты по ссылочке то хоть ходил?Не буду с тобой больше спорить, все равно что об стену горох.
>>345762Я не хочу реформировать школы, я хочу убить всех методистов.
>>345745а весь бред, что выше-ниже, ничего? уровня sci?
>>345760нет, не про пикрил, а просто про интересную личность. да, книжица эта пиздец ацкий, выкини ее нахуй. возьми какой-нибудь нормальный вводный учебник для инженеров, желательно на английском языке. вот на таком примерно уровне https://www.cengagebrain.com.au/content/9781285233260.pdf
>>345645>>345768сорян промазал
>>345666Аксиоматика в стиле Евклида это куча безумных аксиом и тонна работы, которая была доделана только Гилбертом. И после этого ты еще нихуя даже не сможешь доказать, ибо методы сильно нетривиальные. Базовая же линейная алгебра оперирует только важными и простыми понятиями, из которых все очевидно выводится. Сейчас одного семестра линейной алгебры хватит, чтобы узнать, понять и научиться решать больше, чем любой великий геометр древности
>>345728Собственно, вся суть Арнольда. Прилюдно обмазывается говном, а все терпят из уважения к научным результатам.
>>345773>а все терпятА все получают особое, извращённое эстетическое удовольствие, как от просмотра хорошего копро-порно.
>>345770Ну и как гильберт обосновал постулат о параллельных прямых?
>>345775Принял первый признак равенства треугольников за аксиому.
>>345768Толсто. Такая хуйня не нужна математикам, потому что там акцент на ручном решении кучи дифуров. Такая хуйня не нужна инженерам, потому что в 2016 году есть мат по, в которое вбиваешь дифур и он решается.
>>345776Собираешься своей массой пронзить пространство и время?
>>345777ну так то да, тогда и калькулюс нахуй не нужен. тогда нужно уточнить, что именно анон хочет получить в итоге.
>>345777Надто товсто.Это все нужно для формирования мышдения. Ну и чтобы в случае ядерной войны можно было сразу создать интегральное исчисление, а не разбивать круг на отрезки нулевой длинны для нахождения пи.
>>345780да нухй вообще инженерам мышление, есть же компьютеры. нужно просто обучать ремеслу - какие кнопки нажимать
>>345781> Это все нужно для формирования мышдения.> Ну и чтобы в случае ядерной войны>>345781> да нухй вообще инженерам мышлениеДавайте все инженеры будут 3 семестра в шахматы играть и еще 2 в шашки, потому что это развивает мышление.
>>3457821-й семестр - задачки решать про торговца шапками и фальшивую купюру
>>345780>нужно для формирования мышденияНефальсифицируемый лозунг.
>>345770>Сейчас одного семестра линейной алгебры хватит, чтобы узнать, понять и научиться решать больше, чем любой великий геометр древностиИ кто тебя сейчас заставляет учить евклидову геометрию? На мат.факах нет такого предмета. Геометрия есть - только дифференциальная. Такую геометрию Миша вам не запрещает?
>>345770И да, ты не ответил на вопрос, чем плоха евклидова геометрия безотносительно алгебраической формы?
>>345786>На мат.факах нет такого предметаЕсть на всех матфаках страны, кроме одного. Называется "аналитическая геометрия".
>>345788>Есть на всех матфаках страныТы мат.фак со своей 247-й школой не путай.
>>345782Как шашки математическое мышление сделают?
>>345786Да никто не заставляет. Ты попросил объяснить, почему она говно и ненужна, я объяснил.Я не тот анон, так что не знаю, что подразумевалос под алгебраической формой.
>>345789что такое 247-я школа? УO? short bus?
>>345785Тобишь, у тебя пасанчик с падика и гаусс/бернулли имеют одинаковое мышление?
>>345790А как решение дифуров и интегралов математическое мышление сделает?
>>345791>Ты попросил объяснить, почему она говно и ненужна, я объяснил.Что ты объяснил? Вот это: >Аксиоматика в стиле Евклида это куча безумных аксиом и тонна работыПри желании, это можно сказать о любой аксиоматике. Да и чем аксиомы Евклида безумнее аксиом, скажем, ZFC?
>>345796Не решение, а понимание сути как они работают.А суть лучше всего понимается если их решать максимально подробно. Это не то же самое что просто решать.Просто решать это написать что интеграл х² равен х³/3. Подробно решать это вывести почему интеграл х² равен х³/3
>>345799> Подробно решать это вывести почему интеграл х² равен х³/3Зачем ему выводить этот интеграл? Вот, например, я первокурсник и прошел основную теорему матана. Какое дополнительное понимание мне даст вычисление интеграла от x^2?
>>345799пределы нужно инженерам объяснять? а вывод формул дифферецирования через пределы? а пруфы?
>>345801>>345802Лично вам вдвоем незачем. Вы сюда просто за бугагашками пришли.
>>345793Пусть предмет A горячий и белый, а предмет B холодный и чёрный. По твоей логике, если бы предмет A был чёрным, то он был бы холодным.
>>345803На вопрос отвечай. Конкретный же вопрос задал. Представь, что я первокурсник, который прочитал теорему и ее доказательствоhttps://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%9D%D1%8C%D1%8E%D1%82%D0%BE%D0%BD%D0%B0_%E2%80%94_%D0%9B%D0%B5%D0%B9%D0%B1%D0%BD%D0%B8%D1%86%D0%B0Что мне должно дать вычисление интеграла от x^2?
>>345805Так ведь ты затем и пришёл в ВУЗ, чтобы изучить теорему Ньютона-Лейбница. Ты знал, куда шёл, и знал (должен был знать), чему тут будут учить. Уж не знаю, зачем тебе понадобилось изучать это.
реформист в треде, всем в методички
>>345804Не подменяй понятия. Еще раз спрашиваю, пасанчик с падика на одной волне с перельманом или нет?>>345805Ты чиьаешь плохо? Я уже ответил что тебе ничего. Разве что поможет корочки получить и пойти потом капчевать не по специальности с офиса за 20к, или сколько там офисные отбросы получают сейчас!?
>>345806> Так ведь ты затем и пришёл в ВУЗ, чтобы изучить теорему Ньютона-Лейбница.Ну, верно, я ее изучил, понял как считать интегралы. А интеграл от x^2 нахуя считать?>>345808Поздравляю, тебе получилось затроллить меня своей тупостью, у меня реально бомбит.
>>345798Блджадь, в случае линала это нихуя не тонна работы и совершенно не безумно. Я тебе за пять минут определю, что такое евклидово пространство, прямые и прочее говно через линал, начав с натуральных чисел. Каждое определение будет прозрачным и использующимся во всех областях математики (поле, векторное пространство, билинейная форма).После чего любая классическая теорема по геометрии будет практически очевидной.А теперь сравни с вот этим https://ru.wikipedia.org/wiki/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0_%D0%93%D0%B8%D0%BB%D1%8C%D0%B1%D0%B5%D1%80%D1%82%D0%B0Вот честно скажи, ты их воспроизведешь? Они хоть где-то еще появляются?И сравни потом, насколько проще и надежнее сослаться на линейность и несложный счет, чем хуярить кучу дополнительных построений?
>>345808Напомню тебе, что это ты доказываешь, что если заставить пасанчика сыграть достаточное количество партий в шахматы, то он превратится в Пуанкаре.
>>345809Еще раз повторяю, специально для контуженных с бронепоезда. Лично тебе знания сути работы интегрального исчисления ничего не дадут.Не всем же надо знать как получается электричество в проводе, чтобы включить лампочку. Но вот когда провод где то замыкает...
>>345811Ты подмениваешь понятия. Я писал про математический склад мышления, а не про стратегическое планирование. Не пиши мне больше.
>>345810Определяй и доказывай. Назвался груздем...
>>345810>После чего любая классическая теорема по геометрии будет практически очевидной.Серьёзно? Классические теоремы геометрии: теорема Наполеона Бонапарта, теорема Монжа, теорема Сальмона, теорема Микеля. Ты обломаешься уже на формулировках.
>>345814Слив засчитан, лол.
>>345817Как скажешь.
>>345812Сука, ну какой же ты даун. Я знаю суть работы интегрального исчисления, понимаешь? Я могу вычислить интеграл от многочлена. Вопрос в том, нахуя мне вычислять интеграл от x^2?
>>345820Я высказал тут >>345812 все что хотел и не буду повторять все трижды.Могу только добавить что если ты, таки да, знаешь как и что работает, ты бы расписал как получается интеграл из функции квадрата. Все.
>>345822Я тебе объясню ход мыслей нормального человека.1) Многочлен - непрерывная функция. Непрерывные функции интегрируемы.2) Из линейности интеграла следует, чтоintegral sum a_k x^k = sum a_k integral x^k3) Интеграл от x^k можно посчитать по формуле Ньютона-Лейбница. Легко догадаться, что первообразная x^k - это x^(k+1) / (k + 1).Ход мыслей долбоеба: ну кароч надо вычислить интеграл от sin 666x + x^1488, чтобы понять как работает интегрирование))0
>>345833Где?
>>345830Вот ты и показал свой уровень владения дискуссией и математикой. Никаких доказательств и обоснований, только три предложения, которые каким то магическим образом вместили чуть ли не полторы тысячилетия развития математики, как тебе кажется.Я рад что больше мне не придется с тобой разговаривать.
>>345840Все, что я написал, общеизвестно. Если ты не можешь доказать что-то из этого или не знаешь, что именно надо гуглить, то ты просто даун. Это все проходят на 1 курсе.
Саентач, как же у меня горит от моей тупости! Вот есть область целостности R, а есть элементы x1,...,xn, которые ей принадлежат. Так вот, говорится, что если dR=x1R+...+xnR имеет место, то d=gcd(x1,...,xn). И все бы ничего, но я, блиа, никак не могу понять как делитель может равняться сумме того, что он делит. Алсо, кажется мне, что я не правильно понимаю смысл написанного. Помогай, помогач!
Пацаны, я чет запутался, кто в этом треде самый умный труъ, покажите его посты? Просто хочу отсечь, все кто с ним спорит - говноеды, и их игнорировать
>>345845Ты. Теперь умолкни навсегда.
>>345816Все кроме Салмона совсем просто. Особенно, Бонапарт насмешил, на фикипедии говно написано геметрическое, хотя всем очевидно, что через комплексные числа это делается за секунду.
>>345844Не сумме, а линейной комбинации. Там могут быть отрицательные коэффициенты. Никогда не слышал про алгоритм Евклида?
>>345847> через комплексные числа это делается за секундуСделай, покажи класс.
>>344306Это не переиздание? И кто ныньче в группе, если так?
>>345848Увы, не слышал. Математикой увлекся недавно. Мне почему-то хочется d назвать общим кратным x1,...,xn. Я совсем конченный? x1R,...,xnR - это, вроде, идеалы. Это что-нибудь меняет?
>>344310наполеона сообщник
>>345846Ну я серьезно, здесь лайки нужны, + -. А так все анонимные умники.
>>345850Судя по тому, что в книге используется теория категорий, - явно кто-то молодой, резвый, наглый.
>>345854Анус себе лайкни.
>>345849Поворот на 60 градусов = умножение на корень шестой степени из единицы. Центр правильного треугольника = сумма вершин делить на три. Так что хуяришь начало координат как тебе удобнее и делаешь пару-тройку тривиальных арифметических действий.
Похоже, скоро на пикче с парашей придётся рисовать дедекиндовы кольца рядом с N.
>>345856А чому себе, а не тебе, например?
>>345857>Поворот на 60 градусов = умножение на корень шестой степени из единицы. Центр правильного треугольника = сумма вершин делить на три. Так что хуяришь начало координат как тебе удобнее и делаешь пару-тройку тривиальных арифметических действий.И что за говно ты высрал, кокормист? Вычисли координаты равносторонних треугольников, построенных на сторонах произвольного треугольника относительно какой хочешь системы координат.
>>345861Пиздос, ты ебанутый или как?Треугольник ABC, пускай 0 в А. Пусть B и С задаются комплексными числами z_1,z_2. Тогда AB достраивается числом z_1w, AC достраивается числом z_2(w^-1), BC достраивается числом z_1+(z_2-z_1)*w. Где w первообразный корень шестой степени из 1. Теперь очевидно считаешь центры и проверяешь, что разности отличаются домножением на w.
>>345855>теория категорий>явно кто-то молодойТы ебанулся, категории уже с 40-хх годов активно используются.
>>345866Ты явно не знаком с историей группы Бурбаки.
>>345867Зато я знаком с историй теории категорий.
>>345868Тут все с ней знакомы, кроме школьников.
>>345869>всеДа тут не считая мимокрокодилов человек 5 постит по-моему. И во всем саентаче один и тот же стиль, то есть те же люди. Сколько тут всего народу, человек 20 в хороший день?
>>345871355 | 32 | 100>100 постеров
>>345872Но это 90% мимикроки? А костяк так сказать, стержень, это 2-3 мегапостера, которые друг с другом срутся?
>>345873И тем не менее каждый мат.тред набирает минимум по сто постеров до бамп лимита. Хотя меня тоже это удивляет, кто все эти люди? Может Абу постеров накручивает, чтобы придать вес доске.
>>345874Ну та, хз что это за статистика, может с проксями мутят
Так дауны, кто не сможет ответить на следущий вопрос с доказательством того я рот ебал нахуй:Все ли нетривиальные нули дзета-функции лежат на прямой Re(z)=1/2?
>>345882Все.
>>345882Риман, замолчите, вы умерли. Обратитесь в институт Клэя.
>>345883ну спорно, может и не все, а просто не нашли еще опровергающего алгоритма. всего то требуется найти решение для интеграла через численные методы, а никто не ищет, ибо компьюетрных мощностей не хватает. можно через хадуп попробовать.
>>345872как сто, я вижу 96. это шо такое пацаны? выпиливают постеров?
>>345885Когда найдешь тогда и поговорим(то есть никогда)
Идите в хинтай, умники
>>345078И ничего он не ебанут, просто биологию не знает. Математичен ли мир - не известно. Но вот все восприятие мира - это сплошная математика. Вот взять зрение. Мы же не видим фотоны. Фотоны падают на группы нейронов сетчатки, те - генерируют сигнал. В мозге все сигналы обрабатываются, например, выявляются границы объектов. Вы же понимаете, что нет таких фотонов, которые несут информацию "я означаю границу этого объекта" независимо от наблюдателя.
>>345930Причем тут биология?
Ты дифференциируем. Ты в гильбертовом пространстве, и я в гильбертовом пространстве. А потом сходимость в нашу честь... Сходимость в нашу честь. Сначала преобразуемся по Коши, потом интегрироваться пойдём. Производные равны нулю будут. Градиент. Сходимость. В мою честь сходимость. Я интегрируемый, и ты - в гильбертовом пространстве. Посмотри, какая у меня топология! Посмотри, какие у неё диффеоморфизмы! Я её ещё никому не показывал. Только тебе покажу. Посмотри! Это моя парадная. Специально вычислял! Посмотри, не бойся! Симплексы? Я их поменяю! Вот они, симплексы. Вот! Настоящие! Видишь? Математик. Я математик. Я их на преобразование по Коши надену.
>>345811Пуанкаре стал гением потому, что переболел дифтериеей типо же
>>345843Кокая мощная аргументация. Сразу видно что после ядерной войны сможешь с нуля построить всю высшую математику.
>>345946Да.
>>345946Этого не понадобится
>>345949--> /re
>>345950Нет, просто после ядерной войны эта хуита совсем бесполезна будет.
>>345951ОЛОДО РЕЙДЕРИ АНАНЕМ ЛЕВГЕОН НАБИГАЕМ ДОМИКИ ДЕРЕВЯНЫЕ МОЖНО ГРАБИТЬ КОРОВАНЫ
>>345953Ты поехал
>>345955--> /b
Аноны, вектор как n-tuple в некотором векторном пространстве (с соответсвующими операциями и аксиомами разумеется) - это достаточно абстрактное определение вектора? Или в еще более общеем случае вектор это не n-tuple? А что тогда?
>>346016Элемент векторного пространства.
тест
>>346019Так я и спрашиваю - в каком векторном пространстве элемент не n-tuple? Или наоборот, над каким полем должно быть определено в.п. чтобы элемент считался n-tuple? Что-то про координатные системы?
>>346022А, вот нашел ответ. Все-таки вектор это прежде всего геометрическое понятие, а все остальное - булшит.The proper treatment of calculus for functions of severalvariables requires vector ideas; the budding statistician andthe coming physicist need them; modern analysis is unthink-able without the notion of linear dependence and all that flowsfrom it. Throughout these courses the infusion of a geomet-rical point of view is of paramount importance. A vectoris geometrical; it is an element of a vector space, definedby suitable axioms—whether the scalars be real numbers orelements of a general field. A vector is not ann-tuple ofnumbers until a coordinate system has been chosen. Anyteacher and any text book which starts with the idea that vec-tors aren-tuples is committing a crime for which the properpunishment is ridicule. Then-tuple idea is not ‘easier,’ it isharder; it is not clearer, it is more misleading. By the sametoken, linear transformations are basic and matrices are theirrepresentations
>>346022В бесконечномерном пространстве вектор - не n-tuple. Бесконечномерные пространства встречаются очень часто. Например. R - бесконечномерное пространство над полем рациональных чисел. Но базис этого пространства не то что не конечен - он даже несчётен.Конечномерные векторы превращаются в n-tuple только после фиксации в векторном пространстве какой-то системы координат. В двух разных системах координат одна и та же n-tuple может соответствовать двум разным векторам, один и тот же вектор может иметь две разные n-tuple. Вектор и n-tuple - разные вещи. Правильнее думать, что над каждым полем K для любого натурального числа n существует "модельное пространство энок", и что любое пространство над K с dim = n изоморфно модельному пространству n-ок, причём многими разными способами.>>346028Вектор - это элемент векторного пространства. Векторное пространство - это абелева группа, на которой действует поле. Абелева группа - это движения какого-то объекта.
>>345946Всю не всю, но матан на уровне 17 века смогу.
>>346022Возьми, например, пространство последовательностей в R. Понятно, я думаю, как складывать последовательности друг с другом и как умножать их на скаляр.
сап, анон. Возможен ли факториал числа с плавающей точкой?
>>346059Разумеется. Гамма-функция называется.
>>346016Достаточно для чего?
>>346065Чтобы математики не доебывались, что ты не знаешь, что такое вектор.
>>345728Единственный смешной математический анекдот, который я когда-либо встречал:Emil Artin (1898–1962) was famous for the extremely clear andextraordinarily well presented lectures that he always gave withoutany notes. One day, midway in a proof, he suddenly hesitated andsaid: “this conclusion is trivial”. After a few seconds, he repeated:“it is trivial, but I no longer know why”. He then thought aboutthe question for another minute and said: “I know that it is trivial,but I no longer understand it”. He reflected on it a few momentsmore and finally said: “excuse me, I have to look at my lecturenotes”. He then left the room and came back ten minutes latersaying: “it really is trivial”.(Witnessed by Prof. Josef Schmid, Fribourg)
>>345397Бамп, посоны.
>>346076У этого анекдота борода больше чем у Перельмана.
>>346050Ох ебта, надо неделю над этим думать. Другими словами, определение вектора через n-tuple ни чем не "обобщеннее" определения вектора из школьной геометрии как отрезка прямой имеющего величину и направление? А просто его алгебраибическая интерпретация? То есть всегда из тюпла можно построить геометрический вектор, если "мерность" пространства позволяет конечно? Я думал n-tuple это прямо так абстрактно, что все.
>>346084>всегда из тюпла можно построить геометрический векторСначала нужно указать базис пространства. Одна и та же энка может быть координатами любого из векторов пространства, какого конкретно - зависит от базиса.>это прямо так абстрактно, что всеХочешь вменяемо определить векторное пространство - воспользуйся понятием "модуль над кольцом" и скажи, что векторное пространство - это модуль над полем. Поле - это частный случай кольца.
>>346090Ну да, я имел ввиду R^n, эвклидово (или декартово?!) пространство со стандартным базисом. А что такое эвклидово пространство без указания базиса?
>>346095Сколько тебе лет? Ответь честно.
>>346084Векторы в математике - это то, что ты можешь складывать и умножать на числа. Твои тюплы можно рассматривать как векторное пространство, но точно так же и функции на R (все/гладкие/полиномиальные/и.т.д), которые тюплами не являются, можно рассматривать как векторное пространство, потому что их можно умножать на числа и складывать.
Как научиться в картофан: не получаются всякие огромные выражения, постоянно теряются какие-то знаки или скобки или числа. У кого есть такая проблема??
>>346212>постоянно теряются какие-то знаки или скобки или числа.Может ты даун. У них подобные проблемы. Проверься у доктора.
Кто-нибудь когда-нибудь ещё пытался создать трактат по математике на подобие оного у Бурбаки? Что вышло? Можно ли почитать подобное?
>>346242Такое уже устарело. В наши дни люди пытаются формализовать математику полностью, чтобы кодить теоремы на каком-нибудь идрисе вместо описания их словами.
>>346242Рассел, но его трактат "Principia Mathematica" провалился. В наши дни формализацией математики занимается программистский проект с говорящим названием "Петух" (coq по-французски), успехов нет.Книги Бурбаки - единственный успешный проект такого рода.
>>346242Зачем, если есть Бурбаки. Подобные проекты не из воздуха появляются, нужно, чтобы назрела необходимость. Такого пока не произошло, хотя, по-моему, намечается. Конечно, появились компьютеры, по этому поводу уже сказали.
>>346249Ах да, категории тоже появились, это один из ингридиентов слова «намечается». Но одних категорий маловато. Впрочем, человечеству скоро будет не до этого. Война (вариант — катастрофа, кризис, коллапс...) начнётся, закончится, тогда и будет Бурбаки 2.0, в соответствии с первой версией.
>>346242Смысл? На тех же основаниях получится то же, что у бурбаков, но хуже. Вот если бы кто-нибудь осилил изложение всей математики с позиции пикрелейтед, то могло бы получиться нечто отличающееся от бурбаков. Но вряд ли кто осилит.
>>346245Что еще раз показывает, что программисты - петухи.
>>346245>В наши дни формализацией математики занимается программистский проект с говорящим названием "Петух" (coq по-французски), успехов нет.Кто тебе сказал, что успехов нет?
>>346256Тогда почему его ещё не используют все чистые математики? В чём вообще может заключаться полезность "Coq"?
>>346256Априорное знание и метаиндукция.
>>346259Маняматик обезумел.Сумеет ли галоперидол совладать с ним?
>>346262In Soviet Russia математик овладевает галоперидол.
>>346262Почему? Разве он не прав?
>>346264Он говорит что маняматикой надо заниматься ради маняматики, а это плохо. Априорного знания быть не моожет, яскозал.Но конечно же тут он возразит что две пересекающиеся прямые в н-мерном пространстве лежат в одной плоскости, этажиачивидна.Хуйню написал. да.
>>346266So cute ^_^ Мы просто в разных дискурсах с тобой находимся, понимаешь?
>>346250> появились категории> 2016
>>346272Понимаю.Ящитаю что занятие математикой ради математики это тупик и загнивание.Тот же спор о струне принес больше в математику чем нынешние попытки натянуть теорию струн на реальность.
ЗАЧЕМ НУЖЕН COQ?
>>346290Для написания proof-assistant-ов.
>>346295С ним можно вывести любую элементарную теорему?
>>346095Ну прочитай определение базиса. Например, (1, 1) и (-1, 1) - базис R^2.
Поясни за малые множества, Анон. Что это такое? Точнее, чем категория Sets отличается от Ens(от какого слова взято это сокращение?)? Как в Sets так и в Ens определяется некий "универсум", значит разница в количестве стрелок?
>>346362http://math.stackexchange.com/questions/46060/the-categories-set-and-ensEns от слова Ensebmble
>>346258>Тогда почему его ещё не используют все чистые математики? Потому что не все могут в него. Те, кто может - используют. Ты про гомотопическую теорию типов и Воеводского слышал?>В чём вообще может заключаться полезность "Coq"? В машинном доказательстве теорем, во-первых. Потом, написание кода, работающего строго по заданным спецификациям, т.е. программное обеспечение без глюков и ошибок. Ты и этого не знал?
>>346090>Например, (1, 1) и (-1, 1) - базис R^2.Ну это я кажись понимаю. Берем стандартный базис (1,0) (0,1) и поворачиваем на 45 CCW? Да не пацаны, я хоть и школьник, но не совсем даун (кажется), я понимаю что такое базис (по-крайней мере в координатном пространстве), я просто похоже хуйню спросил, потому что заморочился >>346343>сначало нужно задать базис и споткнулся я об "задать". т.е. является ли базис как бы "intrinsic property" любого в.п. В результате тупо через гугл "every vector space has a basis" -- 9000 хитов. Успокоился.
>>346388Любое конечномерное векторное пространство однозначно определяется размерностью n и поэтому изоморфно этим твоим тьюплам K^n, в этом смысле никаких (конечномерных) векторных пространств кроме K^n нет. Просто изоморфны они не одним способом - это и есть выбор базиса.
>>346390Че за хуйню ты несешь, поехавший? Школьник, не слушай его.
>>346390Кстати а поясни по хардкору за эти мои любимые тюплы. >Конечномерные векторы превращаются в n-tuple только после фиксации в векторном пространстве какой-то системы координат.Что есть в твоем понимании n-tuple?Как я понимаю это же просто абстрактный упорядоченный список каких угодно элементов. Вот есть у меня какое-то абстрактное в.п. уровня /b.То есть в нем - хоть пики точеные, хоть хуи дроченые. А базис я вообще не знаю какой.Разве не может у меня быть тюпл дроченых хуев? Он же вектор?тюпл дроченых хуев - это охуенный подарок был бы EOT на 8 марта
>>346393Ты ебанут? Всё правильно он сказал. Для любого целого положительного числа n и любого поля K есть только одно векторное пространство размерности n над полем K, с точностью до изоморфизма.>>346394Я не он, но поясню. Хуи должны образовывать абелеву группу. Ты должен быть в состоянии сложить два хуя и для каждого хуя найти минус хуй.
>>346395Пацаны вы охуенны! Я копипастаю ваши ответы, и пойду гуглить пару дней. Потом мамке расскажу, какой я у нее математик.
>>346394Открой учебники и прочитай нормальные определения, зачем ты хуйней страдаешь?n-tuple - это элемент декартова произведения каких-то n множеств.Второй вопрос я не понял. Алсо, я не он >>346390 , он вообще пиздец отбитый. > Любое конечномерное векторное пространство однозначно определяется размерностью nТогда бы говорили, что векторное пространство - это натуральное число.
>>346397У меня учебников хоть жопой жуй. Постоянно натыкаюсь на "подразумеваемые понятия". Толкования требуют как тора с талмудом. n-tuple видимо имеет разные определения в разных областях
>>346398https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D1%80%D1%82%D0%B5%D0%B6_(%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)#.D0.92_.D0.BC.D0.B0.D1.82.D0.B5.D0.BC.D0.B0.D1.82.D0.B8.D0.BA.D0.B5Вот здесь все понятно написано. Кортеж это и есть tuple.>>346395> Для любого целого положительного числа n и любого поля K есть только одно векторное пространство размерности n над полем K, с точностью до изоморфизма.Возьмем пространство, у которого вектора из R^n, а скаляры из Q и возьмем пространство, у которого вектора из Q^n, а скаляры из Q. Они не могут быть изоморфны, потому что в первом пространстве несчетное число векторов, а во втором - счетное.
>>346400Упс, я объебался, R^n над Q бесконечномерное.
>>346400>у которого вектора из R^n, а скаляры из QВот здесь у тебя проблема. Ты можешь взять произвольную абелеву группу и рассмотреть её как модуль над угодным тебе полем, с этим проблем нет. Rn образует абелеву группу, это тоже верно. Но кто сказал, что размерность Rn над полем Q будет равна n? Она не будет. Уже размерность R над Q не только не конечна, но даже несчётна.
Как научиться coq'у?
>>346407Зачем тебе учиться Петуху?
>>346408Я N-петух.
>>346397>Тогда бы говорили, что векторное пространство - это натуральное число.Что?
>>346412>>346397>Тогда бы говорили, что векторное пространство - это натуральное число.Вообще-то вопрос осмысленный. Разница в том, что у натуральных чисел нет нетривиальных эндоморфизмов, а у векторных пространств они есть.
>>346413Если выбрать каноничных представителей для каждой размерности и каноничный набор сюрьекций и вложений между ними, то получим, что категория конечномерных векторных пространств и линейных отображений между ними расслоена в групоидах над категорией симплексов - см.https://ncatlab.org/nlab/show/simplex+categoryи https://ncatlab.org/nlab/show/fibration+fibered+in+groupoids
Реквестирую литературу по теории групп (интересуют группы Ли), если будет книга с со спецификой физики конденсированного состояния. Могу и на английском, желательно, посовременнее, наверно. Имею математическую базу физического факультета.
>>346421Вроде бы есть Монастырский М.И. Топология калибровочных полей и конденсированных сред. Судя по оглавлению, необходимый бэкграунд там излагается, судя по названию, оно по теме. Больше сказать не могу
>>346429Спасибо, пока гуглил, наткнулся на любопытные обсуждения.
>>346421Есть у Рубакова две книжки называются "Классические калибровочные поля". Там есть кое-что, но приложения тривиальные в духе спонтанного нарушения симметрии. Тем не менее весь групповой формализ, который ты встретишь в кондесированных средах там присутствует кроме, может быть, обсуждения конформной группы.
>>346415>набор сюрьекций и вложений Почему у сюръекции нет удобного аналога? Типа "всеобразие".
>>346437Иногда говорят отображение в/на, но это тоже не всегда удобно.
>>346413> у натуральных чисел нет нетривиальных эндоморфизмовЕсли ты хочешь чтобы это соответсвие было функториально, то есть.
>>346437Наложение.
>>346439Ну да, наверное. Но вот автоморфизмов по-моему все таки нет (или есть?).
>>346441Я что-то не улавливаю.Если ты хочешь чтобы соответствие натуральные <-> конечномерные пространства было функториально, то категория целых должна просто копироваться с категории векторных пространств, таким образом морфизмы в этой категории это множество матриц n x m. Автоморфизмы из n в n это обратимые n x n матрицы.
>>346447Я и не говорил, что строю соответствие между двумя категориями, наоборот я хотел показать, что это разные категории. Если определить категорию натуральных чисел как пишешь ты, то безусловно они будут эквивалентны. Но первоначальное утверждение было >Тогда бы говорили, что векторное пространство - это натуральное число.и я хотел продемонстрировать, чем же конкретно отличается категория векторных пространств от натуральных чисел.А именно: симплициальная категория имеет в качестве объектов множество натуральных чисел, а в качестве морфизмов неубывающие отоьражения множеств {0,1,...,m}->{0,1,...,n}. Все эти морфизмы можно разложить в композицию двух типов отображений n->(n-1) и n->(n+1), отвечающих проекции симплекса на i-ю грань или включению i-й грани в симплекс.Тогда выберем набор 'каноничных' n-мерных пространств для каждого n и набор каноничных вложений и проекций R^n->R^(n+1) или R^n->(n-1), отвечающих вышеописанным отображениям. В таком случае любое линейной отображение можно представить в виде композиции обратимого отображения (приводящего базис к "каноничному") и композиции этих вложений/проекций.Теперь сопоставим каждому в.п. его размерность, а каждому лин. отображению композицию соответствующих ему отображений включения грани/проекции на грань в симплициальной категории.Тогда нетрудно видеть, что слой этого функтора (т.е. набор объектов, отображаемых в заданный объект и с набором морфизмов, которые отображаются в тождественный морфизм в категории-цели) над любым нат. числом есть категория n-мерных пространств с морфизмами-обратимыми отображениями. Эта категория является группоидом (это значит, что каждый морфизм в ней обратим). В свою очередь это значит, что первоначальная категория расслоена в группоидах (на самом деле только pre-fibered, потому что нужно выбрать cleavage, но это детали).Таким образом разница между категорией в.п. и категорией нат. чисел состоит в наличии в первой у каждого объекта нетривиальных автоморфизмов - что я и хотел показать.
>>346451Поправка>в качестве объектов множество натуральных чиселв качестве объектов множество неубывающих последовательностей нат. чисел>отоьражения множествотображения множеств.На самом деле здесь есть небольшая неточность - нам нужно рассматривать не категорию всех симплексов, а только категорию невырожденных симплексов, т.е. не являющихся гранью. Иначе придется иметь дело с "вырожденными векторными пространствами" которые имеют размерность меньше n, но должны бы считаться n-мерными следуя нашим определениям. Переход к невырожденным симплексам исправляет проблему.
Ананасики, я даун. Что читать сначала чтобы разобраться в математике: Лэнга или ван дер Ваардена?
>>346457Лэнга, он на пятьдесят лет новее и няшные категории есть.
>>346457Не вкатишься. Проботай стандартный институтский курс вроде Кострикина или Винберга.Математика = алгебра. Дебил, что ли?
>>346460Алгебра является универсальным языком математики, что поделать.
>>346460>Дебил, что ли?-->>Ананасики, я даун>Проботай стандартный институтский курс вроде Кострикина или ВинбергаСпасибо. Скачал Винберга. Количество учебников к прочтению начинает пугать, попробую читать все параллельно. >>346458Спасибо. Хотя мне до категорий еще как до Австралии. Алсо, ловите чихающего тюленя.
>>346462А смысл читать несколько? Во всех учебниках излагается стандартный материал. Ленг (современное издание, а не 1967 года) и Aluffi Algebra chapter 0 в этом смысле просто самые полные. Кострикин лично мне не нравится, слишком сильно вязнет в деталях и почти не излагает современные разделы. Винберг, Artin и т.п. undergraduate курсы примерно эквивалентны друг другу, можно читать любой.Считать теорию категорий "продвинутым" предметом тоже по-моему неправильно - никаких содержательных результатов там нет, это просто язык современной математики. Все что реально может из нее понадобиться - несколько утверждений о сопряженных функторах и лемма Йонеды. Даже читать по ней какие-нибудь пособия я считаю излишним.
>>346463>никаких содержательных результатов там нетНетривиальные результаты там есть; несвѣдь их.
>>346464Смотря что считать нетривиальным результатом. Для меня это такой, который бы привёл к решению некой математической проблемы, не относящейся изначально к области теории категорий. Вот например методами теории моделей передоказали mordell lang conjecture. Хотелось бы услышать о чем-то подобном в теории категорий.
>>346465Неужели на всём архиве нет ничего такого? http://arxiv.org/list/math.CT/16?show=allhttp://arxiv.org/list/math.CT/15?show=allhttp://arxiv.org/list/math.CT/14?show=allhttp://arxiv.org/list/math.CT/13?show=allhttp://arxiv.org/list/math.CT/12?show=all
>>346463>лемма ЙонедыА я ведь загуглил что это такое. Лол, вроде как это обобщение теоремы Кэли. Но если теорему Кэли я понимаю и, наверное, смогу доказать, то в формулировке этой леммы я даже слова в осмысленные словосочетания связать не могу.
>>346467Во-первых, я не понял, при чем здесь теорема Кэли. Во-вторых, она же в уме доказывается.Что такое функтор C->Set? Это отображение, ставящее в соответствие каждому объекту X из C множество F(X), каждому морфизму f:X->Y отображение множеств F(f):F(X)->F(Y) так, что сохраняется ассоциативность и единичный элемент. Представимый функтор имеет вид Hom(A,X) для некого объекта A (здесь используется малость С, т.к. Hom должен быть множеством). Пусть теперь дано преобразование Hom(A,-)->F, поставим ему в соответствие образ в F(A) тождественного морфизма id_A из Hom(A,A). Наоборот, пусть задан элемент a из F(A). Тогда данному g:A->X поставим в соответствие F(g)(a) из F(X). Легко проверить, что это удовлетворяет определению естественного преобразования, а также что эти две конструкции обратны друг другу. Вот и лемма Йонеды.
>>346468>она же в уме доказываетсяПредварительно нужно потратить некоторое время на понимание определений. А так да, ничего сложного.
>>346362Sets, категория всех малых множеств, не является малой категорией. Класс её объектов есть собственный класс, ибо. Ens инкапсулирует подмножества какого-то множества, не являющегося собственным классом (т.е., это не универсум во всяком случае).
>>346468>при чем здесь теорема КэлиВикипедия так говорит. >она же в уме доказываетсяЕсли ты разобрался в теории групп, а я только начал разбираться. Плюс я не знаю что такое функтор, что такое морфизм и т д, поэтому такое определение леммы для меня малоинформативно. Пойду, короче, Винберга читать. Может поумнею.
>>346503Морфизм - это стрелка между объектами категории. В разных категориях природа морфизмов различается. В Set это функции на множествах, в Grp гомоморфизмы, в Mat(K) это матрицы с коэффициентами из K. Функтор - морфизм целых категорий. Технически функтор состоит из функции объектов и функции морфизмов. Пусть A и B категории, тогда функтор F : A -> B сопоставляет объекту A из A объект B из B и морфизму объектов f : A -> A' из A морфизм объектов g : B -> B' из B. Функторы обязаны сохранять тождественные морфизмы, т.е., если idA : A -> A, то F(idA) = idB (а след-но прицепом и изоморфизмы). Ещё они схороняют композицию морфизмов.Изи.
>>346451> неубывающие отображения множеств> n->(n-1)Я не понял. Но вообще твоя категория - это если просто повыкидывать из категории каноничных пространств все морфизмы, кроме одного для каждых двух пространств так чтобы это осталось категорией. У такой категории изоморфизмов, конечно, нет, но при чём тут она?
Бляяяять в учебнике Зорича 2016 года опять эти ебаные окрестности, как же бомбит от этого
>>346527>окрестностиА что должно быть?
>>346528гамологии)
>>346507>Морфизм - это стрелка между объектами категорииЯ стрелку только в смысле отображения знаю. Морфизм - это отображение?>Функтор - морфизм целых категорий.Звучит, вроде бы, понятно, но очень уж туманно. Где взять разжеванные для даунов примеры?
Посаны, пикрелейтед задача сложная или я тупой? Это из Львовского. На 2м пике мое решение, решал 3 часа. Как надо было использовать тот факт, что ln вогнута и красиво решить?
Эй, математики, хочу такое спросить. Вот возьмем всю математику. Теперь удалим из неё все обозначения Бурбаки. Потом все обозначения теории категорий, Hott, в общем, любой формализм. Что-то остается от математики? Если да, вы можете это назвать?
>>346537Оформил решение в техе - сразу видно что ты продвинутый малый. Следующий шаг - верифицируешь решение в петухе (Coq) - и никаких вопросов не останется. А Львовский со своими выпуклостями пусть на хуе крутится.
>>346542Петух это, конечно, смешно, но вопрос-то был не об этом. Суть упражнения была в какой-то фишке, которую я не понял.
В английской Википедии нормальные статьи по математике? Их там действительно много, мне интересно, можно ли по ним же изучать материал?Вот, например, статья по векторным пространствам: https://en.wikipedia.org/wiki/Vector_space
>>346557нет нельзя.
>>346557>>346559Но написано лучше чем в русской.
Посоны, вы тут, судя по названию, все умные. Расскажите мне, зачем нужны линейные, квадратные и т.п. уравнения. Что было понятно, такие как на пикче. Я смутно помню, что в классе 5-м мы такие решали просто тысячами, там еще были разновидности со скобочками. А еще были с дробями, это вообще пушка, я чуть с ума не сошел от них. Так вот, зачем это все было нужно? Я тогда у учительницы постеснялся спросить, это все имеет какой-то практический смысл или просто игры ума и все такое?
>>346570>это все имеет какой-то практический смыслРазумеется. Нахождение корней уравнений это база ВСЕГО. Вот пример. Допустим, мы знаем уравнение изменение координаты какого-то тела с течением времени:x = x0 + v0t + at^2/2где x0 - начальная координата тела, v0 - начальная скорость тела, a - ускорение, они нам заданы. Решая квадратное уравнение, мы можем найти в какой момент времени тело будет в точке x.К примеру, 5 + 2t + 3t^2 = 6 - в наших терминах будет означать, что тело начало движение в точке с координатой x0 = 5 м, начальной скоростью v0 = 2 м/с и ускорением 6 м/с^2. Нам интересно, в какой момент времени тело окажется в точке x=6. Решая это уравнение, находим, что t=1/3
>>346571Прибавлять скорость к ускорению. Физика так не работает, лол.
>>346575>Прибавлять скорость к ускорению. Физика так не работает, лол.Бессмысленный набор текста, что тебя беспокоит?
>>346577>что тебя беспокоит?Что скоро может третья мировая начаться, что цены на бананы в три раза поднялись, а годных бананов и вообще не найти стало, что очки новые покупать надо, а я не знаю где и какой марки, что я до сих пор формализм Ламбека не освоил, и прочее по мелочи.
>>346537Ничего, что применение ln дает неравенство (третья формула в решении), которое по определению означает вогнутость?
>>346580
28 или 24
>>346588В точности 28. Из внутренней точки, являющейся общим концом нарисованных отрезков, проведём по отрезку в каждую из вершин квадрата. Дальше вспомним, что площади треугольников одной высоты на равных основаниях равны. Дальше элементарно.
>>346594А здесь почему неправильно
>>346595Фигуры делятся не пополам.
>>346596>>346595Вы блядь серьёзно? Это же ёбаная трапеция. Хуле вы не применяете соответствующие формулы?
>>346597Где ты увидел трапецию, наркоман?
>>346588Разве BC не равно AD
>>346598Обычные, сука, прямоугольные трапеции!Это же, ёбта, математики тред. Хуле тут все такие тупые? Хотя что это я, это же математики тред.
>>346600У трапеций оба основания должны быть параллельны. Ты тут параллельность видишь?
>>346602Формулу можно использовать всё равно.
>>346559Почему?
Есть где-то инфа, как выводили все табличные интегралы? Срочно надо
>>346680Таблица производных, в которых дана функция y и для неё y'. Интеграл берется от f(x) с учетом, что f(x)=y' и вычисляется у.
>>346584Почему оно означает вогнутость?
>>346570Тебя в un забанили что ли или в гугле?
>>346702Если с первыми еще все ясно, то как получился пикрел?
>>346772 (OP)>>346772 (OP)>>346772 (OP)
>>346705>то как получился пикрел?Ну можно к радиальным координатам перейти, а потом обратно.