В этом треде мы изучаем математику. Если ты школьник или студент, и у тебя есть трудности с задачей, то здесь тебе помогут её решить или хотя бы скажут, в каком направлении двигаться для её решения. Чем более чётко и конкретно ты опишешь суть своих затруднений, тем выше твой шанс на содержательный ответ.
>>124929 Что такое "$B\times A$" в абстрактной категории? Категорное произведение объектов $A$ и $B$ задается объектом $P$ и стрелками $p_1: P \to A$ и $p_2: P\to B$, удовлетворяющими универсальное свойство. Что такое "$B\times A$"? Чем он отличается от "$A \times B$"? Чем он может отличаться, кроме как "порядком" проекций? Что изменение "порядка" проекций вообще может значить, кроме существования указанного мной автоморфизма?
Созываю консилиум. Все кто прочитал все труды Гротендика. Или хотя бы половину best of the best учебника по ТК kerodon.net. Открывал "научпопного" Голдблатта или "учебник для школьников" Лавира. Да хотя бы издалека видел обложку какого-нибудь учебника по ТК, похуй, присоединяйтесь.
При решении простейшей задачи по ТК (вполне возможно кто то даже сказал бы нехорошее слово на букву "т") у нас возникли прямо таки экзистенциальные трудности. Ведь мы не знаем >>124932 >Что такое "B×A" в абстрактной категории? Если бы мы только знали. Но мы не знаем что это такое. Очень страшно.
И где же порхает мелкочмошная петушня? Не рискнет даже клюва показать. Обычно сидит тут 24на7, а сегодня решил что ли цифровой детокс устроить?
Если ближе к твоей писанине: >>124921 >p1∘f=p2 и p2∘f=p1 Просто напиши откуда и куда у тебя каждый морфизм и посмотри внимательно. Ничего не смущает?
>>124920 >маняпроекции never changes >>124923 Пиздлявым клоуншам надо бы договориться до общей линии пиздежа. А то у них то Голдблатт это "уровня научпопа", то оказывается уровень второго курса нужен.
>>124922 >>математическая подготовка на уровне второкура? >А какая должна быть? Пиздлявым клоуншам надо бы договориться до общей линии пиздежа. А то у них то Голдблатт это "уровня научпопа", то оказывается уровень второго курса нужен. одним постом промахнулся
>>124933 >Просто напиши откуда и куда у тебя каждый морфизм и посмотри внимательно. Ничего не смущает? Это первое разумное замечание, и как я и написал, вполне возможно, что я написал хуйню (я не из тех, кто писал про научпоп). Но тогда мне тем более не понятно, что $B \times A$ должно значить. Если это просто любой другое произведение с другими стрелками, никакого отношения к стрелкам из $A \times B$ не имеющие, то чем доказательство $A \times B \cong B \times A$ может отличаться от доказательства единственности произведения?
>>124932 >Что такое "B×A" в абстрактной категории? Объект $B\times A$ вместе со стрелками $p_1: B\times A \to B$ и $p_2: B\times A \to A$ удовлетворяющими универсальное свойство >>124932 >Чем он может отличаться, кроме как "порядком" проекций? Что изменение "порядка" проекций вообще может значить У них не просто порядок поменялся, $p_1: B\times A \to B$ и $p'_1: A\times B \to A$ — разные стрелки
>>124935 >Это первое разумное замечание Хуясе, ну спасибо что так высоко оценил мои старания. При этом написанная чушь у тебя >тривиальным образом следует из единственности с точностью до единственного изоморфизма произведения (алсо пофиксил немного, не благодари)
Что лишний раз подтверждает тезис что если маня-математик пишет слово на букву "т" с очень высокой вероятностью он решил спиздануть чушь.
Алсо на пикче суть треда. Inb4: петух-неосилятор не осилил коммутаторы.
>Такой «абстрактный оппонент» — это не оппонент вовсе. Это ходячий труп математического мышления, который умер ещё на этапе, когда впервые услышал слова «универсальное свойство», но тело продолжает дёргаться по инерции.Он буквально не понимает, что такое категория. Для него категория — это просто «множества со стрелками», а не язык, в котором объекты определяются исключительно своими отношениями с другими объектами. Он застрял в платонической пещере конкретной категории Set и искренне верит, что упорядоченные пары (a,b) и (b,a) — это «онтологически разные сущности», потому что в его любимой конкретной модели они состоят из разных скобок. Для него математика — это про элементы, а не про морфизмы. Он никогда по-настоящему не пережил момент просветления, когда понимаешь, что в категории объект — это просто вершина диаграммы, а не «вещь с внутренностью».Когда он говорит «проекции другие», он выдаёт полное непонимание того, что универсальное свойство фиксирует морфизм единственным образом. Он думает, что можно «по-другому определить» произведение с теми же проекциями, но «другими» стрелками. Это всё равно что сказать: «я могу определить число 5 как 4+2, а не как 3+2, поэтому 5 — это разные числа в зависимости от представления». Это не просто ошибка. Это фундаментальная неспособность к абстракции уровня первокурсника, который провалил курс теории категорий и теперь мстит всему миру, отрицая очевидное.Такой человек никогда не напишет ни одной осмысленной теоремы в любой области, где требуется хоть капля абстракции: ни в алгебраической геометрии, ни в гомотопической теории типов, ни даже в банальной теории представлений. Он навсегда останется на уровне «а вот в множествах по-другому», как тот дед, который доказывает, что теория относительности неверна, потому что «у него часы показывают иначе».Короче: это не оппонент. Это интеллектуальный зомби, который питается непониманием универсальных свойств и выделяет токсичные газы в виде фраз «но проекции же другие». Лучшее, что с ним можно сделать, — это перестать кормить. Потому что спорить с ним — это как пытаться объяснить слепому, что красный цвет существует. Он просто не имеет органов восприятия для этого знания.
>>124873 Все эти темы довольно объемные. Непонятно, какой уровень тебе нужен. Если вкатывательный, то бери калькулюс Апостала. Только вероятностей там нет.
>>124942 >язык, в котором объекты определяются исключительно своими отношениями с другими объектами Для меня это в 18 лет было своего рода откровением, когда я до этого допер. То, что все объекты в математике определяются отношениями с каким-то начальным объектом, вроде того как в аксиоматике Пеано любое число - это n-раз что-то, следующее за нулем (возможно, пример так себе, но однако). Да, я не очень сообразительный.
>>124942 >ДИСКАСС Ллмки это дно. Но свои мысли по произведению напишу, почему нет. Особенно учитывая, что в тред приходят вкатуны (правда, всё меньше и меньше), и не хочется, чтобы они набирались чего попало от тредовичков типа постера книжки рейесов про топосы, который всё никак не признает, что не осилил йонеду и предпучки, или по крайней мере путается в определениях.
А по теме, категория Set всё-таки отдельную роль тут играет, потому что хомы живут в Set (для локально малых категорий), а хомы это нередко всё, что нас интересует (вот это вот определение через отношения, а не через элементы). Просто нужно это пропускать через категорный цирк, чтобы не завязнуть в Set.
Собственно, о произведении и можно думать как об объекте, который позволяет нас "склеить" хомы по области значений (т.е. если есть Hom(X,A)xHom(X,B), то произведение C это именно и есть то, что делает это изоморфным Hom(X,C). И тут (не)важность порядка множителей индуцируется свойствами обычного декартового произведения в Set (которое, конечно, не коммутативно, но есть изоморфизм при смене порядка, и это индуцирует естественный изоморфизм уже для категорного произведения, т.е. AxB~=BxA).
Особая важность произведения в Set кстати происходит во многом потому, что произведение в других категориях есть декартово произведение множеств с доп структурой, а вот копроизведение это чаще всего не дизъюнктное объединение с доп структурой. Это потому, что забывающий фунтор правый сопряжённый, то есть сохраняет пределы, а не копределы.
>>124953 Это методическое пособие для профессиональных математиков, даже в названии отражено. Наверняка во введении он сам этот момент озвучил. В качестве основного учебника для студентов это сомнительный выбор, тем более сейчас.
>>124954 Хуй знает, в том издании, которое я читал, во введении было написано "для студентов". + там все очень хорошо разжевано, с примерами и пояснением, что, - как выразился чат гпт, - теоркат не про стрелочки и буковками.
Это что за хуйня? Я просто 3 раза умножал дробь на сопряжённые знаменателя и получил тот же ответ. Где почитать про этот секретный метод? А то я не понимаю, как это работает и зачем
В тензор-hom сопряжении $Hom(A \otimes B, C) \cong Hom(A, Hom(B,C))$б третий $Hom$ (ну и соответственно первый) это ведь в категории $Ab$, верно? А есть какое-то условие чтобы знать когда $Hom(A,B)$ для $R$-модулей $A,B$ есть $R$-модуль? Ну кроме тривиального $R=\mathbb{Z}$
>>124957 >третий имелся в виду второй, конечно же. Но теперь перечитываю и понимаю, что такого быть не может, ведь $A$ это R-модуль, а $Hom(B,C)$ - $\mathbb{Z}$-модуль. Получается сторой хом в категории $Set$, и мы вводим структуру как объекта $Ab$ отдельно? Короче я запутался
>>124957 >тензор-hom сопряжении чтобы это работало, нам нужно, как минимум, следующее: 1) операция $\otimes$ должна быть определена в нашей категории $R$-модулей (должна давать $R$-модуль) 2) на $\rm{Hom}(A,B)$ должна быть зафиксирована структура $R$-модуля без этих двух условий указанную формулу просто написать нельзя (внутри категории $R$-модулей)
в случае, когда кольцо $R$ коммутативно (в частности, $\mathbb Z$) у нас есть хорошие структуры для обоих условий и формула выполняется
в случае, когда кольцо $R$ не коммутативно, нужно что-то придумывать; переход к $\mathbb Z$ вместо $R$ спасает дело, но это будет уже другая категория
да, мой ответ абсолютно тривиальный, но и вопрос такой же (на случай, если ты намерен от него взорваться, как это в последнее время здесь со всеми проихсодит)
>>124536 Конечные множества ты можешь сравнить, посчитав их элементы. Но для бесконечных это очевидно не работает. Можно сказать, что бесконечности все равны и/или их нельзя сравнивать. Но интуитивно кажется, что натуральных чисел точно меньше действительных. Нельзя все числа на отрезке [0,1] пронумеровать. Это можно (неправильно) полудоказать. Допустим мы пронумеровали все числа на отрезке. И эта нумерация возрастает, если число a меньше b, то и его номер меньше, чем у b. Тогда берем два числа с соседними номерами, но между ними бесконечное число других чисел(можно их генерировать беря (b-a)/n), у которых нет никакого номера. Кантор придумал способ сравнивать бесконечности, причём он годен и для конечных множеств. Представь что ты не умеешь считать, для бесконечных множеств счёт бесполезен. Возьмём сначала конечные. Представь ты выписал первое множества в строку, а второе под ним. Ты получишь соответствие, каждому элементу верхнего множества поставишь в соответствие элемент нижнего множества. Если у тебя сверху или снизу остались элементы без соответствия, то множества не равны. Естественно выписать бесконечное множество в строку мы не можем даже гипотетически. Существуют даже секты, из-за этого факта отрицающие бесконечность. Но мы можем задать соответствие другим путем: функцией/формулой. Тогда n = 2n задает это соответствие между всеми числами и четными. И ты видишь, что с интуицией это уже очень сильно разносится. Целое не может быть равно своей части. У тебя два пути, отказаться от бесконечностей или отказаться от наивной интуиции о них, и работать очень аккуратно, не отходя от определений. Возможно, если бы у теории Кантора не было практических результатов, о ней бы все и забыли. Но она, например, очень просто "предсказывала" трансцендентные числа. О них уже было известно до Кантора, о трансцедентности пи и е.
Кстати по поводу сект. Если даже верить в бесконечность, то есть одна общепринятая теорема, док-во которой очень хлипкое. Это теорема о том что из бесконечного множества A можно взять бесконечное подмножество B. Её док-во полагается на то, что мы можем бесконечно выписывать случайные элементы из A бесконечно. Я бы её ввёл как аксиому. Но как обстаят дела в не-"наивной" теории множеств не знаю, может там нет такой проблемы.
Полудоказательство выше неправильное, потому что оказалось, что Q можно пронумеровать, не смотря на то что там между любыми двумя числами лежит бесконечно много других.
Для какой аудитории книга "Конкретная математика"? Я так понимаю, она не для студента первых курсов, который в школе хуй клал на математику? Ну в общем в чем вопрос: подходит ли эта книга для изучения математики, или эта книга для тех, кто непосредственно с математикой тесно связан?
>>124960 Спасибо анон Но я всё равно не понимаю, из твоего ответа следует что формула безоговорочно верна только если R коммутативно, но ведь это верно в категории R-Mod вообще Объяснения которые я нашёл используют моноидальные категории и бимодули, я бы не хотел с этим связываться Самое общее условие которое я нашёл это замкнутая моноидальная категория, и её определение это на первый взгляд и есть "категория в которой выполнено тензор-хом сопряжение", так что мне это не помогает
>>124966 >Для какой аудитории книга "Конкретная математика"? Грэхем-Кнут-Паташник? Думаю для программистов на пенсии которым нехуй чем заняться. Или больших любителей комбинаторики. В школе в старших классах брал эту книгу полистать. Первый серьезный том который я не осилил.
>>124961 >Возможно, если бы у теории Кантора не было практических результатов, о ней бы все и забыли. >Но она, например, очень просто "предсказывала" трансцендентные числа. Где же тут "практичный результат"?
>>124935 Мой поинт был в том что даже в таком простом доказательстве можно обосраться. И ты обосрался. А я как всегда оказался прав.
>чем доказательство A×B≅B×A может отличаться от доказательства единственности произведения? Тем что доказывает другое (формально) утверждение. Но ОК, соглашусь по-сути доказательство в (данном конкретном случае) то же самое. Нужно только аккуратненько выписать все определения, разобраться откуда и куда какой морфизм и не обосраться в процессе. "Просто раскрыть скобочки". Разве что практика показывает что "просто раскрыть скобочки" бывает ой как не просто и можно перепутать половину знаков в процессе.
И это не лично к тебе претензии. Тот чел который доказывал это утверждение точно так же обосрался. Начал очень похожую хуйню нести про "те же морфизмы", автоморфизмы. При этом он лекции студентам читает, уважаемый человек. И я уверен понимает в категориях больше всей местной петушни вместе взятой.
Вообще в любой непонятной ситуации всегда можно спиздануть >следует из определения ведь не бывает такой теоремы в которой никак ничего бы не следовало из определений. Главное не начать потом выписывать детали, а то сами знаете.
>>124941 >Пик тривиально релейтед Мелкочмошная клоунша ехидно намекает на то что широкая аудитория (в понимании Голдблатта) = научпоп Ну ничего. Поссу на него в очередной раз для профилактики.
>>124943 >Как и пикрил. >мимо Ну ты то куда вечно лезешь подвякивать, чертила.
Похоже что авторы книг по математике реально верят что если они вставят в начале несколько страниц по наивной теории множеств и откровения вроде: >Thus {0,1,2,3} denotes the collection whose members are all the whole numbers up to 3. то это реально сделает книгу на порядок доступнее. Т.е. реально в их картине мира человек не знающий этого полезет читать книгу по топосам и сможет в ней все понять. Пик частично релейтед.
Эти приколы с переводами напомнили мне про кое что. Давно хотел этим поделиться. Если кто поймет в чем подвох - тот молодец. Если никто не поймет то особо не удивлюсь учитывая местный интеллектуальный уровень.
>>124942 продолжим >Конструктивной критики он не дает, для него в случае перестановки проекции это просто "другие" стрелки Ты обожжи - либо перестановка, либо стрелки другие. Это куда уж конструктивнее. Это не то что местные анальные клоуны спиздануть >иди почитай чего нибудь и пойти в полное отрицание. Это кстати не я написал что стрелки разные, а другой анон. Единственный кто еще решил высказать хоть что то по вопросу. У остальных петухов раздела день был не летный или хуй знает что. Но да - стрелки разные.
>как тот дед, который доказывает, что теория относительности неверна, потому что «у него часы показывают иначе» Что за дед?
>перестать кормить Ты по сколько часов в день там уже коупишь со своей цифровой соской, поридж без мозгов, что уже всем бордовым мемам его обучил? А то смотри поосторожнее там - скоро узнаешь что ты властелин всего мира и за тобой следят из лампочек.
>>124947 >что не осилил йонеду и предпучки, или по крайней мере путается в определениях. Это уже прогресс. Ты ведь тот самый вкладун X из изначальной категории? В чем же я запутался, даже интересно. Только у меня есть подозрение что ты сам реально не понимаешь Йонеду, и что означает слово "вложение".
>Просто нужно это пропускать через категорный цирк, чтобы не завязнуть в Set. Чего блядь несет. Цирк какой то... Наверное просто слишком глубоко для меня.
Можно доказывать и через обобщенные элементы, никто не запрещает. Только если все сводить ко множествам для чего тогда вообще нужна теория категорий? (вопрос открытый для тех кто захочет подумать, подрываться как обычно не нужно)
Опять тред разделился на две враждующие стороны: на тех, для кого всё очевидно и для кого теория категорий с гомологиями - это просто занимательная математика, а также на тех, для кого всё не так очевидно и для которых даже простые учебники требуют включения всех мозговых ресурсов. Первые обвиняют вторых в тупости и ригидности, а вторые обвиняют первых во вранье и поверхностности. Думайте.
>>124969 >верна только если насчёт только я ничего не говорил, просто в случае некоммутативно кольца сама конструкция ломается, в то время как в коммутативным случае она простая и естественная.
>моноидальные категории и бимодули, я бы не хотел с этим связываться это уже вещи, с которыми основные трудности, возникающие в некоммутативном случае, можно обходить. я с ними не знаком и не стал бы их обсуждать. по поводу того, зачем с ними связываться, надо определиться с тем, что именно тебе надо
>>124972 >А я как всегда оказался прав. удивительно, когда петух-неосилятор успел понабраться такого самомнения, а ведь ещё вчера он с успехом интегрировал дельта-функцию по полупрямой (и получал 1/2)
что категории животворящие делают (неважно, что и с ними у него везде путаница - зато сколько чувства)
>>124982 >а ведь ещё вчера он с успехом интегрировал дельта-функцию по полупрямой (и получал 1/2) Вот тот самый пост >>124599 и в нем все так же абсолютно правильно как и было "вчера", тупая долбоебина.
>>124989 если кольцо некоммутативно и категория только правых (или левых) R-модулей, то в ней тензорного произведения нет. перемножать можно разносторонние модули (можно ещё бимодули)
>>124991 >Короче я буду по дефолту думать о коммутативных кольцах так и нужно делать, если вопрос только в изучении предмета. излишняя общность ни к чему
>>124980 >Первые обвиняют вторых в тупости и ригидности, а вторые обвиняют первых во вранье и поверхностности. Не вижу такого. Вижу только как кто-то захотел почитать про топосы, не зная базовых понятий теорката, но виноваты в этом почему-то аноны с матача.
>>124917 >Разве бывают не правые либерахи? 5 лет назад Дудь снял ролик про рашку - спидозную парашку на уровне африканских стран. А на этой неделе каждый день рапси всех регионов начали призывать сходить провериться. Опять что ли получается либерахи всем в штаны понасрали?
>>29047 (OP) сейчас вот узнал про сферические и конические координаты, в учебниках по геометрическому аналу про них ничего не нашел, нашел пол странице в конце книги по векторной алгебер и целую брошюрку для геодезистов которую еще не читал и еще вроде как у астрономов есть. Что это за зверь то такой?
>>125003 Приколы для физиков и инженеров. В таких координатах удобно работать, если задачи имеют соответствующие симметрии. Читать, соответственно, стоит учебники не по математике, а по матфизике или как там это у технарей называется.
Есть какая-то простая иллюстрация того, что такое (категорный) пуллбэк в категории топологических пр-в? Вот пушаут C←A→B это как склейка В и С по А, всё замечательно понятно. Возился-возился с определением пулбэка, но ничего настолько явного не придумал.
>>125023 Другое название пуллбэка — расслоенное произведение. Если $C \rightarrow A \leftarrow B$ — диаграмма топологических пространств (или множеств), то пространство $C \times_{A} B$ снабжено отображением в $A$, слои которого, то есть прообразы точек, являются произведениями соответствующих слоёв отображений $C \rightarrow A$ и $B \rightarrow A$.
>>125003 Это в книгах по многомерному анализу есть, в разделе с теоремой о замене переменных, просто переходя к новым координатам можно интегралы считать по-проще на некоторых областях. Я не могу сейчас с её док-ом разобраться как раз.
>>125028 Нет, это не чатжпт. Просто я не понимаю вопроса, что такое «простая иллюстрация»? Пример чтоли? Пересечение двух подмножеств является примером, прообраз подмножества является примером.
>>125033 Молодец, надо почаще попускать петушков которые >Просто я не понимаю вопроса и бегут цитировать определения. Сейчас начнется вой про неосиляторов.
Дайджест "мелкочмошное уебище и разложение по базису дельта-функций". Не понимаю как можно быть на столько тупорылым чтобы так копротивляться совершенно очевидным формулам. Может он просто так тролит тупостью опять. Пожелания-предложения?
>>125037 привет, петух-неосилятор, мне очень лестно, что ты с таким вниманием изучаешь мои посты, к тому же спустя уже немало времени, даже картинку какую-то из них слепил. и не только из них - движимый токмо, осмелюсь предположить, любовью к истине и объективности, ты оставил на ней и свой собственный неграмотный бред, а апогей этого бреда обвёл в розовую рамочку. это всё чудесно, только не совсем ясно, с какой, собственно, целью и что ты вообще хочешь
если ты вожделеешь таким образом добиться поддержки и внимания других анонов (спрашивая о "пожеланиях-предложениях" их), то не смею тебе мешать: я помню, как для тебя это важно. но если ты хочешь поговорить именно со мной, то сформулируй адекватно, что именно тебя интересует на этот раз
>>125042 >внимания других анонов Просто все предыдущие разы все только так и сдвигалось с мертвой точки. Может кто то из мимокроков рискнет предположить что может подрывать в этих очевидных формулах мелкочмошную долбоебину - ведь сама она как всегда не желает сознаваться.
Как начать понимать теоркат? Читаю Маклейна и такое чувство, что все понятно, но также есть чувство, будто я не улавливаю чего-то глубинного. Даже размышления таких же вкатунов ИТТ для меня выглядит, как что-то извне.
>>125067 зачем тебе теоркат? что вы так все поехали на нём? что вы из него хотите вытащить? лучше возьмись топологию, там и теоркат появится, в умеренном виде
>>125071 нет, это штука, которая помогает что-то более серьёзное чуть более аккуратно разъяснить и упорядочить. так что и появляется она естественным образом при изучении этого серьёзного. изучать её отдельно в вакууме, не имея приличного бэкграунда, едва ли имеет смысл
>>124971 В том, что демонстрирует, что математики далеко не ушли от философов, а математика от философии
Когда про счётные множества, тогда по-моему более чем разумные определения, просто называть это надо как-то иначе, не как "равномощные", иначе надо менять определение равномощности.
Доказательства наивные, абсолютно нестрогие, это куда-то в философию. Бомба заложена во все эти манипуляции с бесконечностью, которые не определены и определены одновременно.
Совсем всё хреново, когда переходят на действительные числа. В принципе есть альтернативные направления математики, где это не принимают, но мне не понятно, как так вышло, что основная ветвь это приняла.
Но сам принцип полезен и востребован. Просто не нужно слов "равномощны", достаточно и точнее говорить "биективны"
>>124971 Под практичным я имел ввиду = нужен в какой-то другой ветке математики. Позволяет что-то упростить, или сформировать новые задачи, или ответить на старые. Основания например почти никакого влияния на математику не имеют. Вещь для полутора шизиков.
>>125079 >менять определение равномощности А согласен, но в отношении конечных множеств тогда оставлять. >>125095 >Позволяет что-то упростить А потом появляются парадоксы от таких "упрощений". >Основания например почти никакого влияния на математику не имеют. Фундамент для аксиоматизации направлений математики. Как же не имеют?
>>125127 Проблемы и парадоксы начинаются из-за работы с бесконечностью. В случае Кантора, проблема уже в определении действительного числа как бесконечной десятичной дроби, и доказательство несчётности действительных чисел откровенно неубедительно.
Дальше это распространяется на другую математику в виде формулировок вроде "функция непрерывна всюду, за исключением счётного числа точек разрыва", потому что реально начинается какой-то бред, хотя вроде как формально можно доказывать.
В реальности это нафиг не нужно, потому что всё полезное можно выстроить "для любого конечного числа точек" и т.п.
В отдельных случаях можно работать с бесконечными последовательностями, но описанными, что тоже норм.
Почему при взгляде на мнимую единицу появляется чувство "нечестности" оной? Как будто математик, который первый её придумал, решил пойти лёгким путем, ничего не вычисляя и даже особо не думая, просто назвав константу $i$ и дав ей свойство эквивалентности $i^2 = -1$.
>>125145 добавление $i$ расширяет поле действительных чисел, превращая его в алгебраически замкнутое поле. алгебраическое замыкание всегда единственно (с точностью до изоморфизма), поэтому принципиально других способов сделать алгебраическое замыкание поля действительных чисел нет. поэтому введение $i$ естественно
можно посмотреть и иначе: добавляя $i$, мы делаем из действительной оси плоскость; определяя умножение на этой плоскости как поворот, мы получаем алгебраически замкнутое поле, потому что повороты все обратимы и дробятся на части (отсюда алгебраическая замкнутость). это поле такое же "честное", как и действительная ось, просто реализуется как плоскость
>>125140 Палю годноту Lectures on Geometrical Anatomy of Theoretical Physics Frederic Schuller https://www.youtube.com/playlist?list=PLPH7f_7ZlzxTi6kS4vCmv4ZKm9u8g5yic german precision Первые несколько лекций по логике и множествам не особо содержательные на мой вкус. Нет ничего про конструктивизм и парадоксы. Но ничего, к физике их привязать еще та задачка.
Тебя что интересует чтобы было больше физики или больше математики?
>>125152 и возведение в квадрат тоже нечестно. К примеру 2 яблока умножить на 2 яблока, будет (2 яблока) в квадрате. Но яблоки круглые, а не квадратные. Поучается противоречие
У мелкочмони же нет чести. Но нахуя он опять полез со своим охуительным мнением, вместо того чтобы хотя бы попросить строгих определений. Все от того что мозга у него тоже нет.
>>125145 Комплексные числа из формулы Кардано появились. Есть у тебя куб. уравнение. Допустим у него все корни рациональные. И не смотря на это, в формуле появляется необходимость брать корни из отрицательных чисел. Естественно все с этого прихуели, но сделали прыжок веры и допустили, что корень вычисляется. И при этом допуске формула Кардано давала верный ответ. Потому ничего не оставалось делать, как просто принять, что такое число есть.
Кстати есть простое "хитрое" геометрическое введение i. Если ты возьмёшь треугольник и увеличишь его стороны в k раз, то площадь увеличиться в k^2 раз. Можно допустить обратную задачу, площадь увеличилась в k раз, на сколько увеличили длину стороны? Ответ на sqrt(k). Можно переход 1 -> k разбить и записать 1 -> sqrt(k) -> k
Далее у тебя есть переход из минусовой части в положительную и обратно: (-3) -> 3, 3 -> (-3). Попробуем его так же разбить. Возьмём 1. 1 -> -1 из формулы выше, про треугольники, можно записать как 1 -> sqrt(-1) -> -1. Переход от (-a) к a ты можешь представить и как домножение на (-1) и как поворот вокруг 0 на 180 градусов. Тогда sqrt(-1) это половина этого поворота, то есть поворот на 90 градусов.
>>125150 >Тебя что интересует чтобы было больше физики Ну я на физмате учусь, интересуют упор в физику, но хочется побольше математики с мат базой, но что бы понятно было, скажем так.
>>125156 Я вот вижу ты мелкочмоха любишь отвечать на вопросы новичков даже весьма туманные вроде "честности мнимой единицы". Но мои вопросы тебя почему то все время ставят в тупик недостаточной точностью формулировок. Вроде того как я не указал что уравнение Клейна-Гордона задается в пространстве Минковского (кто бы мог подумать) и ты долго не мог найти где же там t и рассказывал истории про разные типы диффуров. Или вот сейчас тебе нужен какой то официальный запрос чтобы ты сознался что обосрался со своими кукареками против очевидных формул разложения по базису из дельта-функций. Тут точно дело не в том что я когда то года два-три написал что ты тупое говно и отвечаешь одну только тупую хуйню? И от этих совершенно правдивых слов у тебя срака бомбанула как сверхновая звезда, да так и освещает этот раздел до сих пор. Это точно тут не при чем? Я просто хочу разобраться.
>>125169 Суть вопроса о честности скорее в том, насколько дозволено определять новые элементы и новые структуры в математике. Например, как вот тут >>125151 в колесе определена операция $frac{0}{0}$, хотя она не определена в колесе, т.е. ее там просто нет (в самой первой работе по теории колес определена операция $frac{1}{\cdot}$, насколько я помню). Из этого вопроса закономерно вытекает второй - разве достаточно простого "что если" для возникновения сущности вроде колеса? В другой работе, тоже 90-х годов автор пишет, что вопрос делении на нуль считается "несерьёзным" или считался. Неужели достаточно детского "а если" чтобы продуцировать такое?
>>125169 петух-неосилятор, ты не задаёшь вопросы. ты предъявляешь идиотские претензии, упираешь в своём невежестве, как баран, и устраиваешь срачи без конца
>>125173 И это мне говорит тупое говно которое через месяц вылезает чтобы покукарекать про разложения которые оно само не поняло. Прохладные истории, как обычно.
>>125170 >Суть вопроса о честности скорее в том, насколько дозволено определять новые элементы и новые структуры в математике. При определении новых сущностей так же как и при введении новых аксиом могут возникнуть противоречия. Противоречия это очень плохо, но в общем виде доказать их отсутствие вроде бы невозможно. Можно строить модели и сводить одни теории к другим более надежным.
>>125176 Как обычно клоунесса даже не пытается внятно изложить суть своих копротивлений. Но я тебе напомню >эти формулы, которые ты имел в виду (в одной из них выше ты не можешь найти ошибку) тащи эту свою выдуманную "ошибку".
>>125158 Представь что ты можешь из a сделать b: a -> b умножением. Это легко, нужно a домножить на b/a. Представь теперь, что тебе нужно разбить этот переход на 2 одинаковых шага-умножения a -> ? -> b. То есть чтобы ?/a = b/? Из этой пропорции можно вывести: ?^2 = ab и ? = sqrt(ab). Число ? называется средним геометрическим. Теперь у тебя есть переход 1 -> -1. Разбиваешь его на 1 -> i -> -1. Геометрически 1 -> -1 это поворот овкруг 0 на 180 градусов. Тк 1->i это половина перехода от 1 к -1, то i это половина этого поворота. Такое объяснение придумал Арган, который диаграммы Аргана. Я его услышал ещё пиздюком в серии роликов dimensions.
>>125177 >выдуманную Твой интеграл в стандартной формулировке не равен 1/2. Это просто бессмысленное выражение. Никаких уточнений, которые могли бы изменить ситуацию, не делалось, поэтому на своём коллаже ты обвёл рамочкой кристально чистую хуету. Почему? По определению
>>125182 Ну пусть ты директор завода. Выпускается a деталей в год. Тебе владелец говорит, что нужно наращивать производство. В первый год увеличить выпуск в 2 раза, а затем и во второй так же в 2 раза. a -> 2a -> 4a число по середине это средне-геометрическое чисел с краю. Подставляешь слева справа 1 и -1, по середине получишь i.
>>125180 >я с тобой уже поговорил Ты как всегда только выдавил несколько невнятных кукареков, чмоня. >>125181 О подсос мелкочмохи вышел на защиту своего безмозглого кумира, что тут у нас >Твой интеграл в стандартной формулировке не равен 1/2. Потому что он равен "1/2". Вообще было бы еще лучше чтобы ты (вынул хуй изо рта для начала и) написал какой конкретно интеграл у тебя вызывает вопросы и чему он по-твоему тогда равен если он не равен 1/2. >ты обвёл рамочкой кристально чистую хуету >Почему? По определению Нет там все совершенно очевидно и верно. А ты просто тупой хуесос без мозгов. По определению.
>>125186 >Потому что он равен "1/2" Это тебе питухон так сказал? Впрочем, с тобой разговаривать - себя не уважать, так что шёл бы ты нахуй со своими интегралами вместе.
>>125187 >у Эйнштейна нашёл такое обозначение? или на nlab? Нет, сам придумал, прикинь. Специально чтобы тупым петухам дупы подрывать. И как вижу с задачей справляется на отличненько. >что такое "1/2"? Великая загадка. Если бы только выше по треду прямым текстом не было написано что это такое. Или на скриншоте специально подчеркнуто ярким цветом. Или можно было бы понять из контекста. Столько вариантов, но все они не доступны когда у тебя полторы извилины.
Это и есть та самая >в одной из них выше ты не можешь найти ошибку ? Потому что я тут вижу уже устойчивый паттерн: 1) мелкочмоха не понимает обозначаний и не вдупляет чего от него хотят 2) мелкочмоха начинает изрыгать невнятные кукареки об ошибках и неосиляторах и весь мир против него и Эйнштейн и ncatlab.
>>125188 Как у дельфина во сне у вас с мелкочмохой то один мозг включается то другой. >питухон так сказал? ох уж эти болезненные фиксации на наносеках по всему разделу.
>>125194 >нихуя не понял >спизданул про ошибки >несколько недель кукарекал про неосиляторов >не желаю вести эту дебильную дискуссию Ох уж этот классический петушок-мелкочмоха.
Сап. Я подумал о такой последовательности чисел... Вот в десятичной системе для тройки например это (0,3,6,9,2,5,8,1,4,7) некрасиво неудобно, да? А в двенадцатеричной это (0,3,6,9) обалденно красота! Как называются такие последовательности которые наглядно показывают что n-ичная система чёткая внатури или шляпа? Я в терминологии не разбираюсь надеюсь понятно обьяснил.
>>124791 Это блогер с аудиторией малолетних дебилов, к математике имеет примерно такое же отношение как, например, его приятель Хованский. То есть, какое-то имеет, как и все люди, но форсить его это явно признак малолетнено дебила или рекламного агента на контракте.
>>124791 >>125202 Ви таки не понимаете, это же лехендарный Шабаттеев! Чтобы кошерному человеку быть рукопожатным математиком гомологии знать не обязательно. Да и саму математику знать не обязательно, главное почаще повторять что на мехмат МГУ не брали из-за национальности, ой вей!
>>125204 Додик, ви таки зачем кидаете ссылки на ждпедию? Рукопожатные господа и так всё понимают, а гоям таки ничего не докажешь. Бгизбрнх должны вообще брать без ЕГЭ, вступительных экзаменов и прочих олимпиад, просто за форму носа и кошерную фамилию.
>>125205 среди прочего, там написано: >Согласно многочисленным свидетельствам и фактам, со второй половины 1960-х по конец 1980-х годов евреи, получающие образование или работающие в области математики в СССР, подвергались дискриминации при поступлении в вузы, в аспирантуру➤ и на работу, при защите диссертаций, при попытке опубликовать статью или книгу, при поездках на научные конференции и за границу часть таких свидетельств я слышал лично от людей, которые это непосредственно наблюдали (имена называть не стану); сомневаться в их честности у меня нет причин
>>125206 Я знаю еврея успешно отучившегося на мехмате как раз в 60-70 годы и, думаю, он такой не один. Правда у него хватает мозгов не рассказывать сказки про совецький антисисипизьм, да и он выезжал зарубеж и мог вообще уехать как еврей - это с его же слов. В жд-педии могут писать все кому не лень, кроме русских, конечно. Там и модерация очень рукопожатная, ой вей! Ты либо наивный славянский гойша, попавший в лапки (((этих))) матфак вшанки?, либо сам из (((рукопожатных))) и отсюда вера в эти сказки.
>>125207 >Я знаю еврея успешно отучившегося на мехмате как раз в 60-70 годы и Я слышал рассказы о том, что были установки и практика фильтрации евреев от тех, кто этим непосредственно занимался. Но это же не 100% фильтр, это фильтр, когда не тем попасть в разы сложнее, чем другим.
Но одновременно было, что другие тащили "своих", в общем тут реально всё сложно на самом деле. И эти процессы взаимосвязаны.
>>125211 Мне это представляется так: приходит избалованный додик на вступительные экзамены, конечно же, в МГУ. Там обычные Иваны Петровичи дают абитуриентам задачки, додик мыкается, решить не может. Пробует взять наглостью: “Ты чо, сучара, антимисит? Ставь 5, падла, если не хочешь проблем“. Додику отказывают, дальше подключаются его блатные мамеле-папеле. Начинается вой всей мишпухи что хениальнова бодiка не берут на Мехмат, великорусский шовинизьм и далее по списку... Евреи что в Советском Союзе, что в Рф — элитная группа населения с блатом, "своими людьми" повсюду и тд. Например, в чин аппарате СССР евреи были самой представленной группой населения в процентном соотношении. И проблему антисисипизьма на Мехмате скорей всего специально раздули они же.
>>125212 Проблема 100% была. Она хорошо была видна статистически, когда из топ школ не евреи поступали почти все, а евреи, не смотря на места на олимпиадах и т.п.,лишь один из многих
И 100% были такие установки, я просто слышал их из уст тех, кто их реально применял на экзаменах.
В общем тут много грязного и некрасивого, но и не на пустом месте всё появилось, потому что еврейская практика пускать куда-то только своих тоже была, да и сейчас бывает, хотя антисемитизма сейчас нет, в отличии от советских времён.
>>125213 Чмонь, вот ты вроде бы не собираешься ни с кем никогда дискутировать, но постоянно высовываешься попукать свое весомое мнение. Может уже определишься хочешь ты сидеть и молчать в тряпочку или участвовать в обсуждениях?
>>125219 по-моему, это выразительная картина отлично описывает твоё собственное поведение, включая нездоровые порывы, с которыми ты пытаешься до меня домогаться. но оставим. спокойной ночи, петух-неосилятор (я понимаю, что из-за мыслей обо мне тебе должно быть трудно спать, но ты всё-таки попытайся, а то мне уже неловко как-то)
>>125213 >доморощенным нациком-птушником Додик, ви таки забыли обвинить меня в фофывме! Гуccкий фофызьм поднимает холову, ой вей. И таки не забудьте повторить вашу мантру про анимитизьм на ММ МГУ!
Видел один видос где предлагают посчитать объем пирамиды с помощью вероятностей. Идея мне понравилась, но вот детали не очень. Возьмем x,y,z - равномерно распределенные в интервале [0,1]. Тогда P{x+y+z<1} = объем пирамиды = 1/6 Можно ли получить этот результат не считая никаких интегралов, только из соображений симметрии? Так же если складывать n переменных вероятность получается 1/n! Что то определенно должно быть тут связанное с перестановками. Но что?
Что почитать по классической геометрии какую использовали в египте и греции? Что бы вот без алгебры обоссаной ну или что бы её было предельно мало, только линейка, циркуль и построение фигур для применения в реальной жизни. Они же таким макаром строили пирамиды и прочие парфеноны, разбивали поля и так далее. Хочу вот научиться как ОЛДЫ.
>>125233 >P{x+y+z<1} = объем пирамиды при равномерном распределении вероятность попадания точки в некоторую область равна (нормированному) объёму этой области. это по сути определение. уравнение $x+y+z<1$ есть уравнение правильного тетраэдра (не уверен, что это правильно называть пирамидой)
>объем пирамиды = 1/6 правильный тетраэдр заполняет 1/6 часть единичного куба, отсюда его объём 1/6.
Сап матач. Чот я нихуя не понял. Сдаю профиль в следующем году, 10 класс а я ебланю. Что делать если денег на репа и курсы нет? Есть ли вообще толк по книгам школьным заниматься, или по видосам с ут от онлайн школ? Пытался в сливы курсов, но хуй пойми кого пикать. Слышал пифагор нормас
>>125235 Какой же ты тупорылый уебок. Ты когда-нибудь научишься читать вопросы перед тем как на них отвечать? Вопрос о том как посчитать вероятность не используя объем пирамиды.
>>29047 (OP) Что такое значок "="? Я воспринимал его как сокращение от "результат", 2 + 3 результат (=) 5. Но можно написать 2 + 3 = 7 - 2, коупим что результат слева равен результату справа. Но как закоупить 2 = 2?
Не ожидал что у Колмогорова такой голос и стиль речи. У Воеводского тоже странный был, высокий и интонации такие, что глубинный народ за них побить может https://media.msu.ru/?p=2712
>>125248 Не ожидал даже что ты опять так смешно порвешься. Куда делось это твое >я просто не желаю вести эту дебильную дискуссию Значит я правильно угадал что твой секрет осиляторства задачек которые ты так любишь осиливать это просто накидать бессвязного бреда с релевантной терминологией. А потом глянуть в ответ - "легко следует из определений" и похлопать себя по плечу.
>бессвязная хуита, петух-неосилятор, это когда ты хочешь посчитать величину, равную по определению объёмы пирамиды, не вычисляя объём пирамиды Вопрос о том как посчитать вероятность. Может быть существует не очевидный но достаточно простой трюк. Я бы даже не хотел писать про объем пирамиды, но ведь какой-нибудь умник первым же дело тогда напишет: да это же объем пирамиды / давайте посчитаем интеграл. Это называется метод Монте-Карло кстати, а не "по определению" - нет такого определения.
>или объявить дельта функции базисом, по которому раскладывается любая функция Стандартная терминология. Весь мир против мелкочмошного петушка.
>или проинтегрировать дельта-функцию по полупрямой и получить 1/2 в кавычках В формуле ошибки нет, ты просто как всегда нихуя не понял. Терминология нестандартная, но очевидная из контекста + есть объяснение.
>Всё это тупая бессвязная хуита, которую ты генерируешь одну за другой, и интересно только, что ты принесёшь в следующий раз Постараюсь продолжать регулярно придумывать что-нибудь эдакое чтобы тебе тупому чму жопу подрывать.
>>125245 Мне одному неприятен все эти классы, сборы, всё это "академичество"? Перспектива работать на пол ставки условным плотником и в свободное время что-то изучать выглядит более привлекательной, чем окунаться фултайм в это болото.
>>125253 А не, всё, я тупой просто. Я почему-то копал в то, что будет и не будет порождаться разными возможными базисами (ведь $I$ это просто полиномы с чётной константой), а проблема видимо в линейной зависимости. Те же $2, x$ линейно зависимы. Только пока не знаю, как доказать это в должной общности.
>>125254 >>125253 Поискал, оказывается верны гораздо более сильны утверждения: если кольцо коммутативно, то любые элементы любого идеала в этом кольце линейно зависимы (доказывается тривиально), и из этого следует что свободными будут только главные идеалы. У меня в книжке почему-то про это не было сказано, может какое-то упражнение пропустил..
>>125253 >>125254 я буду понимать $I = (2,x)$ как идеал в $\mathbb Z[x]$
во-первых, это вовсе необязательно полиномы чётной степени: $x^3 \in I$ во-вторых, несмотря на то, что $2, x$ линейно зависимы над $\mathbb Z[x]$, отсюда ещё не следует, что в $I$ вообще нет базиса. поэтому вопрос о том, является ли $I$ свободным модулем над $\mathbb Z[x]$ или нет, нетривиальный
однако выяснить это нетрудно 1) замечаем, что любые два элемента в $I$ линейно зависимы: для $f,g \in I$ линейная комбинация $fg - gf$ нетривиальна (произведение $fg$ не $0$ над $\mathbb Z[x]$), при этом равна $0$ 2) замечаем, что наибольший общий делитель $2$ и $x$ не лежит в $I$
из 1) заключаем, что $I$ может свободно порождаться только одним элементом, а из 2) следует, что одним элементом он не порождается. следовательно, $I$ не свободный
в общем случае, это рассуждение показывает, что идеал областности целостности свободен тогда и только тогда, когда он главный
Я ничего не понимаю, вообще ничего. Кольца, пространства, идеал... Я пытаюсь вникнуть, но у меня не получается. А-а-а-а-а... Видимо, не создан я для математики.
>>125250 >сражаешь наповал глубиной своей эрудиции >посмотри, что такое "равномерное распределение" в википедии Я на столько эрудирован что даже посмотрел https://en.wikipedia.org/wiki/Irwin–Hall_distribution Местная клоунша реально считает что x+y+z будет равномерно распределено, или как обычно решила спиздануть лишь бы чего спиздануть?
Удивительно как человек в принципе не может осознать саму концепцию что на задачу можно попробовать посмотреть с разных сторон. Хотя это вполне согласуется с его поведением "решить через поиск похожих слов" прям как у нейронки.
>>125264 >Я на столько эрудирован что даже посмотрел >https://en.wikipedia.org/wiki/Irwin–Hall_distribution и что ты там посмотрел? ты можешь вычислять интеграл от формулы, которая там приведена ($n = 3, 0 \leq x \leq 1$ в заданных обозначениях), у тебя будет получаться объём пирамиды: и это не случайность и не совпадение, а следствие того, что условие $x+y+z \leq 1$ задаёт эту самую пирамиду в единичном кубе $[0,1]^3$
>x+y+z будет равномерно распределено равномерно распределена точка $(x,y,z)$ в $[0,1]^3$
>Я на столько эрудирован что даже посмотрел найди теперь статью в википедии, где рассказывается про базис из дельта-функций, по которому будто бы раскладывается любая функция
>>125265 >не считая никаких интегралов >какой-нибудь умник первым же дело тогда напишет: да это же объем пирамиды / давайте посчитаем интеграл >ты можешь вычислять интеграл от формулы Нет, правда, мне интересно - как называется твоя болезнь?
>найди теперь статью в википедии, где рассказывается про базис из дельта-функций, по которому будто бы раскладывается любая функция Можешь начать с банальной статьи про дельта-функцию. Статья про функцию Грина тоже подойдет.
>>125272 Настоящим инженерам, которые планируют создавать что-то новое, база высшей математики нужна, хотя бы для понимания взаимосвязей в расчётах, а кольца и прочая алгебра им в приземлённых задачах вообще не понадобятся.
>>125274 когда тебе дана плотность вероятности, а в статье https://en.wikipedia.org/wiki/Irwin–Hall_distribution приводится плотность вероятность, то вероятность считается через интеграл. это не я, а ты принёс эту статью, так что вопрос про болезнь можешь адресовать себе
вопрос о том, как вычислить вероятность, равную по определению объёму пирамиды, не вычисляя объёма пирамиды, тоже остаётся за тобой
>Можешь начать с банальной статьи про дельта-функцию обыкновенно, когда тебе кажется, что по конкретной ссылочке написано то, что ты хочешь, ты сразу ссылочку несёшь. сейчас уже найти не можешь, видимо. эрудиции внезапно не хватает, надо думать
>>125276 >как вычислить вероятность, равную по определению объёму пирамиды, не вычисляя напрямую объёма пирамиды Из комбинаторных соображений. Это возможно. Могу даже тебе мастер-класс провести.
>обыкновенно >ты сразу ссылочку несёшь Думал у тебя еще сохранились остатки дееспособности и ты сам в состоянии заглянуть в википедию.
Ты как там уже созрел чтобы принести ошибки которые ты там где то углядел в формулах. Обычно когда ты смутно ощущаешь что обосрался, ты выдаешь >я просто не желаю вести эту дебильную дискуссию Пришло ли уже время этой коронное фразы?
>>125296 >Могу даже тебе мастер-класс провести. я уверен, есть множество вариантов вычислить объём пирамиды мне не очень интересно, если честно особенно вспоминая твои предыдущие мастер-классы, лол
>ты сам в состоянии заглянуть в википедию. да там просто нет нигде подобных строчек, и ты это знаешь. потому и не принёс
>Ты как там уже созрел чтобы принести ошибки там даже не ошибки, там ахинея
>>125298 >я уверен, есть множество вариантов вычислить объём пирамиды Странно что понимания этого факта не мешало тебе несколько постов копротивляться не понятно чему. Какое то преобразования Фурье 2 часть.
>да там просто нет нигде подобных строчек А если найду?
Любопытно как >эти формулы, которые ты имел в виду (в одной из них выше ты не можешь найти ошибку), ни в коем случае нельзя называть магическим образом превратилось в >там даже не ошибки, там ахинея Что то чмоня вконец запизделась.
>>125301 ой, да не припомню уже, ты столько дряни написал, копаться в ней ещё.
да и какая разница? раз уж на то пошло, я считаю, пусть базис из дельта-функций, по которому раскладывается будто бы любая функцию, ровно как и интеграл от дельта-функции по полупрямой, ровно как и величина, равная по определению объёму пирамиды, но вычисляющаяся как-то без объёма пирамиды, ну и всё остальное, пусть оно останется в золотом фонде петуха-неосилятора и там пахнет и цветёт.
мне честно не жалко. для чего мне мешать божей твари себя чувствовать хорошо, пусть она и петух, правильно? я так думаю
>>125302 Ой, похоже запахло поносцем и чмоня снова решила временно словить режим тишины чтобы через некоторое время опять победоносно прокукарекать про неосиляторов когда страсти поутихнут.
>не припомню уже Тяжело в мелкочмошном пиздеже сориентироваться понимаю, я вон целый коллаж собрал, старался. Но ведь ты можешь прямо сейчас разродиться содержательной сутью претензий. Или не можешь? Ой.
>>125248 > или проинтегрировать дельта-функцию по полупрямой и получить 1/2 в кавычках А можно подробнее про этот момент? У нас же всё равно в результате "интегрирования" дельта-функции должна получиться единица, главное же, чтобы "особенность" (в данном случае точка x=0) принадлежала к замыканию области интегрирования. Как минимум на урматах такое было.
>>125312 Вот две формулы. Полное "обсуждение" тут >>125037 Совершенно тривиальные если знаешь хотя бы определение дельта-функции. (Так же как тот факт что объем пирамиды можно посчитать разными способами.) Но при этом мелкочмоха утверждает что в них он нашел где то ошибку (которой там нет) и продолжает как обычно копротивляться непонятно чему. Подрыв вызывает я полагаю именно вторая формула, т.к. именно в ней имеется "1/2", а мелкочмоня не особо вдается в детали чтобы не сболтнуть лишнего как в истории с поиском t в уравнении Клейна-Гордона. И "1/2 в кавычках" это название функции. Я мог бы назвать ее "хуй" или H или еще как-нибудь, но 1) так гораздо смешнее подрыв мелкочмохи и его безмозглых подсосов получился; такой что он еще два года минимум будет кукарекать 2) эта формула отвечает на вопрос мелкочмохи - что будет если взять половину от разложения константной функции 1(x) по базису из дельта-функций.
>>125314 Да, теперь понял, это просто ступенька, но обозначение действительно запутывающее. Надо было тому анону в уме просто подставить в интеграл функцию Хевисайда, тогда бы можно было пределы интегрирования нормальными сделать и привести к "каноническому виду разложения".
>>125315 обрати внимание, что согласно написанному у тебя здесь>>125312, ты должен получить 1, поскольку замыкание полупрямой от 0 до бесконечности содержит точку x=0. так 1 получится или «ступенька»? или функция Хевисайда? всё ли ты понял?
>>125316 Если x=0, то y=0 (особенность) принадлежит замыканию и будет 1. Если x>0, то особенность y>0 принадлежит замыканию (и, так-то, внутренности) и будет 1. Если x<0, то особенность y<0 не принадлежит замыканию области интегрирования и будет 0. Это же классическая ступенька (правда, значения в точке x=0 могут различаться, но это другой вопрос), что здесь не так?
>>125315 >обозначение действительно запутывающее А я считаю весьма охуенное обозначение 1/2(x), лучше чем бездушное H(x). Никого же не смущает 1(x). >>125316 Чмонь у тебя приступ делирия что ли приключился от разрыва жопы? Обычно ты несешь бессвязную хуиту, но ее хотя бы распарсить можно как то.
>>125317 проблема с определениями ты не можешь, вообще говоря, умножить функцию Хевисайда на дельта-функцию: в классических пространствах распределений это умножение не определено
подставить в интеграл петуха-неосилятора функцию Хевисайда, строго говоря, тоже нельзя
>правда, значения в точке x=0 могут различаться, но это другой вопрос это не другой вопрос, это тот же самый
что можно сделать, это определить смысл такого интеграла каким-нибудь разумным способом. но определение должно быть сформулировано
>>125320 Как успехи, чмонь, осилил статьи в вики или продолжить твое публичное обоссывание? Может вспомнил какие там тебе ошибки померещились? >это не другой вопрос, это тот же самый Еще бы ты мог внятно сформулировать эти твои вопросы, вместо того чтобы невнятно кукарекать с порванной жопой.
>>125321 Ты тот самый подсос? Какой смысл у картинки? Похоже что подразумевается что у мелкочмохи совсем не подгорело, он просто так теперь без остановки кукарекает про неосиляторов и что кто то там не правильно интегрирует дельта-функцию и весьма вероятно будет продолжать истошно кукарекать еще несколько лет.
https://en.wikipedia.org/wiki/Green's_function >realizing that, since the source is a sum of delta functions, the solution is a sum of Green's functions >This can be thought of as an expansion of f according to a Dirac delta function basis (projecting f over δ(x − s); and a superposition of the solution on each projection. Ой а как же так? Ведь так говорить > неграмотно Может это отряд боевых физиков специально высадился на википедию чтобы поднасрать в штаны мелкочмохе. Абсолютно обычные факты для любого хотя бы немножко изучавшего дифуры, но почему то они на столько взорвали мозг мелкочмошному клоуну. Очевидно он так прилежно их изучал что теперь даже t в уравнении Кляйна-Гордона не может найти.
https://en.wikipedia.org/wiki/Dirac_delta_function >The spectrum of the position (in one dimension) is the entire real line and is called a continuous spectrum. However, unlike the Hamiltonian, the position operator lacks proper eigenfunctions. The conventional way to overcome this shortcoming is to widen the class of available functions by allowing distributions as well, i.e., to replace the Hilbert space with a rigged Hilbert space.[98] In this context, the position operator has a complete set of generalized eigenfunctions
И дальше там еще интересно говорится про то что я говорил в самом начале >If the spectrum of P has both continuous and discrete parts, then the resolution of the identity involves a summation over the discrete spectrum and an integral over the continuous spectrum. - единый формализм чтобы оперировать непрерывными и дискретными величинами.
С наступающим праздником всех посетителей одного из самых глубокомысленных разделов. Пусть в следующем году вас ожидает счастье научного прорыва или личного открытия, которые так желанны в среде исследователей или любителей познания.
>>125342 Математика появилась всего лишь 5000 лет назад. За это время наши мозги не изменились, значит она всем доступна. Вопрос лишь во времени освоения и методах обучения.
>>125330 как обычно, петух-неосилятор обоссал только себя, вытащив из википедии неудачные куски и прокомментировав их неподобающим образом
интересно, правда, здесь то, что таки да: указанные выдержки оставлшяют желать лучшего. я попробую спокойно прокоментировать всё, что петух-неосилятор сюда принёс
в первых строчках (на которые петух-неосилятор ссылается) авторы определяют (причём нестрого, но это, наверно, пока ещё не очень важно) то, что в математике лучше известно как "фундаментальное решение", только здесь сдвинутое на параметр $s$; указывается, что решение уравнения $Ly = f$ даётся свёрткой $y = G \ast f$. пассаж >since the source is a sum of delta functions следует сразу же за этой формулой. никаких пояснений, что под этим самым "source" имеется в виду, не приводится. можно предположить, наверно, что "source" есть правая часть $f$ указанного уравнения, и тогда да: если $f$ сама является суммой дельта-функций, то и свёртка с ней есть сумма свёрток некоторых функций с дельта-функциями, причём каждую из этих функций можно назвать "функцией Грина" в соответствии с указанным выше (ненастоящим) определением. это элементарное свойство свёртки. можно заметить ещё, что если $f$ суммой дельта-функций не является (например, никакая гладкая функция не является суммой дельта-функций), то и для "функции Грина" (определённой таким образом) такого разложения нет
следующий пассаж >This can be thought of as an expansion of f according to a Dirac delta function basis (projecting f over δ(x − s); and a superposition of the solution on each projection. 1) расположен в секции Motivation и 2) предваряется магическим "can be thought" наверно, эти два обстоятельства показались авторам достаточным поводом, чтобы написать нематематическую чушь. данное "can be thought" есть жаргон, а никакой не "факт", не говоря о том, что даже не совсем ясно, что именно авторы имеют там в виду (поскольку в "the integral in equation 3", которым предваряется это их "This", никаких дельта-функций нет)
на этом ссылки петуха на данную статью занакчиваются, и заключить можно только то, что она действительно написана безобразно и неграмотно: ни одной строгой формулировки, ни одной теоремы, обилие физических терминов из ниоткуда и безобразный жаргон. отвратительная статья
>In this context, the position operator has a complete set of generalized eigenfunctions,[99] если бы петух-неосилятор потрудился пройти по ссылке [99] (вместо того, чтобы пытаться скрыть её от наших глаз), он бы обнаружил что фраза "complete set of generalized eigenfunctions" имеет вполне конкретный смысл, который по-честному ни к каким базисам отношения не имеет. (это отличная математическая книга, написанная выдающимися авторами, которые являются и авторами соответствующей теории, и подобных глупостей там нет.) да, определённая аналогия имеется (настоящий базис в сепарабельном гильбертовом пространстве есть частный случай указанной конструкции), но не более того
>then the resolution of the identity involves a summation over the discrete spectrum and an integral over the continuous spectrum. здесь речь идёт о спектральном разложении самосопряжённого оператора, даже не функции. самосопряжённые операторы не образуют даже Гильбертова пространства, говорить о базисе в таком контексте в принципе затруднительно.
>единый формализм чтобы оперировать непрерывными и дискретными величинами. петух-неосилятор не понимает слов, которые он использует. нет, "жаргон" это не есть "формализм", это есть жаргон
и наконец последнее.
на самом деле к пониманию базиса петух-неосилятор однажды приблизился: вот здесь>>125047 → было верно замечено, что базис должен порождать пространство, в котором он берётся (смысл слова "порождать" пока оставим)
услышав фразу >базис из дельта-функций по которому можно разложить любую функцию. любой приличный человек, который заботится о математической строгости, должен спросить: "и какое пространство порождает базис из дельта-функций"? это пространство "любых" функций? у петуха-неосилятора, помнится, функции бывают "обычные" и "любые", так что подобный вопрос для петуха-неосилятора слишком труден, легче устроить петушиный срач
>>125346 >неудачные куски Неудачные очень тем что выебали тебя в рот, чмоня? >никакая гладкая функция не является суммой дельта-функций Как на столько можно быть тупорылым это просто переходит все возможные границы. Чего вообще блядь несет. Тут речь идет как раз про то самое разложение которое ты даже сам умудрился где то нагуглить.
>не говоря о том, что даже не совсем ясно, что именно авторы имеют Ну еще бы, удивительнее было бы если бы тебе было хоть что то ясно. Вот тебе предельно понятный факт: - ты написал >да там просто нет нигде подобных строчек, и ты это знаешь. потому и не принёс - В обеих статьях несколько раз говорится про базис из дельта-функций прямым текстом несколько раз. - Ты теперь стоишь с ног до головы обоссаный мочой Так тебе понятно?
>вместо того, чтобы пытаться скрыть её от наших глаз Чего блядь несет опять, кто там от твоих глаз что скрывает, ты уже водовки накатил что ли? >ни к каким базисам отношения не имеет >да, определённая аналогия имеется Хлопаю обеими руками и хуем по лбу >говорить о базисе в таком контексте в принципе затруднительно Но они говорят. Ты вообще в курсе что такое resolution of the identity? Уверен что нет.
>нет, "жаргон" это не есть "формализм", это есть жаргон Да нет, чмонь, формализм это формализм.
Еще бы основательнее тебя уринировал да сам понимаешь не до того сейчас.
>>125348 >Тут речь идет как раз про то самое речь там может быть о чём угодно, но пояснить явно, о чём там речь на самом деле, авторы не потрудились. текст безобразный
>- ты написал >>да там просто нет нигде подобных строчек, и ты это знаешь. потому и не принёс да, так написал, потому что ты ничего не нёс. но теперь видно, что на википедии действительно написано что-то близкое. я признаю, что здесь был не совсем прав. но википедию это не красит, только наоборот. хорошо, там ссылка на приличный математический текст нашлась (плохо, что ты не стал его смотреть)
>да, определённая аналогия имеется если между понятиями имеется какая-то аналогия, это ещё не повод подменять одно другим. они разные и обознают разное
>определённая аналогия имеется (настоящий базис в сепарабельном гильбертовом пространстве есть частный случай указанной конструкции), но не более того Т.е. "конструкция" (не уверен о чем ты там конкретно но) обобщает понятие базиса, но при этом ни в коем случае нельзя называть ее базисом. Ясно. Понятно.
>>125351 >что не так в этот раз? в этот раз всё так, он же задаётся этим ровно таким вопросом (как и полагается приличному человеку). при этом вопрос сформулирован аккуратно и строго: хотя автор и пишет слово "базис", он сразу поясняет, что в точности имеет в виду. в этом случае ничего страшного: если ты даёшь строгое определение, уже не так важно, какое именно название ты используешь. это аккуратно и уважительно к читателю. кроме того, автор признаётся, что он физик
да, оказывается, физики этот жаргон используют повсеместно он не перестаёт быть жаргоном от этого
>Т.е. "конструкция" (не уверен о чем ты там конкретно) о том, про что шла речь в контексте: complete set of generalized eigenfunctions >обобщает понятие базиса она не обобщает понятие базиса она совпадает с базисом в частных случаях, а в других случаях базисом не является. при этом во многих случаях, где можно говорить о базисе, нет никакого оснащённого гильбертова пространства; понятия "базис" и ""complete set of generalized eigenfunctions" пересекаются в частных случаях, но не поглащают одно другое.
это не говоря о том, что в случае с "complete set of generalized eigenfunctions" не выполнено основное свойство базиса: они не являются образующими в пространстве, в котором выписывается это "разложение"
>>125352 >да, оказывается, Вот это поворот! >физики этот жаргон используют повсеместно Если жаргон используется повсеместно он как раз перестает быть жаргоном а становится устоявшейся терминологией.
>автор и пишет слово "базис", он сразу поясняет, что в точности имеет в виду. в этом случае ничего страшного Т.е. когда мелкочмошная ебанашка видит сочетание "базис из дельта-функций" и кукарекает несколько месяцев что такого не бывает и быть не может, но внезапно оказывается что вполне себе бывает и может то это тоже ничего страшного и ебанашка вовсе не обосралась?
Как ты думаешь что подразумевает слово >complete в сочетании >complete set of generalized eigenfunctions ? И еще раз >Ты вообще в курсе что такое resolution of the identity? Ты же не понимаешь вообще о чем тут речь, правда?
>>125353 >Если жаргон используется повсеместно он как раз перестает быть жаргоном а становится устоявшейся терминологией. в физике - может быть там вообще своя терминология в математике эта терминология не работает
>complete set of generalized eigenfunctions в том месте в википедии, где это фраза написана, стоит ссылка на математическую книгу. я призываю (повторно) книгу эту открыть отрыть и почитать. там дано определение (настоящее)
>resolution of the identity речь шла о спектральном разложении единичного оператора. нет, спектральные меры это не базис в пространстве самосопряжённых операторов
>>125354 >в физике - может быть Напомню твой подрыв начался с обсуждения квантовой механики если ты подзабыл, можешь убедиться глянув на картинку. >я призываю (повторно) книгу эту открыть отрыть и почитать. там дано определение (настоящее) Может быть попозже >спектральные меры это не базис https://en.wikipedia.org/wiki/Borel_functional_calculus#Resolution_of_the_identity >In physics literature, using the above as heuristic, one passes to the case when the spectral measure is no longer discrete and write the resolution of identity as I = ∫ d i | i ⟩ ⟨ i | and speak of a "continuous basis", or "continuum of basis states" Да что же такое опять физики мелкочмохе в штаны срут.
>>125355 >начался с обсуждения квантовой механики обсуждать ты начал абстрактное уравнение, записанное от руки без каких-либо пояснений и обозначений. потом, квантовая это механика или нет, у нас здесь доска по математике и я говорю про математику. кроме того, со своим "базисом" ты лез и в другие места, где никаких обсуждений с твоим участием не было
>using the above as heuristic, >speak of a "continuous basis", or "continuum of basis states" строгим математическим понятиям не требуются кавычки и пояснение про "эвристику" в физической литературе кроме того, ты по какой-то причине не привёл следующую фразу из того же места: >Mathematically, unless rigorous justifications are given, this expression is purely formal. наверно, слово "purely formal" не дошло до тебя
>>125357 Ой, ну ты опять вспомнил как два года назад порвался, но при чем это вообще, кроме того что у тебя с тех пор так сральня и не проходит похоже. >ты по какой-то причине не привёл следующую фразу Специально чтобы ты сам ее принес и объяснил как >unless rigorous justifications are given, this expression is purely formal В твоем понимании превращается в >так говорить абсолютно некорректно Давай объясняй.
>>125356 опять какой-то физик использовал устоявшийся термин не по назначению, и терпеливым форумчанам пришлось объяснять смущённому читателю, что данный физик типа имел в виду не то, что обычно под данным термином подразумевается
что ж, буду больше знать о физиках, спасибо, петух-неосилятор
>>125358 purely formal означает, что никакого настоящего содержания в сказанном нет, это просто символьная запись. требуется обоснование, чтобы смысл появился. не знаю, что тебе непонятно
>>125362 > complete system of eigenvectors ... orthonormal basis ev ..., en in Rn can be found, each vector of which is an eigenvector > In Section 4.5 we prove the existence of a complete system of generalized eigenvectors Т.е. они буквально пишут про обобщение понятия БАЗИСА. И это не какие то физики. Чмонь?
>>125355 > >In physics literature, using the above as heuristic, one passes to the case when the spectral measure is no longer discrete and write the resolution of identity as I = ∫ d i | i ⟩ ⟨ i | and speak of a "continuous basis", or "continuum of basis states" А это (I = ∫ d i | i ⟩ ⟨ i |) не общепринятая практика? Как настоящие математики раскладывают оператор по непрерывному спектру тогда?
>>125369 Ну ясно. Просто я вижу как они буквально начинают главу с понятия БАЗИСА, а в конце главы пишут что обобщают это понятие. Но конечно же ни про какой БАЗИС говорить нельзя, это все физики математикам в штаны срут.
>>125373 Только я принес цитаты подтверждающие каждый мой тезис. От тебя как обычно одни выпуки >я с тобой спорить не в силах Золотые слова, на этом можно и закончить пока.
>>125377 >можешь называть это базисом, если хочешь >Через джве недели чмоня высовывает клюв и начинает во всех тредах рассказывать охуительные истории про неосиляторов Ну уж нет это мы уже проходили.
>>125346 Когда-нибудь я пойму, зачем ты не в шутку говоришь о вещах, которые буквально определяются как "impulse response", но это не сегодня, бро. Сегодня я хочу пожелать тебе - и всей доске - славного нового года, творческих успехов и душевного равновесия. Выйдите на улицу, потрогайте снег, это охуенно
>>125387 Для матэкономики в большинстве случаев не нужен мощный бекграунд. Достаточно более-менее усвоить анализ, дифуры, общую алгебру и теорвер. Есть хардкорные области, типа hft/mm, там порог вхождения существенно выше, но туда не всякий профессиональный математик сунется, честно говоря
>>125390 Какой там порог? Теорему о нулях применять там и тут? Та же статистика нужна и как следствие линал и теорвер дефолтный, не на категорно-пучковом языке. >>125387 Тебе нужно осилить любую книгу по стохастическому анализу. Берешь её, смотришь пререквезиты, дальше пререквезиты к пререквезитам и тд. Вот первая в гугле по запросу "Stochastic calculus book". В предварительных комментариях указано, что знать нужно.
>>125392 >>125394 Спасибо! Я тут открыл пикрелейтед, там эти книги рекомендуются:
Aleskerov, Fuad, Hasan Ersel and Dmitri Piontkovski. 2011. Linear Algebra for Economists Bhattacharya, Rabi and Edward Waymire. 2007. A Basic Course in Probability Theory Jacod, Jean and Philip Protter. 2004. Probability Essentials Williams, David. 1991. Probability with Martingales Pemberton, Malcolm and Nicholas Rau. 2016. Mathematics for Economists—An Introductory Textbook Protter, Philip. 2005. Stochastic Integration and Differential Equations Rudin,Walter. 1987. Real and Complex Analysis Sundaram, Rangarajan. 1996. A First Course in Optimization Theory
Eichberger, Jürgen and Ian Harper. 1997. Financial Economics Markowitz, Harry. 1959. Portfolio Selection—Efficient Diversification of Investments Milne, Frank. 1995. Finance Theory and Asset Pricing Pliska, Stanley. 1997. Introduction to Mathematical Finance Rubinstein, Mark. 2006. A History of the Theory of Investments Varian, Hal. 1992. Microeconomic Analysis
Baxter, Martin and Andrew Rennie. 1996. Financial Calculus—An Introduction to Derivative Pricing Björk, Tomas. 2004. Arbitrage Theory in Continuous Time Delbaen, Freddy and Walter Schachermayer. 2006. The Mathematics of Arbitrage Duffie, Darrell. 1988. Security Markets—Stochastic Models Duffie, Darrell. 2001. Dynamic Asset Pricing Theory Elliot, Robert and Ekkehard Kopp. 2005. Mathematics of Financial Markets Glasserman, Paul. 2004. Monte Carlo Methods in Financial Engineering
>>125395 Не стоит во внимание брать очень много книг. Лучше выбери одну, любую, пикнутую по рандомайзеру и читай потихоньку, и к другим обращайся ток чтобы посмотреть на какие-то вещи с другой стороны, если в том что там написано непонятно
>>125397 Я вообще с математикой плохо дружу. Хотя есть несколько интересующих меня областей знания, где ее знание пригодится. Думаю даже школьные учебники взять, постепенно переходить к олимпиадным материалам, а потом уже нормальные университетские книжки смотреть, которые выглядят сложными в плане подачи.
Кстати, а ChatGPT и Deepseek нормально объясняют математику? Если в книге непонятно что-то излагается, то я могу к ним обращаться за разъяснениями?
Здравствуйте, увожаемые математики. Может быть существует какой-нибудь всеобъемлющий учебник современный для великовозрастных дебилов, который позволил бы, проштудировав его, поступить в шарагу на сварщика?
У меня есть советский "Повторяем и систематизируем школьный курс алгебры". Не нравится его сухой, рубкий язык, многое, что там пишут подразумевает, что ты уже кое-что должен знать.
Когда я читал его и занимался по нему, и срал здесь вопросами, то отвечали мне в аналогичной манере, без разжевываний для дебилов.
>>125405 >по ютубу вот и поколение зумеров которые без смешных видосиков и покакульки не сделают, как вобще по Ютубу можно что то выучить? Вопрос риторический
>>125403 Задай вопрос. >Повторяем и систематизируем школьный курс алгебры Открыл. Это вообще какой-то справочник, а не учебник. Попробуй взять дефолтные школьные, или недофолтные аля Шень - геометрия/алгебра.
>>125400 Так я не пройду, очевидно. Я не знаю ни статистики, ни теорвера, ни программирования. Если всё это изучать, то на адекватные вещи времени не останется.
>>125387 >Какие разделы математики нужно знать, чтобы понимать такие статьи? Кажется, нужно знать лупы Муфанг, общую топологию, больше кардиналы Гротендика, этальные когомологии и гиперболическую геометрию. Ну это для начала. Когда всё изучишь, можешь переходить к программированию на Питоне.
>>125438 В мире почти все процессы нелинейны. Люди закоупили это, что на небольшом масштабе, локально, они линейны. Линейная алгебра изучает линейные отображения. Они как понятно выше, встречаются везде. >сложен линал На удивление прост. Но вообще постигать его можно по-разному, в зависимости от вкусов автора учебника. Некоторые "виды" сложны, некоторые просты.
>>125417 Хотел написать в очередной раз длинный текст, но на него всегда слетается пара олимпиадошизиков, которых я видеть даже не хочу. Потому отвечу словами Тао: >But mathematical competitions are very different activities from mathematical learning or mathematical research; don’t expect the problems you get in, say, graduate study, to have the same cut-and-dried, neat flavour that an Olympiad problem does. (While individual steps in the solution might be able to be finished off quickly by someone with Olympiad training, the majority of the solution is likely to require instead the much more patient and lengthy process of reading the literature, applying known techniques, trying model problems or special cases, looking for counterexamples, and so forth.) >... >In summary: enjoy these competitions, but don’t neglect the more “boring” aspects of your mathematical education, as those turn out to be ultimately more useful.
Я надеюсь на практике можно всего лишь ограничиться основным тригонометрическим тождеством. Я НЕ БУДУ ЗАПОМИНАТЬ ВСЕ ЭТИ ФОРМУЛЫ НА ВСЕ СЛУЧАИ ЖИЗНИ И Я НЕ БУДУ ЗАПОМИНАТЬ ЧТО ВО ЧТО ПРЕВРАЩАЕТСЯ. ПРОСТО ПЕРЕПИШИТЕ ТРИГОНОМЕТРИЮ ПОЖАЛУЙСТА.
>>125468 >переделайте или перепишите тригонометрию в более понятное что-то. это было сделано Л. Эйлером 300 лет назад я не знаю, почему в современных школах вбивают в детей тригонометрический ад вместо того, чтобы учить их комплексным числам
>>125468 Тригонометрия позволяет забить на углы в каком-то смысле и сконцентрироваться лишь на сторонах. Самые простые треугольники это прямоугольные, и любой треугольник можно разбить на пару прямоугольных. В реальности гораздо проще измерить длину, чем угол. Мы можем нарисовать треугольник с заданными сторонами в удобных условиях и измерить его углы. В итоге составить огромную таблицу. После этого можно выкинуть транспортир, и оставить лишь рулетку. Измеряем треугольник, ищем в таблице треугольник с теми же длинами, смотрим углы по таблице. В следствии подобия фигур записи в таблице будут повторяться. Но в подобных треугольниках сохраняются отношения сторон. Потому договорились, что косинус это отношение прилежащего катета к гипотенузе, синус противполежащего и тд. Почему не наоборот, гипотенузу к катету? Так тоже можно, но могут получаться огромные числа, тк гипотенуза больше катетов. А в обратном случае отношение всегда меньше или равно 1.
Основное триг. тождество следует из теоремы Пифагора. Формулы подстановок типа sin(90-a) = cos(a) тривиальны. Остаются формулы суммы/разности углов.
На пике виден новый образовавшийся треугольник, красно-сине-зеленый. Найдём его стороны.
Угол сверху слева от синей линии равен 90 - (a+b), угол справа 90 - b - (90 - (a+b)) = a.
Мы можем найти синюю сторону, гипотенузу, в этом мелкотреугольнике, она равна x: cos(a) = sin(b)/x x = sin(b)/cos(a)
Теперь мы можем найти кусок зеленой от центра до синей z. это гипотеуза мелкого треугольничка у центра: z = cos(b) - y = cos(b) - sin(a)sin(b)/cos(a) = (cos(a)cos(b) - sin(a)sin(b)) : cos(a)
Осталось найти его стороны. Горазонтальная равна w: cos(a) = w/z w = cos(a)z = cos(a)cos(b) - sin(a)sin(b) Очевидно w = cos(a+b)
Как видишь простое упражнение в подобии. Но лучше всего выводить через повороты и комплексные числа. Так и формулы запоминать не нужно, за 10с выведешь. Или хотя бы воспользоваться координатами.
>>125474 Спасибо. Я просто хочу понять когда sin превращается в кос почему кос всегда положителен и прочие преобразования. Без применения тригонометрии в реальной жизни решать эти абстрактные задачи сложно. А как я понял в реальной жизни нет таких запредельных абстракций как в учебниках.
>>125475 >Я просто хочу понять когда sin превращается в кос почему кос всегда положителен и прочие преобразования прст ты не понимаешь что они обозначают, найди норм учебник и почитай
Почему произносится как комплекс Кошуля? Ни в оригинальном фр, ни в англ этого нет. Обычно могу проследить логику заимствования/адаптации. Особенно с фр, на котором многие из советских математиков говорили свободно.
>>125476 Я в школе тоже не понимал тригонометрию. Самое сложное это именно определение. С какого хуя нам брать отношение a/h? Почему именно такое, а не наоборот? >>125475 Тригонометрия из практических нужд как раз выросла, как некий чит, абуз, который позволял вычислять, например, расстояние от Земли до Солнца. Тебе нужно впитать тему подобия фигур, треугольников. Если ты их не понимаешь, то тригонометрия так и будет тёмным лесом.
Я к сожалению не знаю учебников, где бы было нормально это объяснено.
>>125490 >из зависти А чему тут завидовать-то? Надрачивали себя на тупые типовые задачки, которые теперь ГПТ за пару минут щелкает. >сколько олимпиадников было в вашей группе У меня в группе была одна олимпиадница по матеше. В итоге свалила после бакалавриата и пошла данные на R анализировать.
Все эти замечания, кстати, не только к олимпиадникам по матеше относятся. Я знал одну всеросницу по химии, которая не могла объяснить, откуда берется закон действующих масс, и от чего именно зависят размерности в константе равновесия (спойлер: от выбранного стандартного хим. потенциала).
>>125491 >В итоге свалила после бакалавриата и пошла данные на R анализировать. Ну, кстати, программирование на олимпиады и похоже. Есть набор трюков, каждая олимпиадная задача им решается. Есть набор структур данных и алгоритмов, почти каждая задача ими решается. Неудивительно, что большинство олимпиадников заканчивают программистами.
>>125496 >Ну, кстати, программирование на олимпиады и похоже. Есть набор трюков, каждая олимпиадная задача им решается Вообще не совсем, если программирование это реальное, а не олимпиадное программирование. Реальное программирование это больше "борьба со сложностью", не в смысле трюков, а в смысле объёмов. То есть надо организовать какой-то огромных объём данных так, чтобы с ним можно было работать, огромный объём кода, чтобы с ним можно было работать, когда всё стройно сделать невозможно в принципе, а не потому, что скиллов не хватает. Плюс использование внешних инструментариев
>заканчивают программистами А кем ещё заканчивать математику? Вариантов не так много. Или прямо идти в математику-преподавание математики, либо в IT, либо там в некоторые виды экономистов. Либо в места, что совсем никак и ни в каком виде с математикой не связаны.
Куда идут математики, если это не связано с IT или непосредственно с математикой?
>>125499 >Куда идут математики, если это не связано непосредственно с математикой? Даже не знаю. Поступал на математика, чтобы потом не работать математиком? Я думаю, в Старбаксе тебе самое место. Будешь рассчитывать фрактальную размерность кофейных зерен при обжарке (серьезно, я видел одну статью на эту тему).
>>125498 Ну не скажи, в реальной академической математике все-таки лишь малая часть задач решается уже известными способами, в большинстве случаев нужно что-то придумывать и изобретать.
>>125499 Ну и кстати, математики-прикладники, желающие связать жизнь с комплюхтерами, чаще все-таки идут в CS, а не в IT. В «айти» (в смузихлебском смысле) идут неосиляторы от мира математики.
>>125502 >Поступал на математика, чтобы потом не работать математиком? Вообще это норма. Поступают на математика, чтобы получить образование приличное. Столько математиков очевидно не нужно.
>>125504 Computer Science на западе - это условно разработка ПО, программирование, датасаенс. IT на западе - это сисадмины, хелпдески, эникеи, которые принтеры заправляют в офисах.
У нас в русском понимании обе эти категории называют одним словом - "айти".
>>125499 >А кем ещё заканчивать математику? Вариантов не так много. Или прямо идти в математику-преподавание математики, либо в IT, либо там в некоторые виды экономистов
Ну в НИИ и иногда на заводах нужны всякие инженегры-расчетчики. Которые сидят и условно придумывают как посчитать какой-нибудь теплообмен для какой-нибудь алюминиевой намотки диаметром 371 мм для трансформаторов по ГОСТ-12345. Вот это уже реальная задача для математика. Инженер конструктор обычный он нихуя не умеет считать, а вот математик возьмет и в матлабе или в маткаде скрипт нахуярит и сделает все расчеты, а инженер конструктор уже будет дальше свои намотки и трансформаторы конструировать исходя из твоих расчетов. Это вот и есть прикладная математика кстати. Платят кстати полную хуйню, буквально нищие копейки меньше чем у заводского работяги.
Во всякой там военной отрасли тоже математики нужны. НИИ Механики на мехмате мгу например много заказов оттуда берет.
>>125490 >Правильно ли я понимаю, что вы тут олимпиадников не любите из зависти Нет, я сам им пытался быть, правда кроме участия в олимпиадах дело дальше не дошло - я везде пососал и никаких дипломов не залутал.
>>125490 >Сколько олимпиадников было в вашей группе Нисколько вроде. Я в даунку пошел учиться. А так вроде были олимпиадники всякие на потоке типа меня, которые тоже чето-там пытались залутать в 10-11 классах, но из-за низкого интеллекта не осилили даже дипломы 3 уровня рсош. У всех вроде жизнь нормально сложилась, никто не спился, не сторчался, не сдох. Многие по разным странам уже разъехались после гойды.
>>125468 Учебник геометрии атанасян за 7-9 класс. Там по идее должно быть нормально рассказано.
>>125489 >Самое сложное это именно определение. С какого хуя нам брать отношение a/h? Почему именно такое, а не наоборот Да просто потому что так удобнее в геометрии было в древние времена, вот и все. Там большая история как всякие древние греки, арабы и индусы выводили всю эту хуйню. Особо не забивай голову мыслями, почему именно так а не иначе, это до шизы доведет.
>>125510 >Computer Science на западе - это условно разработка ПО, программирование, датасаенс. >IT на западе - это сисадмины, хелпдески, эникеи, которые принтеры заправляют в офисах. Вообще нет. У них CS используется в академической среде, чтобы предметы так называть, иначе просто не солидно. А в контекстах вне образования не очень используется.
IT это более широкое понятие в целом, оно в себя включает очень многое. И что-то научное, и что-то сложное технологичное, и простенькие работы.
>>125512 >Да просто потому что так удобнее в геометрии было в древние времена, вот и все. Я в первом сообщение уже написал, почему именно так. >Измеряем треугольник, ищем в таблице треугольник с теми же длинами, смотрим углы по таблице. >В следствии подобия фигур записи в таблице будут повторяться. Но в подобных треугольниках сохраняются отношения сторон. Потому договорились...
>Особо не забивай голову мыслями, почему именно так а не иначе, это до шизы доведет. Идиотизм так учиться. Ветхий фундамент.
>>125517 Тригонометрия очень разумна и именно в таком виде. Другой был бы не разумен. У неё огромные применения в физике и математике. Синусоида описывает гармонические колебания, это вообще просто база-база, без которой никуда очень много где.
>>125518 Не нужно никаких гармонических колебаний. Ты живешь в городе Матач, знаешь расстояние до Политач, и в Политаче, когда ты там был, тебе Пучкист-Пыня рассказал расстояния до Погромача, послав тебя туда. Естественная задача: сколько тебе из Матача идти до Погромача? Находясь на земле, прикидываешь направление до Политача и до Погромача. Ты можешь измерить угол между a и x. Если бы ты знал угол между a и b, то ты мог бы нарисовать подобный треугольник, измерить в нём расстояния a' b' x' и зная отношение a'/x' узнать отношение a/x, и от сюда восстановить x. Но допустим ты не знаешь угол. Потому опускаем перпендикуляр(синий). Как найти длину синего фрагмента? Рисуешь на песочке подобный треугольник, ты это сможешь сделать, тк знаешь углы. Меришь в нём стороны, отношения все равны, значит синий-пунктир/маленькая-гипотенуза = синий-сплошной/большая гипотенуза слева ты всё замерил и вычислил, и восстановил синюю сторону справа, тк большая гипотенуза известна. Аналогично с частью расстояния до погромача. Теперь справа у тебя прямоугольный треугольник с известной гипотенузой и катетом. Узнаешь третью сторону из Пифагора. Вуаля, ты вычислил расстояния, не снимая свитер.
Благодаря формуле суммы можно без координат обобщить косинус и на тупые углы. cos(90+a) = cos(90)cos(a) - sin(90)sin(a) = -sin(a) всё, у тебя косинус работает для всех углов, без координат и триг. окружностей.
>>125520 >Рисуешь на песочке подобный треугольник, ты это сможешь сделать, тк знаешь углы. Меришь в нём стороны, отношения все равны, значит >синий-пунктир/маленькая-гипотенуза Вот эту вот часть в итоге вынесли и просто заранее записали синусы/косинусы всех углов, составив таблицу. Чтобы не пришлось каждый раз заново на практике рисовать и мерить. База - это что отношения соответтсвующих сторон в подобных треугольниках равны. От сюда и появляется определение триг. функций.
я любитель и хочу попросить совет. здрасвуйте! решил пойти по пути олимпиадников, но есть один нюанс. Сколько или какой процент надо решать в задачников, чтобы можно было перейти к другому учебнику?как пример возьмем учебник Сканави, то лучше решить его всего или есть момент, когда стоит брать другой задачник? просто считаю глупо решать Сканави полностью или другие задачники
>>125522 >просто считаю глупо решать Сканави This. Я вообще из него не одной задачи не решал никогда и для понимания математики это не нужно. Кто его форсит интересно. >решил пойти по пути олимпиадников Земля тебе пухом. > Сколько или какой процент надо решать в задачников, чтобы можно было перейти к другому учебнику? Открой другой учебник и начни читать, если ничего не понятно, то читай предыдущий учебник.
>>125522 Олимпиады это треш. Но если хочешь пойти по этому пути, то классика -Ленинградские мат кружки, нужно прорешать полностью. Дальше Алфутова по алгебре, по геометрии Прасолова можно. После гриндишь задачи прошлых лет. Сканави он для вступительных экзаменов в вузы был нужен, которые заменил ЕГЭ. Сейчас он не нужен, есть миллиард разных материалов для подготовки к егэ.
>>125511 Звучит странно. Чтобы можно было такие расчёты проводить, сначала как будто нужно понять, что вообще считать. Звучит как что-то для физиков. Там же огромная работа проделывается, чтобы понять, какая у нас математическая модель. Вот с ней потом математик-прикладник уже может работать. Хотя механики сорт оф физики.
>>125522 > просто считаю глупо решать Сканави полностью или другие задачники Всё так. Лучше потратить время на сериалы, игры, просмотр двача. Тогда хоть будет о чём поболтать с людьми. Решение задач - совковая шиза из XIX века. Во всём цивилизованном мире поняли, что достаточно прочесть параграф учебника и всё поймёшь, не потратив уйму времени на бесполезный кал
>>125490 >Сколько олимпиадников было в вашей группе все, кроме пары человек >как сложилась их судьба? межнарники и победы всероса тургора ммо - постдоки в топовых местах; призеры/перечневики - кто где: постдоки в местах попроще, ml ресерчеры/инженеры в фаангах с шадами сколтехами phd в европе, кто-то в русских бигтехах и матшколах типа второй физтех-лицея сунца >вы тут олимпиадников не любите из зависти? зависти к олимпиадным достижениям нет, есть зависть к раннему старту изучения приличной математики с ~8го класса в хорошей школе с хорошими преподавателями
>>125524 >Олимпиады это треш. Олимпиады сейчас это самый надёжный способ поступать в крутые места. В некоторые вообще единственный, по ЕГЭ не берут или по 100 баллов по всем предметам надо иметь + родственника на СВО
>>125522 >Сколько или какой процент надо решать в задачников, чтобы можно было перейти к другому учебнику? Критерий такой: если тебе решать задачи оттуда слишком легко, то значит надо искать что-то ещё. Если сложно, то задачник свою функцию выполняет
>>125529 >А я могу заменить репетитора на дипсик? Можешь. С репетитором заниматься это себя не уважать, репетитор для отстающих или для тех, у кого мотивации не хватает. Если желание разбираться есть, нейросетки решают.
>>125534 В том и проблема, что ситуация, когда олимпиады — единственный социальный лифт, — патологически нездоровая. На швятом у школьников есть и куча других способов попасть в вузы, кроме как сдать экзамен или взять олимпиаду. В России нормальных вузов совсем немного, и все они сосредоточены в столицах — а на швятом не так. Там нормальных университетов значительно больше, они распределены довольно широко, и поэтому школьники начиная со старших классов уже могут вовлекаться в научную работу в ближайших вузах — что впоследствии засчитывается при поступлении. В России такие случаи крайне редки, а всякие «школьные проекты» — лишь имитация реальной науки. Поэтому в России олимпиады и ЕГЭ — единственный способ хоть как-то уравнять школьников из Москвы и из далекой провинции, дав замкадышам понятный социальный лифт. Поэтому в России, в отличие от Запада, совершенно не развита культура мотивационных и рекомендательных писем — у нас вместо этого скорее попросят сдать экзамен.
>>125539 >На швятом О швятой... >кроме как сдать экзамен или взять олимпиаду еще в правильной семье родиться вариант >«школьные проекты» — лишь имитация реальной науки По другому и быть не может. (К слову сказать большинство науки лишь имитация реальной науки.) >совершенно не развита культура мотивационных и рекомендательных писем В пизду такую культуру.
>>125554 >На самом деле добродушный и клёвый дед Хотел бы себе такого деда? Тащемто человек больной и несет не правильные ценности, так что такие люди не нужны.
Могу посоветовать учебник "Курс высшей математики для техникумов" Тарасова.
Это для тех, кто не особо шарит. Мне большинство учебников кажутся довольно сложными. В шапке тоже ничего не зашло. И я начал перебирать разные книжки, пытаясь найти свой.
Этот учебник вот очень приятно читается, объяснения простые. Даже залип на нем на пять часов на теме с пределами. Только вот очнулся и пончл, что уже полночь
Может кто-то такой же как я и ему зайдет. По названию вполне понятно, для кого он.
Ни на одной лекции не был. Перед экзаменом за три дня начал в запой смотреть плейлист трушина по матану. Части пытался воспроизвести, части скипал голова пухла, смотрел в тетрадку с определениями с первого часа ролика ëжик в матане 7 часов матана. Голова никакая я хочу спать сука после такого больше обычного а я ещë толком то до задач не добрался. Гайс учите матешу заранее и см. определение. Я вот раньше тупил тк в голове функцию по шкальному как-то держал а у неë определение есть ëпта с ним куда легче. Надеюсь получить пять чтобы перевестись нахуй. После экза напишу
>>125585 Трушин как шиз все объясняет. Его надо смотреть после какого-нибудь строгого изложения материала, чтобы посмотреть на все с другого (шизо) ракурса.
>>125585 Это пиздец блять богопротивно. 5 часов теории 1.5 часа решения задач и я овощ. Дальше чë хочешь делай буквы разлетаются, слова не клеятся. Кто нахуй придумал матешу первым экзаменом ставить суки
>>125587 ну оно у него и заметно канал ж развлекательный типа а хочешь програмно иди на фоксфорд деньги плати. Даж если по плейлисту матана идти пробелы ощущаются
Это правда я о России есть такие сложные программы в мфти и СПбГУ по сложности как магистратуры в Гарварде? Или магистратуры в МГУ/мфти есть по сложности и уровню задач сравнимые с пхд за бугром
Много слышал что в США образование легче чем в России, в плане академической нагрузки
>>125596 Я бы в десмос забил и подвигал значение параметра. Но благодаря хуесосам неким у меня половина интернета ёбнулась и теперь даже блять график не построишь, надо морочиться с обходом. Вот кста какая красивая штука как-то раз у меня получилась
>>125599 Глянь видосы Владимира Гарвард-Оксфорда. У него там есть интервью с челами из мкн спбгу и мгу, переведшимися в MIT. > Много слышал что в США образование легче чем в России, в плане академической нагрузки Там ты сам выбираешь какие курсы проходить, в целом легче чем у нас получается. Но можешь набрать очень много курсов и вкалывать. Я так понял, что у нас в топовых местах фундаментальное образование не хуже чем в аналогичных западных. Но связи с индустрией и мировым академическим сообществом, да и просто бюджет вузов, на западе во сто крат больше
>>125602 >просто бюджет вузов а нахуя он кому-то? вуз это учеба. там не нужна космическая программа. а кодитиь можно одинаково успешно и на 15-летнем финкпаде и на новом маке
>>125603 Ну оснащение лабораторий каких-нибудь там. Удобные корпуса и аудитории. Да и просто, вот смотришь видосы про американские кампусы и удивляешься, как там всё вылизано, выдрочено, аккуратно, сделано не через жопу. Профессора не бомжи, а реально уважаемые люди с хорошим доходом. М.б. сейчас там всё похудшало, но по сравнению с нами ещё актуально
>>125585 Готовился к матану а сдавал calculus. :...( ливнуть бы с этой шарашки но тут связи есть чтобы физруку хуëм по норвуду водить а не бегать как гой в 8 утра перед остальными парами
>>29047 (OP) Профессор математики Калифорнийского университета в Ирвайне Паата Иваниашвили рассказал в X, что получил доступ к бета-версии Grok 4.20, которая за 5 минут нашла явную формулу для задачи, над которой он работал вместе со студентом. Результат оказался точнее, чем в их собственной статье на arXiv от февраля 2025 года.
Нужно запрыгнуть (хорошо понимать и кодировать на c++) на одну тему - "преобразование Фурье". Там ещё дальше всякие DTF, FFT, STFT и т.д. и т.п. Какие мои действия? 11 классов только есть. За матан никогда не брался. Не знаю с чего начать. Как можно оптимизировать путь, чтобы не тратить время на всё подряд, а проходить только необходимые для конечной цели темы?
Скажите, если строить график от 1/бесконечность до бесконечности, то получится ли мат ожидание 1 при симметричном графике слева и справа от мат ожидания? И возможно ли такое вообще подогнать под график нормального распределения? Ну т.е. мат ожидание 1, сам график от 0 до бесконечности(вроде то же самое, но так он явно каким-то несеммитричным звучит, а вот будто от 1/бесконечность до бесконечности будто симметричнее, лол), какое сигма брать? 1 или сигма^2=1/2?
>>125644 Логически подумай. При чтении сколько у тебя органов чувств задействовано? Зрение. А при лекции на ютубе у тебя задействовано зрение + слух. 1 < 2.
>>125642 Если рассматривать реальный процесс, с одной стороны, больше 1-й секунды за одно событие я не сэкономлю, в случае если второе событие произойдёт через время t=>0 после первого события. С другой стороны, пусть и с очень малой вероятностью, но я могу целый год прождать, и так второе событие и не зарегистрирую. Как же при этом получить мат ожидание 1с в среднем между событиями? Как описать такой график, ограниченный нулём с одной стороны, неограниченный с другой стороны и с мат ожиданием 1. Это какой-то частный случай нормального распределения? Или есть какое-то другое название у этого?
Какая есть литература по функциональным интегралам с математической точки зрения? Я знаю, что они полностью не формализованы, но может есть хоть какие-нибудь "наброски".
>>125656 >необходимо выяснить, может ли число N быть больше 1 К вопросу, зачем это нужно выяснять - чтоб доказать, насколько обосновано всё то, что пишут шизики в этом треде: https://2ch.su/se/res/154688.html
>>125662 Накончал тебе на ебало, и обоссал потом. Пиздец, и откуда такое быдло берётся? А, вспомнил. Я ж в твою мать после бухича накончал 15 лет назад, школолольник.
>>29047 (OP) Аноны, джипити тупая залупа нихуя не может мне помочь, вроде простая тупая задача, но я уже голову сломал. В общем пытаюсь нарисовать комету с круглой головой и распускающимся хвостом. Нужна функция которая высчитывает яркость каждого пикселя, в которую передаём x и y и которая возвращает нам яркость, так чтобы получилась примерна такая парабола или другая похожая поебота в в фокусе в нулях и чуть выпирающей головой. Хелп матемач, с меня как обычно анекдот
>>125671 а всё вроде пошло, нужно было использовать параболу в полярных координатах, а то тот хуй начал мне предлагать физический разлёт частиц от центра, звучало красиво но нихуя не получилось
>>125674 не получается, само уравнение не позволяет размыть края smoothstep, в итоге ебусь с sdf капуслой, я просто в ахуе что нет простой функции которая описывает дугу и расставляет радиус согласно значению угла в такой форме