Этот тред посвящён pure mathematics. Здесь из нескольких разных доказательств выбирают самое концептуально правильное, доказывают задачи из листочков для первого курса НМУ, а также читают научные статьи (пытаются). Если вы хотите задать вопрос типа "как мне взять этот интеграл", это не сюда. Вам нужен тред "для начинающих", он плавает неподалёку.Предыдущий: >>372131 (OP)
1. https://arhivach.org/thread/18638/2. https://arhivach.org/thread/27246/3. https://arhivach.org/thread/27696/4. https://arhivach.org/thread/38709/5. https://arhivach.org/thread/46502/6. https://arhivach.org/thread/48852/7. https://arhivach.org/thread/52165/8. https://arhivach.org/thread/56479/9. https://arhivach.org/thread/63306/10. https://arhivach.org/thread/70618/11. https://arhivach.org/thread/74342/12. https://arhivach.org/thread/74341/13v1. https://arhivach.org/thread/76561/13v2. https://arhivach.org/thread/92428/14. https://arhivach.org/thread/78408/15. https://arhivach.org/thread/79152/16. https://arhivach.org/thread/82499/17. https://arhivach.org/thread/92427/18. https://arhivach.org/thread/84722/19. https://arhivach.org/thread/87923/20. https://arhivach.org/thread/91329/21. http://arhivach.org/thread/93067/22. https://arhivach.org/thread/94240/23. https://arhivach.org/thread/95680/24. https://arhivach.org/thread/96720/25. https://arhivach.org/thread/99481/26. https://arhivach.org/thread/100880/27. https://arhivach.org/thread/101335/28. http://arhivach.org/thread/106743/29. https://arhivach.org/thread/109198/30. https://arhivach.org/thread/114111/31. https://arhivach.org/thread/116099/32. https://arhivach.org/thread/118093/33v1. https://arhivach.org/thread/122613/33v2. https://arhivach.org/thread/122615/34. https://arhivach.org/thread/123717/35. https://arhivach.org/thread/128822/36. https://arhivach.org/thread/129039/37. https://arhivach.org/thread/131462/38. https://arhivach.org/thread/138362/39. https://arhivach.org/thread/13842940. http://arhivach.org/thread/140404/41. https://arhivach.org/thread/142386/42. https://arhivach.org/thread/145879/43. https://arhivach.org/thread/146833/44. https://arhivach.org/thread/152600/45. https://arhivach.org/thread/153157/46. https://arhivach.org/thread/156244/47. https://arhivach.org/thread/159628/48. https://arhivach.org/thread/165872/49. https://arhivach.org/thread/183576/50. https://arhivach.org/thread/187447/
Сидим тута? Математика хуёва грамматика.
>>376017 (OP)Что на пикрелейтед (я не про анимэ)?
>>376196Программа Вербицкого, третий курс, одна из книжек, пара страниц из неё.
>>376205>>376196Артур Бессе это. В программе вербицкого второй курс, а не третий.
>>376208В самом деле.
Только non вербитосрач.
Маняматики, какой по вашему способ наиболее лучшего изучения маняматики?Я вот читаю что есть два способа, первый с времен лейбница, когда студиозу все рассасывают и пережевывают по десчять раз, чтобы даже сосачер из буэ все понял.Второй, как бы нынешний молодежный, популярный, и т.д., бросить каникуляру основные определения чтобы он дальше сам выводил из них следствия и теоремы.
>>376258Для получения людей, который гарантированно знают хоть что-то, нужен первый. Второй сильно поможет усердным и способным(но из них важнее первое, ибо способный лентяй может забить), но утопит остальных. Если это сочетается с жёстким экзаменационным контролем, то получаем толпы неосиляторов. Если же нет, то просто толпу с корочками со знаниями математики в лучшем случае чуть больше нормальных физиков.
>>376258Нужно представить, будто окунаешься в океан говна с открытым ртом - и математика идёт как по маслу.
>>376258> Маняматики, какой по вашему способ наиболее лучшего изучения маняматики?Если бы я знал, давно бы уже ее изучил.
Как вы относитесь к собственному удивлению? Вот есть какое-то утверждение, доказательство которого вы знаете; знаете, что утверждение верное, но оно вас удивляет даже спустя какое-то время. Первое, что в голову пришло: лемма о лебеговом числе. Я когда прочитал ее формулировку, я удивился. Потом порисовал шары и думаю: "ага, ясно". Сам без учебника придумал доказательство. Но вот геометрически она мне кажется какой-то неочевидной. То есть я сам придумал доказательство, оно совпало с тем, что в учебнике, но мое естество почему-то не хочет ее принимать.Я всегда думал, что если сам придумал доказательство, то ты реально понимаешь материал. Но сейчас я думаю, что, быть может, я придумываю доказательства не потому, что все прочувствовал, а потому что авторы учебников разбивают все на короткие леммы и как бы за руку подводят тебя к нужным вещам. Как вы заставляете свой мозг что-то принять?
>>376264Двачую! Я так и изучаю математику, полёт нормальный!
>>376339Потому что большая часть человеческих доказательств -- это не более чем убедительные рассуждения. Реально же это может быть не более чем математической демагогией.Короче, пока ты не написал док-во, принимаемое пруф ассистентом, знай, это нихуя не док-во.
>>376263Почему тогда форсится сейчас второй способ?
>>376413Потому что дешевле и проще нихуя не делать, чем уделять время на реальное общение с учениками.
>>376405Но есть риск дохуя всего написать и все равно ничего не понять. Особенно если ассистент хорошо ассистирует и сам половину фактов за тебя подбирает.
>>376405>>376418Съеби в тред для новичков, пожалуйста, не шкварьте этот тред.
>>376263Твой пост огорчает физиков.Они что, не знают ничего по твоему?
>>376460А что именно знают физики? По темам.
>>376468Если брать вообще всю физику то интригалы, тапалогии, векторы, матрицы, эвклидовые и неэвклидовые геёметрии, многомерные пространства, например.
>>376473То есть то, что математики, по-хорошему, должны знать на первом семестре первого курса.
>>376477а также: комплексный анализ, теория групп, уравнения математической физики, основы теории интегральных уравнений и.т.д
>>376473>тапалогииPoint-set topology определяется в курсе анализа задолго до интеграла.>матрицыЛинейная алгебра.>эвклидовые и неэвклидовые геёметрииНет такого в 21-м веке. Евклидова геометрия называется аффинной, чтобы знал. Её обобщение - проективная геометрия. Математики изучают метрическую геометрию (и топологию).>многомерные пространства,Лол. То есть ты предполагал что исключительно для одномерного пространства вся математика строится?>>376479>комплексный анализ, теория группОпять же первый семестр. На старших курсах изучают теорию колец, в том числе некоммутативную. А действительный анализ вообще нахер не всрался никому.>уравнения математической физикиЭтим термином называют уравнения в частных производных, то есть опять же, ты предполагаешь что сначала нужно изучать функции одной переменной.
>>376480>ФСЕНИТАКДавай тогда пиши что они знают по твоему.
>>376480Опускаю вербитодетей в прямом эфире.> Евклидова геометрия называется аффинной, чтобы знал.Аффинная геометрия не то же самое, что евклидова, чтобы знал, не обсирайся на уровне терминологии хотя бы. >Математики изучают метрическую геометриюМетрическая геометрия - мем, зафорсенный Вербицким, никто её не изучает. Было пару экспериментальных спецкурсов от Иванова и тусовки и одна книжечка от них же и форс Вербицкого этой темы, на том всё и закончилось. >На старших курсах изучают теорию колец, в том числе некоммутативную.Ой не могу блять. Теорию колец на старших курсах. Дай угадаю, а на ещё более старших - теорию алгебр?>А действительный анализ вообще нахер не всрался никому.Ой ли? А почему в qual exams Гарварда на graduate наряду с тапалогиями и гамалогиями требуется знать вещественный анализ и теорию вероятностей?
>>376437дибилка блядь это вопрос фундаментальнейшей важности
>>376482>не то же самое,Строго говоря нет. На уровне "аффинная геометрия - геометрия линейки и циркуля, проективная - только линейки".>Метрическая геометрия - мемВот тут я тебя обосрал.>никто её не изучаетМожешь открыть например трехтомник по анализу Herbert Amann, внезапно начинается с метрической геометрии. Можешь хоть Шварца посмотреть, я не знаю что ты вообще читал, чтобы придти к такому выводу. Ничего, скорее всего.>экспериментальных спецкурсов от ИвановаСпбгу>форс Вербицкого этой темыВышка/нмуТо есть то, что это изучается по меньшей мере в двух разных городах и школах в принципе, тебя не смущает>и одна книжечка от них жеЭто Бураги-то?>Теорию колец на старших курсахНу это просто говорит о том, как мало ты знаешь о кольцах, если думаешь что там нечего изучать>qual exams Гарварда на graduateПо АГ вопросы в духе "What is a scheme", "State Riemann-Roch". Могу представить какой там детский сад по твоей любимой комбинаторике. Могу еще и посмотреть, но лень.http://math.harvard.edu/graduate/quals/topics/
>Можешь открыть например трехтомник по анализу Herbert Amann, внезапно начинается с метрической геометрии. Можешь хоть Шварца посмотреть, я не знаю что ты вообще читал, чтобы придти к такому выводу. Ничего, скорее всего.Это не то, что называется метрической геометрией, это просто общая теория метрических пространств, это естественно учат даже в провинциальных ВУЗах на инженерных специальностях, илитка ты наша. Ну и соответственно:>Спбгу>Вышка/нмуни там, ни там метрическая геометрия не входит в обязательные курсы (в НМУ вообще нету обязательных курсов, конечно, я про стандартные курсы геометрия/алгебра/топология/анализ).>Ну это просто говорит о том, как мало ты знаешь о кольцах, если думаешь что там нечего изучатьЗнаю достаточно, чтобы утверждать, что никому не придёт в голову выделить время на "старших курсах" для теории колец под обязательные курсы, потому что тот кусок структурной теории, который нужен всем математикам рассказывают на первом курсе, а алгебраических тем, которые нужно рассказать на старших курсов итак очень много, и теория колец в них не войдёт.>По АГ вопросы в духе "What is a scheme", "State Riemann-Roch". Могу представить какой там детский сад по твоей любимой комбинаторике. Могу еще и посмотреть, но лень.Лол, нашёл самые простые (= которые можно нагуглить) вопросы из списка и скинул. А ну ответить на "What is the connection between H1 and line bundles?", алгебраический геометр мамкин.
>>376488>это естественно учат даже в провинциальных ВУЗахНет, не учат. Я не знаю, правда, что в твоем понимании провинциальный вуз, ратгерс и глазго или саратовский государственный университет.>не входит в обязательные курсыВ спбгу в обязательные курсы с недавнего времени даже категории входят. При чем не в элементарном виде как часть введения в АГ и не на третьем курсе, как это было в вышке например.>в НМУ вообще нету обязательных курсовНу вообще-то есть, но ладно.>которые можно нагуглитьНагуглить можно что угодно. Или ты думаешь, что я не смогу нагуглить про первые гамалогии линейного расслоения? Определение схемы через пучки или формулировку римана-роха для кривых можно знать by heart не будучи серьезным математиком при этом. На самом деле, изучение алгебраической геометрии с этого и начинается. Сначала ты интуитивно понимаешь, что важно, а уже потом изучаешь это.
>>376489>Нет, не учат. Я не знаю, правда, что в твоем понимании провинциальный вуз, ратгерс и глазго или саратовский государственный университет.В Донецком НУ на специальности "прикладная математика" определения метрических пространств дают и основные свойства учат. (Есть знакомые)>В спбгу в обязательные курсы с недавнего времени даже категории входят.Конкретно метрической геометрии в понимании Вербицкого:Геодезические. *Теорема Хопфа-Ринова (локальнаякомпактность в полном метрическом пространстве равносильнасуществованию геодезических). Внутренние метрики.нету и там.>Определение схемы через пучки или формулировку римана-роха для кривых можно знать by heart не будучи серьезным математиком при этом.Уход от ответа уровня /б/. Ты бы ещё про "напоминание в платоновском смысле" вспомнил; факт в том, что связь первых гомологий пространства с линейными расслоениями над ними - это азы топологической К-теории, и то, что ты этого не знаешь как бы характеризует твою осведомлённость в АГ в целом. Зато выёбываться мастер.
>>376493>Конкретно метрической геометрии в понимании ВербицкогоЯ мало вижу различия между "общей теорией метрических пространств" и "метрической геометрией" в реальном курсе. Риманова геометрия тоже форс вербицкого?>напоминание в платоновском смыслеРечь вообще не об этом. У нормального человека обучение математике происходит примерно так: "Мне попалась книга Фоменко-Фукса по гомотопической топологии, завершающаяся кратким эскизом про теорему Атиа-Зингера. Видимо ещё из каких-то книг я понял, что эту теорему хорошо бы понять."То есть пока ты сам не поймешь интуитивно, что классы черна или когомологии пучков это важно, тебя в этом никто не сможет убедить в принципе.>азы топологической К-теорииТопологическая к-теория занимается классификацией векторных расслоений, и это не совсем алгебраическая геометрия. Это что-то больше из книг адамса скорее. Гамалогии и спектралки - АТ, другие же области математики больше интересуются гамалогиями с приставкой ко. Есть еще алгебраическая к-теория, занимающаяся проективными модулями над кольцами, и это тоже не совсем алгебраическая геометрия.
>>376493>В Донецком НУ на специальности "прикладная математика"Кстати, а какого образца у них там дипломы сейчас? Украинского? Российского? ДНРовского?
>>376480>изучают метрическую геометриюВай-вай, без метрики уже никуда?
>>376496Обещают сделать российского, но пока ДНРовского, как я понял.
>>376486>На уровне "аффинная геометрия - геометрия линейки и циркуля, проективная - только линейки".
>>376503Кто им это даст сделать, лол?
>>376522Я помню это упражнение. Его решение сравнительно замороченное, нужно хорошо разбираться в ординалах и индикаторных функциях.Пусть у нас есть равенство, в которое входят множества x1, x2, ... , xn. Объединение этих множеств обозначим как X, его мощность как ℵ. Зафиксируем биекцию φ: ℵ → X. Таким образом, все элементы множеств, участвующих в формуле, каноничным образом расположены в виде трансфинитной строки Φ длины ℵ. В этой строке на месте i, где i - ординал, стоит элемент φ(i).Рассмотрим множество всех функций из ℵ в ℤ2 - поле вычетов по модулю 2, состоящее из элементов 0 и 1. Как известно, такие функции называются характеристическими, или индикаторными. С помощью нашей зафиксированной функции φ множество индикаторных функций биективно соответствует множеству всех подмножеств X. В самом деле, если χ - характеристическая функция, то сопоставим ей множество {φ(x) | x∈ℵ и χ(x) = 1}. Если же M - подмножество X, то сопоставим ему функцию χ такую, что χ(x) = 1, если φ(x)∈M, и χ(x) = 0, если φ(x)∉M. Таким образом, о строке Φ можно думать как о трансфинитной строке длины ℵ из сплошных единиц, а всякому множеству xi соответствует трансфинитная строка длины ℵ, в которой на части позиций стоят нули. То есть чтобы получить из множества X множество xi, нужно часть позиций затереть нулями.Два множества равны тогда и только тогда, когда их характеристические функции совпадают во всех точках. Если множество ординалов, в которых характеристические функции не равны, не пусто, то оно (как и вообще всякое непустое множество ординалов) имеет наименьший элемент, скажем, n. Операциям ∪, ⋂ и \ над двумя множествами соответствуют известные поточечные операции над характеристическими функциями в поле ℤ2. То есть если χ1 и χ2 - две характеристические функции, то объединению соответствует функция χ, во всех точках задаваемая как χ(x) = max(χ1(x), χ2(x)), пересечению соответствует функция χ(x) = min(χ1(x), χ2(x)), разности соответствует функция "χ(x) = 1, если χ1(x) = 1 и χ2(x) = 0, и χ(x) = 0 в противном случае". Поскольку эти операции поточечные, на результат их применения к позиции номер i в строке Φ не влияет результат их применения ко всем остальным позициям. Докажем теорему индукцией по количеству операций в формуле. Пусть в формуле имеется только одна операция. По условию теоремы, найдется контрпример к формуле. Это значит, что характеристические функции левой и правой части поточечно не совпадают. Пусть i - первый ординал, в котором они различаются. Рассмотрим трансфинитные битовые строки, соответствующие множествам нашего контрпримера. В них все позиции, кроме i-й, затрём нулями, а i-ый элемент не тронем. Тогда если в строке, соответствующей данному множеству из контрпримера, на i-м месте стоял нуль, то оно станет пустым множеством, иначе - одноэлементным множеством. Поскольку рассматриваемые операции - поточечные и применяются не более чем к паре множеств, контрпример не перестанет быть контрпримером. Таким образом, база индукции доказана. Совершенно аналогично доказывается шаг индукции. Поэтому теорема верна для формулы, содержащей любое конечное количество операций ∪, ⋂ и \.
>>376522>>376524Пиздец ты ебан.Достаточно найти всего лишь один набор множеств, где равенство обломалось, посмотреть, в каком элементе части различаются, и пересечь множества с этим элементом. Рез-т будет требуемым. Пиздец сколько понаписал.
>>376538Во-первых, мне не очевидно.Во-вторых, разбирать частные случаи, когда есть общее решение, - это так уродливо.
>>376540Не понял, в каком месте ты разбираешь сколько-нибудь более общую задачу?
>>376543Кроме ∪, ⋂ и \, есть и другие поточечные операции. Моё доказательство без изменений проходит для любой булевой функции от двух переменных. А тебе придётся долго ебаться с раскрытием скобок.
>>376545ЛолчтоМоё док-во требует только знания факта, что пересечение с множеством можно выносить за скобки (дистрибутивность). Для всех операций, для которых это верно, это банальнейший факт.
>>376522возьмем контрпример видаF(A, B, C, ...) /= G(A, B, C, ...) имеется некий элемент а, который содержится в левом множестве и не содержится в правом (или наоборот)введем операцию Т - которая выбрасывает из множества все элементы кроме аоперации ∪, ⋂ и \ коммутируют с Tтеперь мы применяем эту операцию к неравенству и вносим ее внутрьF(T(A), T(B), T(C), ...) /= G(T(A), T(B), T(C), ...) получаем контрпример с требуемыми свойствами
Пусть T: V -> W - линейное отображение нормированных векторных пространств . Я доказал, что следующие утверждения экивалентны:1) |T| < Inf2) T равномерно непрерывно3) T непрерывно4) T непрерывно в 0.Помогите доказать, что если V и W конечномерные, то T непрерывно, используя только этот факт. В учебниках какая-то смекалочка вместо нормального доказательства.
>>376580Норма здесь |T| = sup{|Tv|/|v|, v != 0}, если че.
>>376580Там нужно использовать факт компактности единичной сферы.
>>376584Я это и имел в виду под смекалочкой. По моим ощущениям, связь между компактностью единичной сферы и непрерывностью T очень косвенная.
Зачем нужно разбирать доказательства при чтении книг? Вот я вижу 2 причины:1) В доказательстве может быть какой-то концептуальный пример применения штук, которые мы изучаем.2) Часто доказательство запомнить проще чем утверждение. Иногда оно очевидное и даже запоминать ниче не надо (как большинство доказательств в point set topology, например).Может быть на некрасивые доказательства забивать полностью, а для запоминания утверждений решать задачи? Так-то я задачи не люблю и почти никогда их не решаю, но, может быть, решать задачи эффективнее, чем пытаться прочувствовать хуевое доказательство, которое непонятно вообще как можно было придумать?
>>376495Я вообще мимо проходил и в целом поддерживаю твою позицию, что физики математики не знаю, а гарвадские exams хуйня.Но, блджадь, запомните уже, алгемщики херовы, что линейные расслоения это H^1 от пучка обратимых функций. А то без этого никуда. Сам же говоришь про классы Черна, которые, например, тот Вербяшка любит определять, используя этот факт.А еще про теорию колец какую-то хуйню спизданул. Не видел такого курса никогда. Но, может, это моя неграмотность.
Почему русскосоветские учебники по мтану такое говно ебаное?Открываю русский учебник, читаю про экспоненту"Ну вишь, братишка, экспонента короче, ну функция предела бесконечного. Вот хочешь, я для тебя предел задам а ты её посчитаешь, хочешь, братишка?"Открываю английский учебник"Вот есть сто клеток у тебя. Каждую секунду они производят одну такую же клетку. За сто секунд количество клеток удвоится. Но это если не считать вклад в работу тех клеток которые уже появились на свет. Вот если считать этот вклад то и получается экспонента. Рассчитывается она по формуле бинома, из которой же следует её самоподобие при дифференцировании и обоснование для натурального логарифма"Почему такой разрыв между учебьниками? В одном тянут тему на пять страниц и нихуя толком не объясняют а в другом за эти же пять страниц все разжжуют и в рот положат.
>>376657Есть разные определения и разные подходы, ищешь что тебе нравится, изучаешь. Английский матан - калькулус, он рассчитан именно на то, чтобы обучить народ брать производные, интегралы и прочую муть, наш калькулус, это как правило тяжеловесная фигота с кучей теорем и доказательств(через эпсилон формализм), традиция, хули.
>>376658Тато, чому я постсовок...Нахуй так жить тогда? Почему никто не напишет книжко чтко, годно, чтобы батя малаца сказал и руку пожал, быдло забоялось, тянучки потекли? Почему надо городить хуиту какую то настолько непонятную, что та же хуита на другом языке более понятна?
>>376659>Почему надо городить хуиту какую то настолько непонятную, что та же хуита на другом языке более понятна?Ну, ты же понимаешь, что это тебе СЛОЖНА понять что такое экспонента через предел, другой народ справляется и ничего.>Почему никто не напишет книжко чткочетко в подъезде у пацанов, тут ты либо находишь нужную тебе литературу либо идешь нахуй, ты удовлетворил свою надобность в англоязычном сегменте, молодец.
>>376661Но ведь в нашей литературе не говорится почему экспонента самая быстрорастущая функция. Говорят это только как факт. Хотя это еще доказать и показать надо.
>>376662>Хотя это еще доказать и показать надо.Упражнение.
>>376659>Почему никто не напишет книжко чткоДля этого нужны три вещи.1. Деньги.2. Квалификация.3. Спрос.Деньги может выдать либо рыночек, либо государство. Но рынка математической литературы в России нет, даже Фихтенгольца уже не купить. А государство выдаёт деньги только в виде грантов, а грантов ограниченное количество и все они быстро расхватываются на более приоритетные вещи. Квалифицированных математиков, способных потратить несколько лет своей жизни на учебник матана, тоже нет. Они либо занимаются более интересными вещами, либо уехали из России в более цивилизованные места. Наконец, кто будет читать такой учебник? Вообще-то в России есть жесткие стандарты высшего образования, и любой вуз, кроме НИ, должен следовать этим стандартам, иначе он не получит лицензию на образовательную деятельность. А по законам России образовательная деятельность без лицензии - преступление. Поэтому вузы учат только по тем книгам, которые соответствуют стандарту на математика. А этот стандарт писал говноед Лупанов с мехмата. Таким образом, вузам не нужны учебники, которые не релевантны говноедству. Студентам же нужны только те учебники, которые будут полезны для учебы в вузе. Хорошие учебники нужны только тем студентам, которые учатся не ради диплома, а ради знаний. То есть спрос на хороший учебник матана исчерпывается буквально несколькими десятками людей на всю страну. Причем в местах скопления математиков, например на матфаке, такой учебник даже не нужен, обитающие там люди уже знают все нужное из каких-то своих собственных источников. Спрос на такой учебник может быть только в далеких от математики местах.
>>376657>учебники по мтану такое говно ебаное>читаю про экспонентуТы ошибся тредом.
>>376664Ну не может же все быть так плохо. Меня от твоего поста такая беспросвтеная тоска обуяла, что хоть в гроб не ложись. Ну мы ведь тоже хорошие люди, почему никому ничего не нужно-то нахуй?
>>376608Так доказательства, а точнее говоря идеи доказательств - это самая суть. Когда ты действительно разобрался в доказательстве, прочувствовал его, то можешь прилагать идеи заложенные в нем в других местах, а это именно то, что нужно для исследовательской деятельности.Впрочем, если, например, понятно, что кусок какого-то доказательства - это безыдейный счет, то пропустить его весьма разумно.
>>376668Я не знаю.
>>376488>>376486лол что такое теория колец? теория колец in коммутативная алгебра = аффинный алгем
>>376553Естественно ни спасибо ни блядь пожалуйста. Чтоб я еще ебаным первокурсникам помогал домашку делать. Нахуй.
>>376657Потому что в России принято людей мучить и учить соответствующе. Т.е. пиздить как можно сильнее, чтобы выжили сильнейшие (а слабые и середнячки при этом просто подохли). То же самое и в других областях же. Например, спорте или балете.А разница между обучением физиков в СССР и США уже стала определенного рода мемом в этом плане.В математике это приводит к тому, что отдельные гении есть (и те по большей части моментально съебывают), а науки нет.
>>376675
>>376683Это называется функциональный анализ в первых двух случаях. А в третьем случае это называется результаты алгебраиста Туганбаева.
>>376608>Так-то я задачи не люблю и почти никогда их не решаюУдваиваю. В частности потому что с вероятностью 100% авторы ввернут несколько задач которые невозможно решить в принципе на основе пройденного материала. Нужна смекалочка - как кажется авторам - на самом же деле огромное количество дополнительного материала, до которого читатель еще не дошел и никогда не дойдет если будет попадаться на каждую такую бомбу.
>>376657>Почему русскосоветские учебники по мтану такое говно ебаное?Чем тебя зорич не устроил?
>>376682Хуйня беспруфная
>>376690Например, особенно радует такими вещами Львовский, непринужденно вворачивая в задачи формулы Рамануджана.
>>376704Ты его читал? Он предел определяет пикрелейтед.
>>376708Вполне валидное определение.
>>376711во-первых нет, потому что без дополнительных оговорок окрестность, которая стоит после квантора существования, не обязана быть той же самой окрестностью, которая стоит слева от значка подмножества. Во-вторых, это не определение, а долбоебизм, мечта безумной стенографистки. Это даже не формальная конструкция (формативной последовательности не предъявлено), это именно что тупая, бессмысленная и беспощадная стенография.
https://www.youtube.com/watch?v=r0pzGzoo8kYДавно не было такого.
>>376663Давай, придумай мне упражнение кот орое это показывает. Покажи что ты круче вербицкого.>>376664Тогда почему бы группе анонимусав не написать такой учебник? И назваться как бурбакисты какими то гайофоксистами.>>376666Я привел банальнейший пример. Или мне надо было в залупу гомологий лезть?>>376704>Пусть дано множество M и отношение порядка < на нёмОпредели мне теперь это множество.
>>376712>окрестность, которая стоит после квантора существования, не обязана быть той же самой окрестностью, которая стоит слева от значка подмножества. Понятно, с формальной записью через кванторы поциент не знаком.>это не определение, а долбоебизм, мечта безумной стенографистки...>формативной последовательности Что такое формативная последовательность?!А главное покажи мне правильное на твой взгляд определение, и мы с радостью обсудим, как оно отсасывает у этого.
>>376714>Я привел банальнейший пример. Или мне надо было в залупу гомологий лезть?Шапку треда почитай.
>>376716>Что такое формативная последовательность?!И етот человек называет других поциентами.
>>376718Хотя бы поэтому ты и есть поциент, если ты не понял.
>>376719Символ U у Зорича обозначает какую-то функцию, U(x), где x - вектор параметров. Если Зорич для вектора параметров t может получить символ ∃U(t), то логика, которой он пользуется, сильно отличается от общечеловеческой. Ну или он вообще не пользуется логикой, а его "формализм" - всего лишь стенография.
>>376720>Символ U у Зорича обозначает какую-то функцию, U(x), где x - вектор параметровТы болен. Лечись!
>>376720>>376657Вам сюда >>374531 (OP) Не срите здесь, блджадт.
>>376723>>376717Поясняй давай почему нам туда а не сюда.
>>376723Обсуждение Зорича вполне соответствует теме этого треда. В треде для начинающих логику не знают. Впрочем, конкретно с этим >>376722 я разговаривать больше не буду.
Вы все больны. Лечитесь!
>>376708Как же ты заебал.
>>376690И ты тоже заебал. Одни и те же темы гоняете по пол-года. Долбоёбы бля.
>>376732Просто не люблю, когда стенографию выдают за формализм. Это убивает саму идею формального метода.
>>376727Поясняй давай почему не прав.
>>376680До тебя уже два доказательства привели - то, которое ты написал, и более общее ТРАНСФИНИТНОЕ, в глаза-то не ебись.
>>376680Спасибо. Пожалуйста.
>>376735Мы уже поняли в предыдущих 10 тредах твоё важное мнение (которое, к тому же, ты прекращаешь отстаивать как только тебя тыкают лицом в тот факт, что это определение - не определение, а определение у Зорича другое). Можешь теперь нахуй пойти?
>>376745Это определение. Символ := означает определение.
>>376746Пошёл нахуй.
>>376747Послушай, добрый человек, ведь сам Зорич пишет, что это определение. Он даже специально подписал: "Определение".
>>376748Пошёл нахуй.
>>376749Аргументируй как-то. Я вот хоть картинки вырезаю.
>>376720По-моему Ю от икс - это не функция, это просто такая (аргюабли не слишком удачная) запись, нет?
>>376751Нет, U - это функция от трёх аргументов. Пусть M - метрическое пространство, T - множество открытых в нём подмножеств, тогда U - это функция из 2M×M×ℝ0→T. Каждой тройке из подмножества пространства, точки пространства и положительного вещественного числа эта функция сопоставляет одно конкретное открытое множество.
>>376753Хотя нет, что я говорю. U - это функция всё-таки в 2M. Функция сопоставляет тройке <E, x, d> не открытое множество, а пересечение открытого множества с E.В любом случае ставить квантор существования перед символом U очень странно.
>>376657> Почему русскосоветские учебники по мтану такое говно ебаное?Англоязычные тоже. Просто матан говно.> "Ну вишь, братишка, экспонента короче, ну функция предела бесконечногоНеудачное определение. Пикрелейтед (Львовский) - самое хорошее.
>>376756Двачую, братишечка. Под каждым словом подписался.
К обсуждению выше.
>>376657Calculus - это курс для даунов, он абсолютно бесполезен. Зачем инженеру уметь считать интегралы? Незачем. Ему надо уметь пользоваться соответствующим ПО. Зачем математику считать интегралы? Тоже незачем (кроме маленького процента людей, занимающихся довольно специфическими областями). >>376658> наш калькулус, это как правило тяжеловесная фигота с кучей теорем и доказательствЭто называется аксиоматический метод. Он используется во всех областях математики.>>376659> Почему надо городить хуиту какую то настолько непонятную, что та же хуита на другом языке более понятна?Во-первых, я не вижу как язык может влиять на сложность восприятия математической литературы. Сложность заключается в том, что надо воспринять какие-то новые для себя концепции, а это никак не зависит от языка.Во-вторых, это тебе непонятно, а кому-то норм. В пиндостане просто слишком много денег, людям можно вообще не работать, поэтому пиндостанские вузы могут себе позволить тратить время на студентов, которые заведомо непригодны к интеллектуальной деятельности, вот они и придумывают всякие калькулюсы.>>376682> Потому что в России принято людей мучить и учить соответствующе. Т.е. пиздить как можно сильнее, чтобы выжили сильнейшие (а слабые и середнячки при этом просто подохли). Все правильно, так и надо. Слабым студентам от этого будет только лучше: они поймут, что надо сменить род деятельности, пойдут писать сайты на пхп и жизнь у них наладится. А представь, что такого слабого студента недостаточно пиздили и он выжил. Вот он закончил вуз - и че? К творчеству-то он неспособен, он умеет только конспектировать лекции, делать домашки и сосать хуй преподам. В итоге он в лучшем случае все равно пойдет писать сайты (при этом он какое-то время будет довольно несчастен от осознания проебанного времени), а в худшем станет преподавателем и пронесет свой даунизм в следующее поколение, будет создавать такую систему, в которой поощряются не хорошие студенты, а терпилы как он.
>>376756>Англоязычные тоже. Просто матан говно.>Пикрелейтед (Львовский)Парашей повеяло
>>376766Да да, мы все прекрасно поняли что математика не нужна.
>>376766Калькулюс - это не про "считать интегралы", это про понимать, как оно все работает и почему.
>>376768> Да да, мы все прекрасно поняли что математика не нужна.Как ты из моего поста пришел к такому выводу? Я не понимаю. >>376772> Калькулюс - это не про "считать интегралы", это про понимать, как оно все работает и почему.Calculus - это такой курс без доказательств (у пиндосов самый популярный учебник - Stewart, Calculus: Early Transcendentals). Есть еще real analysis. Там не считают интегралы, там, например, дают определение интеграла, доказывают, что интегрируемые функции образуют векторное пространство над R, а интеграл - линейный функционал на нем, и много еще всяких хороших штук делают.>>376767> > Пикрелейтед (Львовский)> Парашей повеялоТы Львовского не осилил что ли? Или в чем проблема?
>>376773Докажи мне теперь число два, доказатель.
>>376774У тебя каша в голове.
>>376775Гречневая или овсяная?
>>376777Пшённая.
>>3767741+1=2
А как доказать, что K[X] - кольцо? Как, например, доказать, что умножение многочленов ассоциативно?
>>376786Открытая проблема.Есть же тред для начинашек, ну
>>376787Ну я имел в виду как красиво и концептуально доказать
>>376773Ну вот на курсее есть курс калькулюса от пенна. Глянь его, пожалуйста, выскажи свое мнение.
>>376779>>376777Горшочек не вари
>>376789>думать что кто то напишет свою личную математику, без разрывов второго рода и преобразованийСоветую навернуть рыбникова.
>>376792Чего блядь?
>>376794Зачем тебе мнение того анона о какой то книжке по матану?
>>376789Там регаться надо. Мне лень. Кроме того, я не обладаю нужной компетенцией, чтобы сравнивать какие-то курсы. Я просто говорил о том, что калькулюсом называется что-то типа нашего матана, но без доказательств, и что математика без доказательств никому не нужна (кроме студентов, которые хотят сдать задачи и чтоб от них отъебались).
>>376790Ладно, варить не буду. Лушче картошки пожарю, тебе водовфки налить?
>>376797>математика без доказательств никому не нужнаЕще раз, докажи мне число два.Число один бурбаки уже доказали.
>>376797Математика "без доказательств" нужна инженерам и физикам - для которых, собственно, калькулюс и предназначен.
>>376821И сейчас ты мне такой говоришь, в каком году последний раз инженер сидел и вручную считал интеграл. Только не говори, что для того, чтобы понять интеграл, нужно его много раз вычислить по формуле Ньютона-Лейбница.
>>376822Слушай, ты настойчиво не хочешь читать то, что тебе пишут. Мне уже неинтересно, это просто глупо. Хлчешь спорить с голосами в голове - спорь сам. И почитай что-нибудь популярное про теорию обучения - ну, с нейропсихостороны.
>>376823Ты утверждаешь, что в курсе калькулюса что-то объясняют? Я даже не представляю, что там без доказательств можно объяснять. Что интеграл - это площадь под графиком? Так это даже пятикласснику можно объяснить. Кратные интегралы можно за 5 минут объяснить любому школьнику, который по физике прошел плотность, массу и объем. Если, конечно, не заставлять их считать эти интегралы, со всякими заменами переменных, интегрированием по частям и прочей ебалой. Но блять, что в калькулусе можно 3 семестра рассказывать 18летним лбам, если там даже доказательств нет? Вангую, что в курсе калькулуса занимаются пикрелейтедом
>>376823> теорию обучения > с нейропсихостороны.Ты вообще ебан что ли? Ты бы мне еще посоветовал педагогический вуз закончить.
Ясно.
>>376825>РЯЯЯЯ, ВСЬО ИЗААБРИЛИ МАТИМАТИКИ, ФИЗЕКИ НИНУЖНЫ
Поцыки, а объясните-ка популярно за ети ваши гамалогии/когомологии. Что это такое, как их щитать и зачем оне нужны.
>>376830Чтобы выёбывать перед второкультурщиками.
>>376831выёбыватьСЯБлядь, на клаве кнопки плохо работают.
>>376831Это типа как хуесосить тиаретика-множественных дидов категориями и топосами?
>>376833Да. И ещё выёбываться на дваче, без этого никуда.
>>376830Почти все математические объекты - гамалогии. Кроме некоторых исключительных случаев, которые - когамалогии и (совсем редко) тапалогии, они тоже очень важны.
>>376835Гамалогии приминяются в теории чисел?
>>376836Да, разнообразные теории чисел - это отдельные гамалогии.
>>376830Прочитай в статьи на вики же, там написано очень хорошо. Кратко - это алгебраические инварианты топологических объектов с которыми, в большинстве случаев, гораздо легче работать, чем с изначальными топ. объектами.
>>376842Я почитал в общих чертах. Ну я так понимаю, там каротьш топ.пространству сопоставляется группа. Причем одному объекту сопоставляется аж пачка групп - гамалогии разных размерностей. Говорят наивное толкование гамалогий - это число дырок n-й размерности. Правда я не ебу, как формализм цепей и границ совмещается с дырками, стягиваемостью циклов и всей этой поебенью. В общем, на самом деле ничего толком непонятно, как в частности щитать эти гамалогии. А примеры использования - ну хоть один? Котегории связывают собственно топ.прост-ва с группами, Hn - группа гамалогий n-й размерности - это попутно ещё и функтор из Top в Ab, так? А что с неабелевыми группами? Ещё котегории связывают гамалогии и когамалогии, так?
>>376848>В общем, на самом деле ничего толком непонятно, как в частности щитать эти гамалогии.Это ведь уже технический уровень, а не мистический, для этого нужно последовательно структурную теорию учить, а не руками размахивать.>А примеры использования - ну хоть один?Доказать, что R^n и R^m гомеоморфны титтк n=m.>Котегории связывают собственно топ.прост-ва с группами, Hn - группа гамалогий n-й размерности - это попутно ещё и функтор из Top в Ab, так? А что с неабелевыми группами?По сути да.
>>376854> Доказать, что R^n и R^m гомеоморфны титтк n=m.Точно? По-моему тут тапалогии вообще вроде не нужны, достаточно доказать изоморфизм пространств и на всё про всё хватит линейкиезо всяких тапалогий.А как эту теорию учить вообще? По каким соусам там и все дела?
>>376848>каротьш
>Точно? По-моему тут тапалогии вообще вроде не нужны, достаточно доказать изоморфизм пространств и на всё про всё хватит линейкиезо всяких тапалогий.Да. Попробуй, не получится.>А как эту теорию учить вообще? По каким соусам там и все дела?Любой курс по АТ.
>>376865Ну чиво ты, нормально же общялись, ну))>>376867Курс курсу рознь. Вон выше да и вообще часто и много где спорят о Зорич вс Stewart's calculus, Ромич предостерегал от Хэтчера и ычё такое.
> и всё такоеЧет кнопки путаются в потьмах.
>>376872Курс Вилдберга на ютубе + Хэтчера.
>>376877Последовательно или параллельно? Какие пререквизиты нужны из СТ?
>>376880Никаких, грамотность первого курса.
>>376881Cпасибо. Посмотрим, что из этого получится.
>>376877> Курс Вилдберга на ютубеЭто который в вещественные числа не верит?
>>376883Да.
>>376883лолшто?
>>376883Это который Вайлдбергер?>>376885Рациональная тригонометрия
поясните, пожалуйста, ньюфагу: есть какое-нибудь общее название для отображений X^n -> X где n - любая декартова степень?кажется, где-то видел такое, но не могу вспомнить - в русской и английской википедии сходу не нашёл
>>376892n-арная алгебраическая операция на X.
>>376889Чему равна длина гипотенузы треугольника с катетами длины 1?
>>376893хуясе, оперативненькоа я копался в разделах про функцииспасибо
>>376897Да я просто хикка без друзей, который самореализовывается за счёт ответов на вопросы по энтрилевельной математике. :3
>>376894Современная наука не в состоянии ответить на этот вопрос
>>376894британские учёные целый видос специально для тебя запилили https://youtu.be/5sKah3pJnHI
>>376900Прикольно, я не знал про бумагу.
А я тем временем напоминаю, что вещественные числа не нужны ни одной прикладной дисциплине.
>>376902Нужны во всех прикладных дисциплинах.
>>376902Как меня учил один анон здесь, прежде чем ответить на вопрос о нужности/важности, нужно зафиксировать языковую игру.
>>376903Это ложь.>>376904Давай.
>>376905Ну ты и фиксируй. Ты же утверждаешь, что не нужны. Я вот ничего не могу утверждать про прикладные дисциплины, я ими не занимаюсь.
>>376907Хорошо.А я тем временем напоминаю, что представление о бесконечном количестве натуральных чисел противоречиво.
Хочу сформулировать непрерывность числовой прямой как факт того, что каждая ее точка лежит в достаточно малой окрестности хотя бы одной другой ее точки. Какие подводные камни?
>>376908Подробней?
>>376909На нормальном языке это называется "отсутствие изолированных точек", а не "непрерывность".
>>376913В чем разница этих понятий?
>>376914Непрерывными могут быть отображения, а то свойство пространств, которое ты хочешь сформулировать, называется полнотой, интуитивно - это "отсутсвие дырок". Разница в том, что рацилнальные числа не содержат изолированных точек, но "дырки" в них присутствуют, поэтому это не полное пространство.
>>376910Множества натуральных чисел не существует.
>>376915Так почему Дедекинд так странно формулирует полноту вещественных чисел? Чем мое определение хуже?
>>376917Тем, что по твоему определению рациональные числа тоже "полные", а они не.
>>376919Тогда почему у Дедекинда все ок? Чем его определение через минимальный и максимальный элементы классов лучше?
>>376920Оно эквивалентно теореме о промежуточном значении, а это ровно то, как мы "чувствуем" вещественные числа - как нечто такое, что мы можем нарисовать не отрывая руки.
>>376921Чет нихрена не понятно, если честно.
>>376922Тогда пока забей на этот вопрос и просто считай, что оно лучше, потому что некоторые умные люди решили, руководствуясь своей интуицией, что оно лучше. Когда начнешь чуть глубже понимать анализ, то появится понимание того, откуда у этой интуиции растут ноги.
>>376923Так подожди. Разве строгого доказательства этого не существует? Не хочу полагаться на интуицию. Я у мамки бурбакист.
>>376924Строгое доказательство бывает у строгих утверждений. А вопрос "почему определение Х лучше определения У" нестрогий и неутверждение.
>>376925Но "я так сказал" - тоже не ответ.
>>376926Проблема в том, что ты думаешь, что понять почему то или иное определение можно прочитав пост на дваче длиною в пару абзацев. Ан нет, это можно понять, повъёбывав пару месяцев те разделы математики, где это определение "работает" и увидев тем самым, какие задачи с его помощью можно формулировать и решать и какой язык с его помощью можно строить.
>что понять почему то или иное определение что понять, почему то или иное определение именно такое, какое есть
>>376927Но раньше посты на дваче мне помогали.
>>376916Что значит "не существует"? Чему противоречит его существование?
>>376900Бесит это чмо. Хочется ему в еблет прописать все время.
>>376931сука блядь он бы еще в сортире снимал и говном по полу рисовал
>>376904>языковую игруСпециально освежил в памяти статью:>Пародист Евгений Венский, пародируя Андрея Белого, использует фонетические средства — повторение одного звука:>Тоща, как мощи ты. Тоща, кащей те во щи! Как теща, тощи мощи. Ты тщетность красоты.>Комическое впечатление производит шутливо-надрывное обращение А. Чехова в письме к брату Александру: «Братт!» Любопытны также шутливые подписи, например подпись одного из Полторацких, совмещающая буквы и цифры: 1,5цкий, или подпись переводчика Федора Федоровича Фидлера — Ф. Ф. Ф. либо: Ф3 (эф в кубе).Умоляю объясните по-человеческий что это за хуйня такая и нахуя она может пригодиться математику?
>>376934https://ru.wikipedia.org/wiki/Философские_исследования>Основное понятие «Философских исследований» — языковая игра: язык представляется совокупностью языковых игр. Ключевые тезисы: значение слова есть его употребление в рамках языковой игры, а правила такой игры есть практика. Главный вывод: философские проблемы — следствие неправильного словоупотребления.
>>376924> Разве строгого доказательства этого не существует? Не хочу полагаться на интуицию. Я у мамки бурбакист.Ты сейчас говоришь про работу в формальной системе. В формальной системе ты можешь только выполнять манипуляции со строками по определенным правилам. Вопрос "какое определение лучше" не вписывается в формальную систему, это уже некий метауровень, на котором математики используют интуицию и здравый смысл. На этом уровне обсуждения такие же как и в повседневной жизни, никаких доказательств там быть не может, по крайней мере, в том смысле, который мы вкладываем в формальные доказательства.
>>376970Ну так вот, выбор определения обусловлен субъективными соображениями удобства. Как уже писал анон выше, не поработав с определением какое-то время, ты не можешь понять, насколько оно удобно. Подход должен быть такой: опытные люди много всего пробовали и со временем выявили самое удобное определение.
>>376898А бывают хикки с друзьями? inb4: Здесь все мои друзья.Учитывая специфику треда, жду ответ в виде математического доказательства. :3
>>376988Определим хикку h как измеримое подмножество некоторого пространства M такое, что оно инвариантно относительно действующей на пространстве группы трансляций (хикка домосед). Потребуем, чтобы пространство было топологическим, и будем говорить, что если в некоторой окрестности множества h содержится измеримое множество t, отделимое от h, то t является другом h относительно этой окрестности. Очевидно, что существуют примеры хикк, у которых есть друзья относительно всего пространства.
>>376990>оно инвариантно относительно действующей на пространстве группы трансляцийЧто-то слишком суровое условие.
>>376992А ты думал, хиккой быть легко?
>>376994В смысле, что для группы R^n ты получаешь все пространство на орбите. То есть, все друзья хикки тривиальны.
>>376996Щито поделать.
Почему в физике не используется теория множеств?
>>377068А зачем она там?
>>377069Знал бы не стал страшивать, почему не используется.
>>377068В сявязи с её поразительной неэффективностью
>>376996>все друзья хикки тривиальны. Это же и есть истина, объясняющая столь многое о хикках.
>>376848>Правда я не ебу, как формализм цепей и границ совмещается с дырками, стягиваемостью циклов и всей этой поебенью.Это очень понятно как раз. n-тая гомология = векторное пространство на n-мерных дырках. n-мерные дырки -- это n-мерные симплексы (=шарики) на пространстве с точностью до гомотопии.почему бля это верно? вообще шарики-дырки это ровно то пространство, что уходит в 0 граничным оператором, так он специально сделан. дальше понятно что прибавление образа граничного оператора переводит вектора в гомологичные, это потому что он сдвигает n-мерные объекты вдоль n+1-мерных. и наоборот. если два хуйни на пространстве гомотопичны, их можно соединить образами сфер размерности повыше. так что всё чики-пуки, h(this)=ker(this b)/im(+1 b) это ровно векторное пространство шариков-дырок этой размерности, с точностью до гомотопии.
>>376848>Правда я не ебу, как формализм цепей и границ совмещается с дырками, стягиваемостью циклов и всей этой поебенью.Короче я чё-та много накатал. Просто гомотопичные n-мерные объекты в X <=> объекты которые можно соединить n+1-мерным объектом в X <=> объекты которые переводятся друг в друг прибавлением граничного оператора из размерности +1. дырки <=> то, что уходит в 0 граничным оператором.Вот всё что я там писал так долго. Поэтому гамалогии это векторное пространство дырок с точностью до гомотопии. охуенно жи.
>>377116бля я проебался с векторным пространством. ну то есть векторные тоже можно, но осмысленнее просто абелевы свободные группы.
Я вот не понимаю, почему везде говорят о теориях гомологий и когомологий как о различных теориях? Разве цепной комплекс не отличается от коцепного просто перенумерованием и пусканием стрелок в другую сторону?
>>377159Ну, строго говоря цепной комплекс и граничные операторы там не те же, а дуальные. Cn = Hom(Cn, Z)dn_-1 = Hom(Cn_-1, Z) --d*--> Hom(Cn, Z)Про остальное пусть ПЕРВОКУЛЬТУРЩИК-петух расскажет.
А кто-то едет в Ярославль?
>>377165Я в прошлом году был. жди что никто НИХУЯ не будет понимать.
>>377170Я нихуя не буду понимать в первую очередь. 3:
>>377165> тчк не взяли
Поясните, зачем в Винберге такая длинная глава про многочлены? Я думал многочлены изучают в контексте алгебраической геометрии (я до нее еще не дошел) или чего-то такого.
>>377268Действительно, нахуй полиномиальные представления функций.
>>377268Алгебраическую геометрию, в идеале, нужно изучать имея крепкое знание коммутативной алгебры. Азы коммутативной алгебры - это "коммутативная алгебра над полями" или "теория Галуа", у которой основные объекты изучения - это фактор кольца многочлена по чему-нибудь. Чтобы уметь работать с такими объектами, желательно пройти курс общей алгебры и хорошо понимать, что кольцо многочленов над полем евклидово и КГИ и всё такое.
>>377283Ясно, спасибо.> кольцо многочленов над полем евклидово и КГИ и всё такое.Это я знаю.
>>377311>Это я знаю.Тогда не читай Винберга, а читай книжки посерьзнее. Винберг для начинашек же.
>>377317Ну хз, я много нового из него узнаю, хоть он и вялотекущий какой-то для меня. Просто стараюсь по диагонали читать, потому что там как бы вширь а не вглубь.
Поцыки, смотрите какая беда. Вот нулевые и вторые гамалогии S2 H0, 2(S2) = ℤ. 2-сфера - это комплекс, склеенный из 2 клеток - одной точки и прилепленной к ней 2-мерной мембраны, неформально говоря. Так? А что значит равенство ℤ? Почему, скажем, не (ℚ, +) или (ℝ, +), а вот именно ℤ?
>>377530Циклическая группа с одной образующей.k-мерные гомологии = k-мерные дырки (не стягиваемые k-мерные сферы) с точностью до гомотопии. В случае 2-сферы это просто "обмотки" её обычной сферой. Не бывает нецелых обмоток.
>>377604>не стягиваемые k-мерные сферыТолько на самом деле нет. k-мерные дырки это не сферы.
>>377627Сферы, которые не ограничивают шара.
>>377629Не, скорее k-мерные замкнутые многообразия, которые при этом не границы k+1-мерного многоорбазия. Например, у тора вторые гомологии Z, но вторая гомотопическая группа тривиальна.
>>377629А 0-вые гомологии это компоненты линейной связности, как раз потому что 0-мерные многоообразия = точки, а любые две точки, соединённые отрезком (1-мерным многообразием), можно перевести в одну точку, т.к. граница отрезка = разность точек на концах.
Как следует понимать, что отношение не транзитивно? Как "транзитивность необязательно выполняется" или "транзитивность никогда не выполняется"?
>>377638Существуют такие a,b,c, что пары (a,b) и (b,c) находятся в отношении, но пара (a,c) - нет.
Есть тут те, кто реально учится/учился в НМУ? Расскажите, в каком вузе учитесь, с какого курса начали, сложно ли совмещать, помогает ли как то при изучении официальной универской(не нмушной) программы?
Как у математиков с индексом Хирша? Дрочат на него? Какой среди математиков считается нормальным в 30, 40, 50, 60, 70 лет? Или всем плевать?
>>377690На хирши дрочат все.
>>377694А что насчёт конкретных цифр? В 50 иметь индекс равный 20 нормально или так себе? Или, к примеру, в 35 — равный 10? Можно ли по этим цифрам с некоторой погрешностью отличить труматематика от не тру?
>>377638Алуффи что ли?
Анон, какой вообще активной деятельностью ты занимаешься в математике? Вот я раньше задачи решал, но потом осознал, что это хуйня. Потом доказывал теоремы сам, не смотря в учебник. Сейчас понял, что и это хуйня и тоже особо ниче не дает. Сейчас просто читаю и вникаю, но просто читать - такое себе удовольствие.
>>377716Пытаюсь придумать формализм для одной оккультной системы и доказать две теоремы о ней.
>>377724Проиграл. Трави прохладную.
>>377697Да. Что можешь сказать о книге? Мне нравится, задач хоть и немного, но для их решения надо понимание всего параграфа.
>>377716Веду разработки в академии, руковожу, сам разрабатываю целую новоую область.
>>377638необязательно никогда бы называлось антитранзитивностью
>>377733Хз, я пока только 1 главу про категории прочитал. Если хочешь, можем вместе разбираться.
>>377742Мамка не ругает?
>>377716Есть мнение что чтение книг тоже лютая хуита. Наебка какая-то. И когда кто-то дает тебе охуительный список - скорее всего сам он прочитал из этого списка ну максимум по главе из половины книг, не более.
Бабах >>377752
>>377775А что тогда не хуета, как математику то саму изучать, если даже книги хуита?
>>377788По-хорошему, надо получить базу, т. е. образование, чтоб иметь представление. А потом изучать нацеленно. Нк и задача нужна - для чего ты это делаешь. иначе трата времени. Всё забывается со временем. Это игривое зучивание красивых терминов, вроде гомологий и алг. многообразий - лишь выпендрёж. А задача такая: либо ты этим себе заработаешь денег (например, экзотический фрилансом), либо статус - а это публикации. Не зарабатываешь, не публикуешься -- стало быть, позёр с поверхностными знаниями.
>>376017 (OP)Аноны, поясните по легкому за интерполяцию кубическим сплайном, пожалуйста, как оно происходит?
>>377801На основе вот этих вот двух формул.
>>377802>>377801Шок, двачи не могут в это, блядь.
>>377800> Нк и задача нужна - для чего ты это делаешь. иначе трата времени.Интересно потому что. Че тебе еще надо?
>>377801>>377802>>377803Это не математика.
>>377845С каких это пор интерполяция перестала быть математикой? Или сплайны?
>>377696Бамп. Что насчёт Хирша?
>>377850С тех пор, как они стали жалким приложением математики. Т.е. всегда.
>>377855И математики не умеют мат.стат?
>>377788Ну есть такое подозрение, что сам ты нихуя не наизучаешь. Математика передается от учителя ученику при прямом общении. А так твой максимум будет - уровня дяди Вани, который в пятьдесят решает школьные задачки из Кванта. Если тебя это устраивает, то ОК.
>>377863>в пятьдесят решает школьные задачки из Квантакак что-то плохое
>>377863Если бы не устраивало я бы пошёл на математический факультет учиться в свои 30
>>377863>Математика передается от учителя ученику при прямом общении.Подожди. Ведь через учебник тоже идёт общение. Хороший учебник, как мне кажется, может заменить живого учителя. Многое гораздо легче понять самому: достаточно просто вдумчиво прочитать и пофантазировать. С другой стороны, когда ты выйдешь на какой-то уровень тебе придётся общаться с коллегами, чтобы понять, в какую сторону вообще двигаться, какие задачи актуальны. В общем, я хочу сказать, что роль преподавателя именно в том, чтобы направлять, а получать новые знания и осознавать их ты должен сам. Во всяком случае, я лично заметил, что мне гораздо проще что-то учить самому, а уже потом с преподавателем это можно обсудить, рассмотреть интересные задачи, более детально проникнуться. Хотя, конечно, могу предположить, что не всем может хватить усидчивости/настойчивости. Или это всё мои маняфантазии?
>>377800А вот я, кстати, не понимаю вообще таких вопросов в этом итт треде. Даже когда я был на первом курсе, у меня уже была вполне конкретная задача, которая была мне интересна, и по которой можно было бы писать (никому не нужные) пейперы. Собственно, поэтому я на этот первый курс и пошел. Не очень представляю, как вообще может быть по-другому и в чем тогда смысл. С другой стороны, я в итоге полностью забросил и универ, и то свое увлечение, так что может быть итт анон все правильно как раз таки делает, хех.
>>377905Раньше я думал - нахуя нужны лекции, когда все можно спокойно в книжке прочитать? И кажется до меня дошло, что главный профит лекций - в их ограниченности по времени. Есть N занятий по M минут, и какие бы охуительные истории не хотелось рассказать лектору, ему приходится себя ограничивать и выбирать самое важное. С книгой же таких ограничений нет и некоторые вообще уходят в разнос. Некоторые книги это просто шедевры графомании. Книга на треть может состоять из "метадискурса" - всякие вводные, выводные, вода, отсылки назад, отсылки вперед, абсолютно бесполезные комментарии, типа что по данному вопросу спизданул Платон, подведения итогов и прочее. И на половину из того что в общем-то не является прямым предметом, а только косвенно с ним связано e.g. какая-нибудь глава по комбинаторике в учебнике по анализу, теория вероятностей в учебнике по алгоритмам и т.п.Главная проблема для меня - что я ебаный аутист и не могу просто взять и прочитать то что нужно. Я читаю вообще все от введения на обложке, благодарности, краткие содержания, потом охуительные вещи типа определения пересечения множеств. И когда дело доходит то того что действительно нужно, я уже так заебался, что перестаю понимать вообще что-либо.
>>377916> Главная проблема для меня - что я ебаный аутист и не могу просто взять и прочитать то что нужно. Я читаю вообще все от введения на обложке, благодарности, краткие содержания, потом охуительные вещи типа определения пересечения множеств. И когда дело доходит то того что действительно нужно, я уже так заебался, что перестаю понимать вообще что-либо. Очень жизненно. Ты, это я, бро.
>>377917Утраиваю. Из-за этого не могу дочитать ни одну книжку, потому что если начал не с начала - некошерно, и в итоге приходится перечитывать то, что уже и так знаю, из-за чего теряется интерес; если сделал перерыв на несколько дней - некошерно и надо начинать сначала. Если не осилил какое-нибувдь упражнение в первой главе - некошерно, читать дальше нет смысла, переключаюсь на другое. </биопроблемы>
>>377918>>377917>>377916Лоллировал с вас. Как успехи, матан за 1 курс прошли?
>>377958Нет.
>>377962Тогда советую перестать так делать. Я когда перестал так делать, за 2 недели стал узнавать столько же математики, сколько раньше узнавал за полгода.
>>377967Я не могу, это часть характера. Не так-то просто отказываться от своей идентичности. Сразу в голову лезут мысли про всякие лодочки.
>>377968Обычно людям экзамены в универе помогают с перфекционизмом бороться.
>>377971Но не всегда.
>>377968Ты о парадоксе Тесея? Пфф. На одном уровне детализации ты из вчерашнего дня - это не ты из сегодняшнего дня. На другом уровне детализации ты и Юлий Цезарь - одно. А избранного уровня детализации нет. Я вот воспринимаю себя как один частный случай Общего Себя, а некоторых других людей - как другие частные случаи. Просто стараюсь об этом не распространяться, а то некоторые собеседники могут не оценить глубину этих философских построений и сдать меня бездушным докторам.
>>377975лол
>>377968Ну ты и ебан. Прикрываешь "своими особенностями" банальную омежью сущность, которая не даёт тебе делать то, что ты сам хочешь, а не что Ерох Ерохыч сказал.
>>377975Это все хорошо и очевидно, но ты говоришь про искусственные, мысленные построения, а я - про обыденные, чувственные ощущения. Я за ними могу наблюдать и я их могу описывать, но влиять на них я не в силах. Часто ли ты задумывался о том, что, быть может, следует перестать ощущать зеденый цвет зеленым, и начать видеть его, например, синим?>>377977Ты ошибся временем и местом.
>>377978Не ошибся я ни разу, а описал твою т.н. склонность к обсессивно-компульсивному чтению книг от корки до корки.
>>377977Я не он, но поясню. Дело не в этом. Дело в желании сделать что-то добросовестно, полностью. Типа есть вера, что если ты сам решил все задачи, у тебя абсолютное понимание этой темы и эти знания с тобой на всю жизнь. Есть только один способ победить этот глупый предрассудок: прорешать на 100% несколько глав из какого-нибудь учебника и где-то через полгода понять, что нахуй не нужно было ебаться с этими задачами со звездочками.
>>377980Ну в общем допускаю, что это по молодости, да.
>>377979Пожалуйста, не употребляй термины, значения которых не понимаешь до конца - хотя бы в этом треде. Спасибо.
>>377982Угораю с того, как ты безуспешно пытаешься прикрыть свой баребух)))) при помощи псевдо-интеллектуальности)).
>>377978Да, часто. Даже периодически пробую. Пока не получается, впрочем.
>>377983Угорают в /б. Если вам хочется угорать - проследуйте, пожалуйста, в /б, и там угорайте, а здесь тред про математику и философию, спасибо.
>>377986Глупости какие.
>>377986Можете возвращаться на dxdy, спасибо. )))
>>377971Так и получается что нужна крепкая рука. Чтобы умный дядя за тебя составил программу и оставил то что нужно. Правда возникает маленькая проблемка если ты с этим дядей в чем-то несогласен.Или если у экзаменующего дяди другой набор жизненных установок. Правда, это уже совсем другая история.
>>377998Сам ж пошёл в это рабство. Выкручивайся теперь как хочешь. Либо меняй вуз на тот, где люди адекватны.
>>378002Не бывает такого. Особенно в рашке. К тому же я уже отучился.
>>378008Бывает такое. Особенно вне рашки.> я уже отучился.Прихуел. Сочувствую, если это правда, и у тебя такие мысли не на первом курсе.
>>378018Да угадаю - ты на первом курсе и твои мысли> нахуя нужны лекции, когда все можно спокойно в книжке прочитать?
Ребятки, поясните пожалуйста, почему дифференциальные формы нужны были математике именно такими, какие они есть?
>>378038Пример приведи
>>378044Пример чего? Меня интересует только объект полностью.
>>378050Ты невнятно сформулировал вопрос. Не понятно чего ты хочешь.Твой вопрос на одному уровне с вопросом "почему слово квадрат не квадратное"
>>378065Тебя это ебёт что ли? Человек, задавший вопрос - последователь Бурбаки: для него общие понятия премного важнее частных. Вот и всё. Чего тут не ясного? Зачем примеры?Пиздос!
>>377716специально взял неоплачиваемый отпуск от погромирования, чтобы запилить свою логику с блэкджеком и шлюхами, расширяющую область значений характеристических функций множествпосле пары месяцев луркания осознал, что я хуй простой в математике - в нашей шаражке хоть и был хардкорный матан, но топологию и категории нам почему-то не преподали, а осилить их самостоятельно уже не могу - мозг заплыл жиром за долгие годы говнокодингав общем, свожу всё, что смог получить хуита хуит, тащемта, в несколько статей и буду напрашиваться на работу в институты своего мухосранска - с целью подкачать свои скиллы по матану на практике статьи постараюсь преподнести не как достижения, а как пример того, как я могу оформлять свои мысли
>>378077Зачем?
>>378078если зачем относится к логике, то изначально цель была разработать консистентную логическую систему, в рамках которой можно было бы работать с предикатами, описывающими дуалистические феномены якобы взаимоисключающиецель оказалась для меня недостижимой, поэтому я ограничился расширениями булевой алгебры - многомерными, но со специальным правилом конъюнкции, похожим на правило умножения мнимых единиц в гиперкомплексных алгебрахкак применить полученные алгебры хоть в какой-то практической задаче - ума не приложу
>>378038Чтобы ухватить геометрию инфинитсемального объёма. Фактически ты применяешь определитель к касательным векторам.
Как проверить, является ли алгебра групповой алгебры некоторой группы?
>>378115ноу вей
Анон, если я буду называть матрицу линейным отображением, а линейное отображение (конечномерных пространств) матрицей - это норм или так не принято делать?
Поясните за доказательство утверждения 3.78, чому оно такое наркоманское? Я его понял, но почему нельзя просто взять базисы для каждого U_k, хуйнуть их вместе и сказать, что если U_1 + ... + U_m - не прямая сумма, то найдется нетривиальная линейная комбинация, которая равна 0, а значит, мы можем из базиса выкинуть какой-нибудь вектор, что противоречит предположению о сумме размерностей?Или у этого отображения Г есть какой-то важный смысл, который я не знаю?
>>378198ненорм, даже канонического соответствия нет, только после выбора базиса.
>>378210равенство конечных размерностей = изоморфизм лин. пр-в, т.е. существование биективного лин. отображения, т.е. сюръективного и инъективного. Это и доказывается.
я думаю здесь много компетентных людей, которые могли бы мне помочь. я не до конца понимаю обоснование строгости неравенства (1).
>>378232Это Фихтенгольц. Ждать от него большой строгости — нет смысла. Тебя смущает, что не обосновано существование чисел больше или меньше какого-то наперёд заданного? Читал давно, поэтому могу ошибаться, но ранее должна была быть аксиома Архимеда. Думаю, именно из неё это вытекает напрямую.
>>378232Не читал Фихтенгольца, но слышал, что там вещественные числа определяются через бесконечные десятичные дроби. Это долбоебизм, советую пропустить вообще все обоснования действий с вещественными числами либо прочитать их в другом учебнике, а потом вернуться к Фихтенгольцу (не знаю, нужно ли вообще к нему возвращаться).
>>378228Ну базис же понятен из контекста.
>>378241я не точно выразился. меня смущает, каким образом он исключил случай равенства сумм с гаммой. я понимаю, что из условия точной границы гамма может быть равна какому-то элементу ограниченного сверху множества сумм рац. чисел а,b, что в самом начале под (2), когда ввелось определение суммы вещ. числа там записано строгое неравенство. но почему из того, что любые удовлетворяющие условиям (1) а, a', b, b' можно увеличить, следует, что равенства быть не может ни справа, ни слева ?
>>378243что не так с фихтенгольцом ?
>>378247С трудом тебя понимаю, если честно. Если ты о том, почему из a < α < a' ; b < β < b' ; α + β = γ следует, что a + b < γ (именно меньше, но не равно), то могу предположить, что это выводится примерно так:(1) a < α ⇒ a + β < α + β = γ ⇒ a + β < γ;(2) b < β ⇒ a + b < a + β (из 1) < γ ⇒ a + b < γ;>>378248Немного устаревший подход к матану. Мне кажется, лучше сначала прочитать что-нибудь более современное, а уже потом для дополнительного понимания в построении анализа читнуть и сего автора. Строгости вряд ли стоит от него ждать.
>>378258вот предложение, и мне совершенно непонятно почему "равенства быть не может с одной и с другой стороны".
>>378261Пусть A и B - вещественные числа, a и b - рациональные. Пусть a < A и b<B. Пусть S - супремум с твоей пикчи.1. Существуют рациональные числа p и q такие, что a<p<A и b<q<B. 2. Предположим, что a+b = S. Тогда по аксиомам рациональных чисел a+b < p+b и p+b < p+q, т.е. a+b<p+q.3. Так как a+b=S, это означает, что S < p+q. Но по условию S - супремум таких сумм. Значит, предположение (2) было ошибочным.
>>378275спасибо что ты есть, анон
>>378261Ладно, попробую ещё пованговать. Значит, попробуем так.Что делаем сначала? Задаём γ = sup {a + b}. Теперь мы пытаемся доказать, что это именно то γ, которое нам нужно для условия (1). Дальше. Почему можно увеличить (уменьшить) числа с сохранением условия (1)? Примерно так (напомню, что γ мы уже сделали вполне конкретным числом и суммировать рациональные числа вроде как умеем, по мнению Фихтенгольца):a + b = c < γ ⇒ ∃d ∈ ℚ, c < d < γ ⇒ a + (b + e) = d < γ.Здесь я воспользовался какой-то лемой выше из этого Фихтенгольца, гласящей, что между двумя вещественными числами существует рациональное. То же самое делается с a и со вторым случаем. Значит, конспектируем:(∀a, b ∈ ℚ, a + b < γ) ∧ (∀a', b' ∈ ℚ, γ < a' + b'). [1]Что у нас уже известно? А вот что:(a + b ≤ γ) ∧ (γ ≤ a' + b'). [2]Как это понимать? Вот так:(a + b < γ ∨ a + b = γ) ∧ (γ < a' + b' ∨ γ = a' + b'). [3]Дальше. Из [1] следует, что ситуация равенства невозможна, поэтому из [3] и получается то, что нужно.
>>378283>∈ ℚВот с этим я правда обосрался, но, думаю, ты понял.
>>378283добра тебе
>>378258>Мне кажется, лучше сначала прочитать что-нибудь более современноеЧто, например?
Допустим, хэш-функция выдает только 64-битные хеши, а нам нужно, скажем, 100 байт. hash(A) = 64-битное числоЕсли мы вызывем ее несколько раз:hash(A+1) = ...hash(A+2) = ...hash(A+3) = ... и конкатенируем выходы, ухудшится ли качество?
>>378295Да вариантов много. Я не знаю, зачем тебе анализ нужен. Можно буками на английском закидываться, но в этом я, честно говоря, толком не понимаю, но помню Тао. Из русскоязычных учебников, подходящих новичкам, можно посмотреть на того же Зорича (хотя у него бывает много лирики, да и обозначения многим не нравятся). Рудин опять-таки. Ну и там дальше уже всякие Шварцы, Камынины, Смирновы. Ну и всякие лекции для «двинутых».
>>378305Спасибо. Начну с РудинаWalter Rudin principles of mathematical analysis(эта же книга имелась ввиду)
>>378308Не советую. Он немного всратый и неоправданно хардкорный. Это такой показательный пример учебника, цель которого в первую очередь разорвать тебе жопу и только потом уже обучить разделу математики.Вот годнота> C. Pugh: "Real Mathematical analysis".> С. М. Львовский: "Лекции по математическому анализу". Львовский хардкорней, но там тем меньше, оставлены наиболее важные.
>>378314Добра тебе.Жаль у Львовского ответов к задачам нет. Но если что тут спрошу
>>378316А ты их еще решать пытаешься? Я даже не пытаюсь.
>>378317Я только начал читать. Посмотрим насколько меня хватит.
>>378305А вот поясни, почему советуют один учебник на первое чтение, а другой на второе? Не будет ли неинтересно читать Шварца, когда все известно?
>>378321Шварц очень абстрактен и не утруждает себя ни комментированием теорем, ни тем более мотивировками. Если у тебя не будет глубокого опыта изучения матана, то учебник Шварца покажется тебе белибердой.
Посоветуйте книг по компьютерной алгебреПока наткнулся на Кузнецов М.И. и др. Компьютерная алгебра.Лукач Ю.С. Основы компьютерной алгебры.
"Научное сообщество населяют орлы, стервятники, шакалы как из мультика про Маугли «а мы пойдем на север», пантеры, питоны. У меня есть друзья — волки. Сам я ближе к постапокалиптическим кротам. Кротам не интересно участвовать в обсуждении обустройства науки, очень не люблю научпоп, например, и то, что связано с каким-то околонаучными официозными тусовками, ну и тяжело воспринимаю всяких научных функционеров-прилипал, которые сами нихуя не сделали, но везде видны, мы пойдем на север, короче."Планирую в середине сентября написать туда статью о людях-насекомых, которые двигаются под шорохи и шипения. Так называемый insect-dub-punk. Субкультура муравьев итд.Короче, я знал человека-кота, человека-собаку и человека-робота. Жаль, не получится с ними интервьюшки сделать.Отвечаю на вопрос об имиджбордах. Ок, посмотрел внимательно двач, 4chan итд. Если бы там японские слова заменить хинди. Няша - прия или пьяра. И еще там нет содержательного квеста, в который мог бы броситься анонимный интеллект. Разоблачать девушек, снимавшихся в порно - это не очень как-то. Создать новый язык, например! Который не возьмут электронные переводчики. Создать грамматику, (плавающий, меняющийся) словарь, писать на нем что-угодно. Сделать город, населенный носителями этого языка. Тогда да.Вот, про встречу с человеком без зубов."Ну давай, ну давай, научи меня индийскому. Он сел напротив и начал ерзать, вглядываясь мне в лицо.-- Гханта - колокол, звон, звонок, а сленговое значение - пустота, ничто. Чамча - ложка, а сленгово - жополиз. Фудду - вагина, идиот. А всякие ругательства типа fuck - это обычно чутия, чутан, чод. Если в резкой форме звучит чут.. или чод - явно что-то не то. Хотя чутна - это отслаивать или отрезать. Классную девушку могут назвать маал, тхарки, а могут и саман, что не очень.-- Типа если скажу, слышь маал, ты норм. То да?-- Типа да.-- А че ты там в Индии делал вообще? Трава там, да? А как спросить, слышь, подкинь мелочи.-- Тхора кхарча пани милега. Это более мумбаиское.У него нет зубов спереди, но он все равно улыбается из себя всему миру. Он как израненная собачка, шавка со слюной, по рынкам-базарам, может кого куснуть и отбежать с лаем и хохотом. Ну что, делайте теперь уколы от бешенства."
>>378396Урааа, Рома ЖЖ восстановил. Теперь заживем.
>>378396Да он же про /фл! И битардск! Это все было, что он описывал! Эх, не сумел найти жемчужин в трясине бэ-говна!
>>378399/fl ? А что там?
Правильное ли это доказательство того, что любое открытое подмножество R представляется в виде счетного объединения открытых интервалов?Шары с рациональными центрами и радиусами - база для стандартной топологии R. Теперь представим открытое U как объединение всех Bx, где Bx - элемент базы, содержащий x и содержащийся в U. Так как база счетное, количество различных Bx счетно.
>>378407Правильное, но сказано несколько лишних слов. Во-первых, множество шаров с рациональными центрами и радиусами счётно, то есть база счётная.Во-вторых, любое открытое множество представляется как объединение подмножества базы, по определению базы. Из этого следует, что любое открытое множество представляется в виде не более чем счётного объединения рациональных интервалов.
>>378401Там создавали как раз новый язык имаджборд, например. Да и в целом атмосфера, кстати, гораздо выше уровнем, чем здесь (в сци, не в треде), но это уже другой вопрос.
>>378354Бамп
>>378409На всём Дваче нет такой атмосферы, как в мат. тредах.
>>378317Почему не пытаешься?
>>378561Потому что они там приведены не для того, чтобы читатель мог закрепить пройденный материал, а чтоб читатель жопу себе разорвал. Я знаю, что есть люди, которые любят, когда им анус рвут, но я не из таких.
>>378601Ну а что, задача 1.105, например, именно на пройденный материал. Она элементарна, если подумать.
>>378602Ну да. Типа предположим, что такое отображение f существует. Так как R \ {0} несвязно, f(R \ {0}) тоже должно быть несвязно, но f(R \ {0}) - это R^2 \ { f(a) }, а оно связно.Но, во-первых, то, что одно упражнение из листка легкое, еще не означает, что в целом листок нормальный. Во-вторых, не такое оно и легкое, это просто баян, мы с тобой его заранее знали.
>>378604> R^2 \ { f(a) }фикс: R^2 \ { f(0) }
>>378604>тоже должно быть несвязноПочему? Это же не гомеоморфизм.
>>378606Непрерывное отображение отображает связные множества в связные.
>>378607Но не несвязные в несвязные.
>>378608Согласен, я неправильно решил.
>>378609Просто не в ту сторону. Таким рассуждением можно доказать отсутствие непрерывной биекции из плоскости в прямую.
>>378606Непрерывная биекция в компакт является гомеоморфизмом. Мемс в том, что нужно просто рассуждать не для всех R и R^2, а выбрать компакт в R^2 и его прообраз.
>>378613Это неверно. Самый простой пример f: [0, 1) → S1, f(t) = (cos t, sin t.Непрерывная биекция f из компактного пространства X в хаусдорфово пространство Y является гомеоморфизмом.Доказательство. Покажем, что f переводит замкнутые подмножества в замкнутые. Пусть K ⊂ X замкнуто. Тогда оно компактно. Так как f непрерывна, f(K) компактно. f(K) замкнуто, потому что Y хаусдорфово.
>>378602Я уже 3.5 часа решаю эту задачу. Спрашивается, нахуя мне знать, существует ли непрерывная биекция из R в R^2? А вот у Львовского все задачи такие. Поэтому я их не решаю в принципе.
>>378628>нахуя мне знать, существует ли непрерывная биекция из R в R^2?Ну а нахуя тебе матан учить тогда? Ты же специально приобретаешь способность быстро отвечать на вопросы, из чего в куда какое отображение есть.
>>378620Да, я перепутал.
>>378635Во-первых, это вообще даунский аргумент. Это как человеку, который не хочешь решать школьные олимпиады, говорить: "Нахуя тебе математику учить тогда? Ты же специально приобретаешь способность быстро решать задачи". Во-вторых, если такой умный, реши мне эту задачу.
>>378640Ну а зачем ты учишь матан? Что конкретно ты хочешь узнать? Какие знания обрести?
>>378641Какие-то нормальные темы, очевидно, которые используются в других разделах математики. Покажи мне хоть один результат, который использует эту ебанутую задачу.По поводу задачи: я понял, что если такая f существует, то прообраз любого открытого шара неограничен. Потому что иначе мы можем взять отрезок [a, b] такой, что f([a, b]) содержит этот шар. Так как [a, b] компактен, он гомеоморфен f([a, b]). Выберем из открытого шара такую точку, прообраз которой не равен a или b (это можно сделать, потому что у нас всего 2 точки a, b и несчетное количество точек внутри шара). Если эту точку выколоть, f([a, b]) останется связным, а [a, b] нет.> прообраз любого открытого шара неограниченКазалось бы, бред полный, но я не могу доказать что это невозможно.
>>378664>Покажи мне хоть один результат, который использует эту ебанутую задачу.Тот факт, что R нельзя непрерывной биекцией, а следовательно и гомоморфизмом отобразить на R^2 это частный случай "инвариантности размерности": того что R^n не гомеоморфно R^k.
>>378677Какой частный случай? Утверждение R^2 негомеоморфно R более слабое чем утверждение этой задачи.
>>378680Ну да, более слабое, ну и что?
>>378683Ну то что ты не ответил на вопрос, нахуя эта задача нужна.
>>378686Чуть более сильная версия используемого утверждения.
>>378686Один факт из серии. — существует биекция между отрезком и квадратом— существует непрерывная сюръекция отрезка на квадрат— не существует непрерывной биекции отрезка на квадрат...
>>376017 (OP)Реквестирую книгу по теории колец главных идеалов
>>378354>>378354Бамп
>>378728нет такой теории
>>378803Кольца главных идеалов существуют? %существуют% Значит и теория по ним тоже существует.
>>378813Проебался с разметкой :(
Хуле у тапалогии такая всратая аксиоматика, нельзя попроще сделать? Не из теории множеств её вывести, а из категорий, например.А, ещё хотелось бы задать вопрос. Здесь наверняка есть люди, которые защитили кандидатскую. По каким темам по чаще всего пишут? И по каким писали вы, просто интересно.
>>378728http://gen.lib.rus.ec/book/index.php?md5=33BACCBFD8D054FEEE5532A66F077D3A
>>378813Пусть дано множество линейно связных замкнутых множеств в R^n, которые мы называем хуями. Анусом твоей мамаши сегодня вечером для данного набора хуёв мы называем класс окрестностей в R^n, допускающих неплотную упаковку хуями; т.е. окрестностей, которым принадлежит объединение множеств, попарно пересекающихся не более чем по кускам границ (такая упаковка называется пидорской), каждое множество взято из орбиты какого-то хуя из набора ( все хуи взяты и взяты по одному разу ) под действием группы аффинных преобразований. Сами окрестности называются состояниями ануса твоей мамаши сегодня вечером. Анусом твоей мамаши данной размерности n называется объединение классов анусов твоей мамаши сегодня вечером для всех конечных наборов хуёв в R^n. Очевидно, для любого конечно набора хуёв анус твоей мамаши сегодня вечером существует => значит должна быть содержательная теория! Предлагаю всем итт заняться её разработкой, я вот уже немного вглубь продвинулся.
>>378836*конечное множество линейно связных замкнутых подмножеств
>>378818>Хуле у тапалогии такая всратая аксиоматика, нельзя попроще сделать? Не из теории множеств её вывести, а из категорий, например.Выведи кольца/группы/алгебры/векторные пр-ва/... "из категорий", долбоёб.
>>378728Считается, что там нечего изучать.>>378818>Хуле у тапалогии такая всратая аксиоматика, нельзя попроще сделать?Содержит всё и ничего, конечные пересечения и любые объединения. Что сложного? Скорее слишком просто.>Не из теории множеств её вывести, а из категорий, например.Не вывести, а выразить на языке. Можно, например: ncatlab.org/nlab/show/locale. Фундаментальные понятия все более-менее эквивалентны.
>>378841>Содержит всё и ничегоИзбыточное требование. Смотри.>любые объединенияОбъединение пустого семейства открытых множеств даст открытость пустого множества. >конечные пересеченияПересечение пустого семейства подмножеств M даст M, т.е. всё пространство открыто.мимошёл
Объясните почему действие Эйнштейна-гильберта именно такое, какое оно есть, какого хуя там скаляр Риччи? Кто не сможет объяснить, тот пидар зашкваренный.
>>378838Вывел эти понятия из широкого очка твоей мвмки, проверяй.>>378841Аксиомы простые, имелось ввиду, что они слишком, на первый взгляд оторваны от того, что принято считать топологией в глазах любителя (как у Прасолова в наглядной топологии). От них нужно долго шагать до чего-то действительно интересного. Неужто нельзя никак сократить данный путь? Тут просто был анон, который пытался читать элементарную топологию, и ему не впёрло именно по этой причине - вместо обещанной красоты нагромождение определений и скучных заданий.
>>378854Блядь какой там длинный путь-то?Ты вообще Хатчера-то открывал?
>>378836Ну вот зачем так обидно-то? Я тебя обижал?
>>378857Толсто. Предлагаешь детям начать своё обучение с Хатчера? Ты его сам открывал?
>>378859Не вижу ни единой проблемы с ним. А вот с другими авторами - да.
>>378849Ок. На самом деле это просто наличие нейтральных элементов относительно этих операций. 1 и 0, α и ω.>>378854Все претензии к понятию непрерывной функции, оно тут главное, а «топология» нужна только чтобы придать ему смысл.
>>378858
>>378876Вот и именно, бля. Стыдно должно быть!
Манон, что можно почитать по эпистемологии/гносеологии? И в целом насчёт разных подходов к математике (логицизм, интуиционизм, конструктивизм, формализм, etc.)?
Посаны, можно как-то покороче доказать пикрелейтед 1 чем на пикрелейтед 2? Че-то слишком длинно и как-то смекалисто что ли для таких простых утверждений.
>>378899>логицизм, интуиционизм, конструктивизм, формализмЭто мемы философов. Только философы с ними носятся сейчас. К математике вся эта дребедень имеет даже меньше отношения, чем философский "наблюдатель" к физике.
>>378901Куда ещё короче-то? Это буквально чуть ли не по определению вещественных чисел доказательство.
>>378903Ну видимо я тупой. Я его где-то час придумывал.
>>378901По-моему утверждение очевидно, тут доказывать нечего. Этот размер отображения это константа Липшица чтоли?
>>378902Так мне для общего развития. Хочу копнуть чуть глубже.
>>378899МанинМунинМанон
>>378910Менона забыл
>>378899Вилдербергер.
>>378916И мунина
>>378948И Манина.
Поясните за строчку > By the one-dimensional chain rule and mean value theorem applied to the differentiable real-valued function g(t) = f_i σ_j(t)Тут же ошибка, да? Типа σ_j - это функция из [0, 1] в R^n, а f_j - функция из R^n в R, поэтому надо применять многомерный chain rule, который в этом месте книги еще не доказан.
Блин, что вербит так носится с кооперативами своими и прочими выкидышами "сибирского панка". Говно же ебаное.
Матаны, поясните мне за картафан. Вот вербитомразь постоянно топит за уродливость интеграла Римана и калькулюса в целом. А что используют благородные доны на замену? Вон вся ссаная физика (ну кроме мож ОТО где жид-эйнштей впервые прогрессивную математику заюзал) на калькулюсе с закорючками основана, что делать братьям нашим меньшим?
>>379058>А что используют благородные доны на замену?Калькулятор.
>>379058Рациональный анализ.
>>379058> Вот вербитомразь постоянно топит за уродливость интеграла Римана и калькулюса в целом.Неправда. Никакой уродливости нет, просто интеграл Римана и всякие критерии интегрируемости по Риману занимают 20-30 страниц учебника, а потом все равно люди изучают интеграл Лебега и благополучно интеграл Римана забывают. По крайней мере, это верно для тех, кто читает доказательства в учебниках. Для остальных людей интеграл Римана - это оверкилл, им достаточно понимания интеграла на уровне 17 века, типа разбили на бесконечно малые кусочки и хуйнули сумму.Калькулусом называется вычислительная часть, типа задач из Демидовича. Такое все нормальные люди ненавидят. Я не физик, но я думаю, что физики тоже не тупые и могут освоить техники, используемые в матане, не решая сотни вычислительных примеров на каждую тему.
>>379062 >Калькулусом называется вычислительная часть, типа задач из Демидовича. Такое все нормальные люди ненавидят. Я не физик, но я думаю, что физики тоже не тупые и могут освоить техники, используемые в матане, не решая сотни вычислительных примеров на каждую тему.Ну я называл калькулюсом интегрально-дифференциальное исчисление, не только задрачивание примерчиков. Про задрачивание примерчиков даже физику понятно что всё можно в какую-нибудь максиму или вольфрам сунуть или на худой конец запрогать алгоритм Риша на фортране (физики ведь ничего другого не знают?). А вот вопрос нужно ли интегрально-дифференциальное исчисление и если нет то что сунуть на его замену - остаётся открытым.
>>379060 >Калькулятор.Т.е. интегральчики всё-таки нужны, но только в вольфраме?Ибо я слышал мнение что всю эту интегрально-дифференциальную хуйню в том виде в котором её высрал Ньютон и подхватил Риман можно закопать.
>>379042Просто ты не понимаешь. С возрастом хочется перенестись мечтами в свою юность, которая у Вербицкого ассоциируется с Летовым, у Медведева с Дип Перплом, а у Путина с группой Любе. Абсолютно каждый из них говноед, но хуй ты это сможешь доказать. Ты тоже через 20 лет будешь переноситься мечтами в какое-то говно. Что ты сейчас слушаешь?
>>379088Шнитке и Сорабджи в основном, а что?
>>379088Вэйпор, советскую эстраду и российский поп 90х.
>>379063Какие темы по-твоему входят в дифференциально-интегральное исчисление и какие из них Вербит предлагает выпилить?
>>379088патимэйкерэнджойкинЭто самое любимое, а так еще много чего
>>379098 >Какие темы по-твоему входят в дифференциально-интегральное исчисление и какие из них Вербит предлагает выпилить?Ну к примеру дифуры. Мне за них больше всего интересно, как же бедные физики без них обойдутся...
>>379101выпилить в смысле, выделить в отдельный курс.
>>379101Ну, во-первых, я не слышал, чтоб он предлагал выпилить дифуры из программы. Во-вторых, я не представляю в каком контексте он мог обсуждать программу по математике для физиков, мне казалось, его интересует только программа для математиков. Если оттуда выпилить дифуры, это будет норм, потому что дифуры нужны далеко не всем. Те, кому они нужны, смогут довольно быстро вкатиться при наличии хорошей базы (анализ на многообразиях, группы Ли и всякое такое).
>>379104 >выпилить в смысле, выделить в отдельный курс.Выпилить от слова "нахуй">>379105 >Ну, во-первых, я не слышал, чтоб он предлагал выпилить дифуры из программы.Ну я со слов анонов утверждаю. Я не трал.>Во-вторых, я не представляю в каком контексте он мог обсуждать программу по математике для физиков, мне казалось, его интересует только программа для математиков. Если оттуда выпилить дифуры, это будет норм, потому что дифуры нужны далеко не всем.Это не он обсуждал, это я обсуждаю сейчас. Если выпилить дифуры из математиков то что сунуть на их место?>Те, кому они нужны, смогут довольно быстро вкатиться при наличии хорошей базы (анализ на многообразиях, группы Ли и всякое такое).Отсюда поподробнее можно?
>>379131http://imperium.lenin.ru/~verbit/MATH/programma.html
>>379134А Вербит сам-то это всё осилил?
>>379145Судя по наличию у него PhD Гарварда, в бытность студентом он осилил гораздо больше.
>>379134 >http://imperium.lenin.ru/~verbit/MATH/programma.htmlА можно подчеркнуть то что на замену картофана идёт?
>>379151Всё.
Вопрос к тем кто изучал теорию меры. В каких местах у вас там вводились весовые функции? Зачем они у вас были нужны?
>>379145Вербит учась в школе уже публиковался по теме функционального анализа. Логично, что он это все осилил к 25 годам.
Кто-нибудь тут программирует? Часто матаном пользуетесь? Какими областями?
>>379156Я программирую. Не просто нечасто - никогда.
>>379156>Часто матаном пользуетесь? Какими областями?Пользуюсь преобразованиями Фурье каждый божий день. Остальной матан НЕ НУЖЕН.
>>379157>>379159А матан чего тогда изучаете? Просто нравится?
>>379161Чтобы не быть безмозглым быдлом вроде тебя
>>379062Что за добрая книжка? Прям какой-то антипод Демидовича.
>>379163> имлаинг что решение абстрактных задачек сделает тебя умнее
>>379170>сделает тебя умнееНе обязательно, но скатывание в говно вроде тебя сильно замедляет.
В каком году рефьюджис завезли в Европу десятичные числа? Как до этого священники считали церковный налог? Римскими числами? В каких числах считали налоги монголы с русских рабов?
>>379173Бля, как решение задачек поможет тебе не скатиться в говно? В житейских проблемах она не поможет, на кой хуй она нужна?
>>379176>этот охуевающий от собственно тупости быдларийБлагодарю за иллюстрацию и мотивацию.
матаны, вопрос по терминологии:как можно назвать или может уже есть готовое название формулу для получения всех элементов множества из подмножества натуральных чисел в любой декартовой степени?если выражаться программерским языком - то, что может быть сосчитано с помощью одного или более вложенных цикловхочется назвать это индуктивной или конструктивной формулой, но судя по всему эти термины не очень подходяттакже интересует: есть ли какое-то название для множеств, элементы которого не могут быть так выражены inb4: счётные и несчётные множества - речь идёт не о сопоставлении элементов, а о выразимости их в виде формулы
>>379176Тупому быдлу НЕПРИЯТНО, запасаемся попкорном.
>>379178>как можно назвать или может уже есть готовое название формулу для получения всех элементов множества из подмножества натуральных чисел в любой декартовой степени?https://en.wikipedia.org/wiki/Cardinal_number
>>379177>>379180Ну что же вы, господа илитарии, ну занимаетесь вы безполезной хуйней, ну не стоит так реагировать, я понимаю это чувство когда вас опрокидывают в реальность, ну ничего, привыкните что ваш матан уже никому не нужен.
>>379191>ваш матан уже никому не нужен
>>379167Spivak: Calculus
>>379058Интеграл Лебега есть как бе. Очевидно, что Римана сосёт, это даже не обсуждается.
>>379099Ну вот и будешь такой подходить через 30 лет к детям и такой "патимейкер! шейкер-шейкер! иххихихихих ну вы поняли да?", а детки такие смотрят на тебя как на еблана и у виска крутят.
есть один псевдокод пикрелейтед, который выкусывает из i биты, которые включены в bможно ли превратить его в адекватную математическую формулу?или это тот самый случай, когда псевдокод лаконичнее и понятнее математического эквивалента? как тут например https://en.wikipedia.org/wiki/Bitwise_operation#Mathematical_equivalents
В последнее время целыми днями читаю математическую литературу и у меня началась какая-то хуйня с головой: я могу начать че-то делать и через 2 минуты забыть, что я делаю. Эта проблема по жизни а не в математике, в математике все норм. У вас такого не было?Алсо, я весь день ботаю, а когда заебывает, смотрю мемы. Так у меня почти каждый день проходит. Может быть такое, что у меня мозг охуел от количества информации? Меня чет эта хуйня пугает.
>>379310Иди на велике покатайся, поплавай, отдохни от умственного труда. Мемасики и кинцо только хуже сделают. А что конкретно изучаешь/читаешь?
>>379316Ну я ньюфаг, Винберга читаю где-то на середине. Еще изучаю матан, вот, например, я вопрос задал >>379041Причем я задачи почти не решаю по минимуму, стараюсь как можно быстрее получить представление и дойти до анализа на многообразиях, потому что там, вроде как, используется алгебра и топология, а это то, что мне больше всего нравится в математике. Пока что из всей математики мне больше всего понравились point-set topology (всякую алгебраическую топологию еще не изучал) и алгебра (алгебра мне пока вся нравится). В итоге последние несколько недель получается так, что я целыми днями читаю и поглощаю информацию. Моя активность заключается в том, что я пытаюсь сам доказать теоремы из учебника, не читая доказательство. Как только я начинаю более-менее комфортно себя чувствовать с какой-то темой, я сразу же перехожу к следующей, в итоге мозг постоянно охуевает.>>379316> Иди на велике покатайся, поплавай, отдохни от умственного труда.Я это все не люблю. Я бегаю, чтоб жирным не быть, но это занимает всего 1 час в день.
>>379319> задачи почти не решаю по минимумуфикс: задачи решаю по минимуму
>>379310 Какой смысл все это делать. Ты что собираешься матан в ВУЗе преподавать? Если ты не будешь все это использовать, то со временем забудешь большую часть. Попробуй лучше теоремы самостоятельно доказывать.
>>379322Я и так дохуя пропускаю. Если что-то мне не нужно для дальнейшего понимания, я это читаю по диагонали или вообще пропускаю. У меня есть конкретная цель - получение пререквизитов для анализа на многообразиях.
>>379155 >Вербит учась в школе уже публиковался по теме функционального анализа. Логично, что он это все осилил к 25 годам.Но ведь функан это тоже картафан? Или в школе он еще не прозрел?
>>378899Бамп, манон.
>>379294сам напейсалвыглядит пугающе, но кусок псевдокода посреди кучи формул - ещё хуже
>>379294>https://en.wikipedia.org/wiki/Bitwise_operation#Mathematical_equivalentsЧто за ёбанный пиздец? Какого хуя они решили что битовая последовательность обязательно является целым положительным числом в двоичной системе? Почему блядь не рассматривать её как вектор или многочлен над GF(2). Вообще непонятен предмет этой статьи.Твой алгоритм надо выразить в виде обработки битовой последовательности, тогда он примет более удобочитаемый вид
>>378664Если прообразы всех шаров неограничены, то образ любого отрезка - нигде не плотное множество. Тогда R^2 можно представить в виде счетного объединения нигде не плотных множеств (образов [-n, n]), но это не так по теореме Бэра (в учебнике Львовского это теорема 1.47 из 5-го листка)
Что вообще означает последнее предложение на пикрелейтед? Я вообще ни разу ничего подобного не встречал. У меня догадка такая: рассмотрим изоморфизм: T(e_k) = s_k, где s_1, ..., s_m -стандартный базис R^m. Тогда должно выполняться следующее:1) U открыто в V <=> T(U) открыто в R^m;2) U открыто в R^m <=> T^{-1}(U) открыто в V;3) T - гомеоморфизм.
>>379418Короче, помогите понять доказательство. Что вообще за хуйня тут написана?
>>379371> Если прообразы всех шаров неограничены, то образ любого отрезка - нигде не плотное множество. Почему? Возьмем какой-нибудь шар. Почему не может быть, например, так, что прообразы рациональных точек шара лежат в отрезке, а прообразы иррациональных точек разбросаны по R каким-то непонятным образом?
>>379441>Короче, помогите понять доказательство. Что вообще за хуйня тут написана?Так а что собственно непонятно?
>>379444Ну, допустим, я понял как отождествить V с R^m. Введем такую топологию, что изоморфизм V на R^m - гомеоморфизм. А почему норма непрерывна в этой топологии?
>>379442Непрерывности не будет?
>>379445>Ну, допустим, я понял как отождествить V с R^mЧто значит допустимс? Это одно из основных утверждений линейной алгебры курс за первый.
>>379445>А почему норма непрерывна в этой топологии?Почему норма непрерывна в стандартной топологии R^{k}? На этот вопрос дает ответ первая выкладка в твоем пике.
>>379454Ну я не тупой, я про топологию спрашиваю, а не про изоморфизм векторных пространств.>>379456Ну вопрос в том и заключается: почему эта выкладка показывает, что норма непрерывна?
>>379441Короче, местные эзотерики только кукарекать умеют и не могут даже понять доказательство из учебника для 1 курса. Что у Львовского написано я так и не понял, но немного модифицировал.Рассмотрим изоморфизм T: R^n -> V.1) Покажем, что T непрерывно в 0.2) Для любого линейного отображения непрерывность в 0 эквивалентна непрерывности. Это доказывается через неравенство ||x| - |y|| <= |x - y|.3) Так как T непрерывно, оно отображает компактное подмножество R^n { x_1 e_1 + ... + x_n e_n : max|x_i| = 1 } в компактное подмножество V { x_1 v_1 + ... + x_n v_n : max|x_i| = 1 }, где v_1, ..., v_n - базис V. 4) Дальше доказательство такое же как в книге.
>>379470Забыл написать доказательство пункта 1:|Tx| = |T(sum x_k e_k)| = |sum x_k T(e_k)| = |sum x_k v_k| <= sum |x_k| |v_k| <= (max |x_k|) (sum |v_k|).Пусть sum |v_k| = M. Тогда для любого eps > 0 если max |x_k| < eps/M, |Tx| < eps.
>>379470>Что у Львовского написано я так и не понял, но немного модифицировал.>не понял, но модифицировал:D
>>379472Проблемы?
>>379476Забавляют подобные обороты речи.
>>379442> Почему не может быть, например, так, что прообразы рациональных точек шара лежат в отрезке, а прообразы иррациональных точек разбросаны по R каким-то непонятным образом?Потому что образ отрезка замкнут
>>378396>Так называемый insect-dub-punkКем называемый? Даже гугл про такое не слышал.
>>376017 (OP)Насоветуйте записей видео, на которых решают всякие примеры и задачи из школьного курса математики, желательно с объяснениями. Можно и лекций по биологии, физике и химии, с разбором и решением задач. Что-то вроде видеоучебников.
Как статьи пишутся, гомологи мамины?
>>379672Вчера статью написал о маскимальном расширении ануса твоей мамаши
>>379662В /u посоветуют, у нас студенты не могут интегралы брать и поэтому пытаюсь оправдать свою безграмотность знанием топологии и гомологии.
>>379682Набрался этих интегралов в универе, а тут извольте что-нибудь новенькое
>>379682Вот ты серьезно думаешь, что кто-то итт не может взять интеграл? Или ты думаешь, что нужно уметь решать интегралы из тривиума Арнольда?
Пусть T: V -> W - линейное отображение. Что такое интеграл от T по V? Нагуглить не получается.
>>379682Ну бери, раз такой умный.
>>379702Забористого картофана, ты Петрович принес, чует моя водофная глотка, что 50 и 51 это упражнения на вычеты, а во твой второй пик вообще обобщенная функция какая-нибудь.
>>379706Водовка с картофана.
>>379710На картофанных очистках.
>>379682/u&Ничего не перепутал?
>>379738/unУ меня клава хуёвая, кнопки залипают.
Связаны ли как-нибудь теории гомологий координатного кольца многообразия и теории гомологий самого многообразия?
>>379742Ого! Что-то я и забыл про такой раздел. Спасибо.
>>379770Тоже самое Воеводский сказал про калькулюс.
>>379819
>>379819Тоже самое Арнольд сказал про про вычисление интегралов на компьютере.
>>379134http://verbit.ru/Job/HSE/Curriculum/all.txtТЫ СТАЛ МЕДЛЕННЕЕ
>>379927> В. Пополнение. P-адические числа. *Теорема Островского.Дак кто-нибудь в итоге может объяснить, кому кроме теоретико-числовых петухов нужны p-адические числа? Почему Вербит так на них дрочит?
>>379947Это элементарная грамотность, p-адические сюжеты встречаются всюду - от математической физики до алгебраической геометрии и теории представлений.
>>379954А нахуя их изучать за несколько лет до того, как они понадобятся? Вербит же их предлагает изучать одновременно с вещественными.
>>379947Удваиваю вопрос, хотя не в курсе интимной жизни Вербита, кроме эпизода с дилдаком, и не знаю, на что он там дрочит и дрочит ли конкретно на падики.
>>379947ПСИХОЛОГАМ!
>>379983Но зачем?
Давайте еще задачу из Львовского решим. Ответ я уже знаю: (D Inv)X(∆) = -X-1∆X-1. Я погулил inverse of matrix sum и на MSE дают ссылку на статью с формулой для (A + B)-1. (A + B) невырождена для невырожденной A и достаточно малых B, так как GLn(R) открыто. В итоге я получил решение на пикрелейтед 2.Но скачать статью нельзя, поэтому я не знаю доказательство этой формулы. Наверное, Львовский че-то другое имел в виду? Как без этой формулы решить?
>>379988Бля, я объебался, нет такой формулы для trace. Но ничего страшного: все элементы ∆ стремятся к 0, поэтому trace ∆X-1 -> 0.
>>379947Это просто единственный результат, который могут предложить "первокококультурщики" в качестве примера своей собственно кококультуры новичкам так, чтоб у них глаза из орбит не вылезли и они не забросили всю математику вообще нахер. И то так себе примерчик, на олимпиадчину похоже.
>>379988Проще вывести, дифференцируя X*X^-1 = Id
Есть формула для Липшицевойо функции из, скажем, R² в R², проведённой через заданные точки? Что-то ничего в голову не приходит. Надо как на рисунке
>>380123Если что, слева регулярная сетка. Справа произвольный набор точек (удов. липшицеву словию, конечно)
>>380123А, придумал, кажись. Буду отображать треугольники в треугольники при помощи барицентрических координат. Должно србаотать?
>>380123y=Σ(yk•П(|x-xm|/|xk-xm|, m≠k)), подойдёт? Тут yk, x, xk обозначает весь набор координат, суммирование по k, умножение по m.
Концепцию бесконечности поясните мне.
>>379987Психоанализ формализовывать.
Помогите найти текст.Несколько недель назад начал читать довольно интересно и просто написанную ПДФ-ку (кажется), озаглавленную примерно как "Современный анализ", или может "введение в анализ" или что-то в этом роде.На русском.Начиналась с краткого изложения топологии, понятий непрерывных функций, пределов и прочего, как в это треде любят.Но я её потерял, блжад! Ни в истории браузера, ни в документах не найти. Может, у кого есть в закладках похожее?
>>380205Единственное что приходит на ум это Дьедонне "Основы современного анализа"
>>380209Не, там что-то недавно написанное было и довольно маленькое. По объёму скорее большая методичка чем полноценный учебник.
>>380205Объём какой?Пригодно для чтения без знания обычного изложения анализа? Или изложения уровня введения гамма-функции не зная обычный факториал?
>>380190Что-то я не думаю, что оно будет не "растягивать"
>>380209<- >>380212
>>380212Чем тебе гамма-функция не угодила?!
Нигилизм и низовой юмор неразделимы, но последняя волна т.н. edgy (острый, неудобный) content (сетевой креативчик) это уже совсем экстрим. речь даже не о баттл-предъявах за мамку, нет, каждый третий мем намекает на суицид — эти шутки как игры с бритвой, действительно, острее не придумаешь. Смерть выступает в сверхкоротких анекдотах единственно существующей реальностью, к которой палитра перснажей — всех полов и возрастов — стремится изо всех сил.По семантике мемов не так много исследований и очень редко они бывают своевременными — академическое запаздывание в два-три года обесценивает усилия в случае со сверхмобильной и еженедельно мутирующей средой. В потоке ярких картинок можно вычленять ключевые образы для поколения го: лягушки на велосипедах и без, покемон цирроз, абстрактный асбест, ликующий Дональд Трамп и стрелки из школы в Колумбине. Мемы это намного больше чем просто фольклор, это среда коммуникаций для миллионов по всему свету — хуматон общается мемами, нанизывая их друг на друга, их анализ — это не интерпретация отражений мыслевспышек из внутреннего мира, а непосредственный доступ к сознанию. На эту тему высказывался Пепперштейн, подражая Проппу пытался выявить морфологию мема музыкальный критик Горбачев, но что может сделать один человек с фрактальным пространством, извивающимся в непрерывной рекомбинации панчлайнов? Осенью закончу большую работу о пространстве мемов, сделанную в соавторстве в московскими коллегами — похоже, что нам удалось подобрать точную топологическую модель. Но сейчас хочется бросить взгляд по ту сторону означаемого — вот, познакомьтесь, Грэм, гуманоид, который переживет любую автокатастрофу; даже самую яростное соитие машин не сможет переломить его отсутствующую шею.За несколько недель Грэм стал новым символом интернет-сообщества, его последовательно — так во Франции носили победителя турнира на руках — встраивают во все существующие мем-контексты, его любят и ненавидят, в нем видят свое будущее и пытаются от него отшутиться. Соль шутки в том, что Грэм — это уже настоящее.Недавно я был в гостях у такого Грэма — мы встретились на улице: здоровяк, настоящая мясная машина, с широким подбородком и размашистыми плечами. В его фигуре было что-то нескладное, что я понял, только когда мы вошли к нему — он упал на диван как трансформер, приняв истинное обличье. Его живот оказался удобной подставкой для ноутбука, подбородок ушел в грудь, полностью скрыв шею, а спина согнулась дугой — одной рукой он стучал по клавиатуре, отвечая на сообщения в неисчислимых чатах, а другой скручивал косяк. Он спросил меня, не знаю ли я где нанять людей, которые бы собрали его вещи для переезда — я покачал головой. Он плаксиво заметил, что не хочет тратить время на такую ерунду, ведь у него есть много более интересных занятий — и затянулся так, что обжег пальцы. В процессе разговора, который — если время ото времени его не выравнивать — спиралью уходил к воспроизведению мемов, кубов и вайнов, он обмолвился о своем слабом темпераменте, мол, у него не получается останавливаться: и впрямь, большего кайфожора мне сложно представить — за полтора часа он успел приделать пару литриконов пива, полграмма химического гашиша и несколько дорожек какого-то порошка. Наркотики, впрочем, он предпочитает исключительно те, что не имеют психоделического эффекта — больше всего он дорожит своим видением мира, ведь ему и так стоило стольких часов бизнес-тренингов и чтения мотивационной литературы, чтобы выстроить систему координат. Он не считает денег, но вместе с тем неразборчив в еде и в развлечениях, предпочитая всем видам искусства лихие атракционы, которые давно оккупировали кинотеатры и постепенно захватывают театральную сцену. Свой профессиональный род занятий он характеризирует не иначе как "полезного паразита", перекачивая потоки рекламы, давно уже ставшей самостоятельным ресурсом, из одних мест в другие — "все просто, ты идешь в контору, даже если не справляешься за три месяца, тебя берут в следующую на должность повыше и с лаве пожирнее, там еще три месяца и через год у тебя может быть поллмиллиона в месяц при том, что никто не будет понимать за что", — посмеиваясь, обронил мой собеседник.Таких и впрямь любит современный мир, они идеальные реципиенты будущего, его баловники и пророки. Хуматоны, вечно сидящие в смартфонах, передвигающиеся только на такси, заказывающие еду на дом — они интериоризировали все функции кроме зарабатывания денег, которую тоже следует рассматривать как переработку сырья — колоссальной индустрии производства нужны свои ударники потребления, спасающие переполненные склады и магазины. Тем страннее читать, что кто-то считает их проводниками революции — Пол Мейсон пишет о том, что глобальное переустройства придет не слева и не справа, оно выпрыгнет из нашего кармана, где свил гнездо мегамощный смартфон; что интернет похоронит капитализм; что Грэм — это гражданин дивного нового мира, где не будет денег и насилия. К своей идее техноутопии Мейсон приплетает Маркса, ссылаясь на его малоизвестную работу «Отрывку о машинах», написанной в 1858 году. Автор «Капитала» описывает экономику, основанную на «автоматической системе машин», которая целиком бы обеспечивала производительность, людям бы оставалось лишь «наблюдать и предохранять от помех». Главная производительная сила в такой экономике — это «всеобщее общественное знание» или «всеобщий интеллект», то есть достижения науки и прогресса, обеспечивающие производительную мощь машин. Понятно, к чему клонит Мейсон, но он хитрый адвокат новой технокаббалы, призванный польстить Грэмам из золотого миллиарда тем, что заказывая пиццу по телефону, которую повезет сквозь толчею в метро узбек в униформе, они приближают конец капитализма. Маркс писал совсем о другом, он писал об освободительной классовой борьбе, без которой не может произойти изменение общества — и мы уже начинаем понимать, кто на кого пойдет с булыжником и вирусным контентом — чтобы перепрошить его в нужную сторону и нужно понять, как работает пространство мемов. Да, Грэмы не погибают в автокатастрофах, они вообще кого угодно переживут, они могут мучаться фантомными болями в шее и утренними отходняками хоть до ста лет, напихав в себя консервантов и антибиотиков до полной муммификации — но настанет день, и мы им поможем. Пусть терапия мемами о смерти подготовит их к этому дню.
>>380568Но мумификация пишется без удвоенной "м".
посоны, как относитесь к такому http://www.chronos.msu.ru/old/RREPORTS/kaminskiy_incompleteness_book.pdf ?сначала, подумал, что он наркоман, а с другой стороны наркоманы ведь тоже люди
>>380014Спасибо, получилось.
>>380612это не science, это философия, возможно, псевдо-.
>>380612Это было один-в-один у одного чувака из американского университета, имя забыл. Что-то там по тегам quantum physics consciouusness conscious agents>>381080Не.
>>381084>Это было один-в-один у одного чувака из американского университета, имя забыл. Что-то там по тегам quantum physics consciouusness conscious agentsнапоминает название обосанной со всех сторон теории пенроуза и хамероффа
>>381105Да оно вообще много чего напоминает, дело же в формализации.А оп что, сдох, кстати?
>>381139См. удалённую дискуссию в конце треда.https://arhivach.org/thread/188358/
>>381139Анимеха-оп обиделась что запретили срать нерелейтедом и хлопнула дверью но по прежнему сидит итт
https://2ch.hk/sci/res/381147.htmlhttps://2ch.hk/sci/res/381147.htmlhttps://2ch.hk/sci/res/381147.htmlhttps://2ch.hk/sci/res/381147.htmlПерекатил.
Хм. Ну я тогда тоже сваливаю с этой параши. Маттред был почти единственным островком интересных вещей в этом море школобалаболов, и маттред у меня четко ассоциируется с его опом. Он молодец хоть мы с ним и срались часто, а на аниме-картинки мне как-то похер. Я их так и не заметил, кстати, даже в архиваче.>>381143Оставь здесь ссылку, если перекатишься на другой ресурс.>>381145Ну и правильно сделал.>>381148НЕЛИГИТИМНАА!!11
>>381155>НЕЛИГИТИМНАА!!11Ты предлагаешь ждать, когда ОП-анимеха одумается и начнёт создать треды?
>>381156Нет, я ничего не предлагаю. Я же написал все выше, посмотри. Ну или лучше не смотри, а забей.
>>381155Перееду в /u/ Доброчана.
>>381155>>381172Да скатертью по жопе уже, задолбали. Такие люди всегда прощаются десять тредов и не уходят.
>>381172Окай.
