24 декабря Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Наша жизнь полна предрассудков и необоснованных страхов. Однако не все знают, что предрассудки и страхи во множестве присутствуют в математике. Сегодня я расскажу всего лишь про один такой предрассудок — страх перед нулём и единицей.
Древнегреческие математики не считали единицу числом, а понятия нуля у них вовсе не существовало. По этой причине утверждения о целых числах содержали в себе несколько аналогичных формулировок для случаев, когда рассматриваемые числа равны или не равны единице, что можно видеть у Эвклида, когда он излагает свой алгоритм нахождения наибольшего общего делителя («Начала», книга 7, предложения 1 и 2) — он вынужден формулировать два предложения вместо одного (предложение 1 излагает случай, когда наибольший общий делитель равен 1, а предложение 2 — когда не равен).
За прошедшие две тысячи лет люди освоили понятия нуля и единицы, но страх перед ними остался.
Далее я привожу список разнообразных верных утверждений, вызывающих отторжение под влиянием этого страха.
У пустого множества есть ровно один эндоморфизм — пустая функция. Вообще, из пустого множество в произвольное есть ровно одна функция — функция с пустой областью определения. (А из произвольного непустого множества в пустое функций нет.)
Натуральные числа — это те, которые используются при счёте. Это определение я услышал в пятом классе. Счёт — это вычисление мощностей конечных множеств. Пустое множество конечное, стало быть число 0 — натуральное. По-другому думают только ретрограды и мракобесы.
Классическое проявление страха перед нулём — нумерация всего и вся с единицы, хотя зачастую более естественно нумерация последовательными натуральными числами, начиная с минимального — нуля, а часто наиболее естественным вариантом является отказ от нумерации.
Некоторые сумасшедшие продолжают утверждать, будто 0^0 не определено. Особенно популярно это мнение в среде жёстких аналитиков. (И вообще, жёсткий анализ (в противоположность мягкому) — это один из основных источников мракобесия в математике, как отметил один из моих знакомых.) Обосновывают они его следующим аргументом: функция (x,y) → x^y не является непрерывной в точке (0,0). Однако запись многочленов и рядов в форме ∑_k a_k x^k возможна только и исключительно при условии, что 0^0 = 1. Формула бинома (x+y)^n = ∑_k {n\choose k} x^k y^{n-k} верна для всех n≥0 и произвольных x и y также только при условии, что 0^0 = 1 (иначе надо потребовать, что x≠0, y≠0 и если n=0, то x+y≠0). Количество отображений из n-элементного множества в m-элементное равно m^n — смотри замечание выше про эндоморфизмы пустого множества. Отсюда тоже получаем, что 0^0 = 1. Список можно продолжать до бесконечности.
Сумма пустого множества чисел есть 0. Произведение пустого множества чисел есть 1. Упражнение: вычислите значение башни степеней x^{y^{z^…}} для пустого семейства чисел.
Нулевое векторное пространство имеет пустой базис и обладает ровно одним эндоморфизмом — нулевым. Определитель эндоморфизма нулевого векторного пространства равен 1, а его матрицей будет пустая матрица (матрица с пустым множеством строк и столбцов). Морфизмы из нулевого или в нулевое векторное пространство будут иметь пустое множество столбцов или строк.
Произведение пустого семейства объектов (или предел пустой диаграммы) есть терминальный объект, копроизведение пустого семейства объектов (или копредел пустой диаграммы) есть начальный объект. Тензорное произведение (в моноидальной структуре) пустого семейства объектов есть моноидальная единица. В частности, тензорное произведение пустого семейства векторных пространств есть основное поле.
Норму гомоморфизма нормированных пространств f: X→Y часто определяют как sup_{x∈X: x≠0} ‖f(x)‖/‖x‖ или как sup_{x∈X: ‖x‖=1} ‖f(x)‖. Эти определения не работают в случае X=0, а также, если допускаются полунормы, в случае если полунорма нулевая. Правильное определение, работающее во всех случаях, в том числе и для полунорм: ‖f‖=sup_{x∈X: ‖x‖≤1} ‖f(x)‖.
Конъюнкция пустого семейства утверждений истинна, дизъюнкция пустого семейства утверждений ложна. Объединение пустого семейства множеств есть пустое множество. Пересечение пустого семейства множеств есть класс всех множеств (или универсум, или другой аналогичный объект — зависит от используемых теоретико-множественных оснований). Например, топология на множестве X — это семейство его подмножеств, замкнутое относительно произвольных объединений и конечных пересечений внутри X.
Забывающий функтор из категории пунктированных множеств в категорию морфизмов множеств, интерпретирующий пунктированное множество A как морфизм из одноэлементного множества в A, имеет левый сопряжённый функтор. Значение этого функтора на объекте A→B обозначается B/A и называется фактормножеством множества B по множеству A. (Здесь имеет место очевидная волность речи.) В случае A=∅ имеем B/∅=B⊔*, объединение B и одноэлементного множества, тем самым фактормножество иногда может быть больше исходного множества, а факторотображение может не быть сюръективным.
Весьма показательна ошибка, которую сделал Hartshorne в своём учебнике алгебраической геометрии в определении предпучка — он определяет предпучок абелевых групп как предпучок абелевых групп в обычном смысле, удовлетворяющий дополнительному условию F(∅)=0. Это вызывает проблемы уже на элементарном уровне (нельзя определить постоянный предпучок обычным образом, непонятно как определить предпучок со значениями в произвольной категории), а куча утверждений про предпучки (например, про универсальные копополнения) становятся просто неверными.
На самом деле это условие является следствием аксиом пучка. Действительно, для произвольной категории C предпучок со значениями в C — это контравариантный функтор из противоположной категории открытых множеств данного топологического пространства в C, а пучок — это предпучок, удовлетворяющий свойству спуска: конус спуска произвольного покрытия произвольного открытого множества является предельным конусом. Если взять пустое покрытие пустого множества, получаем, что значение пучка на пустом множестве является терминальным объектом.
Желаю всем читателям избавиться от своего страха перед нулём и единицей, если он у них есть, и пользоваться этими понятиями свободно, без дополнительных оговорок.
>>317156 (OP) Я вот учу производные и мне пишут про вычисление формулы касательной графика функции в точке. Собственно, зачем нужна эта касательная прямая? Если функция периодическая, касательная невозможна?
Насчет производных. Тута у вас Фихтенгольца ругают, а у него довольно годно про производные и дифференциалы. Пикрелейтед, NM1 - производная, NK - дифференциал.
>>317180 ну если точнее то это дэ игрек на дэ икс то есть предел дельта игрек делить на дельта икс при дельта икс стремящемся к нулю что тебя не устраивает
>>317183 это ты меня траллируешь сначала производная у тебя это дельта игрек потом дельта игрек по дельта икс потом dy / dx остаётся только сказать, что производная - это производная ебануться, одним словом
>>317186 > сначала производная у тебя это дельта игрек потом дельта игрек по дельта икс ну это не я писал, извини. Я тоже почти школьник > потом dy / dx ну мы согласны что это правильно? Я понял что ты правильно возбухаешь, достаточно добавить из рисунка что это не просто L=NM1/NM а предел L при NM->0
>>317196 >> потом dy / dx >ну мы согласны что это правильно? я ещё раз говорю, что это тоже самое, что сказать - производная это производная. Бессмысленно. >>317197 oh you
Ввожу я такой в гугл дискриминант подразумевая что это производная и мне выводит такую любытную статейку
>Нестандартный анализ — альтернативный подход к обоснованию математического анализа, в котором бесконечно малые — не переменные величины, а особый вид чисел.
>>317197 Если я вообще понял что ты имеешь ввиду то это неправда. Даже у Ньютона было строже, через бесконечно малые. Через бесконечно малые сейчас в нестандартном анализе определяют. >>317200 почему?
>>317203 Не секрет, что раньше(давным давно) использовался аппарат бесконечно малых чисел, при помощи него(сам аппарат не был строгим) получались вполне адекватные результаты. Потом была изобретена теория пределов и от бесконечно малых отказались. Однако, как оказалось можно придать им строгий вид.
>>317204 Какая разница, что было у Ньютона? Важно, как сейчас есть в физической практике. В физике Δy всегда равно dy, а предельный переход не используется никогда. Математики должны смириться, что их лимиты никому не нужны.
>>317213 Открой учебник физики. Там не говорят "для всякого эпсилон". Когда надо, там просто используют бесконечно малые приращения. Лишь изредка что-нибудь разлагают в ряд (Маклорена, разумеется; другие ряды придумали аутисты).
>>317214 >>317242 А как ты определяешь бесконечно малую последовательность без предела? Ну и вообще, вся стат. физика построена на статистике и теории вероятностей, где сплошь и рядом пределы.
>>317255 Зачем мне определять какую-то последовательность? Я всегда могу разбить физическое тело на бесконечно малые кусочки, а потом проинтегрировать обратно.
>>317304 Ну ладно. Пусть у тебя скорость в зависимости от времени изменяется по закону f(t). Тебе надо найти пройденное расстояние в промежутке времени от [t1 до t2]. Что такое атом времени?
>>317311 То есть у тебя будет отдельное определение определенного интеграла для плотности, отдельное для скорости, отдельное для плотности вероятности и т.д.?
>>317321 С заделом на программирование, матрицы, теорвер, булева алгебра, то-се. Просто в школе у меня была стабильная двойка, не интересно было. Может есть не унылые пресные книги, а что-бы приводились сразу примеры использования ИРЛ, вычисление чего-то конкретного. Ибо школьные учебники это кара небесная.
>>317324 > С заделом на программирование 99% программистов математика не нужна вообще (арифметики за 1-4 класс достаточно). Есть смысл заниматься математикой только если тебе интересно.
>>317327 Мне предстоит работать именно с предметной частью, автоматизация, БПЛА. И да, мне интересна именно такая, предметная математика. Теоркат не мое, да.
>>317338 Несмотря на то, что ты школьник и быдлан, я тебе отвечу. Твои представления о математике на уровне 16 века. Понятно, что суть не меняется, от того, что ты дал формальное определение определенного интеграла, но использовать нормальные математические понятия - это удобно. Это язык, который разрабатывался веками. Люди использовали разные подходы, чтобы формализовать матан, и выбрали самый удобный. В учебниках по физике для 1 курса мухосранского пту не встретишь слова "lim", потому что авторы принимают во внимание уровень читателя и апеллируют к интуиции; так сказать, объясняют "in layman's terms".
Трям, подкиньте плиз задачек с репом порешать уровня imc по матану, теории чисел, теории алгоритмов (именно эти не самые сложные плиз) Ну и просто прикольных задач, для которых не нужны сильно знания выше 1-2 курса техновуза
Сап, посоны. Вот у меня задание (2) на картинке. Вроде понятно как делать, но я чот не понимаю, как разложить (1+x)^1/x. По Маклорену надо брать производную в нуле, но там говно какое-то выходит. Наставьте на путь истинный. мимо-пропустил 2 (из 2х) семинара по этой теме
>>317363 >В учебниках по физике для 1 курса мухосранского пту Ни в одном учебнике физики не встретишь слова lim. Просто тупо ни в одном. Нету таких учебников.
>>317403 Нет, в физике нет никаких направленностей. Это просто операция, обратная разбиванию тела на бесконечно малые кусочки. интеграл Лебега определяется не через направленности
>>317404 За интеграл Лебега с тобой говорить я не буду. >Нет, в физике нет никаких направленностей. Нам лично на лекциях вводили интеграла Римана как предел при N->inf И максимальный ранг разбиения -> 0, потому что про направленности не принято говорить на физических факультетах.
>>317412 Ну это довольно современный подход, не спорю, что в приложениях не нужно, но мне лично было неприятно от условия что максимальный ранг разбиения -> 0
>>317413 Нет, это не современный подход, это довольно древний подход из функана, был популярен в тридцатых годах до распространения понятия предела вдоль фильтра. Не будешь так не будешь.
На физических факультетах не используются пределы.
>>317397 И почему это я должен не определять "бесконечно малые кусочки"? Какие у них свойства? Типа меньше таких кусочков уже нет? Я, например, считаю, что в жизни объекта с такими свойствами не существует. В математике ты тоже не сможешь определить объект с такими свойствами, чтобы он имел смысл.
> Интеграл - это бесконечная сумма. Что такое бесконечная сумма? Как мы можем бесконечно складывать числа? Даже если представить, что можем, то откуда мы знаем, что в итоге мы получим конечное число?
> Правила интегрирования даны в таблице. Её нужно просто выучить. Как там в 50х годах? Для этого давно есть математическое ПО. Оно все сделает лучше и быстрее чем ты.
>>317400 Вот зачем ты пиздишь? Я вообще даже не физик, просто погуглил сейчас какие есть учебники по физике и в первом же учебнике увидел слово "lim". Арнольд: "Математические методы классической механики".
>>317424 Не, просто ты реально перетолстил. Правда весь спор мы не уточняем о какой физике мы говорим? О теоретической? О матфизической? Или о физике для экспериментаторов?
>>317425 И че мне твой телескоп-то епта? Нахуя мне твой частный случай? Сформулируй мне определение бесконечной суммы без предела и докажи, например, что 1 + 1/2 + 1/4 + ... = 2.
>>317421 Да, к слову, как мы можем знать, что в итоге получим конечно число ? Получили - значит можно, блять. Та же хуйня что и с лопиталем, если разъебошили и получили ответ, значит можно было
>>317428 А на кой хуй ? предыдущий мой пост о том, что если получили что-то, значит можно было. Если получили результат, то нахуй доказывать что его можно получить ?
>>317434 что тебе не нравится ? Если ответ был получен, то значит его можно получить и не нужно после получения ответа доказывать что его можно получить, если ты не страдаешь дцп
>>317419 Кому ты пиздишь? Может, в курсе "высшая математика" и используются, но в физике никаких пределов тупо нет.
>>317421 Ты пришёл не учить, а учиться. Тебе говорят, что бесконечно малые кусочки есть. Что математики не могут там чего-то определить - проблемы математиков, пусть стараются лучше.
Бесконечная сумма - это когда ты разбил объект на бесконечно малые кусочки, потом как-то вычислил число от каждого кусочка и просуммировал обратно. Это работает по таблице интегралов. Что работает - практика подтверждает. Не будет работать, сделаем новую таблицу.
Учебник Арнольда не известен физикам. Его читают только некоторые упоротые нерды из НМУ.
>>317438 Вычисли мне сумму ряда 1 + 1/2 + 1/3 + 1/4 + 1/5 + ... с любой точностью, какая тебе покажется достаточной. Пока не вычислишь, в тред не пиши.
>>317444 > Собственно сумма ряда обратных квадратов, к примеру ( вроде как ) без определения пределов выводится, доволен ?) С точки зрения Эйлера, безусловно. Но я не верю.
Я, между прочим, задал намного более простой вопрос > докажи, что 1 + 1/2 + 1/4 + ... = 2. и жду ответа.
>>317453 Я не отрицаю пределы, я говорю о том, что можно получив ответ, сказать, что его можно получить. Обратного я не утверждаю, равно как и того, что для получения того факта, что ответ получить можно его обязательно найти
>>317464 > Я не отрицаю пределы, я говорю о том, что можно получив ответ, сказать, что его можно получить. Как ты получил ответ-то епта? Тебе конкретный вопрос задали. Ты понимаешь, что ты все, поехавший?
>>317470 Я учу, что такое гармонический ряд, вывожу его за 2,5 минуты и ебашу. Интересно, как же в твоем понимании считать значения дзеты от нечетных целых чисел ?) Или побежишь к компуктеру
>>317472 Я утверждаю, что математика со всем её аутизмом (пределами, множествами, теоремами) для физики нахуй не нужна и не используется в физике никак. В физике своя, нормальная терминология, не опирающаяся на математику.
>>317492 То есть ты признаёшь, что я прав и лимиты в физике не упоминаются. Ты обзываешь меня только потому что тебе печёт от моей правоты. В физике нет лимитов, смирись.
>>317394 Например, множество целых чисел можно разбить на на два непересекающихся множества четных и нечетных. Как решить эту задачу не прибегая у примерам, а исходя из общей терминологии?
>>317489 +1 Я вот существование решения х+1 = 2 всегда проверяю экспериментально перекладыванием палочек и загибанием пальчиков, а то вдруг клятая жидоматематика соврёт. >>317496 >То есть ты признаёшь, что я прав и лимиты в физике не упоминаются. google: Искажение в собственную пользу. Искажение самовозвеличения. Когнитивные искажения
>>317497 > Как решить эту задачу не прибегая у примерам, а исходя из общей терминологии? Ну я не смог решить, когда задался этим вопросом, я просто нагуглил ответ на вопрос.
>>317511 Ну это просто нерусский учебник. Спивак, Арнольд - по фамилиям же видно, что они жиды, их читают только другие жиды из НМУ. А жидовские всякие лимиты нам в Россеюшке не нужны.
Я думал физика - это такой кружок людей, которым по фану строить мат. модели для каких-то реальных процессов. То есть по-дефолту предполагается, что калькулус в виде интегралов, производных и пределов (которые "фундаментальнее" интегралов и производных) они знают, поэтому пояснять им, что производная - это предел отношений не нужно. В том же смысле пределы не используются в гомотопической топологии какой-нибудь, или в каком-нибудь анализе на многообразиях.
>>317531 >>317534 Пикрелейтед с математической точки зрения есть ахинея. Вы не увидите здесь слова лимит, зато увидите не известный математикам "элементарный путь". Суть бесконечно малую длину, которую свободно можно интегрировать и которая неизвестным для математиков образом равна проекции другой бесконечно малой величины.
>>317535 Физика = теоретическая физика + экспериментальные подтверждения теорий. То есть учебник по физике - это учебник по теоретической физике с ремарками вида "Сэрр Жан-Поль Ван-Дам проверял эту модель 700 раз экспериментально в году эдак 1542 - вроде работает, поэтому есть смысл в неё верить".
>>317540 Все учебники физики выглядят именно так. "Строгость" - это мем аутистов от математики. В физике используется своя собственная математика, не похожая на математику, которую делают математики.
>>317541 >Все учебники физики выглядят именно так. Ну не все, вот Арнольда и Спивака в пример приводили. Выглядят так большинство учебников по понятным причинам, - гораздо проще "уловить общую суть" модели, чем вдаваться в тонкие детали. >В физике используется своя собственная математика, не похожая на математику, которую делают математики. Да нет, такая же точно математика используется.
>>317542 Смелое заявление, давай проверим. Сколько раз за этот год ты использовал понятие внешнего дифференциала дифференциальной формы? В штуках.
>>317543 В физике есть процесс разбивания физического тела на бесконечно малые. Математически эта операция бессмысленна. В математике есть множества. В учебниках физики множества не используются никогда.
>>317546 >В физике есть процесс разбивания физического тела на бесконечно малые. Математически эта операция бессмысленна. Приведи пример, я поясню. >В математике есть множества. В учебниках физики множества не используются никогда. Они не используются никогда в том же смысле, в котором они не используются в алгебраической топологии, операторных алгебрах, теории чисел, анализе на многообразиях и прочих разделах математики, изучающих довольно богатые структуры. Множества дают основания для математики (одни из возможных!), а для достаточно богатой теории, в принципе, абсолютно не важно на каких основаниях её строить и понимать ли функцию как множество пар или как стрелку в какой-то категории.
>>317546 >В математике есть множества. В учебниках физики множества не используются никогда. А так ты тот петух, который тред создавал, помню тебя. >использовал понятие внешнего дифференциала дифференциальной формы? Как то надо было потоки векторных полей считать, там это прекрасно пригодилось, ибо, каким-то чудом, все выражалось аналитически. В штуках? Хм ну интергалов 7-8 было. А так из последнего с чем столкнулся, счет топологических индексов, что напрямую меня закинуло во владения гомотопической топологии
>>317546 > В учебниках физики множества не используются никогда. Я утверждаю, что натуральные числа не используются никогда. Используются их записи в различных системах счисления.
>>317557 >Например, разбиение заряженного кольца на бесконечно малые бусины с целью посчитать поле. Ну так не разбивай а говори сразу "возьмём такой-то интеграл", и не пострадает строгость. Проблемы не вижу в упор. >>317565 Не знаю как тот физик-кун, но я четыре раза прочёл и не смог вникнуть в логику поста.
>>317567 Я разбиваю кольцо на бесконечно малые бусины. Эта операция имеет физический смысл. Я не буду от неё отказываться только потому, что аутисты от математики считают её неприемлемой.
>Я разбиваю кольцо на бесконечно малые бусины. Эта операция имеет физический смысл. Я не буду от неё отказываться только потому, что аутисты от математики считают её неприемлемой. Ты какой-то ебанутый. Предположим я маломерный тополог (хотя я не являюсь им). И в учебнике по топологии читаю: "склеим круг по диаметрально противоположным точкам его границы", - захожу на двач и такой "ко-ко-ко, в топологии совершенно другой язык, чем в математике, вот например там есть "склейка пространств", которая в математике смысла не имеет", - и мне совершенно нормальные люди отвечают, - "ну говори не "склеить по противоположным точкам" а "взять фактортопологию по отношению эквивалентности, которое не различает каждую точку границы и диаметрально противоположную точку" ", и я такой - "склейка имеет топологический смысл, я не буду от неё отказываться только потому, что математики-аутисты считают что это не строго", - и господа совершенно справедливо ссут мне в лицо (как я тебе сейчас). Есть интуитивные образы, а есть их строгая формализация и вполне можно существовать мысля интуитивными образами, но при этом, при особой нужде, формализуя их с достаточной строгостью в виде математических конструктов.
>>317577 Ты не предлагаешь синонимов для операции разбиения кольца на бусины. Ты предлагаешь вообще отказаться от этой операции, хотя она очень важна для понимания смысла.
>>317583 Ну например так: если мы считаем какую-то величину F(C) для кривой С (которая суть некое отображение I:[0..1]->R^3), которая аддитивна и "слабо зависит от шевелений". (Тобишь по сути у нас определён линейный непрерывный функционал на пространстве кривых). То фразу "разобьём кривую на бесконечно малые участки элементарных путей посчитаем F на каждом участке и затем проинтегрируем" можно заменить на "возьмём кусочно линейную кривую C_eps, отличающуюся от нашей не более чем на eps, посчитаем F(C_eps) а затем возьмём lim(eps->0) F(C_eps)".
Решаю пикрелейтед. Подбором нашел, что ответ 1976. Чтобы проверить, нужно просто раскрыть скобки. Как доказать, что это единственное решение? Понятно, что это единственное целое решение. Но как доказать, что это единственное вещественное решение?
Поясните за доказательство. Вот он ищет дельта, чтобы удовлетворял условию. Почему |f(x) -f(y)| = |x-y-(sinx-siny)| что = |x-sinx-y+siny|? Это очепятка или так и надо? Если сделать таки правильно, то можно ли будет уничтожить минус у |siny - sinx| и сделать его = |sinx - siny|. Или из-за модулей это вообще похуй? И откуда он берет в предпоследнем выражении 2|(x-y)/2| > 2|sin((x-y)/2)*cos((x-y)/2)|? Просто типа по логике, чтобы получить дельта или тут что-то более хитрое?
>>317634 Какое-то странное решение, трюковое. Я такое не люблю. Я тебе предлагаю так решить: 1) Найди где-нибудь доказательство следующего известного утверждения. Пусть X и Y - метрические пространства, X компактно и f - непрерывная функция из X в Y. Тогда f равномерно непрерывна на X. 2) Докажи, что сумма непрерывных функций непрерывна. 3) x и sin(x) - непрерывные функции, поэтому f(x) = x + sin x тоже непрерывна. 4) Так как R компактно, f(x) равномерно непрерывна
>>317634 1. Думаю, там опечатка, должно быть |x-y+(sinx-siny)|
2. >Откуда он берет в предпоследнем выражении 2|(x-y)/2| > 2|sin((x-y)/2)*cos((x-y)/2)|? Там <=, а не <. cos(?)<=1 |sin(x)|<=|x|
Что тут неясного? >>317639 >трюковое Решение в лоб, через определение непрерывности же. Ты решаешь, как математик, а это скорее всего задачка не для математиков.
>>317639 >4) Так как R компактно, f(x) равномерно непрерывна Как мне помнится, само R некомпактно, а вот его пополнение элементами +inf -inf компактно.
>>317649 > ешение в лоб, через определение непрерывности же. Ты решаешь, как математик, а это скорее всего задачка не для математиков. Ну это как-то странно. Зачем вот тебе доказывать, что x + sin x равномерно непрерывна? Если, скажем, тебе понадобится доказать, что 2x + cos(x) или 3x + sin(x) + cos(x) равномерно непрерывны, ты опять будешь через определение равномерной непрерывности и тригонометрические трюки доказывать?
Может быть, автор упражнения думал, что без этого упражнения ты не поймешь определения равномерной непрерывности.
>>317650 > R некомпактно Да, чет я проебался. Надо подумать еще, как нормально доказать.
>>317634 Если f и g равномерно непрерывны, то f+g - равномерно непрерывная. Любая периодическая непрерывная функция равномерно непрерывная, так что всё очевидно тащемта.
Вопрос: а математические школы для школьников и студентов формата "лекции по интересным сюжетам" типа Дубны или Ярославля это особенность только советской/российской системы образования, или есть и за рубежом? Можно ссылочек если есть?
А пикрелейтед случайно не знаешь как решить? Я вывел формулу для a_n и собираюсь тупо в лоб найти предел. a_n = p_n / p_{n-1}. Формула для p_n на пикрелейтед 2. Но по идее должно как-то изи решаться.
>>317717 Да что там искать, посмотри, что чётные и нечётные члены образуют монотонные ограниченные последовательности поэтому имеют предел, и понятно какой.
>>317661 Нет. Если ты будешь доказывать равномерную непрерывность синуса через определение, тебе придется использовать тот же самый тригонометрический трюк
Как искать годные учебники? Есть какие-нибудь каталоги, сервисы или рейтинги, мне вот нужен учебник по линейному программированию, но их тысячи, как быстро отмести шлак и выбрать годный, времени на перечитывание каждого у меня нет.
Нихуя не могу решать односторонние пределы с нулем. Есть у меня фунцкия и хули блядь - ебашу 0- и 0+ туда, получается жи одно и тоже!. Ебаный в рот блядь! Ладно там когда 1/x, может и видно разницу. А так хуй пймешь, почему пидор вольфрам выдает разные значения. Как с этим бороться?
>>317156 (OP) Итак, матаны, раз я задал треду направление на пределы, поясните не немножко.
Производная это формула касательной прямой к графику функции!? Смысл касательной? Что она показывает, зачем нужна? Интеграл это формула графика соответствующего данной касательной?! Почему тогда интеграл называют сумму бесконечно малых? Поясните мне что и где я не понял.
>>317941 Ты вместо того чтобы все действия над функцией сперва проделать сразу туда предельное значение ебашишь. Надо же раскрывать скобки, отнимать все что можно и сокращать. А то у тебя предел при икс стремящимся к нулю (1+2)^x/ будет равно нулю, а не какому то там бесконечному ряду.
>>317981 в душе не ебу, кто этот твой зельдович-хуёвич, но везде в курсах матана 1-го семестра производная определяется как предел отношения приращения функции к приращению аргумента при стремлении последнего к нулю, если таковой, конечно, существует. А теперь скажи мне, нахуя я это написал?
>>317984 Это >производная определяется как предел отношения приращения функции к приращению аргумента при стремлении последнего к нулю я и так знал. Но у зельдовича пишеться что по формуле производной какой то функции можно провести касательную в произвольно выбранной точке графика функции.
Есть интеграл Римана: предел сумм Римана, сумма Римана это такая вещь: разбиваешь отрезок (не обязательно на равные отрезки), определяешь диаметр разбиения (наибольшая разница между соседними точками), потом на каждом отрезке отмечаешь точку "x1, x2, x3,... ", теперь мы сделали отмеченное разбиение, теперь нужно составить сумму Римана: f(x1)(x2-x1)+f(x2)(x3-x2)+... Это и есть "собственный интеграл Римана", есть всякие требования для того, чтобы можно было его определить (функция должна быть ограничена и проч.), но писать подробно не стану.
Есть такое понятие "неопределенный интеграл" от f(x) - это просто класс (множество) функций F(x), таких, что F'(x)=f(x)
Есть теорема Нюьтона-Лейбница: она как раз говорит, что если взять неопределенный интеграл от f(x), получить F(x), то: "F(x2)-F(x1)= интегралу Римана от функции f(x) на отрезке [x1,x2]"
>>317994 >>317992 Ну тоесть, интеграл, сферический в вакууме, это сумма бесконечно малых. В частных случаях, если заданны границы, это разница функции между верхней и нижней границей.
>>317995 >Ну тоесть, интеграл, сферический в вакууме, это сумма бесконечно малых. Да иди ты нахуй с такими "АБСРАКЦИЯМИ". Тебе дали чёткое определение, нет блядь, нужно его переиначить, используя какую-то даже самому себе непонятную терминологию. Залил тебе в рот сумму бесконечно малых.
>>317992 Ньютон-Лейбниц только для непрерывных выполняется.
>>317988 Вообще производную можно тремя способами воспринимать: 1) (физический смысл) Если у нас у частицы, двигающейся по прямой в момент времени t координата x(t), то x'(t) - это скорость частицы в момент времени t. Ещё один образ - если у нас частица движется под действием некоторых сил, то если в момент времени t все эти силы "отключить", то частица полетит равномерно и прямолинейно с некоторой скоростью - эта "элементарная" скорость - и есть производная. 2) (геометрический смысл) f'(x0) это тангенс угла наклона касательной к графику функции f(x) в точке x0 3) (аппроксимационный смысл) Производная в точке f'(x0) - это линейное отображение, наилучшим образом приближающее f в точке x0. Например, если нужно посчитать sqrt(4+0.00001) то есть смысл в первом приближении считать sqrt(4)+sqrt'(4) 0.00001 = 2 + 1/8 0.00001
>>317996 А я вот убеждён, что мотивировки и интуитивные образы как минимум столь же важны, сколь и важны чёткие определения.
>>317996 На ровном месте лопнул. Проверь давление в шинах прежде чем ехать дальше.
>>317997 Значит по физическому смыслу это значение функции в точной точке, по геометрическому тангенс треугольника с гипотенузой проходящей касательно к выбранному графику это что получается, значение будет путешествовать по кривой тангенса?, а аппроксимационный вычисление значений функций в произвольной точке?
>>317998 >Значит по физическому смыслу это значение функции в точной точке, по геометрическому тангенс треугольника с гипотенузой проходящей касательно к выбранному графику это что получается, значение будет путешествовать по кривой тангенса?, а аппроксимационный вычисление значений функций в произвольной точке? Я не понял ни одного вопроса, но скорее всего ты меня понял неправильно. Попробуй читануть начало параграфа V.1 в "Математическом анализе" Зорича, там всё по мотивировкам расписано лучше, чем у меня.
>>318000 Ну вот ты говоришь что геометрически это значение тангенса угла наклона касательной к графику в некой точке. Тангенс имеет свой личный график, который тянется из минус бесконечности в плюс бесконечность как макаронина. Значит значение производной функции будет равняться значению тангенса для этого угла в этой точке!?
>>318007 Если коротко, производная это тангенс угла касательной функции в некой точке. Это значение будет равно обычному тангенсу треугольника, проходящему в этой точке.
Измена тян - это просто вопрос времени. Самки по своей природе полигамны и постоянно сравнивают самцов. Если выбор невелик, то сойдет Сычев, но как только на горизонте покажется высокоранговый охуенный самец, Сычев будет послан нахуй.
>>318011 >>318014 >для этого угла в этой точке!? для какого этого? есть у тебя парабола. к каждой точке параболы можно провести касательную. касательная это ПРЯМАЯ. эта ПРЯМАЯ пересекает где то ось x. пересекает под каким то углом. так вот ПРОИЗВОДНАЯ это тангес именно этого угла. и никакого отношения к графику тангенсов не имеет вообще. наглядный пример это синус, у которого производная косинус.
>>318014 интеграл неопределенный это первообразная функции. все остальное уже дальше. а первообразная, это функция, для которой данная функция является производной. в примере синуса и косинуса, если косинус это производная от синуса, то синус это неопределенный интеграл от косинуса
>>318014 если ехать дальше, возьмем и зададимся задачей отыскать площадь криволинейной трапеции, у которой нижнее основание это ось х от 1 до 2, левый бок это перпендикуляр из х=1 до параболы, правый бок это перпендикуляр из х=2 до параболы. парабола это у=х^2
>>318021 как искать площадь фигур с границами из отрезков прямых(треугольнык, прямоугольник и т.п.) мы знаем, поэтому тут мы сделаем так - разобьем эту криволинейную параболу на много много маааленьких отрезков. настолько маленьких, что кусочек параболы в каждом из этих отрезков будет как прямой, и тогда у нас будет куча мелких прямоугольников. вычисление определенного интеграла по сути это суммирование этих маленьких прямоугольников. по другому интегрирование. а еще есть дифференциирование. это как раз процесс разбиения на эти маленькие прямоугольнички любой криволинейной поеботы. в процессе дифференциирования в свою очередь всплывает производная. т.к операции дифференциирования и интегрирования взаимообратны. как сложение и вычитание, умножение и деление, возведение в степень и вычисление корня.
>>318037 на бумаге отметь точки, потом линейкой отмерь, офк тебе линейки не хватит чтобы от одного конца до другого довести, поэтому придется несколько раз линейку прикладывать последовательно. Чтобы длину узнать, сложишь то, что получится на линейке, погрешность: нужно знать погрешность самой линейки, и по формуле пикрелейтед считать "Погрешность косвенных воспроизводимых измерений", т.е если делал N измерений и получил X1, X2, X3... длины, то длина линейки это просто сумма, а для погрешности: (dX1^2+dX2^2+...)^(1/2) Ну это не точный метод измерения, линейка все-таки не такая уж и точная, да и есть неучтенные факторы (можно линейку криво приложить) Есть человечный способ >>318038
>>318021 >>318024 >>318025 Мне щас свой конспект лень искать чтобы писать все подробно, поэтому напишу примерно. Короче решали интеграл какой то, я решил так как ты написал, тобишь получил конкретное число. Когда я это показал лектору он сказал что все хуйня и не правильно и у меня должен был получиться интервал значений от 6.8 до 7.2. Что это такое было?
>>318104 я чет даже не представляю что это даже могло быть. матан у меня был лет 10 назад. какие то общие вещи помню, а чтоб интеграл вываливался в интервал значений.... лучше покажи пример, обьясню что это было. если конечно сам пойму
>>318104 может под интегралом параметр какой то был? и он был под синусом например. синус может принимать значения от -1 до 1. вот мол меняя параметр будет скачек от 6.8 до 7.2 . конечно скорее всего это не твой случай, показывай пример
>>318443 Это аксиоматическое понятие, потому и туплю. Верно ли, что если множество А является элементом множества В, то множество В есть семейство множеств? Алсо, верно ли, что булеан множества есть семейство множеств?
>>318446 Пусть M - множество множеств. Пусть I - множество. Каждая сюръективная функция f:I->M называется семейством множеств над M.
Мы говорим, что множество x является элементом семейства f, если x является элементом множества M. Мы говорим, что множество x входит в семейство f с индексом i, если f(i) = x. Множество может входить в семейство более чем с одним индексом. В таком случае мы говорим, что у нас есть несколько экземпляров множества x.
Семейство множеств является множеством, так как любая функция является множеством. В теории множеств ZFC любой объект является множеством. >Верно ли, что если множество А является элементом множества В, то множество В есть семейство множеств? Нет. >Алсо, верно ли, что булеан множества есть семейство множеств? Нет. Главное свойство семейства - наличие множества индексов. Нет индексов - нет и семейства.
Тем не менее, с помощью одного технического трюка каждое множество можно рассматривать как семейство. А именно, пусть M - множество. В качестве I возьмём само M. Рассмотрим тождественную функцию f: M->M такую, что f(x) = x. Тогда f будет семейством над M. Мы будем иногда называть такие семейства самоиндексированными, потому что каждый элемент является своим же индексом.
>>318505 >>318446 >Верно ли, что если множество А является элементом множества В, то множество В есть семейство множеств?
нет, не верно. контр пример такое множество B в котором только один элемент это множество, а все остальные тупо элементы. в кодинге это очень удобно. чисто допустим что массив это множество. каждый элемент массива это какое то число. множество множеств это массив массивов получится. такой массив, у которого элементы сами по себе массивы. так вот любой массив массивов(множество множеств) будет массивом(множеством). но из этого совершенно не следует что каждый элемент мимокрокового массива массивов будет массивом. может быть так что только один элемент будет массивом, остальные тупо числами. или любая другая комбинация. например один элемент массива массивов(множества В) может быть сам массивом массивов, другой просто числом, третий массивом и так далее. и, как видишь, из того что один из элементов массива массивов будет сам массивом совсем не следует что все остальные элементы множества В будут именно такими же
>>318516 дополню, верно только то, что в множестве Б можно выделить подмножества. каким угодно способом. в том числе и пустые подмножества. и обмазываться ими до бесконечности)
>>318516 Кроме того, что ты, очевидно, не знаком с аксиоматической теорией множеств, на которую указывал анон выше, ты еще и говоря о кодинге подразумеваешь недоязыки с динамической типизацией.
>>318519 >>318520 бля - анон спросил, я ему на простом примере показал ложность. нет, надо приебаться к аксиоматике наплевав на >>318517 где оговорено что дробить можно на подмножества которые будут все таки множествами. и еще к типизации, хотя причем тут типизация маня? или просто пригорел? лiл
По-моему, словосочетание "семейство множеств" существует просто для понятности и ничего содержательного в себе не несет. Например, рациональное число - это класс эквивалентности пар из Z x (Z \ {0}). Но при этом никто не называет Q семейством множеств. Обычно семейством множеств называют что-нибудь типа топологии или сигма-алгебры.
То есть вопрос "является ли A семейством множеств" имеет не больще смысла чем "каким шрифтом нужно писать A - обычным или каллиграфическим?"
Правильно ли я понимаю, что если какие-то результаты не названы чьей-то фамилией, то любой человек, разбирающийся в предмете, должен уметь без проблем сам их получить? Конкретно я говорю про полярное разложение оператора. Прочитав формулировку, я пытался понять, как разложить, и не придумал. Дальше я начал читать доказательство постепенно, пытаясь после каждого шага самостоятельно закончить, но ничего не получалось и каждый последующий шаг казался мне неочевидным.
Собственно, это вопрос о том, как читать книги. Как при чтении математической литературы понять, какие результаты должно быть легко получить, а какие представляют собой сжатый и вылизанный результат долгой работы? Если, допустим, теорема названа чьей-то фамилией, то я особо долго не пытаюсь сам ее доказать, потому что скорее всего она содержит хитрый трюк (или несколько) и для доказательства нужно проявить смекалочку. А если теорема не названа ничьей фамилией, то я долго пытаюсь сам ее доказать и если не удается, то у меня возникает ощущение, что я плохо разбираюсь в материале.
>>318572 Видимо, он думает, что > Пусть M - множество множеств. > Пусть I - множество. > Каждая сюръективная функция f:I->M называется семейством множеств над M. Первый раз такое вижу.
> Алсо, верно ли, что булеан множества есть семейство множеств? > Нет. Короче, он поехавший просто.
>>318624 Если угол /beta - тупой, то решение одно, если острый, то может возникнуть ситуация, когда треугольник определен неоднозначно, т.е. 2 варианта. (попробуй построить его по данным двум сторонам и несмежному углу)
>>318575 >>318516 >>318490 Я тот анон, что спрашивал про семейство множеств. Суть вопроса в том, чтобы для себя разделять множества, в которые: 1. В качестве элементов входят собственно элементы множеств (множества в обычном смысле). 2. В качестве элементов входят множества (семейства множеств). Речь шла не об индексированных семействах, а о явлении множества, которое может в качестве элемента содержать в себе другое множество. Таким образом данное множество будет семейством.
>>318645 Не существует примитивов. Нет каких-то элементов, которые не являлись бы множествами. Любой объект - это множество. Число 5 - множество. Функция - множество. Отношение - множество.
>>318647 Это уже все отвлеченные выдумки. Аксиоматически определяется множество и элемент, который может содержаться в нем или не содержаться. Явно не указывается. что сам элемент обязан быть множеством. Конкретно по вышеописанным критериям можно привести два примера множеств: 1. A={a,b} , a, b Є R 2. 2^A В таком случае первое будет множеством, которое не содержит в себе множеств в качестве элементов, а второе — семейством множеств, которое содержит в себе множества в качестве элементов.
>>318692 Где это сказано? Из приведенной тобой выше ссылки следует, что элементы могут быть множествами, но не обязаны ими быть. Более того, ты упускаешь тот факт, что во многих случаях понятия, определяемые как множества (те же функции, например) могут рассматриваться как элементы без учета их природы как множеств, лишь потому, что в рассматриваемом случае нас не волнует, что функция это некое подмножество прямого произведения, нас волнует сама функция. Такая замена вполне нормальна.
>>318696 Это сказано в любом нормальном учебнике. Любой объект, который может быть элементом множества, но не является множеством, является урэлементом по определению урэлемента. Урэлементов нет.
>>318702 Абстрактное множество A={a}. Множество А определено списком его элементов, из которого не следует, что a это множество. Потому в данном случае говорить, что А это семейство нет смысла.
>>318707 Я думаю, случайное число будет трансцендентным с вероятностью 1. Это должно быть как-то связно с тем, что множество алгебраических чисел счетно.
Антуаны, нахуя нам всрался символ Якоби, если он однозначно не говорит о разрешимости сравнения по составному модулю? Символ Лежандра заебись, а это что за говно?
>>318716 Нормальный учебник теории множеств - это учебник, в котором явно сформулированы аксиомы теории множеств на языке явно сформулированной формальной теории. Школьные учебники нормальными не являются.
>>318707 Тыкаем пальцем в числовую ось, вероятность попасть в алгебраическое число равна нулю в силу их счетности и вложенности в континуальное множество.
>>318726 В аксиоматике ZFC ничего не говорится о том, что элемент есть множество. Алсо Куликов. Л "Алгебра и теория чисел" составлен для преподавания математики в университетах. Там детально освещаются все необходимые для главных в этом учебнике разделы. Потому наивно думать, что такой важный момент как тождество элемента множеству был бы упущен, если бы это действительно было так. Но я не спорю с тобой о том, что один учебник лучше другого. Было бы прекрасно, если бы ты назвал ряд учебников, которые ты считаешь нормальным.и Всегда приятно читать "нормальную" литературу.
>>318730 >>318731 >такой важный момент как тождество элемента множеству Хотя погоди, что? Какое тождество? a и {a} - это два разных множества, если ты об этом.
>>318733 Высказанное мной. Да, любой объект в ZF (и с выбором, и без) является множеством. Я не утверждаю при этом, что множество a - это то же самое, что множество {a}, - отнюдь, это два разных множества. Я утверждаю, что любой объект является множеством в ZF (а в чуть менее популярной NBG любой объект является классом), объектов другой природы нет, урэлементов нет. Причины этого расписаны в книжке Френкеля (который F в ZF) по второй ссылке.
>>318730 Как ты заебал. Естественно, не любой объект - множество. Я в основаниях не разбираюсь, но если использовать теорию категорий, то точно есть объекты, не являющиеся множествами.
> Там детально освещаются все необходимые для главных в этом учебнике разделы. Потому наивно думать, что такой важный момент как тождество элемента множеству был бы упущен, если бы это действительно было так. Во-первых, схуяли он важный? Твой вопрос - абсолютно бесполезная философская хуйня, что-то на уровне определения N. Во-вторых, объекты не берутся из ниоткуда, они конструируются с помощью определенных правил. Конструируя из множеств, ты не получишь какую-то ебалу, ты всегда получишь множество.
>>318739 Только ясность появилась, так ты пришел и просрал все. Может, все дело в том, что >в основаниях не разбираюсь ? >Во-первых, схуяли он важный? Важен он потому, что необходимо понимать природу объектов, с которыми работаешь. В противном случае и производные считать можно, не думая над тем, что это такое вообще. >Во-вторых, объекты не берутся из ниоткуда А это и не утверждалось.
>>318739 Традиционная теория категорий (в формулировке Маклейна, например) строится на аксиоматике NBG. В этой аксиоматике каждый объект является классом. Классы бывают двух типов: собственные и несобственные. Собственные классы не могут быть элементами классов. Несобственные классы могут быть элементами других классов. Несобственные классы иногда называют множествами. Собственные классы - это очень большие классы. Настолько большие, что не могут из-за этого являться множествами. Например, класс всех множеств - собственный.
Тем не менее, элементов, которые сами не являлись бы множествами, нет и в NBG.
>>318741 > Важен он потому, что необходимо понимать природу объектов, с которыми работаешь. В противном случае и производные считать можно, не думая над тем, что это такое вообще. Ну давай тогда определяй, что такое "буква". Ты же с математическими текстами работаешь, а они из букв состоят.
Немного истории вопроса и объяснения ситуации. Во времена Кантора, когда только всерьез появилось понятие множества, математики, конечно не считали все объекты множествами. Когда же происходила разработка аксиоматической теории множеств и формализации математики на ее основе (первая четверть прошлого века), то стало ясно, что для этих целей элементы, которые не являются множествами (праэлементы или урэлементы) на самом деле не нужны. В итоге в канон вошла версия аксиоматической теории множеств без праэлементов. Но по факту, вопрос совершенно не принципиальный, с тем же успехом можно было бы рассматривать и теорию множеств с праэлементами и мало бы что поменялось.
>>318754 Но ведь понятие "атомарных" объектов разве не имеет смысла? Понятно, что если любой элемент является множеством, то получим бесконечную последовательность множеств, каждое из которых есть подмножеством исходного множества (элемент которого рассматривался). Для простоты и ясности можно заменить бесконечную последовательность множеств элементом и говорить о его принадлежности какому-нибудь множеству, которое интересует нас в конкретной ситуации. Такой подход имеет смысл?
>Но ведь понятие "атомарных" объектов разве не имеет смысла? Ну оно вполне осмыслено, но не слишком полезно. Ровно по этой причине от него отказались в мэйнстримной аксиоматической теории множеств.
Что ты содержательно хотел сказать дальше в посте я не понял.
>>318763 В каком плане не очень полезно? Если нас интересует конкретное множество, от которого мы будем отталкиваться, то что "не полезного" в том, чтобы рассматривать его как совокупность атомарных понятий, если природа самих элементов в данном случае нас не интересует? Пример: теория чисел рассматривает числа, как атомарные понятия, так как теорию чисел не интересует то, что такое число, интерес представляют их свойства. В то же время, для математического анализа такого атомарного представления о числах недостаточно, потому вводятся другие понятия, определяющие числа. Так вот: делает ли такой подход к числам в теории чисел саму теорию "не полезной"? Если нет, то в чем она выражается, эта "не полезность"?
>>318762 В классических теориях множеств атомарных объектов нет. Есть аксиома: если x и y - множества, то существует множество {x,y}. Из неё вытекает простая теорема: если x - множество, то существует множество {x}. Пустое множество ∅ существует по ещё одной аксиоме.
Поэтому существуют множества ∅ {∅} {∅, {∅}} {∅, {∅}, {∅, {∅}}} и так далее. Можно объявить, что ∅ есть число 0, {∅} есть число 1, {∅, {∅}} есть число 2, {∅, {∅}, {∅, {∅}}} есть число 3 и так далее (каждое последующее число есть множество всех предшествующих чисел). Действуя таким способом, мы можем доказать существование любого конечного количества натуральных чисел, десяти или миллиона. Бесконечное же множество всех натуральных чисел существует по аксиоме бесконечности.
Таким образом, имея лишь одно пустое множество, с помощью аксиом ZF мы можем доказать существование бесконечного количества разных объектов. Нам не требуется вводить какие-то логические атомы, ведь пустое множество и аксиомы ZF дают нам достаточно объектов, чтобы занумеровать все молекулы во вселенной.
>>318765 Числа - это тоже множества. Как вводить натуральные числа, я показал. Все остальные числа легко строятся как теоретико-множественные конструкции из натуральных чисел.
> Если нас интересует конкретное множество, от которого мы будем отталкиваться, то что "не полезного" в том, чтобы рассматривать его как совокупность атомарных понятий, если природа самих элементов в данном случае нас не интересует В контексте формализации на основе теории множеств ставился вопрос о принципиальной возможно формализовать те или иные области. С такой постановкой нет никакого вреда в том, чтобы числа были не праэлементами и с формальной точки зрения сами имели какие-то элементы. Для "концептуально-правильной" формализации теория множеств в любом случае (хоть с праэлемнтами, хоть без них) подходит слабо. Не зря же люди в наши времена разрабатывают теории типов.
>>318770 > теории типов да мне бы теорию множеств осилить. К тому же, всегда интересовала структурная иерархия разделов математики. Вдаваться в дебри каждого раздела не так доставляет.
>>318769 Почему пустых? Множество, элементом которого является пустое множество, не есть пустое множество. ∅ - пустое множество. {∅} - уже не пустое множество.
>>318772 Да, неправильно выразился. По сути же, в таких семействах нет ничего, кроме пустого множества и множеств, содержащих пустое множество. Именно это я и имел в виду.
>>318774 Тогда да. Иными словами, числом 0 объявляется пустое множество, числом 1 - {0}, числом 2 - {0,1}, числом 3 - {0,1,2}, числом 4 - {0,1,2,3} и так далее.
>>318780 Зависит от того, как определены кардинальные числа. Это уже тонкости. В принципе, конечные кардиналы без проблем можно отождествить с конечными ординалами, а конечные ординалы - с натуральными числами. В таком случае мощность множества 4 будет самим этим множеством 4, например.
>>318781 В какой аксиоме ZFC искать объяснение того, что какое-то множество может называться "слишком большим" и не подходить по этой причине под определение множества? >Иными словами, мы хотим ввести понятие ординала как класса изоморфизмов вполне упорядоченных множеств, то есть класса эквивалентности, основанного на отношении «изоморфности с сохранением порядка». При таком подходе, однако, существует одна техническая сложность: определенный таким образом класс эквивалентности оказывается слишком большим, чтобы подходить под определением множества с точки зрения стандартной формализации теории множеств по Цермело-Френкелю.
>>318792 это следует не напрямую из аксиом ZFC, а от противного. Мол, если бы существовал такое множество всех множеств A, то для него A = 2^A, что противоречило бы известной теореме.
>>318792 Ситуация красивее. В ZFC просто нет аксиом, благодаря которым большие множества могут существовать. ZFC не предоставляет инструментов, с помощью которых можно доказать существование класса эквивалентности вполне упорядоченных множеств. ZFC не запрещает существование больших множеств явно, но и не предоставляет какой-либо возможности доказать их существование.
>>318795 Класс эквивалентности вполне упорядоченных множеств был бы множеством всех множеств в понимании наивной теории множеств? Разве нельзя было бы построить множество, большее чем класс эквивалентности таких множеств, тем самым показывая, что это не самое большое множество?
>>318803 Ну то же парадокс Рассела, не? Исходя из теоремы Кантора, можно сказать, что множества всех множеств не существует, но разве из этого следует, что какое-либо явно заданное семейство (типа класса эквивалентности вполне упорядоченных множеств) не существует? Оно же не содержит в себе все множества, а лишь те, которые эквивалентны вполне упорядоченным.
>>318808 ну с классом эквивалентности вполне упорядоченных множеств может и не всё так просто, сходу сложно говорить, если по чесноку Но ващет, по моему мнению, ко всей этой хери нужно относиться несколько проще. Если у тебя есть какое-то множество, то изъёбывайся с ним как хочешь, с чистой совестью бери его подмножество по любому предикату. Но если никакого начального множества нет, то и не пытайся выебонить такими понятиями как множество всех множеств, его подмножествами и пр. Бог против этого.
>>318812 Я говорю про обычную повседневную практику. Если существование некоторого объекта не доказано, то его стараются не использовать. Пожалуй, правильнее назвать это чем-то вроде презумпции. Теория считается законченной только тогда, когда вопрос о существовании её основных объектов однозначно решён. Доказать несуществование какого-то множества можно, да.
>>318811 >>318811 Получается, что если я использую для построения такого множества аксиому бесконечного множества, то это значит, что такое множество не будет классом эквивалентности, верно?
>>318815 Предполагаю, что существует бесконечное множество, элементами которого есть вполне упорядоченные множества, эквивалентные между собой. Но так как сама аксиома предполагает, что каждый последующий элемент должен включать в себя предыдущий, то такое ее использование неверно и из этого следует, что такое множество построить нельзя?
>>318816 всё не так. Аксиома бесконечности говорит о существовании не абстрактного бесконечного множества, а вполне конкретного СЧЁТНОГО. Фактически, она говорит, что существует натуральный ряд. Всё.
>>318816 Аксиома бесконечности утверждает, что существует по крайней мере одно непустое множество M такое, что если x∈M, то x∪{x}∈M. Множество M называется индуктивным.
>>318817 На самом деле натуральный ряд может оказаться собственным подмножеством M. Никто ведь не говорит, что ℕ∉M. Натуральные числа получаются из M по схеме выделения подмножеств.
>>318818 Точнее говоря, аксиома бесконечности утверждает существование по крайней мере одного трансфинитного предельного ординала, но вовсе не говорит, что этим ординалом является именно ω.
>>318817 >>318818 То есть, вы хотите сказать, что я не могу построить произвольно большое множество потому, что аксиоматика ZFC позволяет мне работать лишь с определенным типом множеств индуктивным посредством вводимых операций для множества? Иными словами, множества всех множеств не получится, потому что данные средства мне этого не обеспечат?
>>318822 нет, множества всех множеств построить не получится не потому что их существование не следует из ZFC, а потому что его существование бы противоречило ZFC.
>>318822 Точнее, аксиоматика ZFC позволяет тебе доказать существование лишь тех множеств, которые ты сможешь построить из индуктивного множества средствами, предоставленными ZFC. Это очень мощные средства. Из индуктивного множества, существующего по аксиоме, можно получить бесконечные неиндуктивные множества, и даже бесконечную иерархию бесконечностей. Однако не для всякого множества его существование может быть доказано или опровергнуто средствами ZFC. Изучением множеств, лежащих за пределами ZFC, занимается малопопулярная и практически бесполезная в наши дни наука о large cardinals.
>>318825 Для произвольного множества нет алгоритма, позволяющего просто и быстро решить, может ли существование оного множества быть доказано на основе ZFC или же войти в противоречие с этими аксиомами. Проще говоря - никак.
>>317156 (OP) Охуеть. Просто охуеть. Обращаюсь сюда за помощью: Короче, пилю значит код, и натыкаюсь на необходимость решить одно маленькое, сука, уравнение для того, чтобы физический движок скомпилировать. y"=2y^3 Ну, блять, думаю изич нахуй. Это же ссаное ДУ из моей говношарашки, которую сто лет в обед окончил. А хуй там был. Бернулли не работает. Ни однородным, ни линейным ни неоднородным не является нахуй. Вольфрам тоже нахуй спотыкается, даже общее решение не может найти. Рот ебал короче. Я даже не знаю. Может математикач знает, каким методом эту хуету решать нужно? Мне само решение не нужно, просто скажите каким методом, ну или прочитать где?
Анон, есть пара даунских вопросов. 1. Откуда брать n и k в задаче пикрелейтед. 2. При разложении в ряд Тейлора в конце ставят о-малое от х в какой-то степени. Как понять в какой - типа по порядку просто? Вот например ln(1+x) = x - x^2/2 + o(x^3?) или как?
Я не знаю кто этот >>319071 добрый анон, но спасибо тебе за уточнение моего вопроса.
Друзья, я совсем не математик. Не знал, что меня можно понять двояко. Читая статью про группы Галуа на вики, увидел словосочетание "теория полей". Судя по всему, это и правда поля классов.
>>319073 Для ньюфага не слишком сложно? А то я сейчас только советские учебники по группам для школьников читаю.
>>319078 Нет, это классический учебник общей алгебры для ньюфагов. Если всё-таки покажется сложным, можешь сначала прочитать трёхтомник Кострикина или, опционально, томик Винберга, но в них, предупреждаю, избыточно много информации. После ван дер Вардена имеет смысл прочитать книжку Ленга.
Господа, нужна помощь. Посоветуйте сборник задач + теория с разбором решений по системам двух случайных величин. Примерный список тем: мат ожидание, дисперсия, функция плотности, функция распределения, определение вероятности того, что система (x, y) примет такие-то значения, корреляционная и ковариационная матрица. Непрерывные и дискретные случайные величины. В Гмурмане мало.
>>318830 Я тебе его решил: y(x) = _C2JacobiSN((Ix+_C1)*_C2, I)
>>319390 он имеет в виду, что уравнение не содержит икса и есть способы его решить, однако это не отменяет того факта, что эта срань решается только в эллиптических функциях.
>>319604 долбоеб ты. сперва делаем подстановку z=y^3. тогда z''=6y'', получили уравнение z''/6=2z или блять z'' -12z=0. дальше паста из примера 1 из ссылки. составим и решим характеристическое уравнение: u^2-12=0;U=+-(12)^1/2, Всё, что осталось сделать – записать ответ, руководствуясь формулой : формулу возьмешь из примера 1. там и x и y. а то что вы обмудки до подстановки не додумались это ваши сугубо обмудочные проблемы.
>>319664 суки, я даже сам заморочился, вам правило нашел. бляди. Случай 2. Уравнение вида y′′=f(y) Здесь правая часть уравнения зависит только от переменной y. Вводим новую функцию p(y), полагая y′=p(y). Тогда можно записать: y′′=ddx(y′)=dpdx=dpdydydx=dpdyp, и уравнение принимает вид: dpdyp=f(y). Решая его, находим функцию p(y). Затем находим решение уравнения y′=p(y), то есть функцию y(x).
>>319669 открою страшную тайну, таким образом ты получишь x=x(y) в виде эллиптического интеграла который потом надо обращать. К чему я всё это, если не знаешь, не лезь.
>>319681 > обоссали как нерадивого десятикласника, за то что не умеет продифференцировать y в кубе как сложную функцию > кококо я вас затралил коко вы все картофаны дефуры нинужны вообще!! пок пок пок кукарек Кажется классического вербиторебёнка поймал, скорее сачок.
>>319691 Ну а зачем нужно деление с остатком? Где вот оно может пригодиться нематематику? Делимость, конечно, можно понять и без этих понятий, но изучать надо именно в таком порядке.
>>319691 А как в терминах евклидовых колец формулируется квадратичный закон взаимности Гаусса и вообще весь этот сюжет с квадратичными вычетами (символы Лежандра, символы Якоби)? А вообще тот, кто считает, что общий случай нужно учить предварительно не ознакомившись с частными и не прочувствовав их специфику - интеллектуальный мастурбатор и мразь. Ненавижу тебя. В рот ебал.
>>319706 > А как в терминах евклидовых колец формулируется квадратичный закон взаимности Гаусса и вообще весь этот сюжет с квадратичными вычетами (символы Лежандра, символы Якоби)? А нахуй формулировать этот картофан? Там уже все изучено.
>>319706 > А вообще тот, кто считает, что общий случай нужно учить предварительно не ознакомившись с частными и не прочувствовав их специфику - интеллектуальный мастурбатор и мразь. Зависит от того, какие частные случаи. Скорее всего, то, что ты имеешь в виду под частными случаями, - ебучий картофан и никакого интереса из себя не предствляет. В частности, деление целых чисел с остатком не представляет интереса.
>>319725 для тебя, но не для первоклассника. все зависит от погруженности человека в тему. а предыдущий оратор говорил о каких либо вообще общих знаний, что надо мол от частного к общему переходить в любом случае. а не с высоты матана издеваться над школьниками
>>319744 ньютон наверное потому и умер, что остановился на пол пути, так и не дойдя до релятивизма. а то сейчас бы с нами жил. мне например эти кольца сами по себе нахер не сдались, хоть и тех вузик кончал. ни там не проходили ни по работе ну совсем кольца не нужны. конечно я узнавал на вике что это, но какой то особой необходимости в них погружатся не имею
Помогите доказать, что преобразование подобия сохраняет собственные числа. То есть, если A = PBP-1, то (lambda - собственное число A <=> lambda - собственное число B).
>>319884 Пролёт. ВУЗ я бросил. Математику любил. На олимпиадки всякие там ездил по городам России, с переменным успехом выступал. Вообще вузовский уровень преподавания математики крайне низкий, и сами олимпиады были не сложными
>>319892 Не чувак, ты не прав. Шизофрения - это типо наследственное. Так что занимаясь матаном ты не станешь шизофреником, если только не имеешь предрасположенности (ну как Нэш, да?). Вообще от матана можно, конечно, конкретно ебнуться, но ебнуться можно от любой науки, если переусердствовать
Посоны, чёт в курсаче задание ебанутое подсунули. 1. Это ведь не нечетная и не четная функция? 2. У производной нет нулей, лол. И вторая производная еще хуже. Что с этим делать, как исследовать? смотрю на задания одногруппников и слезы наворачиваютсяне совсем конечно, но все же
Матач, я аутистна самом деле просто посредственный интеллект, возможно ли выучить весь курс школьной программы по математике 7-11 до мая следующего года самостоятельно?
Древнегреческие математики не считали единицу числом, а понятия нуля у них вовсе не существовало. По этой причине утверждения о целых числах содержали в себе несколько аналогичных формулировок для случаев, когда рассматриваемые числа равны или не равны единице, что можно видеть у Эвклида, когда он излагает свой алгоритм нахождения наибольшего общего делителя («Начала», книга 7, предложения 1 и 2) — он вынужден формулировать два предложения вместо одного (предложение 1 излагает случай, когда наибольший общий делитель равен 1, а предложение 2 — когда не равен).
За прошедшие две тысячи лет люди освоили понятия нуля и единицы, но страх перед ними остался.
Далее я привожу список разнообразных верных утверждений, вызывающих отторжение под влиянием этого страха.
У пустого множества есть ровно один эндоморфизм — пустая функция. Вообще, из пустого множество в произвольное есть ровно одна функция — функция с пустой областью определения. (А из произвольного непустого множества в пустое функций нет.)
Натуральные числа — это те, которые используются при счёте.
Это определение я услышал в пятом классе. Счёт — это вычисление мощностей конечных множеств. Пустое множество конечное, стало быть число 0 — натуральное. По-другому думают только ретрограды и мракобесы.
Классическое проявление страха перед нулём — нумерация всего и вся с единицы, хотя зачастую более естественно нумерация последовательными натуральными числами, начиная с минимального — нуля, а часто наиболее естественным вариантом является отказ от нумерации.
Некоторые сумасшедшие продолжают утверждать, будто 0^0 не определено. Особенно популярно это мнение в среде жёстких аналитиков. (И вообще, жёсткий анализ (в противоположность мягкому) — это один из основных источников мракобесия в математике, как отметил один из моих знакомых.) Обосновывают они его следующим аргументом: функция (x,y) → x^y не является непрерывной в точке (0,0). Однако запись многочленов и рядов в форме ∑_k a_k x^k возможна только и исключительно при условии, что 0^0 = 1. Формула бинома (x+y)^n = ∑_k {n\choose k} x^k y^{n-k} верна для всех n≥0 и произвольных x и y также только при условии, что 0^0 = 1 (иначе надо потребовать, что x≠0, y≠0 и если n=0, то x+y≠0). Количество отображений из n-элементного множества в m-элементное равно m^n — смотри замечание выше про эндоморфизмы пустого множества. Отсюда тоже получаем, что 0^0 = 1. Список можно продолжать до бесконечности.
Сумма пустого множества чисел есть 0. Произведение пустого множества чисел есть 1. Упражнение: вычислите значение башни степеней x^{y^{z^…}} для пустого семейства чисел.
Нулевое векторное пространство имеет пустой базис и обладает ровно одним эндоморфизмом — нулевым. Определитель эндоморфизма нулевого векторного пространства равен 1, а его матрицей будет пустая матрица (матрица с пустым множеством строк и столбцов). Морфизмы из нулевого или в нулевое векторное пространство будут иметь пустое множество столбцов или строк.
Произведение пустого семейства объектов (или предел пустой диаграммы) есть терминальный объект, копроизведение пустого семейства объектов (или копредел пустой диаграммы) есть начальный объект. Тензорное произведение (в моноидальной структуре) пустого семейства объектов есть моноидальная единица. В частности, тензорное произведение пустого семейства векторных пространств есть основное поле.
Норму гомоморфизма нормированных пространств f: X→Y часто определяют как sup_{x∈X: x≠0} ‖f(x)‖/‖x‖ или как sup_{x∈X: ‖x‖=1} ‖f(x)‖. Эти определения не работают в случае X=0, а также, если допускаются полунормы, в случае если полунорма нулевая. Правильное определение, работающее во всех случаях, в том числе и для полунорм: ‖f‖=sup_{x∈X: ‖x‖≤1} ‖f(x)‖.
Конъюнкция пустого семейства утверждений истинна, дизъюнкция пустого семейства утверждений ложна. Объединение пустого семейства множеств есть пустое множество. Пересечение пустого семейства множеств есть класс всех множеств (или универсум, или другой аналогичный объект — зависит от используемых теоретико-множественных оснований). Например, топология на множестве X — это семейство его подмножеств, замкнутое относительно произвольных объединений и конечных пересечений внутри X.
Забывающий функтор из категории пунктированных множеств в категорию морфизмов множеств, интерпретирующий пунктированное множество A как морфизм из одноэлементного множества в A, имеет левый сопряжённый функтор. Значение этого функтора на объекте A→B обозначается B/A и называется фактормножеством множества B по множеству A. (Здесь имеет место очевидная волность речи.) В случае A=∅ имеем B/∅=B⊔*, объединение B и одноэлементного множества, тем самым фактормножество иногда может быть больше исходного множества, а факторотображение может не быть сюръективным.
Весьма показательна ошибка, которую сделал Hartshorne в своём учебнике алгебраической геометрии в определении предпучка — он определяет предпучок абелевых групп как предпучок абелевых групп в обычном смысле, удовлетворяющий дополнительному условию F(∅)=0. Это вызывает проблемы уже на элементарном уровне (нельзя определить постоянный предпучок обычным образом, непонятно как определить предпучок со значениями в произвольной категории), а куча утверждений про предпучки (например, про универсальные копополнения) становятся просто неверными.
На самом деле это условие является следствием аксиом пучка. Действительно, для произвольной категории C предпучок со значениями в C — это контравариантный функтор из противоположной категории открытых множеств данного топологического пространства в C, а пучок — это предпучок, удовлетворяющий свойству спуска: конус спуска произвольного покрытия произвольного открытого множества является предельным конусом. Если взять пустое покрытие пустого множества, получаем, что значение пучка на пустом множестве является терминальным объектом.
Желаю всем читателям избавиться от своего страха перед нулём и единицей, если он у них есть, и пользоваться этими понятиями свободно, без дополнительных оговорок.
Предыдущий: