Основные списки литературы:
http://pastebin.com/raw/4iMjfWAf - classic
http://pastebin.com/raw/4FngRj6n - dxdy
Архив тредов (там же остальные списки литературы и полезные ссылки):
https://pastebin.com/raw/qhs0WNbY
Удваиваю. Мотивировки в учебниках математики это всегда ор выше гор. Вот сейчас хотел окунуться поглубже в теорию меры. Оказывается есть такая функция Дирихле (1 в рациональных и 0 в остальных точках). Так вот математики весь сон потеряли от того как хотели ее проинтегрировать да все никак не получалось. Пришлось высрать целую теорию с сигма-алгебрами и мерами Лебега под это дело. - такова история математики согласно практически всем обучающим курсам по теории меры.
>>123736
>Саймонс вон рентек запилил, потому что захотел.
Ну чтобы гоев наебывать просто "захотеть" маловато, тут еще как минимум (((правильная))) родословная нужна.
>>123737
Нормально у них там кассиры получают, больше чем СВОшники в окопах.
Ну у теории меры есть понятная мотивировка - собственно что значит длина/площадь и пр.
Есть определение, понятное со школы: длина - сколько единичных отрезков или долей от него вкладывается в данный отрезок.
Вроде всё хорошо, но потом ты вспоминаешь, что бывают и иррациональные длины, и в этом случае это определение становится бесполезным.
Возможно опечатка, руками раскрывать все тут скобки я не хочу. Но схема такая.
t > 0 потому что в знаменателе в вычитаемом под корнем есть 1/t, подкоренное выражение обязано быть положительным. Тк t в знаменателе, то t не может равняться 0, значит t > 0;
Знаменатель всей дроби не должен равняться 0. Возьми снизу выражение, приравняй к 0 и реши. Получишь, наверное, 1. Значит t не должно быть равно 1.
Ладно, я раскрыл, там опечатка в твоем решебнике.
Всм подставить вместо t в исходное выражение и не получится нигде ничего страшного вроде делений на ноль или корней из отрицательных чисел? Да, это я заметил. Спасибо за ответ
>>123748
> t > 0 потому что
Это я сам понял
>>123749
Спасибо. Уже вторая опечатка у мудаков. И каждый раз я на себя думаю. В задачнике про одз вообще не спрашивают, но раз уж в решебнике пишут, то захотелось потренироваться
>Уже вторая опечатка у мудаков.
Можешь считать это тоже частью подготовки к серьезным математическим исследованиям. Рома Михайлов рассказывал что в научных статьях тоже говна навалено выше крыши.
Бросай эту поебень, математика для шизоф) если сам не хочешь ошизеть конечно
Вкатывайся в физику лучше, прокачаешь интуицию хоть
Или кодинг - миллионы будешь стричь с мамонтов, стартап свой откроешь
>Или кодинг
Более отупляющая работа только на конвеере работать, на заводе, губки фасовать.
Рому уважаю. Он ещё говорил что серьёзные математики делятся на субкультуры по изучаемым областям и если ты сел читать известные работы в какой-то из таких, то ты просто запутаешься, т.к. там есть ошибки и недоговорённости. Надо вливаться в тусовку, погружаться в живую среду. Я в его тред нарезки заливал
>>123755
К сожалению, я тупой для настоящей математики уровня шизоф. В какой-нибудь кодинг и сверну, но хотелось бы не совсем обезьяний. Физика интересна, но в меру
Двачую. Интересно почему физику и математику в школе не объединяют? Мне вот гораздо легче учить матешу на физических примерах, чем на абстрактных.
Матешу легче всего понять через геометрические интерпретации, если ты не ебанат (тогда хорошо работает комбинаторика). Физические интерпретации для классов коррекции.
GPT-5 Pro нашел контрпример к вопросу из списка Саймонса.
https://t.me/math_hedgehog/3538
Маняматики, приготовьтесь идти на завод
>https://t.me/math_hedgehog/3538
>
>Маняматики, приготовьтесь идти на завод
Они там книгу какого то пездоглаза Тао переводят
если пройти по ссылке, там написано, что был найден какой-то пример путём перебора. это как задача о четырёх красках
>Маняматики, приготовьтесь идти на завод
Ты думал, математикой занимаются, чтобы не идти на завод, что ли?
Тупые ебланы вместо того чтобы переживать за математиков и программистов чем занимается меньше 0.1 процента населения, лучше бы переживали за водятлов, заводчан и продаванов - чем занимается 99 процентов населения и когда их пидорнут вот тогда и начнется настоящий трудовой апокалипсис.
>>123769
В этом плане как раз есть некоторая экзистенциальная тревога. Может быть если ты и так нихуя не рассчитываешь ничего нового открыть то похуй кому в рот заглядывать ИИ или всяким Гротендикам, но все равно не по себе от того что человечеству остается только сидеть в сторонке и смотреть как машинами дела делаются. Не то что это прям завтра начнется, если вообще когда либо, но все же.
Пол Ричард Халмош писал: «Математика не является дедуктивной наукой — это клише. Если вы пытаетесь доказать теорему, вам недостаточно перечислить посылки, а затем начать рассуждения. Что вы делаете, это пробы и ошибки, эксперименты и угадывания. Вам нужно обнаружить, что это за факт, и то, что вы делаете, похоже на работу экспериментатора в лаборатории»
мимо
>В этом плане как раз есть некоторая экзистенциальная тревога.
Возможно. Понемногу только.
Ведь можно рассматривать математику как игру. Я так делаю. На компе играть сил нет, а вот математика супер.
Типа установил некие проблемы или даже аксиомы, прошел по неким цепочкам рассуждений, повстречался с парадоксами. Самому человеку все равно интересно.
Физика сегодня это математика сто лет назад. Что там осиливать, лол
все так, главное элементарные частицы запомнить и новые добавить
>Матешу легче всего понять через геометрические интерпретации
Как бесконечность интерпретировать? Как интерпретировать К-теорию?
K-теория в сущности своей отвечает векторным расслоениям над многообразиями. она имеет геометрическую природу с самого начала
А бесконечность интерпретируется с помощью бесконечно удалённых точек, и я хз, что может быть нагляднее.
Химиков за таблицу ты тоже доёбываешь? Я просто хочу разобраться
У них элементов в 3 раза меньше да элементарными они их не называют.
>Как интерпретировать К-теорию?
$K_1$ можно понимать как обобщение детерминанта для к.п. проективных модулей над произвольным кольцом / для к.п. модулей над регулярным кольцом.
А вот и нет. Современная теоретическая физика (например, теория струн) во многом зависла из-за недостаточного развития математики в этой области. Тут в соседнем треде кидали статью Вербицкого, где он жаловался, что в современной математике большая часть активных исследований так или иначе относится к теоретической физике.
теория струн зависла разве не из-за отсутствия экспериментальных подтверждений? будь я физиком, я бы испытывал серьёзные проблемы с мотивацией, чтобы заниматься какой-то странной теорией, которая к реальности имеет отношение лишь едва ли (физика есть наука о реальности)
математик, слава богу, не связан подобными ограничениями, его мотивация происходит из совсем других вещей
Они их называют элементами, но ведь не элементарными, дело закрыто. Лол, ну ведь дурацкая доёбка. Выше по треду вспоминали перенормировки в ктп, вот тут действительно постыдная хуйня, а это детсад какой-то.
>>123782
>отвечает векторным расслоениям над многообразиями
А где геометрические интерпретации?
>>123788
>бла-бла-бла
А где геометрические интерпретации?
>>123784
>бесконечно удалённых точек
>нагляднее
Очередная мат-шиза.
>А где геометрические интерпретации?
векторные расслоения над многообразиями - чисто геометрическое понятие
>>123790
Есть результат Строминджера и Вафы ещё из 90х, объясняющий энтропию чёрных дыр через струнный подход, там очень красиво получилось. Вообще, теория струн похожа на наивную теорию множеств, если так подумать - больше вопросов, чем ответов; но интуитивно само направление представляется правильным. Там действительно есть проблемы с матаппаратом и даже с базовыми формулировками - то ли это струны, то ли браны, что там с размерностями, вот это всё. Программа Виттена выглядит наиболее интересной как на уровне идей, так и по подходу. Что касается мотивировок: честно говоря, там уже после кварков можно было задать себе вопрос "что это за хуйня и зачем мы вообще этим занимаемся"
>матшиза
Сначала посмотри на сферу Римана, а потом пойди нахуй, петух-неосилятор.
красиво, конечно но не очень верится: браны какие-то, что за чепуха. ничего об этом не знаю
Сначала погаси свои (мат-)пидорские фантазии, шиз, а потом завали ебальник вонючий, опять маразм выпирает.
>>123793
>топологическое пространство
А, выдуманные пространства. Понятно.
А что не чепуха, если так подумать? Тем не менее, navigare necesse est, поэтому и
если так подумать, то математика куда более реальная и настоящая, чем физика, а любое открытие в ней непременно и абсолютно. потому я и стал изучать её вместо физики, хотя сначала физика увлекала меня сильнее
>математика куда более реальная и настоящая
Лягушка и болото.
Ты прав. Проблема лишь в том, что любые математические открытия сами по себе влияют на реальность примерно так же, как сонеты Шекспира. Физика же соединяет математику с осязаемой реальностью, пусть и криво.
Ну че, где там ваши открытия и прорывы, бездельники?
>похоже на работу экспериментатора в лаборатории
Похоже не значит идентично. 2+2=4 именно что дедуктивно, и это можно доказать на 100%. И все доказательства в математике именно что дедуктивные. А в физике доказательства индуктивные, они основываются просто на мат статистике и экстраполяции/обобщении частных случаев на всю совокупность. Объективно у нас нет ни одного повода верить в физические законы, мы в них именно что верим на основе предыдущего опыта. Например, сравним два силлогизма
Сократ - человек, все люди смертны, следовательно, Сократ смертен.
Пушкин - поэт, все поэты - литераторы, следовательно, Пушкин - литератор.
Во втором случае мы называем всех поэтом литераторами только потому что слово "литератор" мы определили таким образом, что оно обозначает либо поэтов, либо прозаиков. Здесь нет отсылок к эмпирике. Это отличается от высказывание, что все люди - смертные, потому что этот факт уже следует из эмпирического опыта.
Мимо если что, не тот анон.
Ты не понял цитаты совершенно. Из моего личного опыта всё именно так, как Халмош и пишет, вот на 100%. Я имею в виду опыт работы в чистой математике после окончания образования.
А твой пост отдаёт безопытной первокурщиной, где твоё общение с математикой начинается и заканчивается лекциями и учебниками. Что само по себе не плохо, но просто не даёт тебе перспективы достаточной для обсуждения эпистемологического процесса в математике.
>Объективно у нас нет ни одного повода верить в физические законы
>Объективно
Это пишет очередной представитель идеализма. Опыт критерий истины, а не фантазия.
Я бы ограничил это не до эпистемологии как таковой, а до процесса построения гипотез. Потому что именно эпистемология, то есть теория познания, у дедуктивных и индуктивных наук в корне различается. Безусловно, математик может использовать индукцию в том смысле, о котором писал Аристотель, то есть как наведение на гипотезу. Но как доказательство в математике она не работает. Я могу привести бесконечное количество примеров, когда чётное число делится без остатка на восемь, но это ничего не доказывает. В эмпирических науках всё по-другому, и это в том числе мат статистикой описывается.
>>123815
Да просто потому мы определили 2 как 1+1, 3 как 1+1+1, а 4 как 1+1+1+1
именно поэтому 2+2=4, потому что
(1+1)+(1+1) = 1+1+1+1
1+1+1+1 = 1+1+1+1
И всё знание в математике имеет именно такой характер.
>Да просто потому мы определили
Вот именно. Определили, но на основе опыта.
Нет, всё как раз наоборот. Это мы свой опыт описываем на основании каких-то терминов, на основании нашего дискурса, а не наоборот. Без категорий нам в опыте не дано нихуя. Математика как наука как раз и занимается, что даёт нам язык для моделирования реальности в виде утверждений наших теорий.
Как математики придумывали свой язык, тут уже нет никакой метатеории, как, например, в задаче с мостами. Просто так сложилось и всё, что человек, решая частный случай, придумал общую теорию.
>Просто так сложилось и всё
>>123816
>Да просто потому мы определили
Лол. Ну вот поэтому ты и не понимаешь, что тебе аноны тут толкуют.
сначала научись не пытаться выпендриваться использованием языков, которых не знаешь, мудило :)
Никакой метатеории нет. Нет области знания, которую бы я со своим формализмом не понимал бы, а остальные понимали. В моих силах изучить теорию графов, но не в моих силах изучить что-то такое, что позволяет придумать что-то сопоставимое с теорией графов. Потому что нет этого "чего-то".
>Ну вот поэтому ты и не понимаешь, что тебе аноны тут толкуют.
Потому что нет этого "чего-то". Это уже уровень Евклида, который теорию считал божественным откровением, от слова Теос, то есть бог. Кстати, как он геометрию придумал? Рационального объяснения нет.
>Кстати, как он геометрию придумал?
Мне кажется, что тут как и с другими открытиями - либо случайно мысль в голову пришла, либо он долго и кропотливо думал.
Например, я хуй знает, как случайно можно придумать теорию категорий, теорию множеств или геометрию. Это либо иной уровень гениальности, либо долгая и кропотливая дрочь.
это значит, он придумал, как говорить про геометрию на языке математики
в принципе, заслуга Евклида именно в том, что его книга - это первый из известных человечеству трудов, в котором построена математическая теория в современном понимании: задана система аксиом и из них выводятся какие-то факты в виде теорем
этот подход принципиально отличается от "видеть фигуры", поскольку основное средство исследования в нём - это строгая логика, а не субъективные ощущения наблюдателя
современная математика исследует геометрические объекты, которые "разглядеть", как правило, в принципе нельзя (такие как топологические пространства, вызвавшие бартхерд у анона выше), только их отдельные примеры
Лично я под "придумал геометрию" понимаю ещё и придумывание целой области математики. Например, теорию графов придумал Эйлер для решения шуточной задачи про мосты, а вот как придумали теорию категорий, множеств и т.д. - вот это загадка. Вот я и хочу узнать - а как придумываются математические теории, гипотезы и пр.
>Что значит «придумал геометрию»?
Это значит, что ты долбоёб и вне контекста, вот и всё. Я не должен тебе это объяснять, ты сам должен в этом разобраться, если ты не ебалько.
Ну да. Были наблюдаемые вокруг геометрические формы, была человеческая речь. Евклид долго и упорно решал задачу, как можно человеку содержательно говорить о фигурах.
Евклиду потребовались гениальность и много труда, чтобы произвести такое на свет. Но это всё равно не выглядит, как что-то, изобретённое случайно, взятое с потолка. И даже аксиоматический-дедуктивный подход, выбранный им, вполне себе в духе античной философии.
Про теорию категорий и теорию множеств я вообще сначала подумал, что это иронично написано. Но это ведь буквально яркие примеры математических "открытий", которые появились на свет в ходе индуктивного обобщения уже существующих наблюдений.
>>123827
Блядь, я вообще не имею в виду, что Кантор - тупой. Это очень умный человек, но речь не об этом. То же самое с Евклидом, была предпосылка в виде, собственно, геометрии, то есть измерения земли. В Древней Греции была приватная собственность на землю, в отличии от общественной. На основании этого развилась геометрия как ремесло, а Евклид на основании этого придумал геометрию как науку.
Короче, идите нахуй, меня заебала ваша тупизна, дальше сами.
Да нет там никакой загадки. Теоркат, например, возник из-за развития гомологической алгебры. Естественные преобразования там проявляются очень наглядно, отсюда возникает идея функтора, а от него - сами категории. Дальше стало быстро понятно, что это универсальная штука. В других случаях истории плюс-минус похожие. Вообще, есть же история математики, сядь да почитай, там всё это написано.
Думал ещё специально отметить, что под геометрией я имею в виду именно теоретизирования насчёт фигур, которые практиковались ещё до Евклида, а не египетскую прикладную геометрию, но решил, что это очевидно и так…
Думал ещё специально отметить, послать тебя в пизду или нахуй, но решил всё таки нахуй.
Что предлагаешь почитать по гомологической алгебре чтобы было с контекстом того кто какие задачи решал, а не хуярили бы с первой страницы определением цепного комплекса?
мимо
Хз, посмотри в английской вики, в ней обычно исторический бекграунд теорий описан неплохо, и ссылки на литературу есть. Просто мне такие моменты в целом до пизды, честно говоря.
В вики как раз ничего тут по истории нет.
>>123836
Есть History of homological algebra от Вейбеля
Наоборот.
Физика во многом основана на интуиции и здравом смысле. Дальше уже идет математика. Многие идеи в математике как раз пришли из физики.
> Что там осиливать, лол
Палишься что даже бакалавриат не осилил, ни по физике, ни по математике)
Ну вот же, тут аообще вся хуйня
https://en.wikipedia.org/wiki/Timeline_of_category_theory_and_related_mathematics
Магистратура мехмата/физмата всех вузов, кроме самых топовых, это вопрос исключительно усидчивости, там нет вообще ничего действительно сложного. Даже уровень подготовки абитуры особенной роли не играет. Во втором случае очень желательно иметь либо какие-то способности, либо нормальную базу, иначе можно просто ёбнуться на первых курсах. Не смеши, кароч)
Почему ты все еще не занимаешься передовой математикой. Это же буквально всем подвластно.
Это значит, что почти никому не подвластно, кроме генетических мутантов.
Представьте, Маск выкатит чип теорката, теории чисел или что сейчас считается самой сложной областью в математике.
Комбинаторика, которая включает в себя симплициальную теорию гомотопий (т.е. комбинаторный "скелет" топологической теории гомотопий), а поэтому и inf-формализм, посложнее будет.
Знаешь, Вовка, не нужна тебе такая машина, брат. Поверь мне на слово.
Что предпочитаете выращивать дома, котиков или цветочки?
https://kerodon.net
Господи, это реально Лури дизайнил?
Ты залётный айтишник?
Вкатился уже в математику или физику?)
>Знаешь, Вовка, не нужна тебе такая машина, брат. Поверь мне на слово.
Дашка...
$\forall P(x)\in\mathbb{Q}\[x\]\forall x_0\inX(P(x))=\{x\in\mathbb{C}:P(x)=0\}arg(x_0)=\pi q, q\in\mathbb{Q}&
Тут arg это аргумент комплексного числа со значением из отрезка $[0,\pi]$.
>>123865
А теперь буквами. Не может быть такого, что ты не нашёл ни одного упоминания теоремы в интернете.
>>123865
Твоё утверждение не верно: https://math.stackexchange.com/questions/156712/can-the-argument-of-an-algebraic-number-be-an-irrational-number-times-pi
Зато ни один пидорас не скажет "а вот про эту конструкцию ничего нету", расписано вообще всё.
>>123864
Если я правильно понял, ты утверждаешь, что алгебраическое число не может иметь аргумент, являющимся произведением $\pi$ и иррационального числа (т.е. что аргумент не может быть несоизмеримым с $\pi$).
Это, кажется, не так. Алгебраические числа образуют поле, поэтому их сумма и произведение всё ещё будет алгебраическими. Возьми числа 3, 4 и $i$. Они, очевидно, алгебраические. Тогда число $3+4i$ тоже будет алгебраическим, т.е. будет корнем какого-то многочлена с рациональными коэффициентами. Но его аргумент равен $\arctan\frac{4}{3}$, но он как раз несоизмерим с $\pi$: https://www.mathnet.ru/links/9261a24195ab99fbf7d07eab5def5571/mp278.pdf
Моде попробовать её учить. Если не получается, можно попробовать учить усерднее.
Что значить "учить"? Какая разница между "учить" и "зубрить"? И как мне это поможет по настоящему понимать математику?
А, ладно, похоже понял. Ложный стейтмент - это не отрицательный стейтмент.
Или, точнее не обязательно отрицательный стейтмент. Типа из 0->1 мы смотрим на А и знаем, что ложный. А если из 0 в 0, то рассматриваем как просто как отрицательные стейтменты. И тогда импликации выдают 1. Я правильно понял?
Хотя не, всё хуйня, в следующем упражнении это выстреливает, я имею в виду неопределенность стрелки.
Это очередной типичный кейс высокомерного математика долбоеба и мозгоеба который подсовывает проблему над которой размышляют логики/философы уже несколько тысяч лет (g: парадокс материальной импликации) в качестве упражнения для разминки читателя.
на изи срусь в /math/, обвиняю всех в тупости, я уже математик, или ещё нет?
>указывать мудакам и невеждам на их место - это правильно
Только если ты не сам таков, а тут ты ещё и ошибся, чмо. Подтекай теперь.
ой, как завернул, смотри равновесие не потеряй, опять в говно шлёпнешься
ого крутой кейс, вот бы в нём свои какашки прятать драгоценные
А почему никто так не определяет? Понаписали 200 разных учебников, а в итоге в каждом одна и та же копипастная хуита...
>инъективно
Тут имелось в виду инъективно для любого $X$, конечно же.
Что ещё нашёл, для справедливости: именно так мономорфизмы определяются в книжке Bucur&Deleanu, и ещё таки явно выписывается на нкатлабе. Первый раз, когда что-то полезное на нкатлабе увидел, обычно там какой-то мастурбационный трэш.
>>123914
это практически то же самое, что оригинальное определение,
только труднее (потому что его надо расшифровывать в то время, как в оригинальном определении записывается сразу формула)
при наличии нескольких определений хорошо произносить то, которым удобно пользоваться. если ты так ощущаешь, что тебе удобнее понимать рассуждения про мономорфизм через твоё определение, более интуитивное, то ради бога
>хорошо произносить то, которым удобно пользоваться
Ну только вот это не про удобство. "Негласное" правило теорката это отход от рассмотрения того, что там происходит на уровне "элементов" структуры, к рассмотрению морфизмов. И вроде как на словах получается, что стандартное определение как раз таки этому и следует (ну и правда, вот же они морфизмы, без действия на элементах - обычно так это определение мономорфизма и мотивируется).
Но вот только мы в этом определении всё равно перебираем элементы, только морфизмы теперь эти элементы и есть. Поэтому "по-категорному" логичней было бы перейти к рассмотрению именно морфизмов (морфизмов), то есть хом-функторам.
Это определение мне всегда бросалось в глаза своей некатегорностью.
когда ты говоришь про инъективные отображения между множествами морфизмом, ты точно так же перебираешь элементы, потому как "вне-элементного" определения инъективности у тебя нет
вообще, в обращении к элементам множества морфизмов никаких концептуальных нарушений нет, наоборот - в этом и состоит смысл отхода "элементов" объектов: вместо них мы хотим говорить "элементы" множества морфизмов. если задуматься, практически любое категорное определение указывает так или иначе на элементы множества морфизмов, не только вот это конкретное
Для меня подобным открытием было что для категорного произведения двух объектов соответствующие морфизмы просто перемножаются декартовым произведением; имеет место изоморфизм (X->A)x(X->B) = (X->AxB). Я думал там инъекция будет (ну или особо не думал). И ни одна проблядь нигде явным образом это не прописывает.
Еще помню когда впервые увидел определение естественного преобразования охуел от винегрета из буков, минут двадцать глазами по ним бегал кругами. Сейчас же это определение кажется таким простым... Теперь я так же бодаюсь с определением сопряженных функторов...
> И ни одна проблядь нигде явным образом это не прописывает
До представимых функторов ты, видимо, ещё не дошёл
Мне такая формулировка тоже больше нравится. В качестве упражнения предлагаю так же для epi сформулировать.
Ну, просто это один из первых примеров, который дают после определения представимых функторов: ПX_i является представляющим объектом для функтора П Hom(-,X_i), что в точности и означает упомянутый тобой изоморфизм.
>ПX_i является представляющим объектом для функтора П Hom(-,X_i)
Это значит, как я и написал, что Hom(-,ПX_i)≈П Hom(-,X_i)…
Я бы просто прошел бы мимо такого примера с непонятно взятым из сральни функтором. Или объясняй почему я не должен проходить мимо.
В отличии от моего замечания где понятие которое я хочу понять (произведение в категории) сводится к уже понятному мне понятию (декартова произведения).
> непонятно взятым из сральни функтором
???
Это буквально тот функтор, про который ты сам выше говорил.
Или ты про представимые функторы в целом? Хорошие категорные свойства + сведение изучение функторов в геометрии и топологии к изучению представляющих объектов.
>Это буквально тот функтор, про который ты сам выше говорил.
Я про функторы ничего не говорил.
>Хорошие категорные свойства
Хорошие свойства это хорошо. Короче я понял ничего путного из тебя не вытянуть.
> имеет место изоморфизм (X->A)x(X->B) = (X->AxB)
Считай X переменным объектом, получишь функтор…
>хорошие свойства
Ну, все (ко)пределы сохраняет. Лучше тебе стало? Или спросишь, чем это хорошо?
Зачем спрашивать, я итак знаю какой будет ответ - невнятный односложный пук про то что это хорошее свойство потому что это хорошо.
Мне очень хорошими книгами показались 2:
Верещагин-Шень Теория множеств
Set Theory: A First Course by Daniel Cunningham
Первая --- это теория множеств для математиков в первую очередь, и там есть пересечения с другими областями, вторая --- на более широкую аудиторию расчитана. В обоих много задачек разного уровня сложности
Если ещё и записи семинаров есть - вполне, без них от одних лекций не так много толка. Прочитать Маклейна или Алуффи ты и сам можешь, это даже быстрее будет.
От картинки даже веет говниной. Но если тебе норм, то все ок.
>>123957
>Прочитать Маклейна или Алуффи ты и сам можешь, это даже быстрее будет.
Сам то много маклейнов с залупиями прочитал?
Встретились как-то Маклейн и Пыня в НМУ.
- ПУЧК ПУЧК А ПОМНИТЕ, КАКОЙ ВЫ КУРС ПО ТЕОРИИ КАТЕГОРИЙ ПРОВОДИЛИ В ГАРВАРДЕ, СЭРР МАКЛЕЙН!!!
- Да, Пыня, помню. Хорошо в Гарварде было до поры до времени.
- ГРОООООООООООТТТТТТТТТТ НУ ТАК ВОТ Я ПОСЛЕ ВАШЕГО КУРСА ПУЧКАТЬ ЗАХОТЕЛ
- Мда уж((((
- ЗАБЕЖАЛ В ТУАЛЕТ А ТАМ ПУЧЁК!!! НУ ТАК ВОТ ЗАКРЫТЫ ВСЕ КАБИНКИ КОЗНИ ВТОРОКУЛЬТУРЩИКОВ И МЕХМАТА САДОВНИЧИЙ ТАМ ВСЁ ЗАКРЫЛ КАК У НИГЕРСКИХ МАТЕМАТИКОВ ЧТОБ НЕ В ПОПАД БЫЛО
- Оххх, Пыня тяжело в Рашке жить(((((
- АГА НУ ТАК Я НЕ РАСТЕРЯЛСЯ ШТАНЫ СНЯЛ И НАПУЧКАЛ ПРЯМО НА ПОЛ!!!!!!!!!!!! КОЛЬЦО ТАМ!!!! А ПОТОМ ВЗЯЛ КАЛ И НАЧАЛ ПРЯМО НА СТЕНАХ ТУАЛЕТА КОММУТАТИВНЫЕ ДИАГРАММЫ РИСОВАТЬ ИЗ ГОВНА. ВОТ ЭТО ЕВРОПЕЙСКАЯ КУЛЬТУРА НЕ ТО ЧТО В РАШКЕ ПЕТУХ ИЗ ГОВНА!!!!!!! ОБПУЧКАЛ Я ТАМ ВСЁ ОСВЯТИЛ КАТЕГОРИЯМИ И ФУНКТОРАМИ
Маклейн услышав эту историю покраснел и ушел...
Ведь, когда категорный вандализм обнаружили, то все подумали на него. И так почтенный сэрр Маклейн лишился работы в Гарварде... Это правдивая история, я не тролль.
И правильно. Анон просто пошутил, написал изоморфную ей шутку от физика про то, что никто не понимает квантовую физику.
Если вам кажется, что вы понимаете квантовую теорию… то вы не понимаете квантовую теорию.
К математике это абсолютно не применимо.
>Сам то много маклейнов с залупиями прочитал?
А это тебя ебать не должно. Впрочем, палок твоей мамке кинул всяко больше.
> Так вот математики весь сон потеряли от того как хотели ее проинтегрировать да все никак не получалось.
Функция Дирихле это просто понятный пример. Историю тут можно логически построить даже не читая историю математики.
Есть проблема - что есть длина? Древние дали хорошее определение - количество единичных отрезков.
Дальше появились отрезки рациональных длин. Мы знаем, интуитивно, жопой чуем, их длину заранее, но наше определение не подходит для этого случая. Мы его модифицируем: разбиением единичного отрезка на 10, 100 итд частей.
Дальше мы открываем иррациональные числа. Мы знаем, что отрезок длиной sqrt(2) имеет длину sqrt(2). Но старое определение не работает. Мы придумываем новое, придумываем меру Жордана.
Вроде всё заебись теперь. Но мы жопой чуем, что множество из конечного числа точек и даже множество счетных точек должно иметь меру 0. И в качестве примера счетного множества понятно что можно взять Q. Но на нём меру Жордана мы уже задать не можем, непонятно как задавать внутреннюю меру. Зато мы можем задать внешнюю. Если бы мы могли ограничиться только ею во всех предыдущих случаях, то мы бы укротили эту задачу.
Так и появилась мера Лебега, и уже через неё мы можем измерить Q и ясными словами высказать, что она равна 0.
То есть, я хотел сказать, что история меры, каждая итерация, это апгрейд старого определения под то, что мы интуитивно понимаем под мерой. Интегрирование функции Дирихле можно спокойно заменить на "ненулевая длина должна быть только у непрерывных множеств, а дискретные должны иметь длину 0". Это просто соответствует то что мы понимаем под длиной. Любому человеку предложили вопрос "какова длина точки?" большинство ответит 0.
Математику понимают либо максимально тупые, прямолобые люди -80IQ, либо сверхразумы +155IQ.
Читай американские книги по матанализу. Зоричи, демидовичи и всякие винберги морально устарели.
Просто смотришь это.
https://www.youtube.com/playlist?list=PL3BJnp-dNqazNc11qgguXNcJwCMqwK5Yv
Мне вот этот понравился.
Да, это круто, но самое главное чтобы обложка была кульная
Моё определение такое: модуль Р проективный, если для любого морфизма где он является коядром, у этого морфизма существует левый обратный.
Это работает? Никаких доп условий на морфизм по-моему не надо добавлять? R-Mod категория естественно
>модуль Р проективный, если
Ну точнее: тогда и только тогда, когда
Если как определение
только наверное правый обратный. и вроде ты сформулировал второе определение из английской вики. и вроде это известное и используемое стандартное определение, про то, что ктп с проективным на правом конце расщепляются
>только наверное правый обратный
Это как? Если у морфизма в R-Mod есть правый обратный, то у него тривиальное коядро
>про теорию котягорий
>определение проективного модуля
Очередной горе математик который не может даже разобраться какой предмет он изучает.
Ну ты очевидно вообще к математике отношения не имеешь, если так триггеришься на вопрос про морфизмы и коядро и связь с категориями.
У тебя на картинке правый обратный у $f: B \rightarrow P$, у него коядро тривиально. Весь проективный модуль $P$ и есть образ $f$.
а. я понял что ты имел в виду в изначальном вопросе. ну дак возьми вот то второе определение из вики и воспользуйся тем, что если в ктп в категории модулей правая стрелка расщепляется, то и левая, получится твое определение
Спасибо, буду дальше ковыряться.
Вот хочу почитать что-нибудь детально про сизигии, потому что (как я понял) именно там впервые появились (проективные) резольвенты у Гильберта. Но что-то не могу найти ничего доступного для моего уровня..
хз, лучше может двигаться в сторону геометрии, чтобы понимать лучше что такое проективные модули и зачем онинужны, а там становится понятно, что проективыне модули -- это просто локально свободные пучки O_x-модулей, т.е. векторные расслоения на аффинных схемах, ну или если чисто алгебраически, то проективные модули при локализации базового кольца в простых идеалах становятся свободными. а то у тебя несколько равносильных непонятных определений чисто из алгебры и не понятно как правильно про это думать
Это в сторону теоремы Серра-Свана? Я алгем Шафаревича первый том прочитал, там пока ничего такого не было. Ну хорошо, буду иметь в виду, но видимо мне ещё далеко
И что то мне блядь подсказывает что это было гораздо более весомым толчком к разработке строгой теории меры чем интегрирование функции Дирихле, чтобы тут один тупорылый еблан не писал.
Ну почему нормальные математике не могут об этом в своих учебниках написать. Так и приходится учиться математике по тик-токам.
Я никогда не учил теорию меры по учебникам, но нам препод мотивировал следующим образом: дал наивное определение функции объема, потом через множество Витали и парадокс Банаха-Тарского показал, что такой функции не существует. Думаю, хоть в каких-то учебниках примерно так же должны излагать.
>>123990
Тебе не нужен Серр-Сван, да и пучки, имхо, тоже, для начала хватит вот этого https://stacks.math.columbia.edu/tag/00nv
Примерно всё, что анон сказал, по-моему есть во втором томе Шафаревича около разделов про когерентные пучки.
Про сизигии есть книжка Айзенбада, посмотри введение и первую главу, для интуиции этого хватит, хотя проективные модули по-моему это не особо объясняет.
>Таким образом, множество Витали не измеримо по Лебегу.
И это он вам его давал перед определением меры Лебега как мотивировку? Затейник твой преп еще тот.
>И это он вам его давал перед определением меры Лебега как мотивировку?
Думаю, что сложно мотивировать еблю с сигма-алгебрами и соответственно мерами, если нет примеров подмножеств евклидовых пространств, которые нельзя "измерить" наивной функцией объема, так что его ход мысли мне вполне понятен.
Изучали линейную алгебру, мат анализ, теорию вероятностей, мат статистику, численные методы, и все.
Ни графов, ни комбинаторики, ни LR грамматик, ни Big O, ни даже теории множеств не было (по множествам читал до вуза книжку для школьников).
Подскажите хороший учебник или учебники по ДМ.
Я только начинаю разбираться с теорией меры, может чего не улавливаю. Я видел этот пример, но он меня особо не впечатлил. Ну да с некоторой системой "естественных" аксиом есть такое неизмеримое множество. Ну ОК. Может еще над аксиомами нужно подумать немного. А может просто не измерять такие странные множества.
С другой стороны:
>The Banach–Tarski paradox shows that there is no way to define volume in three dimensions unless one of the following five concessions is made:[citation needed]
Вот это уже мне очень интересно.
Правда, похоже сам парадокс уже попозже открыли чем работы Лебега кажется.
современная теория чисел это один из самых забористых и трудных разделов математики
>>123998
всё хорошо вас учили
бери ключевые слова, которые сам написал, и по ним гугли
если они тебе нужны
Попробуй надрочиться решать профиль полностью всё егэ за 20-30 минут набирая 95-100 баллов.
>Ну да с некоторой системой "естественных" аксиом есть такое неизмеримое множество. Ну ОК. Может еще над аксиомами нужно подумать немного.
>there is no way to define volume in three dimensions unless one of the following five concessions is made
Это буквально одно и то же самое.
Какие даты, хуесосина? Лебег думал что может своей мерой любое множество померить, пока ему парадоксами по губехам не поводили.
>>124007
>Это буквально одно и то же самое.
Нет. Если с начальными аксиомами я не могу одно странное множество померить - ну странный флекс. Если я не могу ни один объект с ними измерить - вот это уже совсем попадос.
>Если я не могу ни один объект с ними измерить
Это не то, что парадокс Банаха-Тарского показывает. Буквально прочитай нормально то, что ты кинул.
Я уже нормально прочитал. Ты лучше бы написал нормально что там тебе кажется, вместо того чтобы в воздух пукать.
>Я уже нормально прочитал.
Тогда ты должен был увидеть, что стандартное "concession" это принятие неизмеримых множеств, т.е. отказ от наивного условия, что функция объема определена для любого подмножества евклидового пространства. Множество Витали мотивирует абсолютно это же, причем для любого n, а не только n>=3, и соответственно введение сигма-алгебр и всего прочего. Парадокс Банаха-Тарского не показывает, что с наивными аксиомами мы не можем измерить ни одно подмножество.
ПБТ: мы берем обычный шар, разбиваем его на несколько кусков и из этих кусков делаем два новых таких же шара. При этом мы никаких аксиом не нарушили (и по правде сказать чем больше я об этом думаю тем больше мне это кажется удивительным). Если бы у каждого из этих кусков была бы аддитивная мера, то получается что объем самого обычного шара равен объему двух таких же шаров. Просчитались. Но где? И дальше там идут возможные варианты выхода из этой ситуации: любая мера всегда равна нулю или бесконечности, мера меняется при поворотах, мера не всегда определена и еще что то. Это более длинная логическая цепочка чем просто высрать множество которое мы не можем измерить и удивляться с этого.
>Это более длинная логическая цепочка чем просто высрать множество которое мы не можем измерить и удивляться с этого.
Если ты откажешься от какой-то другой аксиомы наивной функции объема, то множество Витали будет измеримым.
При этом при попытке работы с ним в формальной записи встречаю некоторые проблемы.
Из-за этого появилась идея замены квантора единственности на аналогичный.
Вот так:
1) $$\exists! x \in X: P(x)$$
2) $$\exists x\in X: \forall y\in X (P(y)\Rightarrow y=x$$
Вопрос: такое корректно будет?
>И? В чем твой поинт?
В том, что как мотивировка для теории меры, и множество Витали, и парадокс Банаха-Тарского работают идентично: есть наивное определение функции объема, примеры показывают, что такой функции не существует (то есть что этот набор аксиом противоречив), чтобы она существовала, нужно отказаться от одной из аксиом функции объема, аксиома, от которой принято отказываться, это то, что функция определена для любого подмножества евклидового пространства.
если ты не занимаешься каким-нибудь говном вроде предикатной логики или формальными грамматиками, то никакие кванторы нахуй не нужны
а если ты занимаешься именно этим, то ты в лучшем случае таракан, а в худшем шиз, разговаривать с тобой в любом случае не стоит
так что уноси свои кванторы отсюда подальше нахер и не приноси больше
Наверное формально ты прав. Но для меня аргумент с БТ выглядит более весомым потому что получается что мы не можем померить обычный шар, а не какое то очень хитрое множество. Именно как мотивировка к изучению теории меры вообще.
>получается что мы не можем померить обычный шар
Не получается
Ты хуйню расписал. Существование неизмеримых множеств не делает все множества неизмеримыми.
>Для плоского круга аналогичное свойство неверно. Более того, Банах показал, что на плоскости понятие площади может быть продолжено на все ограниченные множества как конечно-аддитивная мера, инвариантная относительно движений; в частности, любое множество, равносоставленное кругу, имеет ту же площадь.
Как это согласуется с существованием множества Витали?
>Существование неизмеримых множеств не делает все множества неизмеримыми.
Я этого нигде не говорил. Читай еще раз:
>Если бы у каждого из этих кусков была бы аддитивная мера, то получается что объем самого обычного шара равен объему двух таких же шаров. Просчитались.
>бери ключевые слова, которые сам написал, и по ним гугли
А полного учебника по дискретной математике нет?
Хочется что-нибудь фундаментальное, а не отдельные обрывочные статьи про алгоритм Дейкстры на Паскале.
Сколько пива на 0.7 водки нужно?
нет
вообще, что такое "дискретное математика", не очень понятно
чётко оформленного самостоятельного раздела с таким названием нет
>И что то мне блядь подсказывает что это было гораздо более весомым толчком к разработке строгой теории меры чем интегрирование функции Дирихле, чтобы тут один тупорылый еблан не писал.
А теперь загугли, когда Лебег придумал свою теорию, и когда открыли парадокс Банаха-Тарского.
Мера Жордана интуитивна понятна. Так же интуитивно понятно, что дискретное множество имеет меру 0. Но мера Жордана обсирается на этом примере. Всё, это достаточная мотивировка придумать что-то получше.
мимо тот самый тупорылый еблан
Изоморфизм это маппинг одного объекта на другой с полным сохранением структуры. Если такой маппинг есть, это означает, что эти объекты это один и тот же объект по сути, 0 разницы между ними.
>А теперь загугли, когда Лебег придумал свою теорию, и когда открыли парадокс Банаха-Тарского.
Я уже ответил на это
>Лебег думал что может своей мерой любое множество померить, пока ему парадоксами по губехам не поводили.
Еще не было современной теории меры, а Лебег свои интегралы хуярил во всю. Так что придется выбирать между строгостью и историчностью. Лебег в первую очередь с рядами Фурье хотел разобраться, на сколько я понял. И это было главной мотивировкой его исследований, а не
>что дискретное множество имеет меру 0. Но мера Жордана обсирается на этом примере.
И прочий бред подзалупный про функцию Дирихле.
>0 разницы между ними
Но какая то разница все таки есть, иначе бы это был тот же самый объект, а не два изоморфных.
зависит от точки зрения
в одной категории объекты могут быть изоморфны, а в другой нет
если ты работаешь в одной категории, то разницы между изоморфными объектами нет в том смысле, что один можно заменить другим и никакое утверждение про них (в рамках твоей категории) при этом не изменится (останется одинаково верным или неверным)
Утверждение X=A верно для объекта А, но не верно для объекта B, даже если он изоморфен. Так что какие то утверждения все еще разнятся.
это не категорное утверждение
категорное утверждение это утверждение про стрелочки
Можешь считать что это утверждение про единичные стрелки. К тому же ты не сможешь составить утверждение о стрелках никак не ссылаясь на объекты.
разумеется, разные единичные стрелки не равны друг другу, даже если речь идёт об изоморфных объектах
>К тому же ты не сможешь составить утверждение о стрелках никак не ссылаясь на объекты.
это не совсем верно. информация о стрелке включает в себя информацию об объектах, но не наоборот, и потому стрелки более первичны
>разумеется, разные единичные стрелки не равны друг другу
Ну вот категорное утверждение содержит различие
>информация о стрелке включает в себя информацию об объектах, но не наоборот, и потому стрелки более первичны
Обычно то что включается более первично чем то куда оно включается пр.: атомы.
какое утверждение?
>Обычно то что включается более первично чем то куда оно включается пр.: атомы.
я не понял эту фразу
стрелка всегда привязана к двум объектам, а объекты к стрелкам не привязаны; одному объекта может соответствовать много разных стрелок
вообще, мне непонятно, ты пытаешься поспорить
речь была о том, какой смысл у определения, а не эти унылые формальности. я уже утомился
Изоморфизм и равенство это не одно и то же.
>и никакое утверждение про них (в рамках твоей категории) при этом не изменится
Как следует из первого тезиса какие то утверждения все таки изменятся. Вот я и пытаюсь понять какие изменятся, а какие не изменятся. Максимально строго и формально.
максимально строго и формально изоморфизм и равенство это не одно и то же. однако оба эти понятия понятия сами по себе являются вполне строгими и формальными, так что строго и формально можно довольствоваться их строгими и формальными определениями
декартово произведение определяется с помощью универсального свойства, т.е. с точностью до изоморфизма с самого начала
Давай строгое и формально определение что такое
>категорное утверждение
>>124048
Речь про произведение в категории.
>декартово произведение определяется с помощью универсального свойства, т.е. с точностью до изоморфизма с самого начала
И что ты предлагаешь? Не доказывать данное утверждение потому что "нинужно"?
>Давай строгое и формально определение что такое
>>категорное утверждение
Петушиный угол Тред оснований чуть ниже
мимо
1) Образ изоморфизма под действием функтора остаётся изоморфизмом.
2) Любая категория эквивалентна своему скелету.
3) Если две модели некоторой сигнатуры изоморфны, то они также элементарно эквивалентны.
К чему относится данный набор тезисов?
>модели
>сигнатуры
>элементарно эквивалентны
Это вообще слова из какой области? Теория моделей? А попроще никак?
Нет, это буквально один и тот же объект, продублированный у тебя в тексте 2 раза и названный по-разному (или представленный).
Нет. С хуя ли ты взял этот бред. Вот поэтому и нужно поглядывать в основания чтобы не быть баттхертом.
>К чему относится данный набор тезисов?
Разные способы строго выразить идею, что категории не умеют отличать между изоморфными объектами.
>Теория моделей?
Да. Можешь еще универсальную алгебру посмотреть.
>А попроще никак?
Нет (но можно по-другому, конечно, через внутренние языки категорий, теории Лавера, и наверное еще как-то). Как ты (?) сам заметил, группы X и Y могут быть изоморфны, но например утверждение "домен стрелки id_X равен X" истинно для X, но не для Y. Дело, конечно, в том, что это не утверждение сформулированное в языке теории групп. Чтобы понять, что такое "язык теории групп", нужна ебля с сигнатурами и прочим.
>>124054
По-твоему есть какая-то разница между автоморфизмами и изоморфизмами? Например, если у меня есть два изоморфных объекта с нетривиальными автоморфизмами, могу ли я (канонически) отождествить их группы автоморфизмов?
Слышал про внутренний язык. Думал сейчас мне кто-нибудь на пальцах разъяснит почему
>домен стрелки id_X равен X
это уже не внутренний язык. Но хуй там плавал, как обычно.
>если у меня есть два изоморфных объекта с нетривиальными автоморфизмами, могу ли я (канонически) отождествить их группы автоморфизмов?
Было бы славно, но не очень понятно, как. С точностью до гомотопий - да, но практического толку от этого не иак много
в смысле не очень понятно? какие гомотопии?
немедленно берёшь ручку с литочком и пробуешь выписать явный изоморфизм между группами автоморфизмов двух изоморфных объектов
>Было бы славно, но не очень понятно, как
Я к тому, что никак. Канонически отождествить их нельзя, поэтому, если у объекта есть нетривиальные автоморфизмы, то, по-моему, есть разница между равенством и изоморфизмом.
>С точностью до гомотопий
К чему тут гомотопии?
>могу ли я (канонически) отождествить их группы автоморфизмов?
А в чем собственно подвох?
$ а \mapsto f \circ a \circ f^(-1) $
Зависит от выбора изоморфизма f: X\to Y, разные выборы f дают изоморфизмы между Aut(X) и Aut(Y), которые отличаются на внутренний автоморфизм Aut(X).
Не плохо, но я спросил про канонический изоморфизм. Такого, в общем случае, нет. Раз есть разница между автоморфизмами X, автоморфизмами Y, и изоморфизмами между X и Y, то, по-моему, равенство объектов и их изоморфизм это разные вещи.
А если у тебя объекты с самого начала канонически изоморфны?
Каждый раз на ржач пробивает с этой картинки, хотя пиздец какой грустный момент на самом деле.
>грустный момент
Кто то пидараса Серебрякова и высеры в которых он снимался смотрит?
Но с другой стороны, всегда есть (я так понимаю) изоморфизм этого полупрямого произведения и группы, в которой $A$ - нормальная подгруппа, $B$ - подгруппа, а $\phi$ - таки просто сопряжение.
И вот как одно с другим соотносится? Ведь это под этим изоморфизмом индуцируется изоморфизм групп автоморфизмов, и внешний перейти во внутренний никак не может (я так понимаю).
я ничего не понял
для любых двух групп $A,B$ всегда можно построить группу $C$, для которой $A,B$ будут подгруппами изоморфны некоторым подгруппам $C$
Зачем ты оскорбляешь народного артиста ресурсной педерации? Извинис.
>это просто сопряжение
Из того, что это сопряжение в группе C, не следует, что это внутренний автоморфизм подгруппы A, т.е. что это сопряжение элементом из A.
>ресурсной педерации
Вам же Юсайди финансирование прекратило?
Ммм. А можно пример полупрямого пр-ия $A \times_{\varphi} B$, где $\varphi$ задаёт действие через какой-то внешний автоморфизм из $Aut(A)$?
Возьми A:=$\mathbb{Z}$ и B:=$\mathbb{Z}/2\mathbb{Z}$ с очевидным действием B на A.
В общем тут реально не понятно, почему одни все понимают сразу, а другие нет?
>>124093
Дело, очевидно, в генетике. Кто-то схватывает на лету, кто-то нет. Все эти сказки про то, что "если только захотеть, можно в космос полететь" и "любая наука постигается через боль, должно много раз не получиться, а потом внезапно получиться" оставим для кого-нибудь другого. Как я убедился эмпирически, тут либо сразу, либо никак.
Если кто будет спорить, то сразу несите какие-то доказательства.
https://en.wikipedia.org/wiki/Fields_Medal
Ну значит надо поколениями взращивать. Понятно, что я не буду математиком, но может мои потомки будут. Меня то родители не пичкали математикой, отец даже не удосужился объяснить что такое квадратные корни. Лишь только наорал, что я не знаю их.
И так поколение за поколением.
>>124092
Всё дело в авторах учебников. В РФ они не приводят примеров, не уточняют определений и крайне высокомерно используют обобщённые представления в целом.
Разве? Ну вот Нестеренко "Теория чисел" говорят вообще для школьников-дегенератов.
Противопоставлю Манина с его "Введением", который сходу начинает с малой теоремы Ферма.
на первом предложении подумалось, сейчас будет паста про говно, из тех, что постят в /b, когда т пытаются ветку засыпать
Очень похоже
Мне больше нравится первая лекция цикла "Теория чисел" от самого Нестеренко, которую можно охарактеризовать так: "Составные числа - это числа, которые можно записать как $a = bc$. Простые числа - это числа, которые делятся на себя и на один. Так, а теперь докажем постулат Бертрана."
Ладно, беру свои слова обратно. Он очень сложно описывает метод Гаусса для СЛАУ.
Ты та же пиздарванка что с кейса порвалась? Хуево быть тобой.
У Шольце вроде есть "совет от гагачада" как изучать математику, такой что многим может дупы подорвать. В духе - "просто берешь тему которая тебе интересна и изучаешь, по пути берешь то что непонятно и разбираешься. Никакого секрета тут нет."
>просто берешь тему которая тебе интересна и изучаешь, по пути берешь то что непонятно и разбираешься. Никакого секрета тут нет.
Все как >>124094 и написал. Либо "просто берешь и делаешь", либо мучаешься и нихуя не получаешь.
>Курд, итальянец, индус, немец.
терпят кораблекрушение их ловят канибалы и говорят каждому принести 10 каких угодно фруктов
>>124108
Да, соглы верно. Просто для меня что-то доходит только со второго дня. Т.е. я вчера не мог понять индукцию, а сегодня уже понял.
Так это правда. Я много раз пытался основательно вкатываться, программы гуглил, и дропал в итоге. Наибольшего прогресса достиг, когда выбирал 1 теорему/тему, что хотел понять, и двигался к ней.
Везде разные версии.
Что за ублюдская рисовка задач. У нормального человека от такого только голова кругом. Такое ощущение что взрослые банально не могут вспомнить себя в детстве и воспроизвести детские аналитические способности...
>нормального
наоборот охуенно
"нормально" это для дауничей-пендосов из средних школ массачуситса которых с 5 лет приучают мыслить в парадигме __ + __ = __ и multiple choices tests.
поэтому проходные на матфак гарварда на уровне проходных в вузы вторго эшелона(750/800 sat = 80/100 ege)
А тут нужно голову включать, мозг возбуждать, первые шаги к работе с абстракциями пробуривать, учиться связывать вербалку и формалку. Тяжело, но необходимо. Мозг вообще не любит сложные вещи, не любит пробовать неудобное, ставить другую ОС и запо инать другие шорткаты, мозг БЕСЯТ другие контектснеы меню и логики.
Попробуй с винды на лиункс пересеть. БОЛЬ. но мозгу - крайне полезно.
исторически сложилось
иногда под функцией понимают отображение, которое из множества бьёт в числа, и этим отличают функцию от общего отображения
но это разделение не формальное, и если тебе по каким-то соображениям захочется назвать функцией отображение куда-то ещё, а не в числовое множество, это никого не смутит
Двачую, кстати. Например, я не мог долго понять, что такое изоморфизм групп. У кого спрашивал - все кидали стандартные определения и все. Почему никто не мог объяснить понятно? Например, есть машина A, а есть машина B. И там, и там функция перевода поворота руля в поворот колес одинакова. А, значит, машины A и B изоморфны.
Да, пример неидеальный, но хотя бы понятнее, чем просто сухое определение из учебника.
Фикс: не сами машины, а система руль-колеса. А то ещё напишут, что я долбоеб.
Я еще думаю может дело в языке? Может русский сам по себе слишком сложный, что затрудняет усвоение материала.
>Например, есть машина A, а есть машина B. И там, и там функция перевода поворота руля в поворот колес одинакова. А, значит, машины A и B изоморфны.
Я бы очень сильно захотел в ебучку прописать за такие объяснения. Особенно если бы это на лекции человек с ученой степенью такое высрал.
В рамках теории категорий высшего порядка, изоморфизм алгебраических структур может быть определен как псевдоестественная эквивалентность между их категорными представлениями в моноидальной замкнутой категории, обогащенной над категорией топосов, где такой изоморфизм реализуется как когерентный изоморфизм между их образами в категории пучков на сайтах синтетической дифференциальной геометрии, индуцирующий гомотопическую эквивалентность между их классифицирующими пространствами в ∞-категории алгебраических теорий, при этом он должен сохранять все производные инварианты, включая когомологии Хохшильда и гомологии Андре-Квиллена, и быть совместимым с действием операд высших порядков, так что соответствующие модели в любой моноидальной ∞-категории становятся неразличимыми с точностью до когерентной гомотопической эквивалентности, устанавливая тем самым тождество их мотивных двойственностей в смысле теории мотивов Гротендика.
Почему вы не еще не доказали теорему Ферма? Бездельники
Тебе это объяснение чем-то поможет доказать, например, что группа автоморфизмов циклической группы порядка n и мультипликативная группа кольца Z/nZ изоморфны?
Довольно сложно понять, что вообще может помочь человеку, который не может осилить понятие изоморфизма блять
Потому что такие >>124127 существуют. Ниосилятор хуже собаки, ведь собака хотя бы не засирает тред.
>Зато евреи.
Сказки про гениальных евrеев работают только в славянских/восточноеврпейских странах.
Помню когда на линейной алгебре по глупости козырнул интересным фактом прочитанным в какой то западной книге, наш гениальный евrейский преподаватель вообще меня возненавидел.
Среди евреев есть умные люди, они есть как и во всех народах, но в постсоветских странах этот евrеев слишком возносят.
Кстати, всё что вёл этот гений, он вёл хуёво и свои предметы толком не знал, зато нам раз 5 если не больше рассказывал про гонения на гениальных додиков и мойш в советском союзе.
Сколько упражнений, где нужно доказать изоморфизм каких-то структур, ты решил? Какие конкретные изоморфизмы ты видел? Забудь даже про изоморфизмы, ты можешь показать, например, что существует биекция между множеством натуральных чисел и множеством целых чисел? Или что инъективное отображение из конечного множества в себя уже биективное?
Если ты не пытаешься доказать никакое математическое утверждение про изоморфизм, то что вообще для тебя значит "понять" определение изоморфизма? Почему ты вообще решил, что твой пример с машинами это изоморфизм, что этот пример помог тебе что-то "понять"?
>биекция между множеством натуральных чисел и множеством целых чисел? Или что инъективное отображение из конечного множества в себя уже биективное?
Не строго - могу. Чтобы было строго, мне нужно некоторое время.
>значит "понять" определение изоморфизма?
Также, как понять, что такое "яблоко" или "ручка".
>Почему ты вообще решил, что твой пример с машинами это изоморфизм, что этот пример помог тебе что-то "понять"?
Я другой анон, который не понимает изоморфизма.
>мойш в советском союзе
Советский еврей не отожествлял себя с кошерным евреем, не более чем графа в паспорте.
додик, ты почему газу не берешь? а, додик??
или ты из жидовствующих славян, дрочащих на всемогущих евrеев?
видно, школьники слишком помешаны на том, чтобы их развлекали и накладывали в рот по десять пережёванное (поддерживая при этом на каждом шагу, чтобы не становилось скучно), что угодно, лишь бы противоположное необходимости делать что-то самим
этот персонаж>>124149, даже получив подробный ответ с указаниями, что надо делать, чтобы трудность преодолеть, никакого указания не разглядел и задвинул что-то про яблоки
детский сад
всё понятно с тобой
скорее всего, то был не препод, который как-то не оценил твои глубокие старания по линейной алгебры, а ты сам пизданул какую-то хуйню, а потом смертельно обиделся, получив критику, теперь нашёл для себя вот такую отдушину
Не помню, что там точно было. И это для меня тогдашнего было чем-то удивительным, что я решил поделиться с другими.
Я к первому курсу уже матан и лин алгебру знал неплохо и слушать бубнёж гениального сруля моешевыча про умножение матриц мне было не интересно от слова совсем. Особенно на фоне того что я читал в книгах по линейной алгебре.
Есть конечно и среди евреев талантливые математики, но в моем унике (((этих))) видимо держали просто из-за кошерных фамилий. Да и в целом каких то гениев среди (((них))) не встречал, обычно кроме понтов, вульгарных и неуместных шуток и рассказов про гонения, ничего содержательного и интересного нет.
срулик, всё хорошо, ты таки гений у мамы))
похвастуешься потом филдовской премией в треде))
>никакого указания не разглядел
Потому что его там и не было.
Но стоит написать что гениальный додик ебланович хуйлансон — бездарь, для которого лин алгебра сводится к умножению матриц и высчитыванию определителей через миноры — тут же стоны про анти7итизьм))
Я когда впервые познакомился с этим понятием, то тоже было ощущение, что я его не особо понимаю, хотя задачи из Алексеева все решал без особых проблем.
Для себя уже позже перевел с языка функций на язык индексации и это ощущение ушло. То есть ты индексируешь элементы первой группы элементами второй, грубо говоря под элементом g пишешь индекс h gh и операции над элементали сверху соответствуют операциям над элементами снизу. Индекс под G=g'g будет H=h'h, и обратное так же верно.
>напиши что русский препод был бездарем и дальше заученной методички ничего не знает
ты написал много чего ещё, чем себя полностью изобличил
ещё чуть-чуть и начнёшь пиздеть про еврейский заговор, контроль сми и прочее любимое твоими единомышленниками
https://imgur.com/a/5QWoTuc
Ага, поэтому понятие «отказники» в 80-х основном ассоциировалось с евреями, которые хотели уехать в Израиль.
Так это же еврейская солидарность. Ты бы еще удивился что еврейские редакторы и владельцы СМИ пишут об "умных, замечательных, талантливых" евреях-ученых, -математиках, -танцорах, -политиках, -режиссерах, -драматургах, журналистах и тд и тп многократно чаще чем о неевреях.
Пока Ваня Иванов хлопает глазами повторяя мантры про "НЕТ ПЛАХИХ ЛЮДЭЕЙ БРАТ" и "ФУ НАЦИОНАЛИЗМ ТАК ДРЕМЧЕ И СТЫДНО КОНЕЧНО Я НЕ НАЦИОНИЛИСТ Я БЫ И ПОД НЕГРА ДОЧ ПОДЛОЖИЛ ЛИШЬ БЫ ЧЕЛАВЕК ХАРОШИЙ" ( https://t.me/mno(спамлист)gonazi/2608 ), Ваня Ургант точно знает, кто в ряду А. Роднянскний, А. Долин, В. Познер, А. Макаревич, В. Сидоров свой, а кто не свой. Кому давать медийность/связи/гранты/упоминания, а кого задвигать. А потом эти люди - его отблагодарят тем же. Замкнутый, тесный и дружный круг
Шафаревич все эти Золотые Маски, Большие Книги и настроение и контингент офисов Эх Москвы и Радио Свобод еще в конце 70ых и начале 80ых предсказывал. За это его возненавидели в его диссидентских кругах.
Какой нахуй Ургант, какие гранты, больной? Ты после 2022-го года в РФ живёшь, очнись, блядь.
>Szafariewicz
Что дозволено поляку, не дозволено русскому.
Забавно, как в разных версиях википедии отличаются про него статьи. Где-то чуть ли не половина всей статьи — плачь про анти7итизьм. А в других много про вклад в математику, какие книги и статьи написал, в каких странах был почетным членом Академии наук, что-то про его антисоветскую позицию и предложение про то, что кто-то его считал, якобы, антисемитом.
В редакции русскоязычноой википедии очевидно преобладают (((эти))).
Мне такая аналогия пришла в голову. Совет как переплыть океан -
Садишься в лодку и без задней мысли отплываешь один километр от берега. Потом два. Три. Четыре... Потом когда достаточное количество километров проплывешь увидишь впереди берег. И всего делов.
Все формально верно, не поспоришь. Но не хватает немножко деталей.
Некоторые авторы в некоторых контекстах под отображением могут понимать функцию с какими то дополнительными свойствами - гомоморфизмы, например, или не везде определенные функции.
Алггеоме отображение как бы склеивается из нескольких кусков, так же как и многообразие; таким образом это уже как бы не совсем функция в классическом понимании получается (хотя я не уверен на этот счет).
Только с математикой немного по-другому: у кого-то крепкая моторная лодка с кучей провизии и топливом, у кого-то хиленький плот, а кто-то должен добираться вплавь.
А почему бы не поплакать, раз все так грустно.
Нет ни одного великого или хотя бы известного математика, которому эта самая математика далась бы через попоболь и нескончаемые Я БЛЯТЬ НИХУЯ НЕ ПОНИМАЮ ПОЧЕМУ И КАК БЛЯТЬ. Ну нет их, и всё.
как решать задачи с многочленами
складывать и вычитать вообще
Ой, подумаешь, всего семь лет на доказательство и потом ещё год на исправления, разве это сложности?
>всего семь лет на доказательство
Я считаю это несколько упрощенный взгляд. На самом деле
>Эндрю Уайлс узнал о Великой теореме Ферма в возрасте десяти лет, прочитав книгу Эрика Темпла Белла «Последняя проблема»[20]. Тогда он сделал попытку доказать её, используя методы из школьного учебника
Потом он очевидно учился в какой-нибудь топовой математической школке, потом в топовом математическом унике и получал пхд, причем не по какой то левой хуите, а по теории чисел с топовым научником. Потом уже когда все звезды окончательно сложились он взялся серьезно за дело и семь лет доказывал эту теорему не оглядываясь по сторонам.
Посмотри еще на его черепную коробку. Там мозгов на 1600 граммов.
>мозгов
Считаешь мозг это мыслительный орган, дрказательства есть?
А у кого-то звёзды на понимании математики сложиться не могут.
это трхед нытиков и размазней?
>>124183
Есть два взгляда на эту проблему - "западная" и "восточная".
Образцы "западной" можно встретить на Реддите, Твиттере и т.д. Она хар-ся принципом "Если очень захотеть, можно в космос полететь".
"Восточная" представляет собой фатализм и пессимизм касательно вопроса. Можно встретить на дваче, ИТТ в частности.
Почему "западная" хар-я так - понятно, но почему "восточная" - тут можно долго дискутировать. Какая из сторон верна, тоже вопрос открытый.
Тред новичков? Новичков.
Ноют обычно кто? Новички.
Вот и сам уходи.
https://letmegooglethat.com/?q=%D0%BA%D0%B0%D0%BA+%D1%80%D0%B5%D1%88%D0%B0%D1%82%D1%8C+%D0%B7%D0%B0%D0%B4%D0%B0%D1%87%D0%B8+%D1%81+%D0%BC%D0%BD%D0%BE%D0%B3%D0%BE%D1%87%D0%BB%D0%B5%D0%BD%D0%B0%D0%BC%D0%B8
Зависит от глобальной цели. Закончить универ по этому профилю - а это, на самом деле, уже вполне неплохое понимание - может действительно большой процент людей. Уайлс, к слову, примерно это в ролике и говорит. Проблема только в том, что универ это просто пререквизит для исследовательской работы, в которой перспективы у выпускников весьма печальные. Мотивация это круто, но до Уайлса были сотни чрезвычайно мотивированных людей.
Что ты понимаешь под исследовательской работой? Отвлеченно исследовать свойства простых чисел может любой аспи без образования, но вот решить задачу тысячелетия - тут да, не каждый (как минимум каждый второй на dxdy)
Типа такого?
>>124181 →
Так мнение твоего ебливого мозга совершенно не учитывается, ведь он изначально заражён карго. Разве стоит учитывать мнение дерьма?
Посмотрел роадмапы к ВТФ и видосы Kevin'а Buzzard'а свежие о том, как идет процесс формализацим ВТФ на Lean - он там вместо оригинального подхода Уайлса использует схему Ричарда Тейлора с минимизацией роли анализа в док-ве, так там пререквизиты 10 лет учить. Сори за идиотский вопрос.
Тоже хотел Buttzard'а глянуть вчера, но чет устал его экающий бздеж ни о чем слушать.
- Описывается изначальная проблема, которую решали математики, когда разрабатывали теорию
- Дается время и подсказки, чтобы подумать самому
- Показывается, как ее решили те, кто придумали этот мат. аппарат
Чем-то должно быть похоже на veritasium, но без художественного описания личности того, кто придумал/доказал эту теорию.
Зачем это нужно: чем последнее время конкретно заебал формат лекций уровня "ну кароч это позволяет сделать компьютер, а теперь в течение часа я накину вам 30 новых сущностей, взаимосвязей между ними, теорий с доказательствами"
нахуй следует посылать неучей с такими запросами, я считаю
А ещё требовать, чтобы нас развлекали, а то лекции слушать трудно>>124210
К слову.
Как продуцировать док-ва хотя бы на уровне dxdy? Мне вот ничего в голову для решения гипотезы Коллатца или ВТФ не приходит.
Скину для затравки:
https://www.youtube.com/watch?v=30IVTJxw0eY
Сначала прорешиваешь всего Сканави. Потом всего Демидовича. Потом начинаешь доказывать на раз два все гипотезы Риманов и Коллацев. (Это если верить картине мира задачеблядей)
>>124231
Так а как тогда стать осилятором? Как осилить условную элементарную теорию чисел по Нестеренко?
и нахуя тебе сдалась элементарная теория чисел по Нестеренко?
>и нахуя тебе сдалась элементарная теория чисел по Нестеренко?
А что посоветуешь в качестве первого учебника по теорчисел? В шапке искал - нихуя не нашел.
>Преобразования Фурье
ты этого ещё не осилил
для тебя — джедайские техники
>Дебилка все еще верует что преобразования Фурье решают любой диффур
>зачем тебе Нестеренко
>ну ок дай свое
>АРЯЯЯ НЫТИКИ НЫТИКИ
покормил
унылый петух-неосилятор верит что если три года твердить одну и ту же чепуху, которую зачем-то выдумал сам, то что-то изменится
Петух-осилятор aka мелкочмоха три года раздает в разделе "советы" ебической тупости вместо того чтобы просто пойти и вскрыться.
Чмонь, иди уже преобразования Фурье делать, сами себя преобразования Фурье не сделают.
>Преобразования Фурье
ты этого ещё не осилил
для тебя — джедайские техники
унылый петух-осилятор верит что если три года твердить одну и ту же чепуху, которую зачем-то выдумал сам, то что-то изменится
Я тебе (?) советовал учебник Манина. Тебе (?), насколько я понял, не понравилось, что в первой, исторической/обзорной главе, подразумевалось, что читатель уже знает малую теорему Ферма. Еще кому-то, в другом треде, не понравилось, что учебник Серра начинается с упоминания конечных полей. Я честно не знаю хорошего учебника по (алгебраической) теории чисел, который можно читать, не обладая каким-то базовым пониманием групп, колец и полей. Из известных мне учебников, минимальные предпосылки, по-моему, у Айерлэнд-Роузена, Классическое введение в современную теорию чисел, но там тоже нужно хотя бы знать, что такое кольцо. На англе, я уверен, есть десятки учебников по "элементарной" теории чисел без групп и колец, но я про них ничего не знаю, и скорее всего ты их найдешь просто погуглив и посмотрев первые результаты.
петух-неосилятор пиздит как дышит
ты сам назвал джедайскими техниками место, где применялось преобразование Фурье
а не так давно признался, что до сих пор это место не понимаешь
"В этом месте" после "преобразования Фурье" (которое вообще то определено для функций а не для уравнений, ну да похуй) получается уравнение на обобщенные функции. Когда тебя мелкочмоху другой анон спросил как же решить это уравнение, ты ему ответил: конечно же преобразованием Фурье. Вывод: мелкочмоха это дебилка серящая по себя с умным видом и делающая преобразования Фурье десять раз в день минимум.
Считаю, что требовать доказательство теоремы Ферма нужно в самом начале любого учебника математики, если читатель не может, то дальше ему читать и изучать математику смысла нет.
>(которое вообще то определено для функций а не для уравнений, ну да похуй
не позорься.
преобразование Фурье - это оператор; если у тебя уравнение составлено в пространствах, в которых он действует, его можно применять
>другой анон спросил как же решить это уравнение
о том, как решать то уравнение, тебе был предоставлен текст (не мной) из книжки Владимирова (на которую я указал вначале, помнится, потому как это достаточно элементарное введение в область заданных вопросов), в котором решение подробно (и громоздко) расписывалось с помощью элементарного анализа. я тогда заметил, что это же решение получается значительно легче с помощью пробразования Фурье; это факт: я написал подробную выкладку (нетрудно было и проверить, если уж так не верится). таким образом, у тебя было уже два независимых решения этого уравнения. ты, тем не менее, устроил из этого уже многолетний срач, а недавно пожаловался, что тебе до сих там что-то непонятно
>>124253
В этом же ответе с physics.stackexchange пишут, что получившееся после взятия преобразования Фурье уравнение в обобщенных функциях решается через взятие обратного преобразования Фурье.
>решается через взятие обратного преобразования Фурье.
именно это я тогда и сделал
>если у тебя уравнение составлено в пространствах, в которых он действует, его можно применять
Ой да что ты. А синусоида бесконечная в этот класс интересно точно входит? А то в решении именно она если что.
Дебил, меня интересует какая есть общая теория. Решить одно уравнение два раза применив ПФ и после этого решая его "по старинке" это просто ор выше гор.
А если будет чуть-чуть другое уравнение, тупорылая мелкочмоха, что тогда делать? Делаем ПФ. ОК. Делам ПФ обратно. Дальнейшие действия?
>>124258
Это брат по разуму мелкочмонделя не иначе.
>Ой да что ты. А синусоида бесконечная в этот класс интересно точно входит? А то в решении именно она если что.
тебя снова учить надо? а какие пространства ты вообще знаешь? подсказка нужна?
>меня интересует какая есть общая теория.
общая теория условно называется "теория линейных дифференциальных уравнений/операторов". тема обширная и глубокая, изучай
Знаю финитные, но синусоиды в них не входят вот не задача. Давай подсказку, только боюсь какую ты еще ебанутость сможешь высрать.
>тема обширная и глубокая, изучай
Зачем? Мне мелкочмоха на двачах три года доказывает что достаточно ПрОсТо ПрИмЕнИтЬ ПрЕоБрАзОвАнИе ФуРьЕ никаких джедайских техник там нет.
Поясни заодно как граничные условия вписываются в твой манямирок ежедневных преобразований Фурье.
>Знаю финитные, но синусоиды в них не входят вот не задача.
это всё? ты за три года ни одной книжки по теме не прочёл? помнится, тебя Владимиров чем-то не устроил, ты так на том и остался? а тебе точно это надо всё? держи подсказку: функциональных пространств много разных, вот ебанутость, да?
>доказывает что достаточно ПрОсТо ПрИмЕнИтЬ ПрЕоБрАзОвАнИе ФуРьЕ
ты сам это выдумал в попытках меня как-нибудь оскорбить
>никаких джедайских техник там нет.
в том конкретном примере, с которым ты носишься, ничего особенного нет
>А синусоида бесконечная в этот класс интересно точно входит?
Синусоида это, по-моему, обобщенная функция в смысле Соболева-Шварца, т.е. живет в двойственном пространстве к пространству финитных гладких функций. Преобразование Фурье на пространстве обобщенных функций определено и является изоморфизмом.
>меня интересует какая есть общая теория
Чем тебя не устраивает теорема Мальгранжа-Эренпрейса (доказывается взятием преобразования Фурье и потом обратного, кстати)?
>пространств много разных
Ах-хаха блядь, ну конечно ничего другого и не ожидал от мелкочмонделя.
>ты сам это выдумал в попытках меня как-нибудь оскорбить
Но при этом ты упорно продолжаешь дристать буквально в этом итт треде
>>Преобразования Фурье
>ты этого ещё не осилил
>для тебя — джедайские техники
Подразумевая что для решения того уравнения ничего больше не нужно кроме ПФ.
Я еще раз тебя спрашиваю, долбоебина - вот у меня есть волновое уравнение
>Делаем ПФ. ОК. Делам ПФ обратно. Дальнейшие действия?
и
>как граничные условия вписываются в твой манямирок ежедневных преобразований Фурье.
не надо его учить, он этого недостоин
пусть за свой бред отвечает сам
>Преобразование Фурье на пространстве обобщенных функций определено и является изоморфизмом.
не на всех: пространства обобщённых функций тоже можно брать разные
>Ах-хаха блядь, ну конечно ничего другого и не ожидал
ты же сам сумел указать только "финитные пространства", что ещё можно было ожидать?
>вот у меня есть волновое уравнение
чудесно решается с помощью прямого-обратного преобразования Фурье (если уравнение на $\mathbb R^n$)
>как граничные условия вписываются
и здесь тебя учить надо? ты с синусом ещё не разобрался
>продолжаешь дристать
нет, ты. лол
это был очередной акт нескончаемого перфоманса
петух-неосилятор и джедайские техники
всем спасибо за внимание
Ждем еще ценнейших советов от мелкочмохи в треде в дополнение к ряду
> подумой
> примени преобразование Фурье
> а без меня никак? только ныть можем?
> пространств много разных
Напоминаю что ты так и не ответил ни на один вопрос и стоишь теперь весь в говне. Впрочем, все как обычно.
петушок, твоя стратегия
через поток оскорблений и требований вытащу конкретные факты, а потом сделаю вид, что я их и так знал
не самая удачная, если ты хочешь, чтобы тебе что-нибудь рассказали
попробуй поискать другой подход, если оно тебе нужно (что вряд ли: ты за три года элементарные вещи не осилил)
Бля, чет говниной воняет вообще невыносимо. Меньше пукай, а то вываливается уже. И иди подмойся уже скорее.
>Синусоида это, по-моему, обобщенная функция в смысле Соболева-Шварца,
А дельта функции где тогда живут в этой конструкции?
Но хотя бы не одни пуки в воздух и на том спасибо.
>>124274
Давай бегом уже мыться.
А как иначе доказывать всякие теоремы? Укажи, что нужно сверх практики.
мимо
>А дельта функции где тогда живут в этой конструкции?
Там же.
>>124267
>не на всех: пространства обобщённых функций тоже можно брать разные
Ок, я имел в виду на конечномерных евклидовых пространствах.
>Ок, я имел в виду на конечномерных евклидовых пространствах.
нет, дело не в размерности, а в том, что термин
>обобщенная функция в смысле Соболева-Шварца
никакого конкретного пространства не подразумевает.
обобщённые функции строятся как двойственные топологические векторные пространства к пространствам основных функций; в качестве последних можно брать разные пространства - будут получаться разные пространства обобщённых функциях
на некоторых из стандартных пространств обобщённых функций преобразование Фурье не определено вообще (например, на $\mathcal D'$, самом широком), на других оно не является изоморфизмом (например, на $\mathcal E'$)
и синус как функция (обобщённая) тоже содержится не в любом из них.
петух-неосилятор об этом ничего не знает, поэтому он так легко этот синус заглотнул. теперь вот дельта-функцию пытается осилить, спустя три года, лол
зато "дристает", как ему кажется, точно не он
Ок, я имел в виду пространство двойственное к пространству Шварца, в котором синусоида действительно лежит и на котором преобразование Фурье действительно является изоморфизмом топологических векторных про-ств.
здесь всё верно: преобразование Фурье определено в пространствах $\mathcal S' \to \mathcal S'$ и является в этих пространствах топологическим изоморфизмом. имеем также $\sin \in \mathcal S'$
А как же так, чмонь? Почему тебе понадобилось три года чтобы высрать это, раньше же ты говорил
>достаточно ПрОсТо ПрИмЕнИтЬ ПрЕоБрАзОвАнИе ФуРьЕ никаких джедайских техник там нет
Кстати решение то должно быть в обычных функциях. Ой как неудобно. Еще три года и чмоня просрется решением этой проблемы
в чём вопрос, петух-неосилятор? сформулируй не по-петушиному
>достаточно ПрОсТо ПрИмЕнИтЬ ПрЕоБрАзОвАнИе ФуРьЕ никаких джедайских техник там нет
не моя вина, что ты за три года не разобрал, что это такое
>Кстати решение то должно быть в обычных функциях.
каких - "обычных"? не позорься
нет никаких "обычных" функций в теории дифференциальных уравнений.
Чтобы значение в точке было. F(x) вот это все.
>нет никаких "обычных" функций в теории дифференциальных уравнений.
хуевенько, нахуя тогда вообще эта теория нужна?
>Чтобы значение в точке было. F(x) вот это все.
как же ты её дифференцировать будешь?
>хуевенько, нахуя тогда вообще эта теория нужна?
петуху-неосилятору, ясно, совсем не нужна: он за три года не только не выяснил, какие базовые методы бывают, но и о чём вообще речь идёт, как задача ставится
Не_обобщенная функция. Так тебе понятно, долбоебка?
За три года что зоонаблюдаю мелкочмоха так и не высрал ни одного дельного ответа. Собственно его анальный подрыв и начался с того как я озвучил данное наблюдение.
>Не_обобщенная функция.
нет такого термина, кусок тупого унылого тараканьего неосиляторского говна. никто не пишет дифференциальных уравнений для неясной ебанины с именем "Не_обобщенная функция."
в этом нет никакого смысла
и термина "обобщённая функция" тоже нет. это собирательное понятие, под котором могут пониматься разные объекты.
бывают функциональные пространства и их элементы. попробуй осознать это или почитай уже хотя бы хоть одну приличную книжку для второкурсников
Ну Владимиров, ну дает жаль что никто не объяснил ему что такого термина нет.
Неловко только получается перед физиками - вот вам решение уравнения, но только значения в отдельных точках у него нет.
>у Владимиров, ну дает жаль что никто не объяснил ему что такого термина нет.
я могу ошибаться (я не читал его много), но у Владимирова все функции рассматриваются в функциональных пространствах - во всяком случае, должны. если где-то это не так, то он допускает в этих местах вольность речи и наверное всё понятно из контекста
>Неловко только получается перед физиками
как происходит общение с физиками, я не ведаю
мне рассказывали, что "обобщённые функции" появились как раз у них; математики подвели под это строгую теорию
>>124291
>как происходит общение с физиками, я не ведаю
мне рассказывали, что "обобщённые функции" появились как раз у них; математики подвели под это строгую теорию
Буквально так и есть. Просто зачем ограничиваться петушиным неосиляторством только в математике, можно захватить ещё и физику
Итак с помощью зала мы установили что ты высрался решением в S'. Как предлагаешь определять значение этого решения в точке? Нинужно? Продолжишь режим долбоебки?
Пукатель ртом про хорошо-потому-что-хорошо, решил тоже выйти на связь?
поставь задачу корректно, потом выёбывайся
пока у тебя получилось выебнуться только дремучим невежеством
Как же так раньше ведь было достаточно ПрОсТо ПрИмЕнИтЬ ПрЕоБрАзОвАнИе ФуРьЕ, а теперь даже непонятно стало в чем состоит задача.
Нет, я в этом треде не участвовал с тех пор, как n лет назад Владимирова скинул. Сижу, функторы представляю.
ох, давай ещё раз для тебя идиота.
здесь всё просто
в чём действительно состоит задача, ты так и не сформулировал, потому что никогда не был на это не был способен, как неспособен и сейчас; ещё бы: ты сам не понимаешь, в чём задача, иначе бы не нёс безграмотную чепуху про "обычные функции"
дальше, вопрос, для которого я написал решение, был сформулирован другим аноном, который вычленил его каким-то образом отдалённо по мотивам твоего бреда. напомню ещё раз, на тот момент тебе также дали решение и из учебника, в котором всё было написано предельно аккуратно; я только предложил альтернативное решение, более простое
дальше, на картинках, которые ты носил, был использован конкретный метод (джедайские техники), который позволяет догадаться о первоначальной формулировке (ещё раз, ты принести её не смог)
по-моему, ты программист (таракан) вообще по роду деятельности
>пук
>пук
>пук
>пук
>по-моему, пук
Ну ясн)
>Ничего не понятно что ты имел в виду но достаточно ПрОсТо ПрИмЕнИтЬ ПрЕоБрАзОвАнИе ФуРьЕ
мы стали свидетелями очередного акта нескончаемого перфоманса
петух-неосилятор и джедайские техники
пойдёт ли теперь петух-неосилятор спать или будет упарываться снова? скоро узнаем
всем спасибо за внимание
Ты сам то главное от говна перед сном отмойся как следует.
так мы узнали, о чём петух-неосилятор думает перед сном
не знаю, зачем это было надо, но пусть
думаю, на сегодня всё
спокойной ночи всем
Стоит ли пытаться дуракам учить математику или лучше бросить и пойти заняться чем-то попроще? Например, ни один великий математик не упоминал, что ему было тяжело учить какую-то дисциплину (математическую, само собой). А вы что думаете по поводу?
более важный вопрос, мне кажется, должен быть такой:
А зачем учить математику?
исходя из этого, можно уже задуматься о том, стоит ли
Можешь ночью подумать над следующим, предельно корректно поставленным чтобы ты там клоун не пиздел, вопросом
>Итак с помощью зала мы установили что ты высрался решением в S'. Как предлагаешь определять значение этого решения в точке? Нинужно? Продолжишь режим долбоебки?
>>124304
Возможно, дураку интересен некий раздел, но он не понимает какие-то принципы и темы. В соотношении понятного к непонятному перешивает непонятное.
нет, это не корректный вопрос
ты спрашиваешь о свойствах решения, которое ты не понял, задачи, формулировку которой ты не осилил. и делаешь вид, что я должен по этому поводу тебе что-то предлагать
я думаю, если действительно интересно, то стоит попытаться
Решение которое ты предлагаешь это обобщенная функция в S'. Да или нет?
А если ну вот никак не допирает до него какая-то тема? Ну вот не идёт и все тут.
Найти понятное объяснение в неформальном изложении, а потом разобраться - почему было непонятно стандартное, чтобы дальше на такие вещи не тратить время. Если не получится - возможно, не так уж и интересно было.
напомни, пожалуйста, о решении какой задачи ты хочешь поговорить? а то этот момент всё как-то ускользает из перфоманса диалога
>>124311
бороться и искать
>о решении какой задачи ты хочешь поговорить?
Ты угараешь, долбоебка?
>>124281
>здесь всё верно: преобразование Фурье определено в пространствах S′→S′ и является в этих пространствах топологическим изоморфизмом. имеем также sin∈S′
Это не твои слова?
>о решении какой задачи ты хочешь поговорить?
Любое волновое уравнение на твой вкус, которое естественно мы собрались решать через преобразование Фурье.
У тебя какая то недееспособность?
>волновое уравнение
Мы достигли уровней комедии, которые вообще не должны существовать
опять его корёжит
>Любое волновое уравнение на твой вкус
чудесно, пусть это будет задача Коши для одномерного волнового уравнения в $\mathcal S$ (без штриха)
производим преобразование Фурье (ты никогда не поймёшь, почему это можно делать), получится обыкновенный диффур с некоторыми начальными условиями (подумай, в каких пространствах), из которого уже нетрудно вывести решение исходного уравнения с помощью джедайских техник. внезапно (для тебя) это решение окажется во всё том же $\mathcal S$, в частности, оно будет гладкой функцией; можешь брать его значения в любой точке, я разрешаю
попробуй выяснить теперь, что здесь не так
петух