Сперва нужно понятным образом объяснить аксиоматический метод. То есть рассказать, что такое "система вещей" по Гильберту, что такое аксиомы.
Далее нужно ввести элементы логики. Объяснить, что такое предикат, что такое функциональный символ, что такое квантор и т.д.
Теория множеств вводится так.
Существует система вещей, называемых множествами. Для них задано логическое отношение "быть элементом". Всякая вещь A либо является элементом вещи B, либо не является.
Кроме того, для этих вещей задано отношение равенства с традиционными свойствами: рефлексивность, симметричность, транзитивность, подстановочность.
Далее нужно дать несколько определений.
1. Множество называется пустым, если никакое множество не является его элементом.
2. Множество называется индуктивным, если хотя бы одно пустое множество является его элементом и если оно вместе с каждым элементом x содержит элемент {x}.
3. A называется подмножеством B, если всякий элемент A является элементом B. В таком случае B называется надмножеством A.
4. Вместо того, чтобы говорить "множество множеств", мы часто будем говорить "семейство множеств".
5. Пусть M - семейство. A называется объединением M, если каждое множество из M - подмножество A и каждый элемент A - элемент хотя бы одного элемента M.
6. Семейство называется регулярным, если в нём есть такое множество, что каждый его элемент не входит в семейство.
7. Непустое C называется неупорядоченной парой A и B, если каждый элемент C равен либо A, либо B.
8. Пусть A и M множества. Пусть каждое подмножество A является элементом M. Пусть каждый элемент M является подмножеством A. Тогда M называется "булеан A" или "множество всех подмножеств A".
9. Пусть M - множество, P - высказывание о его элементах, N - подмножество M. Мы говорим, что N удовлетворяет P, если для всякого n из N высказывание P(n) истинно.
10. Пусть, в тех же обозначениях, N удовлетворяет P. Пусть любое подмножество M, которое удовлетворяет P, является подмножеством N. Мы говорим, что P выделяет множество N из множества M. Или что N выделено предикатом P из M.
11. Пусть f - функциональный символ от двух аргументов. Если вещь можно подставить в этот символ в качестве первого аргумента, то мы говорим, что функциональный символ осмыслен на этой вещи. Мы говорим, что функциональный символ корректен на множестве M, если функциональный символ осмыслен на каждом элементе M. Мы говорим, что функциональный символ является истинным функциональным высказыванием об M, если он корректен на M.
12. Мы говорим, что функциональный символ f, корректный на M, преобразует множество M во множество N, если а) для всякого m из M существует единственный n из N такой, что f(m, n) истинно б) для всякого n из N существует элемент m из M такой, что f(m, n) истинно
13. Пусть есть функциональный символ, корректный на M. Пусть существует такое N, что f преобразует M в N. Тогда мы говорим, что f является преобразованием M.
Далее нужно сказать, что вещи нашей системы подчиняются следующим аксиомам (Цермело-Френкеля с выбором).
1. Два множества равны тогда и только тогда, когда первое является подмножеством второго и второе является подмножеством первого.
2. Для всякого множества всякое высказывание о его элементах выделяет подмножество.
3. Существует пустое множество.
4. Существует индуктивное множество.
5. Для любых двух множеств, не обязательно разных, существует неупорядоченная пара.
6. Для всякого множества существует булеан.
7. Для всякого семейства множеств существует объединение.
8. Всякое истинное функциональное высказывание о множестве является преобразованием множества.
9. Всякое непустое семейство регулярно.
10. Для всякого семейства непустых множеств существует множество, содержащее ровно по одному элементу из каждого множества семейства.
Школьная математика - не математика, а хуйня. Ненужная. Каждый говёный доктор преподавания считает своим долгом написать столь же говёную книжку по элементарной математике.
Алгебраическая геометрия - не математика, а хуйня. Ненужная. Каждый говёный доктор считает свои долгом написать столь же говёную книжку по алгебраической геометрии.
Ребят, я полный нуб в математике. В школе нихера не понимал и последняя годная оценка была в 5 классе на контрольной. Может кто что посоветует для того чтобы как то понимать математику и уметь решать? Спасибо
>>344498 Ну хуй знает. Яу тоже вот как в девяностые осел в некоммунистической СШАшке, утёкши из не менее некоммунистического Гонконга, так и не собирается оттуда съезжать, судя по всему. И он такой не один. Мурикане оне сука многонациональные. Почему-то пакинстанцы и иранцы тоже не не родине реализуются, как и рашкованы зачастую. В общем под изучение ситуации нужен грант. А без гранта тут нехуй даже обсуждать.
>>344502 Так он же в австралии рос и математическим соком наливался. Можно в принципе заключить, что он и там реализовался, если бы в сшаку не переехал. Но хуй знает, все равно в австралии, что и в рашке, никто не реализовывается. Только в сшаке почему-то. Даже не в гейропе.
>>344586 То чем ты мучаешься называется общим словом динамические системы. И да, по второй ссылке я не так понял, думал, что под этим подразумевается конфигурационное пространство, а там какая то хуета из теории управлений.
>>344599 Именем своей мамаши называй. Еба, не существует такого понятия, просто такого нет забудь. Это же картофан ебаный, ты чё педор ашка не понимаишь??
>>344603 >не существует такого понятия, просто такого нет забудь Да неужели. Динамические системы, описываемые дифурами, обычно представляются в виде своего фазового пространства, тот же учебник Арнольда на этом построен. Далее, именно таким образом можно представить модели лотки-вольтерры и т.п. околоэкологическую хуйню. Далее, читаю я пикрелейтед и что вижу - большинство моделей экологических процессов построено на пространстве состояний из теории управления. В т.ч. та же модель лотки-вольтерры. Я и хочу понять, в чем разница, есть она вообще или это одно и то же? В соотв. статьях в педивикии об этом вообще нет ничего, в других местах так же не нашел. Тут возможны 2 варианта - либо "ЭТО БЛЯДЬ КЛАССИКА, ЭТО ЗНАТЬ НАДА!!", либо (что нереально) этот вопрос до меня никем не ставился в принципе.
>>344552 Возьми формулу для $$\sum_{k=1}^{n} x^{-k}$$ геометрическая прогрессия и вычисли производную, это будет формула для суммы из производных $$\sum_{k=1}^{n} -kx^{-k-1}$$. Домножь на $$-x^{n+1}$$ - получишь сумму для $$\sum_{k=1}^{n} kx^{n-k}$$. Подставив, например, x=2 обнаружишь своё равенство. Вообще, для того чтобы творить такую грязь гугли производящие функции, норм такая тема дискретки, полезная для современной математики в том числе.
Таки вопрос остается открытым: 1) Есть динамическая система. 2) В чем разница ее представления в виде фазового пространства и в виде пространства состояний? Тралей, школуйню и прочее хуепутоло сразу нахуй, интересен ответ по-существу.
Короче, чем больше гуглю, тем больше запутался. В одном месте (пик 1) явно гоаорится, что фазовое пространство и пространство состояний это одно и то же, в другом (пик 2) - что это разные вещи. В чем жи правда?
>>344651 Блять, иди в /un лучше, там тебе распишут решение. Задачка твоя тривиальная, решатся методом мат. индукции. Загугли метод математической индукции, посмотри примеры решения подобных задач. Ну ты даун что ли совсем?
>>344654 Очвидно, решение этой задачи по индукции не имеет никакой ценности, потому что если бы ответ не был заранее посчитан, ты бы до него никогда не догадался.
>>344663 >если бы ответ не был заранее посчитан Но ответ просчитан заранее, дебил. Школопердяй тут высрал >>344579 , что нужно доказать тождество. И всё.
>>344651 В смысле, понятно вообще что сделано? Или ты спрашиваешь почему именно так? Ну это суть всей этой техники, взять известную сумму/ряд (в данном случае конечную геом.прогрессию) и интегрированием/дифференцированием/умножением/сложением получить требуемую сумму/ряд. Тогда выражение суммы/ряда, если оно есть, получается соответствующей последовательностью действий с выражением для исходной суммы/ряда, которая известна. >>344640 Но..там же теневое исчисление с такими штуками бывает, алгебра хопфа даже на полиномах есть!
>>344735 >Но..там же теневое исчисление с такими штуками бывает, алгебра хопфа даже на полиномах есть! Это вообще о чем? "Алгебра Хопфа на полиномах" это я понимаю афинная групповая схема, а все остальное про что?
>>344743 >>344746 Ну, я вообще прочитал это в книге Ландо "Введение в дискретную математику". Ну, применяется в комбинаторных равенствах всяких, есть связи с разными замечательными последовательностями полиномов, и теориями операторов на них.
>>344552 Можно без производных и производящих функций, а также мат. индукций на отъебись. Попробуй представить выражение под суммой как сумму(умножение на целое - это сумма). И нарисовать сию двойную сумму по слагаемым в виде матрицы - по строкам будут внутренние суммы(выйдет-таки треугольник). Далее выполни суммирование сначала по строкам(треугольник схлопнется в одну строчку)Увидишь геометрическую прогрессию ты, а потом суммируй эту строчку. Надеюсь, я ясно разьяснил. Сии операции можно выполнить/записать путем перестановочек знак сумм и выкрутасов с индексами, но это довольно сложно осознать неискушенному в матанах. Такой вот алгебраический хинт ушами. inbefore картофан
>>343958 (OP) Почему эллиптические кривые так важны и пропиарены, а кривые уравнений высших степеней нет? Лишь потому что уравнения 3 степени легко решать?
Пасаны, есть какой-нибудь онлайн сервис, чтоб интегралы символьно считать? Желательно с туториалом. Помню, что в мапле можно было, но ставить его запало что-то. Надо срочно проверить один картофельный интеграл, я хоть и справился, но чёта думаю, что мог обосраться жиденько.
>>344857 ну окей, тащемта если ты меня поправил, тогда поясни мне вот что, а то я хуй простой Какие ещё есть поля кроме действительных и комплексных чисел? Часто вижу, что теоремы доказываются, скажем, для произвольного поля, но примеров полей, кроме вышеперечисленных, не дают.
>>344858 Поле - это любой объект, удовлетворяющий аксиомам. Q, С и R лишь частные примеры. Если хочется "не очень традиционных" полей, можешь рассмотреть поле вычетов по модулю p Zp или любое расширение С, R, чего угодно ещё.
ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N
>>344894 >ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N ГДЕ КОРРЕКТНОЕ ОПРЕДЕЛЕНИЕ МНОЖЕСТВА N
>>344876 >Придумай применение Так если реальное применение находят только какие-то частные примеры кривых или поверхностей, то чем тогда оправдывается пафос алгема как "центральной науки"?
>>344922 >то чем тогда оправдывается пафос алгема как "центральной науки"? Твоей тупостью и тупостью тебе подобных, которые считают, что в математике есть что-то центральное.
Поясните, почему формально полученные ряды/произведения/разложения нужно еще проверять на сходимость, причём они могут не сходиться вообще - в чём не состыковочка? В чём "упущение" акробатики, которая позволяет получать подобные выражения?
>>344945 Но мы же их получили эквивалентными преобразованиями, как при преобразовании обычных выражений. Когда мы оперируем подобным образом над алгебраическими выражениями дополнительно проверять не надо - выражения тождественны. А тут у нас вроде бы тождество, а при проверке оно может оказаться ложным. В чём заложена скрытая разница? Может мы упускаем/подразумеваем какие-то детали предельных переходов?
>>344953 >Но мы же их получили эквивалентными преобразованиями, как при преобразовании обычных выражений. В них тоже не учитывалась сходимость. >Когда мы оперируем подобным образом над алгебраическими выражениями дополнительно проверять не надо - выражения тождественны. Спорно. Можно например переопределить отношение '='. То есть снова необходимо учитывать модель. В простых случаях она используется по умолчанию. >А тут у нас вроде бы тождество, Формальное. >а при проверке оно может оказаться ложным. Более того при различных видах топологий (fine-coarse) - сходимость может быть, а может не быть. Но опять: формальные ряды – игнорируют сходимость.
"Эквивалентные преобразования" конечно не сохраняют сходимость, в этом фишка. Тем не менее, вопрос несколько глубже на самом деле, потому что это действительно несколько странный эффект, когда равенство чисто алгебраических выражений как функций от x зависит от этого самого значения x. Например, $\frac{1}{1-q}$ и $1+q+q^2+q^3+\dots$ равны как обычные конечные значения при $|q| < 1$, ещё можно принять их равенство как бесконечностей при $q=1$, но почему первое выражение обычное число при всех остальных $q$, а ряд расходится к бесконечности?
>>344822 Не слушай уебков тебе отвечавших, они ничего не знают. Эллиптические кривые важны и пропиарены в основном из-за того, что это абелево многообразие, т.е. на них есть естественная структура группы (если выбрать точку, которая будет нулем). С комплексной точки зрения просто тор. По сути это самый простой из нетривиальных примеров многообразий, который еще можно совершенно в-наглую пощупать и очень много узнать. Но в алгеме и комплексной геометрии, конечно, еще куча куча многообразий не менее пропиаренных. А вне так много шума из-за разных применений в криптографии и теории чисел (которые обычно следуют из группового закона).
>>345056 Да потому что у них очень абстрактное мышление, оторванное не то, чтобы от трёхмерного пространства, но и, в некоторых конкретных случаях, от реальности вообще. Та же самая новая хронология Фоменко, теория струн, а в более запущенных случаях (вроде моего) - математическое устройство мира(т.е. все, что мы видим в мире - это сложные уравнения, возможно заложенные кем-то изначально, но не все уравнения в природе нам дано понять/узнать)
>>345083 Можно сказать с большой степенью уверенности, что то, что ты придумал уже отражено в том или ином виде в научных публикациях или математической литературе. Так что не спеши радоваться.
>>345093 Так математики, а не "математики". Те кто кончил вузик, пошёл на постгредуейт/аспирантуру, и далее по накатанной. Кто встроен в систему, короч.
>>345101 Вряд ли удастся впечатлить тню какой-нибудь математической поеботой, если ты об этом, но если и не об этом, то всё равно напишу. Для большинства из них математика - это такой себе вид задротства, вроде мморпг или сборки кубика-рубика 11✕11, только с цифрами и фигурками. Ты произведёшь впечатление чудака: "какой ненормальный, зачем он рассказывает про свои гомологии, странный" - подумает тня. Другое дело физика, биология или психология, - в общем те дисциплины, которые находятся на острие практической науки и активно популяризируются. Если ещё и речь хорошо поставлена и тема актуальна, то успех тебе гарантирован.
>>345113 >Другое дело физика, биология или психология Какие отчаянные фантазии. Да тот же самый результат, если эта "наука" не имеет отношения к модному айфончико-ориентированному околоайти, бинарным опционам или прочей чепухе, которая неразрывно связана с доходом от 50к$ в месяц.
>>345120 >имеет отношения к модному айфончико-ориентированному околоайти, бинарным опционам Это по большому счету относится к совсем уж ванильным тпшкам. Я скорее имел ввиду обычных няшек-стесняшек из университетов средней руки.
>>345113 >>345120 Вы совершенно ничего не понимаете в тянках. Да и о произведении впечатления вообще. Совершнно не важно чем ты занимаешься и о чем говоришь. Это с равной вероятностью может быть воспринято как унылое задротство и как охуенная. Кстати, вбрасываю вполне себе солидного математика, выходца из России.
>>345141 Это с равной вероятностью может быть воспринято как унылое задротство и как охуенная интеллектуальность в зависимости от харизмы и предпочтений собеседника.
>>345136 Нет, разумеется. Такого раздела нет. Математические объекты не делятся по своей природе на "дискретные" и "непрерывные". Есть совершенно неожиданные примеры такого рода недвойственности. Например, в науке Громова группы можно представить в виде графа Кэли и изучать с помощью... метрической топологии.
>>345141 Ты намекаешь на то, что тням похуй, что им говорят, главное слышать плавно текущую речь и видеть смазливое ебальце перед собой? Так это вроде понятно. А что если ты не является обладателем ни того ни другого?
>>345144 >Математические объекты не делятся по своей природе на "дискретные" и "непрерывные". Ты так говоришь будто есть математические боги, которые запрещают делить объекты на "дискретные" и "непрерывные". Если смотреть с позиции, - что если что-то из одной области можно каким-то образом представить в другой области, то тогда области нельзя отличить; выйдет так, что из математики и вовсе нельзя выделить ни одного раздела.
Не хочу преподавать математику студентам-долбоёбам, хочу заниматься только исследованиями (какими смогу). В России это возможно? Доход неважен, лишь бы после получения диплома хватало на еду и снимать жильё. При этом меня не интересует статистика, теория вероятностей и прочая поебень - в экономическую контору не пойду.
Сейчас второй курс столичного ВУЗ-а средней руки. Преподы ретрограды сумасшедшие, могу спросить только у вас.
>>345160 А недолбоёбам готов преподавать? Можно ещё умудриться работать не преподавая где-то в стекловке, в смысле не обязательно каждый год браться вести курс лекций семестровый, но какая-то педагогическая практика всё равно будет когда ты будешь учиться в аспирантуре, например.
>>345160 >хачу заниматься исследованиями, пока низнаю какими и нахуя они >это, это и это сразу нахуй >вы токо оплатите мне хату и ништяки >а я пока двач поскролю
Хорошо знаю три иностранных языка, могу со средними усилиями полностью выучить и запомнить почти тысячу иностранных слов за день. Это значит, я смогу стать и хорошим математиком?
>>345182 А что ты запоминать собрался: формулы, теоремы, значки? Без понимания, как всё получается и для чего служит, тебе это не нужно. Сгенерировать что-либо новое ты будешь неспособен. А воспроизведение материала по памяти по большому счету нахуй никому не нужно. Всегда можно открыть учебник и посмотреть, что требуется.
>1.Сформируйте систему линейных уравнений (то есть задайте матрицу коэффициентов A и свободный вектор b) для многочлена первой степени, который должен совпадать с функцией f в точках 1 и 15. Решите данную систему с помощью функции scipy.linalg.solve. Нарисуйте функцию f и полученный многочлен. Хорошо ли он приближает исходную функцию? Я решил, получилось 3.43914511, -0.18692825
Второе часть не могу понять
>2.Повторите те же шаги для многочлена второй степени, который совпадает с функцией f в точках 1, 8 и 15. Улучшилось ли качество аппроксимации? Где взять многочлен второй степени?
Парни, какие есть годные видео-лекции на русском (по любым направлениям и разделам математики)? НМУ-шные? Там по десятку лекторов на предмет, какие выбирать?
>>345168 Ну поскольку я потратил время на прочтение, получите рецензию. Не зная Вашей даты рождения и соответственно Вашего гороскопа, а как известно любому астрологу, человек обычно рассказывает только свой гороскоп ;)) Отмечу следующее. Книга написана достаточно живо и красочно, что намекает на хорошие аспекты венеры с меркурием. При этом есть концепция - узор(фрактальность, склейка), что вероятно говорит о пребывании планет в знаке стрельца. Перечисление - эпилепсия, паранойя, шизофрения, говорит о выделенности тем для автора. Что такое эпилепсия, как неосознанные выплески энергии. В отличие от маниакальности, когда энергия направлена на какую-то цель. То есть проблемы с Марсом и/или Плутоном. Ну и собственно весь текст, скорее описательный, что говорит о преобладании нейтральных и женских энергий. Кстати аватарка с преобладанием оранжевого, говорит об активности 2 чакры и энергиях Меркурия и Венеры. Короче основная точка сборки Вашей личности - там. Параноидальность - о желании понять структуру мира, это выделенность Сатурна. А шизофрения как раскол - о слабой проработке и осознанности энергий сверхличных планет Урана и Плутона.
У математиков волосы стали дыбом! Ваш IQ выше 1448, если вы решите эту задачу без гугла:три рыбака легли спать, не поделив улова. Проснувшийся ночью первый рыбак решил уйти, взяв свою долю. Но число рыб не делилось на три. Тогда он выбросил одну рыбу и забрал себе треть. Второй и третий рыбаки поступили аналогичным образом. Вопрос: какое наименьшее число удовлетворяет исходному количеству выловленной рыбы?
-Откуда взялись струны или браны если они есть -Почему планковская длина считается абсолютным нулем -Зачем нужны тахионы если есть суперсимметрия -Почему гравитация не квантуется в если есть гравитоны -Почему космические тела вращаются вокруг собственной оси -Почему электрон не падает на ядро теряя энергию
Вообще не ясно что значит "Второй и третий рыбаки поступили аналогичным образом". Если подразумевается что последний рыбак откинул одну рыбу и взял треть, то это максимум тупое поведение.
>>345444 Аноны, что-то еще про про продавца шапок есть! Типа фальшивую купюру ему дали и нужно узнать насколько он попал. Или наоборот, покупатель попал. Кто помнит? Охуетельно сложная задача, 100 ответов и все неверные. Кажется просто, а ведь нескольких лет мехмата уровень!
>>345477 У мужика кепка-пятиклинка стоит 200 рублей, покупатель хочет купить её, но у него только 500. Подзывает мужик мишу вербитского, выпидоренного за космополитизм из вышки и говорит: "Беги, еврейка, скорее к тетё маше, разменяй". Побежал миша со всей прыти, всё разменял на сотки, прибежал обратно. Отдал мужик сдачу и кепку, сидит, отдыхает. Через полчаса заходит тётя маша и говорит, что купюра фальшивая, мужику пришлось заплатить всё из своего кармана. Был конец рабочего дня, мужик наказал вербитскому выяснить в чём дело и определить до завтра где же его наебали, а сам домой пошёл. Помоги мишке найти сумму наёба.
>>345479 > сумму наёба Проеб - пятсот фальшивых рублей. Если сможет их кому-то впарить как пятисотку, то не проебал. Если за половину - проебал 250. Не сможет - 500.
>>345503 Блин ! Ну , что Вы все соседские деньги , соседские деньги ....! Вместе с остатком , вместе с остатком ..... ! Какие они к чертям соседские ? Какой к чёрту остаток ? Ребята это деньги ПОКУПАТЕЛЯ !!!! Реальные или фальшивые выяснится позже . Соседка лично своего ни чего не давала ! Её роль заключается всего лишь в размене денег. И продавец всего лишь вернул 15 р. его же денег ( покупателя ) , только уже реальных . А продавец заработал уже свои личные , кровные 10 р. с продажи шапки . В результате обнаружения фальшивки Продавец отдаёт свои кровно заработанные 10 р. и добавляет свои же 15 р. и отдаёт соседке ( 25 р. ). Вы спросите почему соседке ? Потому что она их получила в данном случае от продавца , а не от покупателя . Кроме того продаётся одна шапка , не 10 и не 1000 и не ..... А именно одна из условия задачи и цена ей 10 р . В результате афёры продавец имеет фальшивую купюру в 25.р которая ни кому не нужна !!!! Продавец остался и БЕЗ ШАПКИ И ЕЩЁ ОТДАЛ СВОИ 25 р. Ущерб продавцу составляет 35 р.
>>345506 Вы зациклились на элементарных действиях . Получил , отдал . Получил , отдал !!! А ведь я вам изначально говорил обратите внимание на условие задачи : Один продавец ( сам по себе ) , ОДНА шапка ( понимаете ОДНА У ЭТОГО продавца ). Стоит конкретные 10 р.
Я ведь разжёвывая Вам не зря приводил варианты . В варианте ЖУЛИК – ПРОДАВЕЦ ( без размена) , продавец теряет 25 р . В варианте ЖУЛИК – ПРОДАВЕЦ ( с разменом в магазине розничной торговли ) , продавец теряет 25 р. Читайте выше мои комментарии .
В третьем варианте ( конкретные условия задачи ) в процессе сделки фальшивые деньги номиналом в 25 р. ЖУЛИКА (ДЕНЬГИ ЖУЛИКА ,А НЕ СОСЕДКИ ) плавно перетекают через продавца к соседке , где они удачно меняются на реальные и опять через продавца возвращаются к Жулику в виде ПРОДАННОЙ шапки и реальных 15 р. ПРОДАВЕЦ ПОЛУЧАЕТ ЧЕСТНО ЗАРАБОТАННЫЕ 10 р. С ПРОДАЖИ ШАПКИ. ХОРОШЕНЬКО ЗАПОМНИТЕ !!!! ЭТА ДЕСЯТКА УЖЕ ЕГО СОБСТВЕННОСТЬ !!! ЭТО ДЕНЬГИ НЕ СОСЕДКИ КОТОРЫЕ ПРИШЛИ ПОСЛЕ РАЗМЕНА , ЭТО ДЕНЬГИ КОТОРЫМИ РАСПЛАТИЛСЯ ЖУЛИК ЗА ШАПКУ . Поэтому как только к этой десятке Вы прибавляете ещё свои 15 р.( есть у продавца в данный момент ещё свои деньги или их нет РОЛИ НЕ ИГРАЕТ ) и отдаёте ( или 10 р. и будете должны 15 р. ) соседке 25 р. ПРОДАННАЯ ВАМИ ШАПКА ИЗ СТАТУСА ПРОДАННОЙ ПЛАВНО ПЕРЕХОДИТ В СТАТУС ДАРОМ ОТДАННОЙ !!!!! НЕТ ШАПКИ , НА РУКАХ ФАЛЬШИВЫЕ 25 р. Ну и на сколько Вас нагрели ????
Ребята Вы зацикливаетесь на деньгах , ДАЛ ,РАЗМЕНЯЛ ,ОТДАЛ , ВЕРНУЛ – фигурируют конкретные суммы . И в тот же момент Вы теряете из виду саму шапку . ШАПКА – ТОВАР С КОНКРЕТНОЙ ЦЕНОЙ , ВМЕСТО ШАПКИ – ТОВАРА ПРОДАВЕЦ ПОЛУЧАЕТ ДЕНЬГИ – ПРИБЫЛЬ . И ЕСЛИ ОТДАТЬ ДЕНЬГИ – ПРИБЫЛЬ ,ДА ЕЩЁ ДОБАВИТЬ СВОИ , ТО ПРОДАВЕЦ ТОВАР – ШАПКУ ПРОСТО ОТДАЛ ДАРОМ !!!!! ( НЕ ЗАБЫВАЕМ РЕЧЬ ИДЁТ О КОНКРЕТНОЙ СДЕЛКЕ ЖУЛИК – ПРОДАВЕЦ -(РАЗМЕН )- ПРОДАВЕЦ -ЖУЛИК ).
В данном случае ШАПКА досталась ЖУЛИКУ даром , а соседка урвала 25 р .
Сие Я– автор поста номер 345444 (>>345444). Мой ответ на все ваши предположения: нет. Вы не достигли правильного ответа. Внимание, правильный ответ: наименьшим числом, удовлетворяющим заданным условиям, является (-2). Рыбаки выловили -2 рыбы или две антирыбы.
Спасибо за внимание, глупцы, моё дело сделано, Я ухожу.
а почему мишу тут так не любят? он конечно скандалист и русофоб, но математик же международной пробы. у него индекс цитирования кстати - огого, выше кажется только у арнольда был.
как думаете аноны, он где-то с арнольдом одного уровня или все-таки уступает? за сколько бы он решил сто задачек арнольда?
>>343958 (OP) 1 сентября 1997 года, в результате деления на ноль в компьютеризированной управляющей системе крейсера USS Yorktown (CG-48) Военно-морского флота США произошло отключение всех машин в системе, в результате чего двигательная установка корабля прекратила свою работу
>>345545 Хранцузского школьника спросили, сколько будет 2+3? Он ответа не знал, но ответил как его научила бурбакомафия: 3+2, так как сложение коммутативно. байка от арнольда
>>345484 следовательно оно неразрешимо в целых числах. Скорее: следовательно - оно имеет бесконечно много решений в целых числах при любой правой части.
>>345553 А почему вопрошающий счёл, что ответом на вопрос "сколько будет 2+3" не является "3+2"? Школьник, типа, должен был угадать слово, которое загадал вопрошающий?
Пусть сначала научатся точно формулировать вопросы, и только потом спрашивают.
>>345527 Нихуя он не международной пробы, да и какое это имеет значение? Важны ведь только результаты. Арнольд, например, международной пробы. Доказывал проблемы Гильберта, унижал бурбаков и прочее быдло, за что ему посмертный рейхспект. Миша решит максимум 2 задачи из тривиума, для него ведь это зашквар. Есть три категории математиков. Первая это так называемая первая культура(низший сорт, 1 уровень). У них принято считать, что самое главное - это новая абстрактная теория. Такая себе чистая математика. На уровень выше стоят прикладники и формалисты, которые пытаются получить результаты в разных областях теми методами, которые есть, и разрабатывают новые, только если это необходимо. Ну и третья категория самая немногочисленная, это такие себе полубоги по типу Перельмана, которые доказывают проблемы специальными детализированными методами.
В /уне такие же школьнике как и я, хз объяснят ли. Обоссыте, но помогите.. Нихуя не понимаю смысл производной. Вот например дефолтная ЕГЭшная задача. Правильно ли я думаю? 1. Производительность рабочих есть некоторая функция, а значит у это функции есть график. 2. Нужно найти максимум на это графике. Если, например, мое время не ограниченно, то я могу просто подставлять все значения в функцию и рано или поздно я получу этот максимум. 3. Очень долго производить такие вычисления. Поэтому вместо самой функции можно рассмотреть её аппроксимацию или проще говоря спрямление этой функции. 4. Получив вместо кривой функции обычную прямую или что-то похожее намного проще понять где у неё максимум. Для этого и нужна производная? Почему тогда, это спрямление пик 2 вообще не похоже на оригинал пик 1? https://www.youtube.com/watch?v=Erzf5ktLkMw&index=3&list=PLowFPHQVq5qPL_Nmx5sITxbzoou_k-gO8
>>345630 >Смысл производной в том, что она показывает скорость изменения функции в точке Блядь, где строгое математическое определение, гильберт тебя за ногу?
>>345542 >>345553 Если что, Арнольд в какой-то момент совсем ебнулся и стал нести хуйню на уровне Пахома. Например, про космические лучи, которые мешают компьютерам работать, из-за чего он с ручкой и бумажкой считает гораздо быстрее и "правильнее", чем всякие комплюктеры. Или вот про 3+2.
>>345638 Пусть есть вещественная функция f. Пусть есть отрезок [a;b]. Изменением функции f на этом отрезке называется число f(b) - f(a). Длиной отрезка называется число h = b-a. Средней скоростью изменения функции называется изменение функции, делённое на длину отрезка. Символьно, fсредняя ba = (f(b) - f(a)) / (b-a).
Средняя скорость определена для отрезка. Но что если нас интересует скорость в точке? Нужно использовать предельный переход.
Скоростью функции в точке a называется fсредняя ba, когда b стремится к a. Или, эквивалентно, когда расстояние h между b и a стремится к нулю.
У тебя есть функция х². При значении икса 1 функция равна 1. Но вдруг тебе захотелось узнать насколько сильно измениться значение функции если к одному добавить одну десятую, относительно этого самого увеличения. Тобишь, насколько сильно увеличится функция относительно её увеличения. Ты делаешь следующие рассчеты (1+0.1)²-1²/0.1 Посчитаем в лоб. 1.1²=1.21, 1²=1 1.21-1=0.21/0.1=2.1 Вроде все просто. А если тебе надо узнать насколько измениться значение функции если к единице добавить одну миллиардную, или даже какую то охуллиардную, что тогда? Теперь уже кучу ноликов писать сильно долго, неудобно, да и ошибиться можно. Заменим теперь цифры буквами. Получится (х+у)²-х/у²=х²+2ху+у²-х²/у=2ху+у²/у=2х+у Если теперь подставить вместо букв цифры, то можно увидеть, что прибавление охуллиардной части не сильно влияет на результат, а именно 2+почти ноль. Что значат эти цифры?Это и есть скорость и величина изменения функции по направлению оси икс.
Тута про Арнольда заговорили, как я вижу. Вы же про пикрелейтед Арнольда говорите? Читаю я пикрелейтед книжку, и что-то понимаю что нихуя не понимаю кариночка-сложно.webm. С первой страницы диффеоморфизмы, фазовые потоки, вот это все. Что можете посоветовать по дифурам попроще?
>>345628 > можно рассмотреть её аппроксимацию Апроксимируют когда функция не известна, а есть только несколько ее значений. У тебя же функция известна, следовательно никаких апроксимаций не нужно. Твои графики это ни какие не "спрямления". Первый рисунок это график целевой функции, на которой нужно найти максимум. Только у тебя там как-то оси перепутаны, более показателней было бы х по горизонтали пустить. Второй график это график производной функции. На нем интрестно нулевое значение, которое соответсвует экстремуму функции.
>>345653 Сами её методы - хуйня, переходящая во что-то осмысленное только в алгебраической форме. Зачем людям знать о таком недоразумении, как Евклид и о его работах, когда у нас есть линейная алгебра?
>>345657 Максимум/минимум функции это значение функции при котором соседние участки имеют меньшее/большее значение чем в точке максимума/минимума. Этим такие точки отличаются от максимума/минимума вообще. В функции х³-х игрек может быть каким угодно большим, но минимум и максимум у нее в районе х=-/+0.5774. Находятся они по значению производных. Берем производную. Она будут равна 3х²-1=у. Подставлем у=0, так как в этих точках функция обращается в ноль и не изменяется, и находим корни уравнения. Они равны +/-0.5774. Но ты не знаешь какое именно число отвечает максимуму какое минимуму. Для этого берем производную от производной и подставляем туда найденные значения. Она равна у=6х. При подставленных найденых корнях производная будет отрицательной при отрицательном значении корня и положительной, растущей, при положительном. Знак найденного корня никак не показывает минимум это или максимум. Для наглядности найди критические точки у функции х³-х²-х.
>>345659 >Сами её методы - хуйня, переходящая во что-то осмысленное только в алгебраической форме. У тебя получилось объяснение в духе вербитопомазанного: хуйня - просто потому что не алгем, и не то, что нам велит любить Миша. Но, на самом деле, ты же ничего не пояснил. Почему её методы хуйня безотносительно алгебраической формы?
>Зачем людям знать о таком недоразумении, как Евклид и о его работах Хотя бы потому, что он первый начал использовать аксиоматически построенную теорию. А такого подхода придерживается сейчас вся современная математика.
>>345657 Если функция в какой-то точке имеет экстремум, то в этой точке производная равна нулю. Поэтому чтобы найти наибольшее значение, тебе нужно вычислить значения функции во всех точках, где производная равна нулю и на границах области определения (если она ограничена) и выбрать максимум.
>>345698 Ты видмо не понимаешь всей глубины проблемы. Очевидно: любое произвольное значение умножить на (0) = любое другое произвольное значение умножить на (0). (0) сокращаем так как он в скобках, следовательно любое произвольное значение = любое другое произвольное значение. То есть даже бесконечность = 1, а 1 = 0, следовательно бесконечность = 0. Такие дела.
>>345113 Всегда получалось. А физика, биология и психология - лженауки. Нахуй все, оставьте только математику. Ахахаха!!!! Глупый шкальнек!!! Весь мир будет у ног математиков!!! меня понесло
>>345641 Пацаны, накидайте баек про ебанутых советских математиков. Давайте сравнивать ебанутость на международном уровне!
Рассказ очевидца с mathoverflow про дуэль арнольда с французами в 2001-м. Из арнольда бы хороший двачер получился
I was there. Arnol'd is one of my big mathematical heros, but I found the whole thing really sad. It was in French, but my French is decent. Arnol'd began his part with a phrase I've heard him say before: “In Russia it is impolite to talk ill of the dead, so I will not talk about Bourbaki” and then he proceeded to lambast Bourbaki in as nasty a way as you've ever read in any of his writings. I just felt like hanging my head. It was embarrassing watching him insult French Mathematics in front of 500 French men and saying things that seemed silly. It went on from there, Serre with a kind of sad understated dignity, not fighting, Arnol'd wanting a fight, hurling insults. The two barely even addressed each other. And yes, he did mention Toth, and if memory serves, he stated that Toth was probably Thales and had most likely come up with Newton's inverse square law. For me, the whole event was sad, embarrassing, and myth-crushing. Well, us mathematicians, we are all humans.
>>345728 Математики этой страны были ебанутыми задолго до советов.
>еще в 20-х гг. консервативные механики вроде Чаплыгина пренебрегали этими новыми науками, считали их западной чушью. П.С.Александров рассказывал мне, что Чаплыгин запретил П.Урысону включать новую тогда общую теорию относительности в его аспирантский экзамен. Это - наша специфическая русская черта - склонность к консерватизму, к отрыву от мировой науки. Даже Чебышев в XIX в., при своем блестящем аналитическом таланте был патологическим консерватором. В.Ф.Каган рассказывал, что будучи молодым приват-доцентом он встретил старого Чебышева, пытался поведать ему о современной геометрии и т.д., а тот презрительно высказался о новомодных дисциплинах типа римановой геометрии и комплексного анализа. Созданная им школа была сильной, но и с сильной склонностью к провинциализму. http://aspirant.rggu.ru/article.html?id=50768
Это эссе тоже ебанутый человек написал, кстати, - Сергей Петрович Новиков. Боговерчик, ватник и просто интересная личность.
>>345743 Тоже самое что и ибычная производная, только там джве переменных. Ближайший аналог это системы линейных уравнений. Там вроде тоже нихуя не понятно, но если выразить икс через игрек, то система вполнетрешается. Тут так же, только одна-две-N реременных считаеются постоянными, вокруг которых вычисляется одна свободная переменная.
>>345747 Частная производная - это производная вдоль вектора, когда в качестве вектора рассматривается вектор из наперёд выбранного зафиксированного базиса.
>>345756 Не съезжай с темы. Чем конкретно математическое, без маняпространств, определение частной производной написанное мной так, чтобы даже конченый смог понять, тебя не устраивает?
>>345759 Ты не говоришь, что такое частная производная. Ты говоришь всего лишь о синтаксических преобразованиях. Ты описываешь операцию, которую следует применять к строке символов, чтобы получить другую строку символов. Это тупо. Тебя спрашивают о смысле строк символов, а не о синтаксических манипуляциях. Поэтому частная производная - это производная вдоль вектора из наперед заданного базиса. Точка. Свои "одна-две-N реременных считаеются постоянными" засунь себе в жопу.
>>345760 нет, не про пикрил, а просто про интересную личность. да, книжица эта пиздец ацкий, выкини ее нахуй. возьми какой-нибудь нормальный вводный учебник для инженеров, желательно на английском языке. вот на таком примерно уровне
>>345666 Аксиоматика в стиле Евклида это куча безумных аксиом и тонна работы, которая была доделана только Гилбертом. И после этого ты еще нихуя даже не сможешь доказать, ибо методы сильно нетривиальные. Базовая же линейная алгебра оперирует только важными и простыми понятиями, из которых все очевидно выводится. Сейчас одного семестра линейной алгебры хватит, чтобы узнать, понять и научиться решать больше, чем любой великий геометр древности
>>345768 Толсто. Такая хуйня не нужна математикам, потому что там акцент на ручном решении кучи дифуров. Такая хуйня не нужна инженерам, потому что в 2016 году есть мат по, в которое вбиваешь дифур и он решается.
>>345777 Надто товсто. Это все нужно для формирования мышдения. Ну и чтобы в случае ядерной войны можно было сразу создать интегральное исчисление, а не разбивать круг на отрезки нулевой длинны для нахождения пи.
>>345770 >Сейчас одного семестра линейной алгебры хватит, чтобы узнать, понять и научиться решать больше, чем любой великий геометр древности И кто тебя сейчас заставляет учить евклидову геометрию? На мат.факах нет такого предмета. Геометрия есть - только дифференциальная. Такую геометрию Миша вам не запрещает?
>>345786 Да никто не заставляет. Ты попросил объяснить, почему она говно и ненужна, я объяснил. Я не тот анон, так что не знаю, что подразумевалос под алгебраической формой.
>>345791 >Ты попросил объяснить, почему она говно и ненужна, я объяснил. Что ты объяснил? Вот это: >Аксиоматика в стиле Евклида это куча безумных аксиом и тонна работы При желании, это можно сказать о любой аксиоматике. Да и чем аксиомы Евклида безумнее аксиом, скажем, ZFC?
>>345796 Не решение, а понимание сути как они работают. А суть лучше всего понимается если их решать максимально подробно. Это не то же самое что просто решать. Просто решать это написать что интеграл х² равен х³/3. Подробно решать это вывести почему интеграл х² равен х³/3
>>345799 > Подробно решать это вывести почему интеграл х² равен х³/3 Зачем ему выводить этот интеграл? Вот, например, я первокурсник и прошел основную теорему матана. Какое дополнительное понимание мне даст вычисление интеграла от x^2?
>>345805 Так ведь ты затем и пришёл в ВУЗ, чтобы изучить теорему Ньютона-Лейбница. Ты знал, куда шёл, и знал (должен был знать), чему тут будут учить. Уж не знаю, зачем тебе понадобилось изучать это.
>>345804 Не подменяй понятия. Еще раз спрашиваю, пасанчик с падика на одной волне с перельманом или нет?
>>345805 Ты чиьаешь плохо? Я уже ответил что тебе ничего. Разве что поможет корочки получить и пойти потом капчевать не по специальности с офиса за 20к, или сколько там офисные отбросы получают сейчас!?
>>345806 > Так ведь ты затем и пришёл в ВУЗ, чтобы изучить теорему Ньютона-Лейбница. Ну, верно, я ее изучил, понял как считать интегралы. А интеграл от x^2 нахуя считать?
>>345808 Поздравляю, тебе получилось затроллить меня своей тупостью, у меня реально бомбит.
>>345798 Блджадь, в случае линала это нихуя не тонна работы и совершенно не безумно. Я тебе за пять минут определю, что такое евклидово пространство, прямые и прочее говно через линал, начав с натуральных чисел. Каждое определение будет прозрачным и использующимся во всех областях математики (поле, векторное пространство, билинейная форма). После чего любая классическая теорема по геометрии будет практически очевидной. А теперь сравни с вот этим https://ru.wikipedia.org/wiki/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0_%D0%93%D0%B8%D0%BB%D1%8C%D0%B1%D0%B5%D1%80%D1%82%D0%B0 Вот честно скажи, ты их воспроизведешь? Они хоть где-то еще появляются? И сравни потом, насколько проще и надежнее сослаться на линейность и несложный счет, чем хуярить кучу дополнительных построений?
>>345808 Напомню тебе, что это ты доказываешь, что если заставить пасанчика сыграть достаточное количество партий в шахматы, то он превратится в Пуанкаре.
>>345809 Еще раз повторяю, специально для контуженных с бронепоезда. Лично тебе знания сути работы интегрального исчисления ничего не дадут. Не всем же надо знать как получается электричество в проводе, чтобы включить лампочку. Но вот когда провод где то замыкает...
>>345810 >После чего любая классическая теорема по геометрии будет практически очевидной. Серьёзно? Классические теоремы геометрии: теорема Наполеона Бонапарта, теорема Монжа, теорема Сальмона, теорема Микеля. Ты обломаешься уже на формулировках.
>>345812 Сука, ну какой же ты даун. Я знаю суть работы интегрального исчисления, понимаешь? Я могу вычислить интеграл от многочлена. Вопрос в том, нахуя мне вычислять интеграл от x^2?
>>345820 Я высказал тут >>345812 все что хотел и не буду повторять все трижды. Могу только добавить что если ты, таки да, знаешь как и что работает, ты бы расписал как получается интеграл из функции квадрата. Все.
>>345822 Я тебе объясню ход мыслей нормального человека.
1) Многочлен - непрерывная функция. Непрерывные функции интегрируемы. 2) Из линейности интеграла следует, что integral sum a_k x^k = sum a_k integral x^k 3) Интеграл от x^k можно посчитать по формуле Ньютона-Лейбница. Легко догадаться, что первообразная x^k - это x^(k+1) / (k + 1).
Ход мыслей долбоеба: ну кароч надо вычислить интеграл от sin 666x + x^1488, чтобы понять как работает интегрирование))0
>>345830 Вот ты и показал свой уровень владения дискуссией и математикой. Никаких доказательств и обоснований, только три предложения, которые каким то магическим образом вместили чуть ли не полторы тысячилетия развития математики, как тебе кажется. Я рад что больше мне не придется с тобой разговаривать.
>>345840 Все, что я написал, общеизвестно. Если ты не можешь доказать что-то из этого или не знаешь, что именно надо гуглить, то ты просто даун. Это все проходят на 1 курсе.
Вот есть область целостности R, а есть элементы x1,...,xn, которые ей принадлежат. Так вот, говорится, что если dR=x1R+...+xnR имеет место, то d=gcd(x1,...,xn). И все бы ничего, но я, блиа, никак не могу понять как делитель может равняться сумме того, что он делит. Алсо, кажется мне, что я не правильно понимаю смысл написанного. Помогай, помогач!
>>345816 Все кроме Салмона совсем просто. Особенно, Бонапарт насмешил, на фикипедии говно написано геметрическое, хотя всем очевидно, что через комплексные числа это делается за секунду.
>>345848 Увы, не слышал. Математикой увлекся недавно. Мне почему-то хочется d назвать общим кратным x1,...,xn. Я совсем конченный? x1R,...,xnR - это, вроде, идеалы. Это что-нибудь меняет?
>>345849 Поворот на 60 градусов = умножение на корень шестой степени из единицы. Центр правильного треугольника = сумма вершин делить на три. Так что хуяришь начало координат как тебе удобнее и делаешь пару-тройку тривиальных арифметических действий.
>>345857 >Поворот на 60 градусов = умножение на корень шестой степени из единицы. Центр правильного треугольника = сумма вершин делить на три. Так что хуяришь начало координат как тебе удобнее и делаешь пару-тройку тривиальных арифметических действий. И что за говно ты высрал, кокормист? Вычисли координаты равносторонних треугольников, построенных на сторонах произвольного треугольника относительно какой хочешь системы координат.
>>345861 Пиздос, ты ебанутый или как? Треугольник ABC, пускай 0 в А. Пусть B и С задаются комплексными числами z_1,z_2. Тогда AB достраивается числом z_1w, AC достраивается числом z_2(w^-1), BC достраивается числом z_1+(z_2-z_1)*w. Где w первообразный корень шестой степени из 1. Теперь очевидно считаешь центры и проверяешь, что разности отличаются домножением на w.
Да тут не считая мимокрокодилов человек 5 постит по-моему. И во всем саентаче один и тот же стиль, то есть те же люди. Сколько тут всего народу, человек 20 в хороший день?
>>345873 И тем не менее каждый мат.тред набирает минимум по сто постеров до бамп лимита. Хотя меня тоже это удивляет, кто все эти люди? Может Абу постеров накручивает, чтобы придать вес доске.
>>345883 ну спорно, может и не все, а просто не нашли еще опровергающего алгоритма. всего то требуется найти решение для интеграла через численные методы, а никто не ищет, ибо компьюетрных мощностей не хватает. можно через хадуп попробовать.
>>345078 И ничего он не ебанут, просто биологию не знает. Математичен ли мир - не известно. Но вот все восприятие мира - это сплошная математика. Вот взять зрение. Мы же не видим фотоны. Фотоны падают на группы нейронов сетчатки, те - генерируют сигнал. В мозге все сигналы обрабатываются, например, выявляются границы объектов. Вы же понимаете, что нет таких фотонов, которые несут информацию "я означаю границу этого объекта" независимо от наблюдателя.
Ты дифференциируем. Ты в гильбертовом пространстве, и я в гильбертовом пространстве. А потом сходимость в нашу честь... Сходимость в нашу честь. Сначала преобразуемся по Коши, потом интегрироваться пойдём. Производные равны нулю будут. Градиент. Сходимость. В мою честь сходимость. Я интегрируемый, и ты - в гильбертовом пространстве. Посмотри, какая у меня топология! Посмотри, какие у неё диффеоморфизмы! Я её ещё никому не показывал. Только тебе покажу. Посмотри! Это моя парадная. Специально вычислял! Посмотри, не бойся! Симплексы? Я их поменяю! Вот они, симплексы. Вот! Настоящие! Видишь? Математик. Я математик. Я их на преобразование по Коши надену.
Аноны, вектор как n-tuple в некотором векторном пространстве (с соответсвующими операциями и аксиомами разумеется) - это достаточно абстрактное определение вектора? Или в еще более общеем случае вектор это не n-tuple? А что тогда?
>>346019 Так я и спрашиваю - в каком векторном пространстве элемент не n-tuple? Или наоборот, над каким полем должно быть определено в.п. чтобы элемент считался n-tuple? Что-то про координатные системы?
>>346022 А, вот нашел ответ. Все-таки вектор это прежде всего геометрическое понятие, а все остальное - булшит.
The proper treatment of calculus for functions of several variables requires vector ideas; the budding statistician and the coming physicist need them; modern analysis is unthink- able without the notion of linear dependence and all that flows from it. Throughout these courses the infusion of a geomet- rical point of view is of paramount importance. A vector is geometrical; it is an element of a vector space, defined by suitable axioms—whether the scalars be real numbers or elements of a general field. A vector is not an n -tuple of numbers until a coordinate system has been chosen. Any teacher and any text book which starts with the idea that vec- tors are n -tuples is committing a crime for which the proper punishment is ridicule. The n -tuple idea is not ‘easier,’ it is harder; it is not clearer, it is more misleading. By the same token, linear transformations are basic and matrices are their representations
>>346022 В бесконечномерном пространстве вектор - не n-tuple. Бесконечномерные пространства встречаются очень часто. Например. R - бесконечномерное пространство над полем рациональных чисел. Но базис этого пространства не то что не конечен - он даже несчётен.
Конечномерные векторы превращаются в n-tuple только после фиксации в векторном пространстве какой-то системы координат. В двух разных системах координат одна и та же n-tuple может соответствовать двум разным векторам, один и тот же вектор может иметь две разные n-tuple. Вектор и n-tuple - разные вещи. Правильнее думать, что над каждым полем K для любого натурального числа n существует "модельное пространство энок", и что любое пространство над K с dim = n изоморфно модельному пространству n-ок, причём многими разными способами.
>>346028 Вектор - это элемент векторного пространства. Векторное пространство - это абелева группа, на которой действует поле. Абелева группа - это движения какого-то объекта.
>>346022 Возьми, например, пространство последовательностей в R. Понятно, я думаю, как складывать последовательности друг с другом и как умножать их на скаляр.
>>345728 Единственный смешной математический анекдот, который я когда-либо встречал:
Emil Artin (1898–1962) was famous for the extremely clear and extraordinarily well presented lectures that he always gave without any notes. One day, midway in a proof, he suddenly hesitated and said: “this conclusion is trivial”. After a few seconds, he repeated: “it is trivial, but I no longer know why”. He then thought about the question for another minute and said: “I know that it is trivial, but I no longer understand it”. He reflected on it a few moments more and finally said: “excuse me, I have to look at my lecture notes”. He then left the room and came back ten minutes later saying: “it really is trivial”. (Witnessed by Prof. Josef Schmid, Fribourg)
Другими словами, определение вектора через n-tuple ни чем не "обобщеннее" определения вектора из школьной геометрии как отрезка прямой имеющего величину и направление? А просто его алгебраибическая интерпретация? То есть всегда из тюпла можно построить геометрический вектор, если "мерность" пространства позволяет конечно? Я думал n-tuple это прямо так абстрактно, что все.
>>346084 >всегда из тюпла можно построить геометрический вектор Сначала нужно указать базис пространства. Одна и та же энка может быть координатами любого из векторов пространства, какого конкретно - зависит от базиса.
>это прямо так абстрактно, что все Хочешь вменяемо определить векторное пространство - воспользуйся понятием "модуль над кольцом" и скажи, что векторное пространство - это модуль над полем. Поле - это частный случай кольца.
>>346090 Ну да, я имел ввиду R^n, эвклидово (или декартово?!) пространство со стандартным базисом. А что такое эвклидово пространство без указания базиса?
>>346084 Векторы в математике - это то, что ты можешь складывать и умножать на числа. Твои тюплы можно рассматривать как векторное пространство, но точно так же и функции на R (все/гладкие/полиномиальные/и.т.д), которые тюплами не являются, можно рассматривать как векторное пространство, потому что их можно умножать на числа и складывать.
Как научиться в картофан: не получаются всякие огромные выражения, постоянно теряются какие-то знаки или скобки или числа. У кого есть такая проблема??
>>346242 Такое уже устарело. В наши дни люди пытаются формализовать математику полностью, чтобы кодить теоремы на каком-нибудь идрисе вместо описания их словами.
>>346242 Рассел, но его трактат "Principia Mathematica" провалился. В наши дни формализацией математики занимается программистский проект с говорящим названием "Петух" (coq по-французски), успехов нет.
Книги Бурбаки - единственный успешный проект такого рода.
>>346242 Зачем, если есть Бурбаки. Подобные проекты не из воздуха появляются, нужно, чтобы назрела необходимость. Такого пока не произошло, хотя, по-моему, намечается. Конечно, появились компьютеры, по этому поводу уже сказали.
>>346249 Ах да, категории тоже появились, это один из ингридиентов слова «намечается». Но одних категорий маловато. Впрочем, человечеству скоро будет не до этого. Война (вариант — катастрофа, кризис, коллапс...) начнётся, закончится, тогда и будет Бурбаки 2.0, в соответствии с первой версией.
>>346242 Смысл? На тех же основаниях получится то же, что у бурбаков, но хуже. Вот если бы кто-нибудь осилил изложение всей математики с позиции пикрелейтед, то могло бы получиться нечто отличающееся от бурбаков. Но вряд ли кто осилит.
>>346245 >В наши дни формализацией математики занимается программистский проект с говорящим названием "Петух" (coq по-французски), успехов нет. Кто тебе сказал, что успехов нет?
>>346264 Он говорит что маняматикой надо заниматься ради маняматики, а это плохо. Априорного знания быть не моожет, яскозал. Но конечно же тут он возразит что две пересекающиеся прямые в н-мерном пространстве лежат в одной плоскости, этажиачивидна. Хуйню написал. да.
>>346272 Понимаю. Ящитаю что занятие математикой ради математики это тупик и загнивание. Тот же спор о струне принес больше в математику чем нынешние попытки натянуть теорию струн на реальность.
Поясни за малые множества, Анон. Что это такое? Точнее, чем категория Sets отличается от Ens(от какого слова взято это сокращение?)? Как в Sets так и в Ens определяется некий "универсум", значит разница в количестве стрелок?
>>346258 >Тогда почему его ещё не используют все чистые математики? Потому что не все могут в него. Те, кто может - используют. Ты про гомотопическую теорию типов и Воеводского слышал? >В чём вообще может заключаться полезность "Coq"? В машинном доказательстве теорем, во-первых. Потом, написание кода, работающего строго по заданным спецификациям, т.е. программное обеспечение без глюков и ошибок. Ты и этого не знал?
>Например, (1, 1) и (-1, 1) - базис R^2. Ну это я кажись понимаю. Берем стандартный базис (1,0) (0,1) и поворачиваем на 45 CCW?
Да не пацаны, я хоть и школьник, но не совсем даун (кажется), я понимаю что такое базис (по-крайней мере в координатном пространстве), я просто похоже хуйню спросил, потому что заморочился >>346343 >сначало нужно задать базис
и споткнулся я об "задать". т.е. является ли базис как бы "intrinsic property" любого в.п. В результате тупо через гугл "every vector space has a basis" -- 9000 хитов. Успокоился.
>>346388 Любое конечномерное векторное пространство однозначно определяется размерностью n и поэтому изоморфно этим твоим тьюплам K^n, в этом смысле никаких (конечномерных) векторных пространств кроме K^n нет. Просто изоморфны они не одним способом - это и есть выбор базиса.
>>346390 Кстати а поясни по хардкору за эти мои любимые тюплы. >Конечномерные векторы превращаются в n-tuple только после фиксации в векторном пространстве какой-то системы координат.
Что есть в твоем понимании n-tuple? Как я понимаю это же просто абстрактный упорядоченный список каких угодно элементов. Вот есть у меня какое-то абстрактное в.п. уровня /b. То есть в нем - хоть пики точеные, хоть хуи дроченые. А базис я вообще не знаю какой. Разве не может у меня быть тюпл дроченых хуев? Он же вектор?
тюпл дроченых хуев - это охуенный подарок был бы EOT на 8 марта
>>346393 Ты ебанут? Всё правильно он сказал. Для любого целого положительного числа n и любого поля K есть только одно векторное пространство размерности n над полем K, с точностью до изоморфизма.
>>346394 Я не он, но поясню. Хуи должны образовывать абелеву группу. Ты должен быть в состоянии сложить два хуя и для каждого хуя найти минус хуй.
>>346394 Открой учебники и прочитай нормальные определения, зачем ты хуйней страдаешь?
n-tuple - это элемент декартова произведения каких-то n множеств. Второй вопрос я не понял.
Алсо, я не он >>346390 , он вообще пиздец отбитый. > Любое конечномерное векторное пространство однозначно определяется размерностью n Тогда бы говорили, что векторное пространство - это натуральное число.
>>346397 У меня учебников хоть жопой жуй. Постоянно натыкаюсь на "подразумеваемые понятия". Толкования требуют как тора с талмудом. n-tuple видимо имеет разные определения в разных областях
>>346395 > Для любого целого положительного числа n и любого поля K есть только одно векторное пространство размерности n над полем K, с точностью до изоморфизма. Возьмем пространство, у которого вектора из R^n, а скаляры из Q и возьмем пространство, у которого вектора из Q^n, а скаляры из Q. Они не могут быть изоморфны, потому что в первом пространстве несчетное число векторов, а во втором - счетное.
>>346400 >у которого вектора из R^n, а скаляры из Q Вот здесь у тебя проблема. Ты можешь взять произвольную абелеву группу и рассмотреть её как модуль над угодным тебе полем, с этим проблем нет. Rn образует абелеву группу, это тоже верно. Но кто сказал, что размерность Rn над полем Q будет равна n? Она не будет. Уже размерность R над Q не только не конечна, но даже несчётна.
>>346412 >>346397 >Тогда бы говорили, что векторное пространство - это натуральное число. Вообще-то вопрос осмысленный. Разница в том, что у натуральных чисел нет нетривиальных эндоморфизмов, а у векторных пространств они есть.
Реквестирую литературу по теории групп (интересуют группы Ли), если будет книга с со спецификой физики конденсированного состояния. Могу и на английском, желательно, посовременнее, наверно. Имею математическую базу физического факультета.
>>346421 Вроде бы есть Монастырский М.И. Топология калибровочных полей и конденсированных сред. Судя по оглавлению, необходимый бэкграунд там излагается, судя по названию, оно по теме. Больше сказать не могу
>>346421 Есть у Рубакова две книжки называются "Классические калибровочные поля". Там есть кое-что, но приложения тривиальные в духе спонтанного нарушения симметрии. Тем не менее весь групповой формализ, который ты встретишь в кондесированных средах там присутствует кроме, может быть, обсуждения конформной группы.
>>346441 Я что-то не улавливаю. Если ты хочешь чтобы соответствие натуральные <-> конечномерные пространства было функториально, то категория целых должна просто копироваться с категории векторных пространств, таким образом морфизмы в этой категории это множество матриц n x m. Автоморфизмы из n в n это обратимые n x n матрицы.
>>346447 Я и не говорил, что строю соответствие между двумя категориями, наоборот я хотел показать, что это разные категории. Если определить категорию натуральных чисел как пишешь ты, то безусловно они будут эквивалентны. Но первоначальное утверждение было >Тогда бы говорили, что векторное пространство - это натуральное число. и я хотел продемонстрировать, чем же конкретно отличается категория векторных пространств от натуральных чисел. А именно: симплициальная категория имеет в качестве объектов множество натуральных чисел, а в качестве морфизмов неубывающие отоьражения множеств {0,1,...,m}->{0,1,...,n}. Все эти морфизмы можно разложить в композицию двух типов отображений n->(n-1) и n->(n+1), отвечающих проекции симплекса на i-ю грань или включению i-й грани в симплекс. Тогда выберем набор 'каноничных' n-мерных пространств для каждого n и набор каноничных вложений и проекций R^n->R^(n+1) или R^n->(n-1), отвечающих вышеописанным отображениям. В таком случае любое линейной отображение можно представить в виде композиции обратимого отображения (приводящего базис к "каноничному") и композиции этих вложений/проекций. Теперь сопоставим каждому в.п. его размерность, а каждому лин. отображению композицию соответствующих ему отображений включения грани/проекции на грань в симплициальной категории. Тогда нетрудно видеть, что слой этого функтора (т.е. набор объектов, отображаемых в заданный объект и с набором морфизмов, которые отображаются в тождественный морфизм в категории-цели) над любым нат. числом есть категория n-мерных пространств с морфизмами-обратимыми отображениями. Эта категория является группоидом (это значит, что каждый морфизм в ней обратим). В свою очередь это значит, что первоначальная категория расслоена в группоидах (на самом деле только pre-fibered, потому что нужно выбрать cleavage, но это детали). Таким образом разница между категорией в.п. и категорией нат. чисел состоит в наличии в первой у каждого объекта нетривиальных автоморфизмов - что я и хотел показать.
>>346451 Поправка >в качестве объектов множество натуральных чисел в качестве объектов множество неубывающих последовательностей нат. чисел >отоьражения множеств отображения множеств. На самом деле здесь есть небольшая неточность - нам нужно рассматривать не категорию всех симплексов, а только категорию невырожденных симплексов, т.е. не являющихся гранью. Иначе придется иметь дело с "вырожденными векторными пространствами" которые имеют размерность меньше n, но должны бы считаться n-мерными следуя нашим определениям. Переход к невырожденным симплексам исправляет проблему.
>Проботай стандартный институтский курс вроде Кострикина или Винберга Спасибо. Скачал Винберга. Количество учебников к прочтению начинает пугать, попробую читать все параллельно.
>>346458 Спасибо. Хотя мне до категорий еще как до Австралии.
>>346462 А смысл читать несколько? Во всех учебниках излагается стандартный материал. Ленг (современное издание, а не 1967 года) и Aluffi Algebra chapter 0 в этом смысле просто самые полные. Кострикин лично мне не нравится, слишком сильно вязнет в деталях и почти не излагает современные разделы. Винберг, Artin и т.п. undergraduate курсы примерно эквивалентны друг другу, можно читать любой. Считать теорию категорий "продвинутым" предметом тоже по-моему неправильно - никаких содержательных результатов там нет, это просто язык современной математики. Все что реально может из нее понадобиться - несколько утверждений о сопряженных функторах и лемма Йонеды. Даже читать по ней какие-нибудь пособия я считаю излишним.
>>346464 Смотря что считать нетривиальным результатом. Для меня это такой, который бы привёл к решению некой математической проблемы, не относящейся изначально к области теории категорий. Вот например методами теории моделей передоказали mordell lang conjecture. Хотелось бы услышать о чем-то подобном в теории категорий.
>>346463 >лемма Йонеды А я ведь загуглил что это такое. Лол, вроде как это обобщение теоремы Кэли. Но если теорему Кэли я понимаю и, наверное, смогу доказать, то в формулировке этой леммы я даже слова в осмысленные словосочетания связать не могу.
>>346467 Во-первых, я не понял, при чем здесь теорема Кэли. Во-вторых, она же в уме доказывается. Что такое функтор C->Set? Это отображение, ставящее в соответствие каждому объекту X из C множество F(X), каждому морфизму f:X->Y отображение множеств F(f):F(X)->F(Y) так, что сохраняется ассоциативность и единичный элемент. Представимый функтор имеет вид Hom(A,X) для некого объекта A (здесь используется малость С, т.к. Hom должен быть множеством). Пусть теперь дано преобразование Hom(A,-)->F, поставим ему в соответствие образ в F(A) тождественного морфизма id_A из Hom(A,A). Наоборот, пусть задан элемент a из F(A). Тогда данному g:A->X поставим в соответствие F(g)(a) из F(X). Легко проверить, что это удовлетворяет определению естественного преобразования, а также что эти две конструкции обратны друг другу. Вот и лемма Йонеды.
>>346362 Sets, категория всех малых множеств, не является малой категорией. Класс её объектов есть собственный класс, ибо. Ens инкапсулирует подмножества какого-то множества, не являющегося собственным классом (т.е., это не универсум во всяком случае).
>>346468 >при чем здесь теорема Кэли Википедия так говорит.
>она же в уме доказывается Если ты разобрался в теории групп, а я только начал разбираться. Плюс я не знаю что такое функтор, что такое морфизм и т д, поэтому такое определение леммы для меня малоинформативно.
>>346503 Морфизм - это стрелка между объектами категории. В разных категориях природа морфизмов различается. В Set это функции на множествах, в Grp гомоморфизмы, в Mat(K) это матрицы с коэффициентами из K. Функтор - морфизм целых категорий. Технически функтор состоит из функции объектов и функции морфизмов. Пусть A и B категории, тогда функтор F : A -> B сопоставляет объекту A из A объект B из B и морфизму объектов f : A -> A' из A морфизм объектов g : B -> B' из B. Функторы обязаны сохранять тождественные морфизмы, т.е., если idA : A -> A, то F(idA) = idB (а след-но прицепом и изоморфизмы). Ещё они схороняют композицию морфизмов. Изи.
>>346451 > неубывающие отображения множеств > n->(n-1) Я не понял. Но вообще твоя категория - это если просто повыкидывать из категории каноничных пространств все морфизмы, кроме одного для каждых двух пространств так чтобы это осталось категорией. У такой категории изоморфизмов, конечно, нет, но при чём тут она?
Посаны, пикрелейтед задача сложная или я тупой? Это из Львовского. На 2м пике мое решение, решал 3 часа. Как надо было использовать тот факт, что ln вогнута и красиво решить?
Эй, математики, хочу такое спросить. Вот возьмем всю математику. Теперь удалим из неё все обозначения Бурбаки. Потом все обозначения теории категорий, Hott, в общем, любой формализм. Что-то остается от математики? Если да, вы можете это назвать?
>>346537 Оформил решение в техе - сразу видно что ты продвинутый малый. Следующий шаг - верифицируешь решение в петухе (Coq) - и никаких вопросов не останется. А Львовский со своими выпуклостями пусть на хуе крутится.
В английской Википедии нормальные статьи по математике? Их там действительно много, мне интересно, можно ли по ним же изучать материал? Вот, например, статья по векторным пространствам: https://en.wikipedia.org/wiki/Vector_space
Посоны, вы тут, судя по названию, все умные. Расскажите мне, зачем нужны линейные, квадратные и т.п. уравнения. Что было понятно, такие как на пикче. Я смутно помню, что в классе 5-м мы такие решали просто тысячами, там еще были разновидности со скобочками. А еще были с дробями, это вообще пушка, я чуть с ума не сошел от них. Так вот, зачем это все было нужно? Я тогда у учительницы постеснялся спросить, это все имеет какой-то практический смысл или просто игры ума и все такое?
>>346570 >это все имеет какой-то практический смысл Разумеется. Нахождение корней уравнений это база ВСЕГО.
Вот пример. Допустим, мы знаем уравнение изменение координаты какого-то тела с течением времени: x = x0 + v0t + at^2/2 где x0 - начальная координата тела, v0 - начальная скорость тела, a - ускорение, они нам заданы. Решая квадратное уравнение, мы можем найти в какой момент времени тело будет в точке x.
К примеру, 5 + 2t + 3t^2 = 6 - в наших терминах будет означать, что тело начало движение в точке с координатой x0 = 5 м, начальной скоростью v0 = 2 м/с и ускорением 6 м/с^2. Нам интересно, в какой момент времени тело окажется в точке x=6. Решая это уравнение, находим, что t=1/3
>>346577 >что тебя беспокоит? Что скоро может третья мировая начаться, что цены на бананы в три раза поднялись, а годных бананов и вообще не найти стало, что очки новые покупать надо, а я не знаю где и какой марки, что я до сих пор формализм Ламбека не освоил, и прочее по мелочи.
>>346588 В точности 28. Из внутренней точки, являющейся общим концом нарисованных отрезков, проведём по отрезку в каждую из вершин квадрата. Дальше вспомним, что площади треугольников одной высоты на равных основаниях равны. Дальше элементарно.
>>346022 А, вот нашел ответ. Все-таки вектор это прежде всего геометрическое понятие, а все остальное - булшит.
The proper treatment of calculus for functions of several variables requires vector ideas; the budding statistician and the coming physicist need them; modern analysis is unthink- able without the notion of linear dependence and all that flows from it. Throughout these courses the infusion of a geomet- rical point of view is of paramount importance. A vector is geometrical; it is an element of a vector space, defined by suitable axioms—whether the scalars be real numbers or elements of a general field. A vector is not an n -tuple of numbers until a coordinate system has been chosen. Any teacher and any text book which starts with the idea that vec- tors are n -tuples is committing a crime for which the proper punishment is ridicule. The n -tuple idea is not ‘easier,’ it is harder; it is not clearer, it is more misleading. By the same token, linear transformations are basic and matrices are their representations
То есть рассказать, что такое "система вещей" по Гильберту, что такое аксиомы.
Далее нужно ввести элементы логики.
Объяснить, что такое предикат, что такое функциональный символ, что такое квантор и т.д.
Теория множеств вводится так.
Существует система вещей, называемых множествами.
Для них задано логическое отношение "быть элементом".
Всякая вещь A либо является элементом вещи B, либо не является.
Кроме того, для этих вещей задано отношение равенства с традиционными свойствами:
рефлексивность, симметричность, транзитивность, подстановочность.
Далее нужно дать несколько определений.
1. Множество называется пустым, если никакое множество не является его элементом.
2. Множество называется индуктивным, если хотя бы одно пустое множество является его элементом и если оно вместе с каждым элементом x содержит элемент {x}.
3. A называется подмножеством B, если всякий элемент A является элементом B.
В таком случае B называется надмножеством A.
4. Вместо того, чтобы говорить "множество множеств", мы часто будем говорить "семейство множеств".
5. Пусть M - семейство. A называется объединением M, если каждое множество из M - подмножество A и каждый элемент A - элемент хотя бы одного элемента M.
6. Семейство называется регулярным, если в нём есть такое множество, что каждый его элемент не входит в семейство.
7. Непустое C называется неупорядоченной парой A и B, если каждый элемент C равен либо A, либо B.
8. Пусть A и M множества.
Пусть каждое подмножество A является элементом M.
Пусть каждый элемент M является подмножеством A.
Тогда M называется "булеан A" или "множество всех подмножеств A".
9. Пусть M - множество, P - высказывание о его элементах, N - подмножество M.
Мы говорим, что N удовлетворяет P, если для всякого n из N высказывание P(n) истинно.
10. Пусть, в тех же обозначениях, N удовлетворяет P.
Пусть любое подмножество M, которое удовлетворяет P, является подмножеством N.
Мы говорим, что P выделяет множество N из множества M.
Или что N выделено предикатом P из M.
11. Пусть f - функциональный символ от двух аргументов.
Если вещь можно подставить в этот символ в качестве первого аргумента, то мы говорим, что функциональный символ осмыслен на этой вещи.
Мы говорим, что функциональный символ корректен на множестве M, если функциональный символ осмыслен на каждом элементе M.
Мы говорим, что функциональный символ является истинным функциональным высказыванием об M, если он корректен на M.
12. Мы говорим, что функциональный символ f, корректный на M, преобразует множество M во множество N, если
а) для всякого m из M существует единственный n из N такой, что f(m, n) истинно
б) для всякого n из N существует элемент m из M такой, что f(m, n) истинно
13. Пусть есть функциональный символ, корректный на M. Пусть существует такое N, что f преобразует M в N.
Тогда мы говорим, что f является преобразованием M.
Далее нужно сказать, что вещи нашей системы подчиняются следующим аксиомам (Цермело-Френкеля с выбором).
1. Два множества равны тогда и только тогда, когда первое является подмножеством второго и второе является подмножеством первого.
2. Для всякого множества всякое высказывание о его элементах выделяет подмножество.
3. Существует пустое множество.
4. Существует индуктивное множество.
5. Для любых двух множеств, не обязательно разных, существует неупорядоченная пара.
6. Для всякого множества существует булеан.
7. Для всякого семейства множеств существует объединение.
8. Всякое истинное функциональное высказывание о множестве является преобразованием множества.
9. Всякое непустое семейство регулярно.
10. Для всякого семейства непустых множеств существует множество, содержащее ровно по одному элементу из каждого множества семейства.
Прошлый: