24 декабря Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
>>278958 Хорошая тема. В моем изучении категорий, лемма Йонеды оказалась единственным, что я так до конца и не понял. Когда я это учил я, конечно, разобрался с формулировкой и доказательством, но хорошей интуиции на ее счет так и не возникло. В остальных случаях частными примерами понятий теории категорий являются довольно ясные математические объекты, в некотором смысле аналогичные друг другу и именно формализация этих аналогии и составляет ценность этих категорных понятий. Почему такое имеет место в случае с леммой Йонеды я так и не понял. Или, возможно, люди видят в ней ценность какого-то другого рода?
>>278965 Охуенно ясно, особенно как множество множеств построить - нужно все лишь передернуть на основания еще раз и ввести понятие класса. Или то что можно получать новые функции изменяя кодомен, охуеть просто.
Суп. Что почитать для того чтобы разобраться в решении систем нелинейных уравнений? Из последних книг за плечами алгебра гельфанд-шеня, логика а.а.шума, несколько разной степени дочитанности книг по теории множеств, недочитанный первый том введения в алгебру кострикина; а счастья всё нет. Значит, анализ? В таком случае, что читать?
>>278980 Кодомены вообще исключительно вопрос конвенции. Можно считать что с каждой парой объектов связано Hom множество и не парится на счет того, пересекаются они или нет. Можно считать стрелки,в Set, Grp и тому подобное, тройками из домена, функции и кодомена. С классами все просто и понятно, нужно просто немного разобраться в аксиоматической теории множеств, чтобы появилась интуиция на их счет.
Анон, как доказать, что в группе обратным к единичному элементу будет единичный элемент?
Я придумал так: Пусть e = a/a = aa^-1 e^-1 = (aa^-1)^-1 = (a^-1)^-1 a^-1 = e
Но для этого надо доказать, что (a^-1)^-1 = a и формулу обратного к произведению, а это второе задание в этом примере, поэтому я не могу использовать эту информацию.
>>279033 Или вот еще вопрос равенства двух функций. В CS, например, неразрешимая задача. У математиков-то таких проблем нет - за них ведь все боженька посчитает.
>>279084 В теоркате очень любят категорию SET и, насколько я понимаю, лемма Йонеды как раз о ней (хотя эту лемму я не особо вкуриваю как весь остальной теоркат в общем-то).
>>279092 Добавлю, что в какой-то книжке прямым текстом написано - категория SET - простая и интуитивно понятная категория. Ох у меня и бобмануло от этого.
>>279092 Если бы вкуривал, то знал бы, что еще больше, чем Set там любят топосы; а элементарные топосы бывают вполне себе конструктивными. Не до конца уверен насчет леммы Йонеды, но сильно подозреваю, что и там нет ничего Set-специфического и она может быть доказана для всех или достаточно широкого класса топосов. Вообще, вся или по крайней мере очень существенная часть теории категорий допускает конструктивную интерпретацию - взгляни, как активно сейчас её применяют в функциональных языках программирования со сложными системами типов.
>>279096 Так и есть - Set видимо одна из самых простых категорий структурированных множеств т.к. в ней множества не обладают дополнительной структурой, усложняющей жизнь.
>>279091 Что значит не бывает? Я их построить могу как декартово произведение целых и натуральных. В природе не бывает? а еще в природе прямых не бывает, больше того, ни одно тело ни разу не двигалось по геодезической, но ты ведь не жалуешься
>>279116 То и значит. Не бывает. Я запрещаю тебе пользоваться бесконечностями. Я запрещаю тебе пользоваться числами, которые больше, чем количество атомов во вселенной.
>>279120 >Я запрещаю тебе пользоваться числами, которые больше, чем количество атомов во вселенной Всем похуй на тебя. Ты умрешь, а числа будут существовать вечно.
>>279124 что так толсто? Как докажешь существование чисел принципе? Аргументы рода 1 яблоко + 2 яблока = 3 яблока полный бред ведь это всего лишь такая же абстрактная конструкция как и иррациональные, комплексные числа. Или основываешься на своих ощущениях о очевидном и естественном как люди охуевающие от того как можно всерьёз заниматься выворачиванием "резиновых шариков" в n пространствах.
>>279128 >Аргументы рода 1 яблоко + 2 яблока = 3 яблока полный бред Это не бред. Числа существуют тогда, когда ими можно посчитать яблоки; но не обязательно только тогда.
>>279054 Спасибо за инфу, про видеозаписи нму я знаю. Просто не все могу понять по книгам и хороший семинар это не заменит. Да и вообще, не могу себе представить ученого, который пробился в изоляции.
>>279042 Интересный вопрос. Среди математиков я встречал несколько видов.
Первый - психотодети, просветление в марках и т.д. Обычно не особо разбираются в математике, лол.
Второй - быстрые, последователи пикрил. В математике зачастую шарят, пока есть чем ускориться, в периоды попусков видеть ничего не хотят.
Еще есть всякие залетные, не гнушающиеся иногда отвлечься чем-то, но это неинтересный вопрос. Нормально, наверно, согласуется, почти все это говно при редком использовании отрицательно не влияет на абстрактное мышление.
Я как будто в произведениях кафки обитаю. Вот везде слышу, что представления абстрактная_хуйня_нейм очень важны и стоит задрачиваться чтобы всех их найти, потому что они часто возникают, помогают понять, блабла блядки-колядки. При этом никто НИКОГДА сука не даёт содержательных примеров, где там эта хуйня возникает, где помогает. Такое чувство что меня наёбывают. Можете привести пример, где знание представлений действительно помогло понять что-то новое о объекте, где без них нельзя обойтись?
>>279152 Абстрактная хуйня для того и придумывается, чтобы дать новые представления о каком-либо математическом объекте. И зачем обходиться без них, если с ними лучше? Не выходит, к примеру, средствами арифметики сосчитать количество простых чисел, значит стоит обратиться к анализу; не получается решить уравнение степени выше четвертой классическими способами - нужно пробовать методами алгебры; не удается эффективно классифицировать все математические объекты и соотношения между ними, значит следует записать их на языке теории категорий.
>>279155 >>279168 >>279174 Детишечки, вы бы лучше не несли хуйню если не знаете. Я спрашивал в первую очередь тех кто реально разбирается, а не тех кто тифарета начитался.
>>279177 Ты спрашивал: >Можете привести пример, где знание представлений действительно помогло понять что-то новое о объекте Ну тебе же привели примеры, распишу конкретней один из них, если до тебя не дошло. Знание того, что группа Галуа неприводимого уравнения представляется симметрической группой, позволяет заключить неразрешимость общего уравнения степени выше четвертой. Такое представление удалось получить средствами абстрактной алгебры и оно дало нам необходимое и достаточное условие разрешимости уравнений - это "что-то новое о объекте".
>>279190 Ну это валидный пример, но не совсем тот, ибо здесь нет по сути никакой теории представлений, здесь есть только одно очевидное естественное представление. А другие представления, например, той же группы галуа изучать зачем? Изучают ведь.
>>279194 В любой статье на первой странице вкратце должно описываться для чего и с какой целью вводятся понятия упомянутые в статье, почему объекты представляются в том или ином виде, и зачем это всё изучать. Ну или по крайней мере дается ссылка на источник, в котором такое представление и его целесообразность описаны впервые.
>>279190 Ты ебанутый совсем? Теория представлений тут вообще не причем. Группа галуа действует на корнях элементарным образом, так что естественно отождествляется с подгруппой S_n. Если она не разрешима(например A_5), то не выражаются в корни в радикалах. Про приложения теории представлений у физиков и химиков надо спрашивать. Самому вот интересно.
>>279255 >Про приложения теории представлений у физиков и химиков надо спрашивать. Хуле ты тогда в математика-треде делаешь, истеричка? Иди спрашивай физиков и химиков.
>>279255 >Про приложения теории представлений у физиков и химиков Как же надоело читать подобное. Дескать вся эта второсортная математика имеет применение в физике и т.д. Ну неужели вы думаете, что, например, физик работающий над квантовой теорией поля нуждается во всяких абстракных поебеньках, в которых нет никакой метрики?
Я понял, как отвечать на все вопросы о применении математики да, я таки ньюфаг >Математика применяется следующими поколениями. По-моему, железные слова, с которыми спорить глупо. Постоянно подтверждается на практике уже несколько тысяч лет. Начиная от Евклидовой геометрии, заканчивая теорией схем. Это кстати, перефразированные слова Громова.
>>279293 Добавлю еще, то что местные кукареки не знают применения абстракций, на которые они сами надрачивают - говорит только о плохом качестве местных кукарек, не более.
>>279278 Что-то может и применяется, но бОльшая часть просто отмирает. Как отмёрло почти всё до 19 века, хотя там тоже немало всего было. То же, что применяется, при этом, не "используется", а скорее переоткрывается по мере надобности.
>>279301 Теория чисел родилась от ебли с числами, комплюктеров то раньше не было. К тому же число - самый естественный математический объект, как можно было не задаться целью построить теорию этих объектов?
>>279312 Ну не похуй. Конечно никто не будет занимать диффурами из-за того, что у них дохуя применений. Но все же приятно, если хуякс и твои топосы и схемы помогут строить ракеты.
>>279315 > Вербитка думает, что существующие абстракции возникли потому что все математики считают любые абстракции достойными изучения сами по себе Как свою первую сессию сдал?
>>279314 Диффурщикам может еще и приятно - не самая далекая от приложений деятельность. Но если человек пошел заниматься какой-нибудь алгебраической топологией, то ему заведомо приложения были глубоко безразличны или даже вызывали отторжение. Подобные области одни из наиболее далеких от приложений среди все «точных наук», все люди с другими взглядами имели слишком много много шансов сделать другой выбор. Если даже кто-то любящий приложения туда попадет, то скорее всего быстро переберется в другую область из-за несоответствия его приоритетов и приоритетов подавляющего большинства коллег.
>>279310 В какой блядь "реальной жизни" ебанутый? Если я использую признаки делимости чтобы проверить правильность своих вычислений - это реальная жизнь или нереальная жизнь? >>279324 Отрицаю. Каждая введенная в математике абстракция всегда вводилась чтобы решить задачи здесь и сейчас. >>279326 > почитай ку-ка-реку, почитай пок-пок-пок
>>279327 Кстати, мысль о том что не бывает высосанной из хуя математики отлично идет рука об руку с другим моим любимым для вброса тезисом - что математика является обобщением экспериментальных наблюдений, так же как физика, только более высокого порядка.
>>279327 >Отрицаю. Каждая введенная в математике абстракция всегда вводилась чтобы решить задачи здесь и сейчас. Задачи самой математики или практической области?
>>279301 >И преобразование фурье даже. Про Фурье известно, что он использовал тригонометрические ряды для изучения распространения тепла в металлическом кольце. А преобразование возникло из рядов Фурье. А так до середины 19 века практически каждый математик был также астрономом, механиком, физиком и инженером
>>279341 Значит, я правильно понял >Каждая введенная в математике абстракция всегда вводилась чтобы решить задачи здесь и сейчас. равносильно >Каждая введенная в математике абстракция всегда вводилась чтобы решить задачи математики и прикладных областей здесь и сейчас. ?
>>279354 Да не сливайся ты, я ведь просто спрашиваю тебя. Как ты объяснишь то, что теория чисел не имела серьезного практического применения до появления RSA?
Любая математика - прикладная. Просто она прикладывается не напрямую к физике, а опосредованно через другую математику. Например, какая-нибудь ёба из гомологической алгебры может помочь доказать какие-то свойства какой-то замысловатой группы, которая является группой симметрий системы диффуров, моделирующей какой-то физический процесс, что помогает найти интеграл движения или какие-нибудь решения. Вербитки, считающие что абстракции нужны для самих себя - такие же дауны, как и те, кто хочет чтобы ему гомологиями картошку поджарили.
>>279373 Вот и я о том же, братишка. Но только у гомологий есть реальные прикладные (инженерные) применения. Но только я их чего-то не вкуриваю совсем.
>>279379 Любое - я не знаю, определи что такое математическое высказывание. Может быть, то, что васян из маткласса себе на уроке по матешке напридумывает и не применимо. Но это же не является центральной математикой.
>>278958 Анонимусы, есть среди вас репетиторы по математике? В математику могу хорошо, всю школьную решаю без проблем, но не знаю ни одной теоремы. Хочу обмазаться летом элементарной математикой, чтобы с сентября репетиторствовать. Чего же я хочу от вас? Прошу подсказать: а) годных учебников по алгебре/геометрии б) годных методичек по алгебре/геометрии в) годных книг о том, как же, собственно, вообще преподавать
>>279396 Под алгеброй и геометрией подразумевается школьная геометрия? Тогда тебе первым делом следует ознакомиться с тем, что о школьной математике думают настоящие математики.
>>279399 А вообще, кек >Ошибка эта очень естественна, так как в алгебре векторное пространство не геометрическая величина, а абстрактная (арифметическая). Поразительно, Понтрягин этого не заметил! Да как он мог не заметить, он что слепой?
>>279405 Если заглянуть в другие околоматематические заметки автора критики, то можно заметить, что читать его еще более вредно, чем исходную статью. Типичный хомо арнольдикус с баснями из древнего мира.
>>279424 Доказательств твоей леммы полно в сети. Ты хочешь, чтобы одно из них переписали сюда? Но нахуя? Лучше бы придумал какую-нибудь задачу на её основе и запостил сюда.
>>279373 Вербицкий, если что, как раз любит и сам занимается такой математикой, которая с 80-х годов тесно сотрудничает с физикой. Так что я не понимаю почему-то ты игрунов в бисер называешь вербитками.
>>279451 В смысле доказательства, там нет ничего особенно сложного, сравнительно с другими частями теории категорий. Например, я бы не сказал, что доказательство теоремы Маклейна о когерентности для моноидальных категорий проще.
Оу-оу, полехче, братишка. Ведь не все математики верят в существования бесконечных множеств. Как можно обучаться по этому, если с разбега просят заняться доказательством маняфантазий?
>>279607 Бывают множества. "Операцией на множестве", точнее, бинарной операцией, называют значок, который двум элементам множества сопоставляет какой-то третий элемент. Например, сложение + является операцией на множестве вещественных чисел.
Множества различаются по количеству операций, которые на них заданы. Бывают множества вообще без операций, бывают множества с одной, двумя, тремя операциями и так далее.
Кольцо - это множество с двумя операциями, связанными правилом раскрытия скобок. Кольцевые операции обычно называются сложением и умножением. Поле - это разновидность колец. Всякое поле - кольцо, но не всякое кольцо - поле.
Бывают такие операции, что для них можно ввести обратные. Не для всякой операции бывает обратная. Операция, обратная к какому-то абстрактному умножению, обычно называется абстрактным делением.
Поле отличается от кольца тем, что в поле всегда можно ввести операцию деления, а просто в кольце - не всегда.
Пример поля - вещественные числа. В них деление, как известно, есть. Пример кольца - целые числа. В них деления нет, потому что, например, 7/3 не является целым числом. Но если расширить кольцо целых чисел до поля рациональных чисел, то деление появится, конечно. Изучение расширений колец - прикольная задача общей алгебры.
>>279609 Множество с заданными на нём операциями называется универсальной алгеброй. Сигнатура универсальной алгебры - это перечисление множества и заданных на нём операций. Например, сигнатура вещественных чисел R выглядит как <R, +. *>.
>>279610 >Сигнатура универсальной алгебры - это перечисление множества и заданных на нём операций. >Например, сигнатура вещественных чисел R выглядит как <R, +. *> Но ведь можно придумать сколько угодно операций, все не запишешь. Есть какие-то требования к ним, или мы просто фиксируем набор интересующих нас в дальнейшем операций, когда даем сигнатуру?
>>279612 >фиксируем набор интересующих нас в дальнейшем операций this. Другой набор операций - другая униалгебра с другой сигнатурой. Сигнатура нужна, чтобы уточнить, с какой униалгеброй работаем.
>>279615 Смотря где. Обычно они используются там, где круглых недостаточно. Но в специальных случаях есть свои традиции. Например, если k - кольцо, то символом k[x] обозначается кольцо многочленов с коэффициентами из k. Если m - массив, то символом m[n] обозначается n-ый элемент массива. В арифметике символом [x] обычно означают целую часть числа x, вроде [3.5] = 3.
>>279593 >Глубокомысленно. Надеюсь, это не сарказм. Я прочитал теоретико-множественное определение функции, как мн-ва (x, y). Если рассматривать падающего парашутиста, то в каждый момент времени можно соотнести высоту парашутиста с показаниями часов. Причем, показание часов и момент времени есть совершенно разные вещи. Функция здесь складывается из множества (x, y), где х - число на циферблате часов, а y - высота. >Копни глубже - а что такое часы Я так понимаю, это цепь равноудаленных событий. Некий эталон, позволяющий сравнивать длительность разных процессов.
>>279608 >для чего это нужно Есть понятие структуры. Это когда между подмножествами множества установлена зависимость. ИРЛ возникают такие системы, при достаточно глубоком анализе. Алгебраические структуры частный случай. Вот этот расписал хорошо >>279610
«Дальше, на той же странице, Гельмгольц пресерьёзно рассуждает о „пространстве четырёх измерений“; — да, четырёх измерений. Это что такое? — дело просто: Напишем букву а; припишем с бока, вверху, маленькую цифру 4; будет что? Будет а^4. А это что? — Это: количество или величина а в четвёртой степени. Переложим на геометрический язык. Степень на языке геометрии называется „измерение“. Что же будет это а^4? — Будет „пространство четырёх измерений“. А если вместо 4 напишем, например, 999, то будет скольких измерений пространство? — Будет „пространство девятисот девяноста девяти измерений“. А если вместо 999 запишем 1/10, то будет? — „пространство одной десятой доли одного измерения“.— А ведь оно точно: очень, очень недурны „новые системы геометрии“. Но Гельмгольцу воображается, что сочинившаяся у него в голове белиберда о „пространстве двух измерений“ и о „пространстве четырёх измерений“ — нечто имеющее важный смысл. И он рассуждает о „возможности“ таких „пространств“ совершенно серьёзно. Например, на той же 4-й странице: „Так как никакое чувственное впечатление от такого неслыханного события, как появление четвёртого измерения, нам неведомо, так же как неведомо и впечатление от образования нашего третьего измерения гипотетическим существам двух измерений, то представление четвёртого измерения для нас столь же недоступно, как недоступно для слепорождённого представление о цветах“. Итак, несуществование четвёртого измерения для нас лишь следствие особенного устройства наших чувств! — Это не факт, что пространство имеет три измерения, — это лишь так кажется нам! Это не природа вещей иметь три измерения, — это лишь иллюзия, производимая плохим устройством наших чувств! Мы в этом отношении лишь „слепорождённые“! Милые мои друзья, возможно ли человеку, находящемуся в здравом рассудке, иметь такую нелепую белиберду в голове? — Пока он не „философствует“, невозможно. Но если он, не будучи подготовлен к пониманию и оценке философии Канта, пустится философствовать во вкусе — он полагает — Канта, то всякая бессмыслица может образоваться в его голове от возникновения в этой его бедненькой голове комбинации слов, смысл которых не ясен ему. И, не понимая, о чём и что думает он, может он воображать всякую такую бессмыслицу глубокомысленною премудростью. Вообразим, что какая-нибудь русская деревенская женщина, не знающая по-французски, хочет щегольнуть в качестве великосветской дамы, прекрасно говорящей по-французски. Она ловит на лету кое-какие французские фразы; вслушаться в чуждую ей интонацию она не умеет; да и те звуки, которые удалось расслышать ей, она не умеет порядочно выговорить; — а конструкция фраз вовсе непонятна ей. И что выйдет из ее великосветского французского разговора? — Она окажется дурою, говорящею нечто совершенно идиотское. Но она, быть может, очень умна; лишь один порок в ее уме: глупое желание щегольнуть своею великосветскостью. Только. Но до чего может довести ее эта ее слабость? — Границ глупостям и бедам, которым она может подвергнуться через эту свою фанаберию, нет никаких; но обыкновенно дело не доходит до того, чтобы такие дуры теряли рассудок в медицинском смысле слова, хоть и до этого доходят многие из них. Обыкновенно бедствия таких дур ограничиваются тем, что они попадают в руки плутов и плутовок, бывают обобраны и, обобранные, осмеянные, оплёванные, возвращаются в свою деревенскую глушь. Мы увидим, что с Гельмгольцем и подобными ему его товарищами по естествознанию, любящими щеголять в качестве философов, происходит то же лишь маленькое, сравнительно говоря,— лишь маленькое бедствие: они не утрачивают рассудка; они лишь попадаются в руки недобросовестных людей. Только».
>>279903 Потому что ты хуйню несёшь. Внутри твоей головы, может быть, это и похоже на общефилософские мысли математиков о математике, но на самом деле это полная бессмыслица.
>>280028 >На пике: "Вот факты, которые доказывают обратное" >Подразумевает, что поток шизофазии про время выше можно классифицировать как внятное утверждение, на которое принципиально возможно найти "факт доказывающий обратное"
>>280029 >ты шизофреник, значит я не пиздабол >>280055 Если я бы знал теоркат, я бы не здесь сидел. >>280039 >>280044 >>280046 > нет функции от времени, есть функция от показания часов > предполагая что показания часов не есть время У меня есть часы, которые показывают 4:20. Они идут с периодом примерно в секунду. В другом часовом поясе, у кого-то показывают 20:20. На спутнике время так вообще замедленно. А у аборигенов нет часов как таковых, но у них есть понимание времени, как смены дней и времен года. У тебя два выхода. Либо признать, что все эти люди живут в разных временах, так как их показания часов различны, либо признать что время не есть нечто большее, чем показание часов.
>>280078 >define "в разных временах" Как я тебе определю это фразу, если весь вопрос в определении "время"?
Если define время часы то "в разных временах" "в разных часах" если define время "возможность изменени, как таковая" то бессмыслено. Время как таковое неисчислимо.
>>280099 Вопрос не о исчислимости времени, а о том что ты путаешь часы, которые у тебя на стене висят, с математическими абстрактными часами, связанными с каждой системой отсчета. У аборигенов первых действительно нет, а вторые - очень даже.
>>280102 >математическими абстрактными часами, связанными с каждой системой отсчета. Расскажи мне об этом. Чем они отличаются от идеализированных часов на моей стене?
>>280121 У нас с тобой разное понимание времени. Возможно потому что я говорил не о математическом времени. Не будем спорить, какое из них лучше. Алсо, по аналогии. Числа -- не исчисление, как таковое.
Поделитесь, у кого есть Benson. Representation and cohomology Skowronski, Yamagata. Frobenius algebras C.W.Curtis, I.Reiner. Representation Theory of Finite Groups and Associative Algebras а что с либгеном?
Посоны, объясните дураку. Почему при преобразовании (повороте) вектора умножаем справа на матрицу поворота, а тензор умножаем и еще слева на транспонированую?
>>278958 Короче я полный ноль в математике, отучился 8 классов + 1 курс шараги, типо это было 10 и 11 класс, везде по математике было 2, из школ за это выгоняли кстати. Реквестую книг для обучение математики с самого начала, по порядку что бы, интересует именно то что ПРИВОДИТ МОЗГИ В ПОРЯДОК. Очень вас прошу анончики.
Реквестирую дельную и основательную книгу по истории проективной геометрии (желательно, с неизменённой относительно первоисточников нотацией). Поиск в гугле выдал хуй и одинокую Worlds out of Nothing, которая как бы не очень.
Допустимые языки: английский, русский, в самом крайнем случае - французский, итальянский.
Почему в логике высказываний импликация 0 -> 1 = 1? Типа это допущение того что из лжи может следовать что угодно? Допущение мне как то не нравится. Поясните.
>>280220 Ну понятно, что если из этого будет следовать истина или ложь, то следствие будет верным. Я помню, что когда-то здесь это расписывали по хардкору, но забыл. А примеров я и сам могу напридумывать.
>>280225 Пошел на вики, увидел пикрилейтед. Можно попробовать установить эквивалентность между импликацией и эквивалентной лол, ну вы поняли ей функции.
Вот она. Допустим, что это так. Если замутить таблицу истинности для этой формулы пикрилейтед (не будем пытаться узнать конечное значение формулы, достаточно избавиться от отрицаний А), то A -> B = А, Б = И, И = Л или И (неоднозначно И) () Л, И = И или И (однозначно И) И, Л = Л или Л (однозначно Л) Л, Л = И или Л (неоднозначно И)
Сомнения вызывает формула обозначенная как ().
Пока идей нет, буду додумывать. Оче хочу спать, поэтому сегодня в одного наверное не успею разобраться.
Теперь встает следующий вопрос. Почему "или" верно когда хотя бы одна переменная верна? Почему истина и ложь в данном случае не равноправны? "Я говорю правду или я говорю неправду" = "Я говорю неправду", почему бы и нет?
>>280239 Ну вот почему А или неА = всегда равно И? Почему не равно Л? Значение для функции "или" принято по дефолту - если хотя бы одна из переменных принимает значение И, то значение функции тоже И. Тебе понятно, почему такая функция называется "или"? Мне непонятно. Почему она существует в таком виде, мне понятно, но смысл логического "или" и русского "или" существенно разнится. Видимо не стоит пытаться осознавать "или" логическое как "или" русское.
>>280244 Ещё раз, вкратце. В то время как русское "или" при значениях (И,Л), (Л,И), может значить что угодно, в том числе и Л, то логическое "или" при этих переменных значит строго И.
>>280244 Ты или сосешь хуи, или делаешь бочку. Если ты занимаешься хоть чем-то одним, то все выражение истинно. Не понимаю откуда у тебя возникают проблемы.
>>280247 Это если понимать "или" как дизъюнкцию, а не как русское "или". Вчитайся в моё последнее сообщение и пойми, что это так. Я только лишний раз напомнил себе что нужно мыслить дизъюнкциями, а не "или". Да и вообще я спать хочу.
>>280251 Между бытовым и логическим? Значит у тебя в голове что-то похуже "разницы". Но не в обиду сказано, и это решаемо. Почитай мои посты и ссылку на "дизъюнкцию" выше.
Ну ладно, хоть будет уроком тем кто поньюфажнее меня. Помните, дети: В ЛОГИКЕ НЕТ "И", "ИЛИ" и "СЛЕДУЕТ"; В ЛОГИКЕ ЕСТЬ КОНЬЮНКЦИЯ, ДИЗЪЮНКЦИЯ И ИПЛИКАЦИЯ
ПАЦАНЫ, Я СЕГОДНЯ ШЁЛ КОРОЧЕ ПО МАТТРЕДУ И УВИДЕЛ ШКОЛЬНИКА В МАЙКЕ "X или 0 = X", НУ Я ПОДСКОЧИЛ И РЕЗКО ПЕРЕЕБАЛ ЕМУ В ЩЩИ С ВЕРТУШКИ И ПОЯСНИЛ ЕГО КРИКОМ "НЕ ЛЮБЛЮ БЫТОВЫЕ НАЗВАНИЯ БУЛЕВЫХ ФУНКЦИЙ", ПОТОМУ ЧТО Я УГОРЕЛ ПО ЛОГИКЕ, ПАЦАНЫ ДУХ СТАРОЙ ШКОЛЫ ЖИВЁТ ТОЛЬКО В МАТТРЕДЕ, ГДЕ ЕБАШАТСЯ ПО ХАРДКОРУ, ГДЕ ПАЦАНЫ ЖИВУТ ЭНЕРГИЕЙ, МОЛОДОСТЬЮ И ЕБУТ СИСТЕМУ В РОТ! ТОЛЬКО ДИЗЪЮНКЦИЯ, ТОЛЬКО ХАРДКОР!!! ЮНИТИ УЛЬТРАХАРДКОР МАТТРЕДЫ!!! пацаны ебашьте школьников, уженешкольников, угорайте на сосаке, любите свой тред, свободу, равенство, братство и /Sci/ену! ГОВОРИТЕ ОТКРЫТО И СМЕЛО ПРЯМО В ЛИЦО! ДИЗЪЮНКЦИЯ!
>>280259 ПАЦАНЫ, Я СЕГОДНЯ ШЁЛ КОРОЧЕ ПО МАТТРЕДУ И УВИДЕЛ ШКОЛЬНИКА В МАЙКЕ "X или 0 = X", НУ Я ПОДСКОЧИЛ И РЕЗКО ПЕРЕЕБАЛ ЕМУ В ЩЩИ С ВЕРТУШКИ И ПОЯСНИЛ ЕГО КРИКОМ "НЕ ЛЮБЛЮ БЫТОВЫЕ НАЗВАНИЯ ПРОПОЗИЦИОНАЛЬНЫХ СВЯЗОК", ПОТОМУ ЧТО Я УГОРЕЛ ПО ЛОГИКЕ, ПАЦАНЫ ДУХ СТАРОЙ ШКОЛЫ ЖИВЁТ ТОЛЬКО В МАТТРЕДЕ, ГДЕ ЕБАШАТСЯ ПО ХАРДКОРУ, ГДЕ ПАЦАНЫ ЖИВУТ ЭНЕРГИЕЙ, МОЛОДОСТЬЮ И ЕБУТ СИСТЕМУ В РОТ! ТОЛЬКО ДИЗЪЮНКЦИЯ, ТОЛЬКО ХАРДКОР!!! ЮНИТИ УЛЬТРАХАРДКОР МАТТРЕДЫ!!! пацаны ебашьте школьников, уженешкольников, угорайте на сосаке, любите свой тред, свободу, равенство, братство и /Sci/ену! ГОВОРИТЕ ОТКРЫТО И СМЕЛО ПРЯМО В ЛИЦО! ДИЗЪЮНКЦИЯ!
>>280279 Я хуй знает причем тут индукция. Если разговор о том что если ab делится на p то или a или b делится на p, то я хуй знает куда тут сунуть индукцию. Пусть p нихуя не простое, тогда либо один из множителей имеет составной множитель(охуеть, да? сам в ахуе!) либо ab = a1b1p1p2, где a = a1p1, b=b1p2, а p стало быть имеет вид p1p2. Нам такой хуйни не надо! Воооот... Попрошу твоего внимания ко второму случаю. Если p - простое, то его разложение будет ничто иное как 1p. Т.е. p1=1, p2=p. Тогда ab примет вид a1b1p2= a1b1*p, где либо a = a1, b=b1p либо b = b1 a=a1p. В случае с дохуямножителями достаточно показать что этот делитель делит таким образом хоть один из множителей. Он же блять простой, хули он ещё разделит там своей единицей? Я хуй знает какая индукция. Не спал с 5 утра того дня, надеюсь не сильно хуевый текст. Доказательство автора не читал.
>>280281 Я хуй знает причем тут индукция. Если разговор о том что если ab делится на p то или a или b делится на p, то я хуй знает куда тут сунуть индукцию. Пусть p нихуя не простое, тогда либо один из множителей имеет составной множитель(охуеть, да? сам в ахуе!) либо ab = a1b1p1p2, где a = a1p1, b=b1p2, а p стало быть имеет вид p1p2. Нам такой хуйни не надо! Попрошу твоего внимания ко второму случаю. Если p - простое, то его разложение будет ничто иное как 1p. Т.е. p1=1, p2=p. Тогда ab примет вид a1b1p2= a1b1p, где либо a = a1, b=b1p либо b = b1 a=a1p. В случае с дохуямножителями достаточно показать что этот делитель делит таким образом хоть один из множителей. Он же блять простой, хули он ещё разделит там своей единицей? Я хуй знает какая индукция. Не спал с 5 утра того дня, надеюсь не сильно хуевый текст. Доказательство автора не читал.
Пофиксю заборчики свои, аш самому сложно читать. Макака, отключи наклон звездочками в саентаче!
>>280282 В доказательстве факта ты используешь факт, который доказываешь. Ты используешь однозначность разложения числа на простые множители, попробуй обойтись без этого.
>>280296 А теперь перечитай еще раз это >>280144 доказательство >Если произведение ab делится на простое число р, то или а или b делится на р >... бла-бла-бла... умножая обе части на р получим b=kab+lpb >так как ab делится на р, то можно записать
>>280302 А, хотя не, там используется предпосылка, ну хуй с ним.
В любом случае про abc доказывается так: если abc делится на p, то если в (ab)c произведение (ab) не делится на p для наглядности заменяем (ab)=N, то точно также, как в книжке, доказываем, что в этом случае с будет делиться на р. Хуй знает в чем там трудность.
>>280296 Чиво? Там вроде не надо доказывать однозначность изложения >>280312 Нет, я даун который встал в 5 утра и попер на работу, а потом не спал. И сегодня ещё переть. Хочешь сказать, что эти функции равносильны? Пошел ты нахуй. Даун-то я даун, но не настолько, насколько дауном являешься ты.
>>280332 Маня, прекрати всем тыкать в нос свой сбитый режим дня. Это двач, всем насрать. А по существу - бытовые "и", "или" и "следует" вполне себе соответствуют конъюнкции и проч. Просто одно - научный термин, а другое - бытовой.
>>280345 Чо ты приебался? Если я захочу формализовать понятия "и" и "или" то получится как раз конъюнкция и дизъюнкция. Если я не хочу писать длинные слова, то я скажу что a И b = true <=> a = true И b = true. А у тебя в голове какая-то "разница" есть, суть которой ты так и не объяснил.
>>280337 Почитай то что я писал выше и ту же вики, статьи "дизъюнкция", "коньюнкция", "импликация". Я думал меня носом в говно тыкают за то что я очевидные вещи рассказываю, а оказывается как оказывается. Пиздец.
>>280354 Сука, ща будет цитата. >Ну вот почему А или неА = всегда равно И? Почему не равно Л? Значение для функции "или" принято по дефолту - если хотя бы одна из переменных принимает значение И, то значение функции тоже И. Тебе понятно, почему такая функция называется "или"? Мне непонятно. Почему она существует в таком виде, мне понятно, но смысл логического "или" и русского "или" существенно разнится. Видимо не стоит пытаться осознавать "или" логическое как "или" русское. >Ещё раз, вкратце. В то время как русское "или" при значениях (И,Л), (Л,И), может значить что угодно, в том числе и Л, то логическое "или" при этих переменных значит строго И.
>>280356 Ты пренис цитату со своей тупостью, и думаешь что кому-то что-то доказал? То что тебе что-то непонятно - исключительно твои проблемы. Либо ты не знаешь значения союзов "и" и "или", либо не понимаешь сути булевых функций.
А вообще все началось с попытки разобрать по частям импликацию, а конкретно то что Л -> И = И. Дорогой пошел не той, но хоть навсегда закрепил для себя что логические связки != естественные союзы в языках. Дело в том, что и импликация != следствие.
>>280361 Так почему у тебя истина тяготеет? В языке они равноправны. >>280361 Если истинно хотя бы одно из этих выражений, то это говорит лишь о том, что истинно одно из этих выражений.
>>280362 Только итт картофанчики решают задачи русскими поговорками. >>280366 Двачую. >>280375 Так он и говорит, что русское или это ксор, а не V. >>280371 Если он ест яблого и банан одновременно, то это утверждение будет ложным.
>>280377 > Так он и говорит Вас таких аутистов двое? > Если он ест яблого и банан одновременно, то это утверждение будет ложным. А я считаю, что нет. Если б я хотел утверждать, что одно из двух, я бы сказал "Одно из двух, либо А либо Б"
>>280378 >где тут одно из двух? Вот тут: "ты тупой или тролль". В нормальном русском это означает, что либо ты тролль, либо ты туп, т.е. одно что- то одно из двух.
>>280395 Если у тебя спросят "Он ебал твою мамку или ссал тебе в рот?", ты ответишь "Да" или "Нет"? Даун, или это даже не логическая функция, это союз.
>>280399 Маня, отучайся говорить за всех. Относительно тупых и троллей так никто не говорит, потому что предполагается что тролль = !тупой. А вот если я скажу "у тебя карие глаза или ты брюнет", буду ли я прав если ты кареглазый брюнет?
>>280400 Я утверждаю, что русское понятие "или" не соответствует дизъюнкции.
>"у тебя карие глаза или ты брюнет" Так никто не говорит. Говорят "ты шатен или брюнет?" или "у тебя глаза карие или голубые?". Но никто никогда в здравом уме не начнет говорить "пара в 8 или небо голубое или 2+2=5".
>>280401 > Так никто не говорит. Третий раз тыкаю тебе еблом в говно. Если мне надо будет так сказать - я скажу, и буду прав. > ты шатен или брюнет? > у тебя глаза карие или голубые? В данном случае OR эквивалентно XOR, просто потому что шатен = !брюнет, карие глаза = !голубые. Случайное совпадение, не более. Я тебе привел контрпример, а ты продолжаешь "пок-пок-пок так никто не говорит"
>>280395 А ведь действительно, или спрашивает верно ли что либо из предложенных переменных. >>280401 >ты шатен или брюнет При этом если ты шатен, то это - истина. И твой ответ - истина
>>280408 > При этом если ты шатен, то это - истина. И твой ответ - истина Он типа утверждает, что если ты и шатен и брюнет, то "ты шатен или брюнет" - ложь
>>280407 >И тут ты такой с пруфами Ни на одно предложение русского языка, удовлетворяющее литературным нормам, и содержащее ИЛИ, невозможно ответить Да/Нет.
Собсна с чего весь срач. У меня в процессе всей этой наркомании появились такие идеи. Первое - выделять однозначную и неоднозначную дизъюнкцию, в последствии(по ходу осознания, лол) однозначное и неоднозначное "или", второе - разделить "или" и дизъюнкцию. А надуманную разницу между ними я вроде вспомнил. Дизъюнкция однозначно тяготеет к Истине. "Или" же не тяготеет вовсе, т.е. "или" то и значит что "или", даже не так, это такая вводная конструкция, без вот этого тяготения к Истине или Лжи "или" значит просто одно из двух. А чем же они отличаются? Давайте попробуем представить себе это или, которое может тяготеть к Истине либо ко Лжи. Как? Когда вы задаете функцию "или" вы выбираете одно из двух, в случае с дизъюнкцией наличие Истины отвечает за её значение. А теперь давайте смоделируем вашу дизъюнкцию на уровне языка. А вопрос этот будет звучать так: Является ли A или B правдой? Почему тогда нельзя задать другое "или": Является ли А или Б ложью? Оба варианта есть "или", в то время как второй нихуя не похож на дизъюнкцию, хотя похожа конечно, это просто отрицание дизъюнкции.
>>280446 Что такое умножение на комплексное z(x) = cos x + i sin x ? Поворот. Что такое композиция поворотов z(x) и z(y)? Поворот соответствующий произведению z(x)z(y). Что такое поворот на угол x+y ? Поворот на x, а потом на y. Поэтому z(x+y) = z(x)z(y).
>>280459 Вот тебе другой пример. На американских горках нельзя кататься если твой рост меньше 150 см, или вес больше 150 кг (допустим) твой рост метр сорок, весишь два центнера. По таблице истинности, нарисованной тобой, или твоим собратом по разуму тут >>280452 получается что ты можешь кататься на этих американских горках. Улавливаешь проблему?
>>280453 Проблема в том, что все доказательства того, что умножение на z(x) является поворотом (ну и гомотетией, хотя это доказывать легко) уже использовали sin(x+y)&cos(x+y).По крайней мере, те док-ва, которые я находил. Почему же и без этих соображений умножение дает поворот?
>>280463 Утверждение "ты жирный, или ты урод" требует наличия у тебя ХОТЯ БЫ одного из этих признаков. Не РОВНО одного, а ХОТЯ БЫ. Наличие ОБОИХ признаков не вступает в противоречие с требованием ХОТЯ БЫ одного признака. Ты действительно настолько тупой, что не знаешь даже родного языка?
>>280462 >если твой рост меньше 150 см, или вес больше 150 кг (допустим) Говоришь "или" подразумеваешь "и". Кого ты наебать хочешь? Тут не пораша, маня.
>>280467 Нет, я говорю именно "или" 160 см, 160 кг - нахуй 140 см, 140 кг - туда же 140 см, 160 кг - и логика, и нормы языка подсказывают что нахуй, но обоссанцы итт утверждают что все норм.
>>280466 >тебя ХОТЯ БЫ одного из этих признаков Одного и только одного, наличие двух может приводить к противоречиям. "Ты кун или тня" - такое утверждение в русском языке не может быть верным если истинны обе посылки в него входящие. А в логине же - может.
>>280469 "Ты кун или !кун" - Скажешь это ложь? Кем ты еще можешь быть? (Принимая во внимание, что кроме куна и тни других полов нет, иначе вообще никаких проблем, я говорю "ты кун или тня", подразумевая что не пидор, не андрогин, не гермафродит и т.д.
>>280469 Ты блять не понимаешь чтоле, это частный случай, когда аргументы взаимоисключают друг друга. Да аргументы не могут быть одновременно истинными, на с какого хуя ты делаешь из этого вывод что в общем виде Истина или Истина - это ложь
>>280471 "Кун или не-кун" - это истина. А вот "кун или тня" - иное; у тебя могут быть признаки и куна, и тни одновременно, а признаков куна и не-куна вместе быть не может.
>>280475 Маня, давай без маневров. Предполагается, что можно одназначно определить, кун ты, тня, или кто-то еще. В таком случае смотри вторую часть моего поста которую ты, видимо, проигнорировал, как неугодную тебе
>>280474 Это не частный случай, это контрпример того, что обе сразу одновременно посылки истинными быть не могут (для "или"). Чтобы включить и твой вариант, как раз таки и придумали дизъюнкцию.
>>280478 Конечно могут не быть. А могут быть. И я как раз приводил контрпример, того что могут. пиздос блять какой же ты тупой, даже что такое контрпример не знаешь И от твоего "контрпримера", когда поссылки могут не быть обе истинными одновременно, значение связки или нихуя не меняется
>>280478 Ты блять совсем даун что-ли и никак не можешь понять, что утверждения "найдутся x и y такие что (x и y) = ПРАВДА" и "для всех x,y (x и y) = ПРАВДА" это разные утверждения?
>>280478 Контрпример должен приводить я, а не ты, поскольку ты утверждаешь более общее утверждение (Для любых А, Б, таких что А=true, B=true, А или Б = false). Контрпримеров выше по треду было дохуя, и не только от меня. Но я смотрю, тебя они не удовлетворяй, поэтому или обосновывай нормально свою точку зрения, или принимай на ротешник.
>>280459 >достаточно просто быть носителем языка, чтобы понимать это Удвою этого. Пиздец, каким же нужно быть дебилом, чтобы думать, что "или" в русском означает не "один из двух", а оба сразу. >>280456 >ТАК НИХТО НЕ ГАВАРИТ Но ведь так действительно никто не говорит, лол. Хоть усрись ты, не говорят так и все. Если ты с этим не согласен, приведи хотя бы 3 - 4 реальных примера реальных текстов, написанных грамотными людьми и вычитанных редакторами, а не маняврируй, выдумывая какую- то отсебятину.
>>280496 > действительно никто не говорит Но ведь я так говорю. На каком основании ты утверждаешь что никто. Ты прочел все книги? Или может принес пруф из нормы языка? Нет. А я привел контрпример, вполне подходящий под нормы языка. Так что не вихляй, мань, и найди более веские аргументы для своих маняфантазий.
>>280501 Гомологии не нужны. Алгем не нужен. Весь вышмат, кроме калькулюса не нужен. Всё, что не имеет отношения к процессу жарки картошки -- не нужно.
>>280500 Пиздец ты тугой. >ведь я так говорю Молодец. Но кого ебет очередной малолетний борцун с системой? Ты можешь вообще хоть на своем выдуманном языке разговаривать- пожалуйста, сколько угодно. Ведь мы не про тебя говорим, а про общеупотребительную норму, которой придерживаются большинство грамотных носителей языка. >пруф из нормы языка? http://slovarozhegova.ru/word.php?wordid=9784 Большинство значений как раз "один из двух", причем в таких словарях первым ставят самое распространенное и частое в употреблении значение и оно как раз "однородные члены предложения, находящиеся в отношениях взаимоисключения". покормил
>>280465 Не использовали овкос, использовали соображение о том, что поворот - линейный оператор (что почти что определение), а также то, что вектор (1,0) перейдёт в cosx sinx, а (0,1) перейдёт в cos(x+pi/2) sin(x+pi/2)
Или рассматривается в русском языке как "или то, или то", то есть чо-то одно, и в нормальном понимании. Во многих учебниках по логике на это обращают внимание.
>>280582 Так же он выглядит. А формулируется для конечных, я думаю, потому что хоть что-то содержательное в таком представлении есть только для конечной группы перестановок.
Выше теорему Кэли упоминали, в связи с этим назрел вопрос. Существует ли какой-то её аналог для бесконечных групп? Если взять бесконечную группу счетного порядка и множество перестановок натуральных чисел, то возможно ли между ними установить изоморфизм?
Пусть G - группа с операцией "звёздочка", в дальнейшем я буду её опускать. Рассмотрим множество F всех биекций G->G. Из определения биекции вытекает, что F - группа (относительно композиции).
Пусть p - элемент группы G. Рассмотрим функцию fp(x) = px. Это биекция; чтобы это доказать, проверим сюръективность и инъективность. 1. Пусть q - элемент G. Так как всякая группа является квазигруппой, уравнение px = q однозначно разрешимо относительно x. Поэтому fp - сюръекция. 2. Предположим, что px = py. Тогда p-1px = p-1py и x=y. Поэтому fp - инъекция. Поэтому fp - элемент группы F.
Всякому элементу p из G сопоставим биекцию fp. Это гомоморфизм. В самом деле: fpq(x) = (pq)x = p(qx) = fp (fq(x)) = (fp∘fq)(x). Ядро этого гомоморфизма - единичный элемент. Действительно, пусть fp = id. Тогда для любого x верно, что px = x. Значит, p = 1.
Гомоморфный образ группы изоморфен фактор-группе по ядру гомоморфизма. Фактор-группа по единице изоморфна самой группе. Изоморфность - транзитивное отношение.
>>280610 Определение. p < q, если существует такое x>0, что p+x = q.
Теорема. Если t = (a+b)/2 и a<=t, b<=t, то t=a=b. Пруф. Пусть a<t. Тогда t=a+x, a = t-x, здесь x > 0. Откуда t = (t-x+b)/2, 2t = t+b-x, t = b-x, b = t+x. Так как x>0, имеем b>t, что противоречит условию.
По индукции, это верно для любого числа слагаемых, в том числе и для четырёх. О как.
>>280613 Чёт меня чуть не порвало. Не, твоё доказательство я понял, но такая простая хуйня должна быть очевидной, интуитивной. И только подумав я понял что среднее арифметическое q чисел a,b,c,... не может быть больше всех этих чисел, а следовательно из условия что оно не меньше этих чисел вытекает то что оно равно всем этим числам. Бля, мне нужно обратно в шкалку.
>>280618 Ну вот ты кис в школе десять лет. Что, обучился в ней чему-то? Нет же, там нужному не учат. Читай уже Кострикина, хватит "готовиться". Легко не будет, но ты справишься.
>>280623 Эту вещь удобно понимать, если взять бумажку, выписать на ней руками систему (1) и просто её решить. Вообще, учебники по алгебре нужно читать с бумажкой и ручкой, чтобы делать выкладки самостоятельно. И не спешить, учебник никуда не денется.
Анон, как доказать, что если в группе a*a = e, то группа коммутативная? Помню, что доказательство там несложное, но надо найти какой-то хитрый подход и рассмотреть неочевидное выражение.
>>280630 Странно, я понял идею доказательства, но мне все равно непонятен механизм, благодаря которому группа становится коммутативной, как только в ней выполняется условие a*a = e. То есть шаги я помню, но общая картина не складывается. В чем дело?
>>280636 1. Для любого x верно, что x*x = e. 2. Группа называется коммутативной, если ab=ba для любых a и b.
Мы имеем условие 1 и желаем увидеть, что условие 2 выполняется. Для этого нам нужно взять объект (ab) и изыскать такую цепочку манипуляций, что ab, будучи подвергнуто ей, превратится в ba. При этом в этой цепочке где-то должно возникнуть умножение некоего объекта на самое себя, - то есть должно возникнуть условие 1. Разумно начать с умножения на самое себя нашего исходного объекта, (ab). Дальше само собой захочется умножить обе части справа на b, и далее на a. И вот мы вдруг превращаем (ab) в (ba), что и желали увидеть. Свершилось маленькое чудо.
>>280634 А, скажем, умение доказывать утверждения теории групп улучшит математическое мышление так, что будут легче даваться и доказательства алгема? Скилл доказательства накапливается или действует только в пределах одной области?
Итак, господа, спешите рекомендовать годный учебник по математическому анализу, содержащий в себе весь классический и новый материал, для белого человека.
Наткнулся тута на сайт, точнее даже на книжку http://homotopytypetheory.org/book/ гомотопическая теория типов. Погуглил - на русский не переводили. А есть ли вообще что-то по этой теме на русском? Или таки не париться и читать оригинал?
>>280652 Ну идеальных авторов нет, у каждого есть свои плюсы и минусы, к тому же еще сильно зависит от того, что тебе нужно итп. И Зорич и Кудрявцев- вполне хорошие учебники, можешь их вместе упарывать, лол. Единственный зашквар, это наверно Фихтенгольц- древнее засохшее говнище, вот его точно не читай.
>>280653 Список тем вряд ли мне известен. Но мне нужны как самые основные пункты так и новые, кроме всяких ненужных гомологий, категорий и картофеля(если это входит в учебный курс матана). Просто чтобы был современный учебник с доступными и исчерпывающими объяснениями.
>>280656 >Просто чтобы был современный учебник Ты правда думаешь, что в матане многое изменилось за последние лет 100? По поводу учебника - Фихтенгольц спасет отца русской демократии.
>>280659 Почему нет, учебник до сих пор актуален, если мы про Россию говорим. Но нужно знать, что слово "варианта", которым пользуется Фихтенгольц, сейчас вытеснено словом "последовательность", а понятие "переменная величина, пробегающая множество значений", вполне мертво.
>>280661 >Но нужно знать, что слово "варианта", которым пользуется Фихтенгольц, сейчас вытеснено словом "последовательность", а понятие "переменная величина, пробегающая множество значений", вполне мертво Нахуя, если можно сразу учиться по нормальному современному учебнику с современным языком?
>>280662 Нормального современного учебника на русском языке попросту нет. Вообще, в России своя собственная образовательная система, для которой Фихтенгольц гораздо более актуален, нежели Лоран Шварц или Michael Spivak.
>>280666 Зорич откровенно уродлив и до неприятного многословен. Пикрелейтед, например. Книжка Зорича хороша только тем, что в других книгах о связи анализа и топологии вообще молчат.
Все началось с того что я решил изучить лисп. По началу, процесс проходил стандартно. Каловая масса вываливалась из меня словно шоколадный град но потом я почуял не ладное. Это была она, мерзкая подлива. Тонкой струйкой она вытекла из моего напряженного ануса. Словно горный ручей, каловый поток извергался из меня струясь в глубины унитаза и смешиваясь с тамошними водами. Я уже и не ждал у моря погоды как снова обратно выбуривая из пучин прямой кишки выходили коричневые гномики словно они долго плыли по фикальным ручьям из черной бездны. Раздирая анальные врата они рвались на свободу, в новые, прозрачные воды унитазариума. Вены в моей голове начали пульсировать, а задние врата потрескивать от наплыва коричневых беженцев. Пришлось под напрячься еще сильнее и тут анальные врата пуще прежнего заскрипели и, не выдержав дикого напора, анальные петли треснули и под натиском фикаломассы полились багровые реки. Анальный портал кровоточил, меня обуял страх, а фикалоиды все не кончались. Боль пронзила мое тело, анус был в огне. Треск жопы разразился громом на соседние окрестности продолжившийся кровавой молнией и анальными реками. Потом я очень долго заживлял мой анальный храм, многое пришлось пережить. Но теперь я научен печальным опытом, больше не буду писать на динамикодрисне!
>>280685 Наверно, ты неправильно понял. Мне не надо умножать fg на gf. Я умножил f на g и получил перестановку (3412), которая выходит за пределы группы из двух элементов. Что это за перестановка? Что она описывает?
>>280688 Группа замкнута относительно групповой операции. Если у тебя есть множество M, на котором задана операция ∗, и ты утверждаешь, что G⊂M - группа, то для любых двух элементов x и y из G с необходимостью верно, что (x∗y)∈G. Если множество G не замкнуто относительно ∗, то оно не может быть группой.
>>280691 Ну смотри: есть ромб с вершинами 1234. Две его симметрии задаются перестановками f = (1432) и g = (3214). При умножении f на f и g на g все в порядке, получаем нейтральный элемент. А при умножении f на g и g на f выходим за пределы множества. Почему так? Что за перестановки получаются в последних двух умножениях?
Я все равно не понял, какое преобразование ромба задается перестановкой fg. По рисунку увидел, что ромб остался той же формы, только каждая вершина поменялась на противоположную ей. Это можно считать нейтральным элементом?
А, все нормально, сосоны. Я плохо вообразил поворот на 180 градусов и вместо него записал перестановку, соответствующую повороту на 90 градусов. Теперь оказалось, что композиция двух отражений дает поворот, как и должно быть.
>>278958 Борщ, матаны. Если кому не влом - поясните идиоту пошагово как найти собственные числа лапласиана на куске обычной двумерной плоскости (то есть на элементарной фигуре - ромбе, прямоугольнике или треугольнике; на границах решение обращается в нуль, есличо).
>>280677 >>280715 Я думаю, если для него уже обозначения - непреодолимая преграда, то ему связь анализа с топологией не нужна, да и сам анализ он бросит через два параграфа хотя эти обозначения действительно весьма ебучие. До функана эта связь в принципе не нужна - нет нужды вводить понятие топологического пространства, а значит и понятие топологии незачем. Алсо, если человек боится читать более одной книги, значит, он не надеется что-либо понимать из прочитанного.
Читай Архипов-Садовничий-Чубариков в таком случае, чувак. Такая же ересь, но без подобных обозначений хотя бы.
>>280725 Для меня обозначения не преграда. Но я, как не учивший анализ, но знакомый с эпсилон-дельта определением предела, шокирован таким нелепым и громоздким обозначением в частном случае. Общеупотребительное понятие прикладным языком для своих теорий представлений - где принято так писать - вот, что по-настоящему хуёво. Если в учебнике, скажем, есть наклонность в сторону топологии, то это хорошо, например, но только когда этот материал изложен в традиционной манере и форме для книги курса анализа бесконечно малых.
>>280725 >связь анализа с топологией не нужна Дело в том, что анализ как предмет, в общем-то, почти полностью состоит из топологии, и изучать анализ в отрыве от топологии совершенно бессмысленно. Например, если не знать топологии, то теорему Вейерштрасса (что непрерывная на отрезке функция ограничена и достигает своих граней) придётся доказывать для отрезка, а для отрезка построения доказательства теоремы Вейерштрасса выглядят совершенно искусственно и убого. Напротив, если доказывать теорему Вейерштрасса для произвольного компакта, то доказательство будет очевидным, ибо определяющим свойством компакта как раз и является факт, что из любого открытого покрытия можно выбрать конечное подпокрытие, и потом остаётся только заметить, что отрезок компактен.
>Архипов-Садовничий-Чубариков Это феерическая хуита с ещё более хуёвыми обозначениями и причём без содержания. В этой книжке нет не то что понятия "дифференциальная форма", но даже понятия "поле", а вещественные числа вводятся тупо пикрелейтед без какой-либо мотивировки.
>>280715 Учебник Зорича ultimate-ебанутый. Но это лучший учебник из всех, которые есть на русском языке. Ненавижу русский язык.
>>280725 >Алсо, если человек боится читать более одной книги, значит, он не надеется что-либо понимать из прочитанного. Вот это неистово двачую. По молодости глупил.
Что за хуйня здесь написана? Разве знак принадлежности применяется к множествам? В примере с пустым множеством: почему оно пустое, если каждое множество содержит само себя в качестве подмножества? Пустое множество не пусто, т.к. состоит из себя.
>>280856 > Пустое множество не пусто, т.к. состоит из себя. Пустое множество пусто, т.к. не содержит элементов. Пустое множество содержит пустое множество в качестве подмножества. Пустое множество является подмножеством любого множества.
>>280856 >Разве знак принадлежности применяется к множествам? Почему нет? Множество будет содержать в качестве своего элемента какое-то другое множество. Вот и всё.
>почему оно пустое, если каждое множество содержит само себя в качестве подмножества? >в качестве подмножества >подмножества Разберись с понятиями подмножество и элемент множества. К примеру, пустое множество является подмножеством любого множества, но в общем случае элементом любого множества оно не будет, поэтому >Пустое множество не пусто, т.к. состоит из себя. неверно, ибо у пустого множества вообще нет элементов, но, конечно, оно имеет пустое множество в качестве своего подмножества.
>>280964 > Это характеристическую функцию ты описал. Множество это объект. Суть одно и то же > Помимо нее есть еще аксиомы по которым можно образовывать множества. Какие же?
>>280986 спасибо за эту неожиданную информацию, вестимо она отражает всё, что ты знаешь. >>280987 пссс >>280989 Да, перефразировать уравнение по формулам известным любому дебилу это уже не детский сад.
>>280729 >Дело в том, что анализ как предмет, в общем-то, почти полностью состоит из топологии, и изучать анализ в отрыве от топологии совершенно бессмысленно. Он не изучается в отрыве от топологии, он просто изучается в одном конкретном, наиболее часто используемом в классических дисциплинах и вместе с тем наиболее интуитивно осязаемом для ньюфага топологическом пространстве - R^n. И на собственном опыте убежден, что гораздо легче, пусть и с некоторой болью, но разобрать осязаемый случай, а потом начать обобщать усвоенное на более абстрактные случаи, удивляясь и радуясь попутно, что там все то же самое делается гораздо проще и естественнее, нежели залезть в абстракции, зазубрить красивые слова, а потом впадать в ступор, когда все то же самое просят показать на конкретном примере и на пальцах. Матанализ-то не аспиранты учат, а уженешкольники, которых только-только от сиськи Марьванны оторвали, и которым к абстрактности еще привыкнуть надо.
Собственно, эта книжка тем и отличается, что все утверждения и доказательства авторы пытаются расписывать все, не влезая в более глубокую и абстрактную теорию. Получается, несомненно, говно, но говно читабельное и понимабельное. Хорошо это или плохо - отдельный вопрос, и в общем-то дело вкуса.
Да, я согласен, что у Зорича получается проще и красивее. Но там требуется понимание понятия компакта, нужно сначала как-то переварить идею того, что из бесконечного покрытия всегда выделяется конечное подпокрытие, посмотреть на это на примерах и рисуночках, убедиться, что это нетривиальное свойство (что так бывает не всегда) - в общем, нужно сначала поучить топологию, а потом возвращаться в анализ. У АСЧ все, конечно, посложнее и менее красиво, но ненамного: сначала находим точку (сколь угодно малую окрестность точки) в которой нарушается ограниченность, а потом показываем, что для непрерывной точки функция обязательно будет ограничена в некоторой ее окрестности (что, кстати, у Зорича оформлено в отдельную лемму, дабы не таскать эпислон-дельта говнище по доказательствам). В эту окрестность всовываем достаточно малую окрестность неограниченности из предположения "от противного" и получаем противоречие. Сильно это сложнее? Я бы не сказал. Искусственно? Да нет, стандартные рассуждения, никаких магических "заметим, что". Увы, из приведенного текста сложно уловить эти идеи, потому что все расписано от и до без неформального пояснения. Можно было бы пункт про ограниченность в окрестности непрерывной точки вынести в отдельную лемму, как у Зорича, дабы не отвлекать от сути. Но таков стиль авторов, щито поделать.
>с ещё более хуёвыми обозначениями Например?
>В этой книжке нет не то что понятия "дифференциальная форма" Есть, во второй части, ближе к теореме Стокса. В координатной форме - для осязаемости опять же.
>но даже понятия "поле" А зачем тебе обратимость элементов в курсе анализа? Это понятие из алгебры, и там оно и изучается. В курсе анализа акцентировать на этом внимание незачем, и так любой сдавший ЕГЭ знает, что можно единицу поделить на все, кроме нуля, и не задается вопросом "а что если нет". Чтобы свойства пояснить? Но в этом нет особой пользы, они и так очевидны, а вот когда начнется алгебра и появятся вопросы, всегда ли выполняется что-то подобное и если нет, то что и когда - тогда все и пояснят. Не то, чтобы было жалко объяснить, но просто в курсе анализа это совершенно незачем, ведь там по-хорошему работают только с одним полем.
>вещественные числа вводятся тупо пикрелейтед без какой-либо мотивировки. Нет, вводятся они как бесконечные десятичные дроби, что, конечно, тоже полное говно, но опять же говно бывшему школьнику понятное, ибо примерно так ему в школе и объясняли, что это такое. Можно все сделать правильно и по-хардкору, сказать, что вещественные числа - это пополнение рациональных по метрике |x-y| (и сами вещ. числа - пределы фундаментальных последовательностей), или, того, хуже, пополнение их же по норме | |_inf, параллельно забивая башку p-адическими числами, но зачем мучить школотрона этим, да еще в курсе анализа? Школотрон охуеет уже от того, что придется изучить понятие предела для определения вещественных чисел, которыми он успешно пользуется класса с 7го, а не наоборот. И всю трушность сего подхода не оценит.
>>281030 Чет мне лень копаться в этом, неси вырезку доказательства того, что непрерывная функция на компакте ограничена на нем, посмотрим, сколько всего нужно перелопатить, чтобы добраться до этого момента.
>>280952 Ты говоришь, что элементы одного множества это элементы некоторого другого множества удовлетворяющие некоторым дополнительным свойствам. Это не решает саму проблему существования. >>280981 Но ведь такие теории существуют. И это неудивительно - если можно получать содержательные результаты оперируя бесконечными множествами, то почему бы и не попробовать самопринадлежащие.
>>281020 >Евклид, Пифагор, Галуа И все они разрабатывали теории непосредственно для решения интересовавших их задач, а не просто так или для следующих поколений. Последующие поколения в случае Галуа просто нашли еще больше применений, развив теорию дальше.
Тогда уж надо пилить три типажа: - Картофанщик. Копается в примитивном вузовском говне типа интегральчиков, общая теория для которых была расписана несколько веков назад и остались лишь отдельные вопросы, связанные с практическими приложениями. Все новое и недостаточно разжеванное в качестве аппарата для решения прикладных вопросов считает "игрой в бисер" и "говном без задач". - Вербитоблядь. Пытается залезть как можно глубже в абстракции, изучает все подряд без какой-либо цели, поскольку получает удовольствие от самого изучения абстрактного математического мира. На наличие или отсутствие связи теории с прикладными вопросами не обращает никакого внимания. Иными словами, "играет в бисер" или дрочит на это. - Математик. Знает текущее положение вещей в математике и направления дальнейшего развития. Хорошо разбирается как в разработанном теоретическом аппарате и его ценности для применения в интересующих вопросах, так и в открытых вопросах математики и их ценности для практики или дальнейшего развития математики. Разрабатывает теории в направлении решения открытых вопросов математики. Умеет как решать простые задачи элементарными методами, так и переходить на высокий уровень абстракции для решения сложных задач, привлекая при этом методы более общих теорий, а порой и других областей математики, создавая тем самым революции в науке. Всегда может объяснить на пальцах любой изученный им результат из сколь угодно продвинутой теории на уровне, доступном для собеседника.
>>281045 >Вербитоблядь Причем здесь Миша? Он же наоборот, за прикладную математику. >В условиях потери абстрактных критериев, единственно эффективным критерием становится утилитарный. Математика лишь постольку интересна, поскольку она связана со струнной теорией; это базовое предположение, которое я не хочу сейчас обсуждать. Релевантность для физики это единственный критерий, который у нас остался; а почти вся математика, относящаяся к физике, относится к струнной геометрии. Этот тезис хорошо подтверждается наблюдением, приведенным выше: (почти) все интересные идеи последних 20 лет связаны с физикой струн. Что не говори, его ненависть к калькулюсу вызвана тупым проебом времени, вместо того чтобы сражаться на передовой науки.
Ты расширил термин "применимость" на сами вопросы математики. Спорить с тобой я не буду, всё сводится к разному понимаю этого термина.
>>281048 Миша Мишей, мы говорим о тех, кто надрачивает на отдельные его писульки. Про физику же - он лишь за некоторую часть прикладной математики (в каком-то роде бессмысленное понятие: вся математика прикладная, а которая не прикладная, та не математика, а "игра в бисер", типа этого https://en.wikipedia.org/wiki/Wheel_theory), остальное, более идейно простое и насущное, он отвергает, постулируя, что это "неинтересно". Что радостно подхватывают вербитодети, которым лишь бы подальше от реальности.
Про калькулюс - это критика учебной программы МГУ и прочих картофельных фабрик, а не предмета как такового, предмет плохим не бывает. Но опять же, если в его понимании математику интересно "прикладывать" лишь к физике, и рассматривать лишь в соответствии с ней, то какой смысл прислушиваться к его критике.
Предыдущий: