М.Двач / Наука

Этого треда уже нет.
Это копия, сохраненная 20 мая 2016 года.

Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.

12 Кб, 250x304

14 Кб, 200x303

2 Кб, 268x270

18 Кб, 248x250

МАТЕМАТИКА ДЛЯ НАЧИНАЮЩИХ, ТРЕД 2, ТЕПЕРЬ БАНАНОВЫЙ 20 Мар, 15:37 #349176 В конец треда | Веб

Список литературы для начинающих математиков:

И. М. Гельфанд, А. Шень: “Алгебра”. Весь курс школьной алгебры по 9 класс.
И. М. Гельфанд, С.М. Львовский, А. Л. Тоом: “Тригонометрия”. Название говорит само за себя. Много геометрических и физических интерпретаций + комплексные числа, как бонус.
Я.П. Понарин: “Элементарная геометрия” в двух томах. Собственно, первый том - это планиметрия(это раздел геометрии, изучающий фигуры в двумерном пространстве, т.е. на плоскости), а второй том - это стереометрия(это раздел геометрии, который изучает фигуры вне одной плоскости(не двумерное пространство), т.е. в пространстве).
Р. Курант, Г. Роббинс: “Что такое математика?”. Очень интересная книга, в двух словах не описать. Но вас захватит, надолго.
В. Б. Алексеев: “Теорема Абеля в задачах и решениях”.
М. М. Постников: “Теорема Ферма. Введение в теорию алгебраических чисел”.
Виленкин: "Рассказы о множествах".
С. Гроссман, Дж. Тернер: “Математика для биологов”.
А. Ю. Калинин, Д. А. Терешин: “Геометрия”, 10-11 классы. Годный учебник.
А. Д. Александров, А. Л. Вернер, В. И. Рыжик: “Геометрия”. Учебник для 10-11 классов. Базовый и углубленный уровни. Говорят, что годный. Хотя не проверял. На первый взгляд годный.
В. В. Ткачук: “Математика - абитуриенту”. Один из лучших учебников для поступающих в ВУЗы.
Г. Н. Яковлев: “Пособие по математике то для поступающих в ВУЗы”. Туда же.
С. Б. Гашков: “Современная элементарная алгебра”.
В. И. Арнольд: “Обыкновенные дифференциальные уравнения”.
Э. Б. Винберг: “Курс алгебры”.
Н. Стинрод Первые понятия топологии

Список литературы для начинающих физиков:
В. И. Яковлев: “Физика”.
Я. Б. Зельдович: “Высшая математика для начинающих и ее приложения к физике”, “Высшая математика для начинающих физиков и техников”.
Г. С. Ландсберг: “Элементарный учебник физики” в трех томах.

Интересное:
Я. П. Понарин: “Алгебра комплексных чисел в геометрических задачах”.
В. В. Острик, М. А. Цфасман: “Алгебраическая геометрия и теория чисел: рациональные и эллиптические кривые”
В. И. Арнольд: “Вещественная алгебраическая геометрия”
А. А. Заславский: “Геометрические преобразования”.
В. Акопян, А. А. Заславский: “Геометрические свойства кривых второго порядка”.
В. И. Арнольд: “Геометрия комплексных чисел, кватернионов и спинов”.
В. В. Прасолов: “Геометрия Лобачевского”.
В. Г. Сурдин: “Динамика звездных систем”.
Д. В. Аносов: “Дифференциальные уравнения: то решаем, то рисуем”.
М. А. Шубин: “Математический анализ для решения физических задач”.
В. В. Прасолов: “Наглядная топология”.
Д. В. Аносов: “От Ньютона к Кеплеру”.
Виро, Иванов, Нецветаев, Харламов: “Элементарная топология”.

Так же есть очень интересные и полезные ресурсы:

Библиотечка "Квант": www.math.ru/lib/ser/bmkvant
Высшая математика просто и доступно, по 2 курс включительно: mathprofi.net

Алсо, продолжаем обсуждать и дополнять список.

Ответы>>349215>>350678>>350723>>351150>>352374>>352839

sage 20 Мар, 15:40 #2 #349186

Почему не включили >>348422? Я буду бойкотировать этот тренд!

Ответы>>349194>>352548

20 Мар, 15:42 #3 #349194

>>349186
Докинь сюда, потом допилим.

Ответы>>349207

20 Мар, 15:45 #4 #349207

>>349194
Avec plaisir:

С. Маклейн: "Категории для работающего математика"
Р. Голдблатт: "Топосы. Категорный анализ логики"
А. Хэтчер: "Алгебраическая топология"
О. Я. Виро, Д. Б. Фукс: "Введение в теорию гомотопий. Гомологии и когомологии"
Д. Мамфорд: "Красная книга о многообразиях и схемах"

Ответы>>349228>>349345

20 Мар, 15:49 #5 #349213

М. Клайн - Математика. Поиск истины.
Д. Пойа - Математическое открытие
Л. Кэрролл - Логическая игра

20 Мар, 15:50 #6 #349215

>>349176 (OP)
http://hbpms.blogspot.ru/ а что думаете по поводу этой программы?

20 Мар, 15:51 #7 #349216

А. Гротендик, Ш.Мочидзуки, Г.Перельман "Гамалогии и тапалогии"

Ответы>>349222>>349993

20 Мар, 15:52 #8 #349217

>ТЕПЕРЬ БАНАНОВЫЙ
Это отсылка к Банандину из ПКА?

12 Кб, 280x336

20 Мар, 15:54 #9 #349222

>>349216
вербицтвую этого анона!

20 Мар, 15:56 #10 #349225

А телеграмм, лол?

telegram.me/matan_for_everyone

Ответы>>349227

20 Мар, 15:58 #11 #349227

>>349225
Ебать дебил.
Нельзя же быть таким наивным.

Ответы>>349229

20 Мар, 15:59 #12 #349228

>>349207
Категории не нужны в реальной жизни.

Ответы>>349231>>349233>>349238

20 Мар, 15:59 #13 #349229

>>349227
А что не устраивает? Норм же все

Ответы>>349233

20 Мар, 16:00 #14 #349231

>>349228
А в комплексной?

20 Мар, 16:01 #15 #349233

>>349228
>в реальной жизни.
Не нужна математика.
>>349229
Убери свою парашу, она хуже даже чана мочи.

Ответы>>349235>>349237

20 Мар, 16:02 #16 #349235

>>349233
:с

20 Мар, 16:03 #17 #349237

>>349233
Но сюда же сейчас опять кретины набегут

Ответы>>349240

20 Мар, 16:03 #18 #349238

>>349228
Они и в математике то очень не везде нужны.

20 Мар, 16:03 #19 #349239

>>349236
Забудь его как страшный сон

Ответы>>349243

20 Мар, 16:04 #20 #349240

>>349237
>сюда же сейчас опять кретины набегут
Как что-то плохое, ведь я уже здесь :3

Ответы>>349241

20 Мар, 16:04 #21 #349241

>>349240
Да блядь, свалил живо.

Ответы>>349244

20 Мар, 16:04 #22 #349243

>>349239
>Забудь его как страшный сон
Ибо сейчас уже следующий страшный сон

20 Мар, 16:05 #23 #349244

>>349241
>свалил
Кого?

Ответы>>349247

20 Мар, 16:06 #24 #349247

>>349244
Тебя

Ответы>>349249

20 Мар, 16:06 #25 #349249

>>349247
Кто?

Ответы>>349250

20 Мар, 16:07 #26 #349250

>>349249
Я

Ответы>>349254

20 Мар, 16:09 #27 #349254

>>349250
Что?

20 Мар, 16:14 #28 #349271

Ладно, давайте начнем.

Начнем с определения функции, пожалуй?

Ответы>>349272>>349284

20 Мар, 16:14 #29 #349272

>>349271
>пожалуй?
Нет, иди нахуй.

Ответы>>349274

20 Мар, 16:15 #30 #349274

>>349272
Опять приплыли. А я говорил, что нужно телеграмм.

Ответы>>349276

20 Мар, 16:16 #31 #349276

>>349274
Дуровысер не нужен, иди нахуй.

Ответы>>349278

20 Мар, 16:17 #32 #349278

>>349276
А что тогда создавать?? Твои предложения

20 Мар, 16:19 #33 #349283

Раз уж перекатились, то может этот тред будет адекватным и какой-нибудь добрый анон все же пояснит мне отличие нормальной подгруппы от идеала.

Ответы>>349301>>349316>>349346>>349354>>349362

20 Мар, 16:20 #34 #349284

>>349271
Вид бинарного отношения f371 при котором для любого x существует единственный y так что (x, y) ∈ f.
В силу единственности y запись (x, y) ∈ f эквивалентна f(x) = y

Ответы>>349286

20 Мар, 16:20 #35 #349286

>>349284
>Вид бинарного отношения f

20 Мар, 16:24 #36 #349294

хуясе когда успел 1-й улететь в бамп лимит? что проиcходит? набег из /b?

20 Мар, 16:29 #37 #349301

>>349283
Нормальная подгруппа определяется в группе (инвариантна по сопряжению). Идеал — подмодуль, если рассматривать кольцо как модуль над собой.

Ответы>>349307

20 Мар, 16:31 #38 #349307

>>349301
По-человечески, пожалуйста. Это же ньюфаг тред.

Ответы>>349309

20 Мар, 16:33 #39 #349309

>>349307
Так тебе надо учебники читать тогда. Что именно непонятно? Нормальная подгруппа — это про группы, идеал — это про кольца.

Ответы>>349311>>349313

20 Мар, 16:35 #40 #349311

>>349309
Так кольцо же от группы только наличием еще одной операции отличается.

Ответы>>349320>>349346

20 Мар, 16:35 #41 #349313

>>349309
Составь список учебников, позязя

Ответы>>349317>>349320

20 Мар, 16:36 #42 #349316

>>349283
В нормальной подгруппе H группы G результат сопряжения gH не обязательно включен в H
В идеале I кольца R для любого x∈ I, y ∈ R xy ∈ I

Ответы>>349327

20 Мар, 16:37 #43 #349317

>>349313

http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal Teichmuller Theory IV.pdf
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal Teichmuller Theory III.pdf
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal Teichmuller Theory II.pdf
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal Teichmuller Theory I.pdf

Ответы>>349319>>349322>>349336

2 Кб, 413x237

20 Мар, 16:37 #44 #349318

Поясните за Дзета-функцию Римана.

Ответы>>349325>>349326

20 Мар, 16:37 #45 #349319

>>349317
толсто.

20 Мар, 16:38 #46 #349320

>>349313
На русском — Винберг + листочки Локтева и Елагина из НМУ.
На английском — Dummit Foote, Aluffi.

>>349311
Зачем, по-твоему, эту операцию ввели?

Ответы>>349323>>349333

sage 20 Мар, 16:38 #47 #349321

>>349308
Я один это голосом Пахома прочитал?

20 Мар, 16:38 #48 #349322

>>349317
Я английский не знаю

20 Мар, 16:39 #49 #349323

>>349320
Спасибо

20 Мар, 16:39 #50 #349324

Что такое сопряженное векторное пространство на пальцах? Линейное преобразование каждого векторочка и 1 во 2-е?

Ответы>>349331

20 Мар, 16:39 #51 #349325

>>349318
Что сложного? Это функция-ряд. Считаешь ряд, отмечаешь точки

Ответы>>349334

20 Мар, 16:39 #52 #349326

>>349318
Ну аноны, не молчите.

Ответы>>349329

20 Мар, 16:40 #53 #349327

>>349316
>В нормальной подгруппе H группы G результат сопряжения gH не обязательно включен в H
Лол, как не обязательно-то? Поэтому она и нормальная, что все элементы вида a^-1Ha=H.

Ответы>>349332

20 Мар, 16:40 #54 #349329

>>349326
Ряд. В ряд точки

Ответы>>349334

20 Мар, 16:41 #55 #349331

>>349324
Есть линейное отображение из пространства в поле. Проверь, что сложение и умножение на скаляр этого отображения позволяет ввести структуру векторного пространства линейных функционалов. Вот тебе собряженное пространство.

Ответы>>349338

20 Мар, 16:42 #56 #349332

>>349327
Я говорю о gH (косет).

20 Мар, 16:42 #57 #349333

>>349320
>Зачем, по-твоему, эту операцию ввели?
Чтобы покрыть всю арифметику одним объектом.

1 Кб, 358x41

20 Мар, 16:42 #58 #349334

>>349325
>>349329
А как тогда её нули найти?

Ответы>>349335>>349336

20 Мар, 16:43 #59 #349335

>>349334
Это уже то, что ты не поймёшь

Ответы>>349339

20 Мар, 16:43 #60 #349336

>>349334
Так тебе скинули ответ:
>>349317

Ответы>>349339

20 Мар, 16:44 #61 #349338

>>349331
Как может быть отображение из пространства в поле? Я думал пр-во НАД полем? Поле это же цифирки. R например

Ответы>>349340>>349341

20 Мар, 16:44 #62 #349339

>>349335
А если я и есть Мочидзука?
>>349336
Всё прочёл. Ответа нет.

Ответы>>349343

20 Мар, 16:45 #63 #349340

>>349338
Что такое отображение?

Ответы>>349342

20 Мар, 16:45 #64 #349341

>>349338
Возьми R^2. Пусть есть отображение (x,y) - x. Вот тебе отображение из R^2 в R.

Ответы>>349518

20 Мар, 16:46 #65 #349342

>>349340
Функция.

Ответы>>349347

20 Мар, 16:46 #66 #349343

>>349339
Если ты Мочизука, то сам додумаешься.

Ответы>>349348

20 Мар, 16:47 #67 #349345

>>349207
Голдблатт не очень, кста. Маклейна можно на Гельфанда-Манина поменять (и категории, и гамалогии тапалогии выучишь).

20 Мар, 16:48 #68 #349346

>>349283
Очень сложный вопрос, это за пределами современной математики.
>>349311
Чем отличается 2 от 1? Только на единицу больше.

Ответы>>349350

20 Мар, 16:48 #69 #349347

>>349342

А функционал - это функция которая из одной ф-ции делает другую?

Ответы>>349349

20 Мар, 16:48 #70 #349348

>>349343
Ладно, ты меня раскусил. Я не Мочидзука. И работы его не читал, поскольку английский не знаю.
Может тогда хоть скажите в каком направление двигаться чтобы найти нули.

Ответы>>349358

20 Мар, 16:49 #71 #349349

>>349347
Линейный функционал — это просто линейное отображение из пространства в поле.

20 Мар, 16:50 #72 #349350

>>349346
>Чем отличается 2 от 1? Только на единицу больше
Не понял твоей мысли.

Ответы>>349353

20 Мар, 16:50 #73 #349351

Пацаны, бред превидился - векторное пространство операторов которые из римановых интегралов делают лебезгуевы. Что ближайшее по смыслу, что имеет смысл?

Ответы>>349352

20 Мар, 16:51 #74 #349352

>>349351
>римановых
Уверен тут где-то спрятаны нули Дзета-функции Римана!

20 Мар, 16:53 #75 #349353

>>349350
Одна операция и две операции — принципиальная разница. Одно + или × понять не так уж сложно. А вот + и × вместе — это ад. Взаимодействие этих двух знаков — одна из самых загадочных вещей в математике

20 Мар, 16:53 #76 #349354

>>349283
Все, понял. На вики написано, что это одно и то же.

20 Мар, 16:55 #77 #349356

В принципе абстракная алгебра это же ООП!!! Базовый класс, полугруппы (или как их там), с абстрактными "методами" (бинарные операции), потом группы, кольца, поля и тд, аксиомы пришлепываем, потом как в ооп начинаем наследовать получаем модули, потом векторные п-ва, потом алгебры и тд. Создаем новые "классы" как в программировании. Похоже?

Ответы>>349363

20 Мар, 16:57 #78 #349358

>>349348
ты чеё лох чтоли кокие нули хааааа

20 Мар, 16:58 #79 #349362

>>349283
Идеал - это из теории колец, а нормальные подгруппы - из теории групп. Вроде бы очевидно.

Ответы>>349377

20 Мар, 16:58 #80 #349363

>>349356
>В принципе абстракная алгебра это же ООП!!!
Наоборот.

Ответы>>349364>>349365

20 Мар, 16:59 #81 #349364

>>349363
ну да, конечно ООП много позже появилось, я имею ввиду похоже!

Ответы>>349370

20 Мар, 17:00 #82 #349365

>>349363
я имею ввиду я в ООП немного могу, а тут посмотрел на вашу алгебру и подумал - да это же ОХУЕННО! это оно!

Ответы>>349367

20 Мар, 17:02 #83 #349367

>>349365
Нет. Не сможешь.

Ответы>>349372

119 Кб, 402x508

20 Мар, 17:02 #84 #349368

Как понять каких чисел больше: парных или не парных?

20 Мар, 17:02 #85 #349369

А что тогда теории групп, выражаясь погромистким языком? Другая разновидность ООП? Типа другой язык?

Ответы>>349373>>349378

20 Мар, 17:02 #86 #349370

>>349364
Дело не только в "позже-раньше", если убрать всю болтовню то принципы ООП действительно следуют из таких областей математики как теория типов и абстрактная алгебра.

20 Мар, 17:03 #87 #349372

>>349367
заплакал. почему? мозг испорчен ооп?

20 Мар, 17:05 #88 #349373

>>349369
Другой интерфейс.

20 Мар, 17:07 #89 #349376

А поясните за топосы. Топосы эээ гратендика? градетника? Это болтология какая-то?? Теория струн для математиков? Попытка объединить разные подходы на синтаксической основе? Или просто буллшит?

20 Мар, 17:10 #90 #349377

>>349362
Ну, извини. Читаю несколько источников параллельно. Одни авторы начинают с колец, другие с групп. Я смотрю, что понятия нормальной подгруппы и идеала очень похожи, поэтому и спросил. Мне нигде не говорили, что в группах идеалов не бывает.

Ответы>>349379>>349387

20 Мар, 17:10 #91 #349378

>>349369
sigh
Группы, моноиды, полугруппы, кольца, модули, векторные пространства - это разные классы объектов.

Ответы>>349380>>349383

20 Мар, 17:11 #92 #349379

>>349377
Чем-то похожи, но не тождественны.

Ответы>>349381

sage 20 Мар, 17:13 #93 #349380

>>349378
Магму забыл, алгебру и лупу Муфанг.

20 Мар, 17:13 #94 #349381

>>349379
В чем тогда суть отличия, если опустить тот факт, что это понятия, определенные на разных классах объектов.

20 Мар, 17:14 #95 #349383

>>349378
Ты совсем не об этом. Я про теорию групп вообще как другой подход.

А так почему нет - от полугруппы вниз до полей, вполне можно наследовать друг от друга. А вот модуль -> поле -> алгебра это уже составные объекты. Например "пространство над полем" Или "модуль на кольцом". Разве не так?

20 Мар, 17:15 #96 #349384

Поясните за интеграл. Я понял, что это такое, но не понял, как его вывели э:

Ответы>>349386>>349389

20 Мар, 17:16 #97 #349385

В смысле "над" можно реализовать как has-a ну или is-a с множественным наследованием. И добавлять/перегружать "методы" (типа деление) по необходимости

20 Мар, 17:16 #98 #349386

>>349384
Площадь под трапецией!

Ответы>>349390

20 Мар, 17:17 #99 #349387

>>349377
Так.
И нормальные подгруппы и идеалы — это ядра. С этой точки зрения это одно и то же. В их конкретных описаниях тоже есть сходство, например, идеалы стабильны под действием всего кольца умножением, нормальные подгруппы — под действием вей группы сопряжением. Нормальные подгруппы замкнуты относительно умножения внутри себя, идеалы — относительно сложения внутри себя.
Но умножение и сопряжение, сложение и умножение — разные вещи, на этом уровне я не видел аналогий, даже вышеописанное сходство явно выписанным не видел.

Ответы>>349392

20 Мар, 17:19 #100 #349389

>>349384
Если нужна площадь чего-то ровного типа квадрата - пользуйся алгеброй (умножением). Если кривое - нужен интеграл. Разбиваешь на маленькие кусочки, притворяешься что они прямоугольные и суммируешь их площади. Как то так

Ответы>>349391

20 Мар, 17:20 #101 #349390

>>349386
Это определенный интеграл, я знаю, а я говорю про неопределенный. Т.е. я говорю про первообразную функцию.

Ответы>>349393

20 Мар, 17:21 #102 #349391

>>349389
Да это я все понимаю. Я не понимаю, собственно, как от x^2 пришли к x^3/3.

Ответы>>349394

20 Мар, 17:21 #103 #349392

>>349387
>Нормальные подгруппы замкнуты относительно умножения внутри себя
А если групповая операция - сложение?

Ответы>>349396>>349398>>349402

20 Мар, 17:22 #104 #349393

>>349390
Множество всех первообразных - неопределённый интеграл.

Ответы>>349397

20 Мар, 17:22 #105 #349394

>>349391
Ну это проще наоборот через производные. Можешь сам вывести через пределы

Ответы>>349397

20 Мар, 17:23 #106 #349396

>>349392
Множество со структурой группы всегда замкнуто относительно групповой операции. Подгруппа - та же группа, только внутри другой группы.

Ответы>>349400

20 Мар, 17:23 #107 #349397

>>349393
Вот я и не понимаю как это сделали.
>>349394
ЫЫ, не понимаю как.

Ответы>>349399

20 Мар, 17:27 #108 #349398

>>349392
+ значит коммутативно
× значит некоммутативно
В основном. Коммутативные=абелевы группы — не группы по сути. Вся идеология меняется. Группа — там умножение, некоммутативно, если коммутативно — это уже кольца и модули (что почти одно и то же).

Ответы>>349401>>349408

20 Мар, 17:27 #109 #349399

>>349397
Не ну просто из определения производной, даешь приращение f(x+h) и тд. попробуй для x^2. Просто дроби, 5-й класс. Сокращаешь туда-сюда и получишь 2х. Или можно геометрически думать. Касательная к параболе в точке есть прямая.

Ответы>>349403>>349405

20 Мар, 17:27 #110 #349400

>>349396
Вот и я об этом. У тебя просто написано, что она замкнута относительно умножения.

Ответы>>349408

20 Мар, 17:28 #111 #349401

>>349398
Что-то у тебя не то.

Ответы>>349406

20 Мар, 17:28 #112 #349402

>>349392
А какая разница, лол. И то, и то — бинарные операции с аксиомами. Просто договорились, что для абелевых будем писать "+", для остальных — "*". Чисто конвенциональная разница.

Ответы>>349404

20 Мар, 17:30 #113 #349403

>>349399
В смысле не касательная прямая, она всегда прямая лол, а если из тангенсов угла наклона построить график то будет прямая. Это иесть производная

20 Мар, 17:30 #114 #349404

>>349402
Ну как это какая разница? А если группу относительно арифметического сложения рассматривать, тут уже совсем не одно и то же.

Ответы>>349411

20 Мар, 17:31 #115 #349405

>>349399
Производная это скорость изменения функции, относительно какой-либо переменной, это я понимаю. Ну, пусть будет функция х^2-3x+1, как же узнать производную без таблицы? И что есть "даешь приращение"?

Ответы>>349409

20 Мар, 17:31 #116 #349406

>>349401
И что у меня не то? Коммутативность — такое важное свойство, что объекты, отличающиеся им, обладают принципиально другими свойствами. То, что коммутативная группа — это тоже группа, это, конечно, так, но это всё равно, что сказать, что тор(=бублик) — это множество.

Ответы>>349407

20 Мар, 17:32 #117 #349407

>>349406
Таблетки прими.

Ответы>>349411

20 Мар, 17:33 #118 #349408

>>349400
Относительно любой групповой операции. Умножение - только одна из. Это касается и аддитивных, и мультипликативных групп, и вообще каких угодно.

>>349398
> + значит коммутативно
> × значит некоммутативно
Нихуя это не значит. Это вопрос соглашений и не более того. Просто традиционно абелевы группы вводят используя "кагбе сложение", а неабелевы - на "кагбе умножении". Но значки + и × здесь используются чисто символически и в общем случае они ни к чему не обязывают. Можно заменить + и × на # и @ или ещё что-то более прикольное.

Ответы>>349412

20 Мар, 17:33 #119 #349409

>>349405
Подставь вместо x x+ε, отними то, что было, раздели на ε, преобразуй и посмотри, что будет когда ε —> 0.

Ответы>>349410

20 Мар, 17:34 #120 #349410

>>349409
Зачем нам что-то подставлять? И что такое ε? И зачем потом делить? Как и что преобразовать?

Ответы>>349413>>349414

20 Мар, 17:35 #121 #349411

>>349404
>>349407

Ответы>>349415

20 Мар, 17:37 #122 #349412

>>349408
>Нихуя это не значит. Это вопрос соглашений и не более того.
Всё, что есть в мире и говорится на языке — вопрос соглашений. Эти знаки употребляются не только в контексте групп и даже не только в контексте чисто абстрактной алгебры, а наделяются многими конкретными смыслами.

Ответы>>349419

20 Мар, 17:38 #123 #349413

>>349410
Определение производной знаешь? Расскажи

Ответы>>349417

20 Мар, 17:39 #124 #349414

>>349410
f x+ε - f x
/
ε
при
ε —> 0
= производная

Ответы>>349417

20 Мар, 17:39 #125 #349415

>>349411
Ты че, ты че? Я это в лекциях Вавилова видел. Под бинарной групповой операцией можно понимать что угодно. В том числе и обычные арифметические операции.

20 Мар, 17:40 #126 #349417

>>349413
Я же уже рассказывал.
>>349414
А вот тут уже немного непонятно.

Ответы>>349418>>349422

20 Мар, 17:42 #127 #349418

>>349417
Тут сложно записать аккуратно и наглядно, посмотри формулу определения производной как предела

Ответы>>349421

20 Мар, 17:44 #128 #349419

>>349412
И из этого ты делаешь вывод, что любая группа (М, +) априори коммутативна, только потому что операцию обозначили как "+"? А ты прикольный.

Ответы>>349424

20 Мар, 17:46 #129 #349421

>>349418
Я нихуя не понял, к сожалению, опять.

Ответы>>349423

7 Кб, 200x200

20 Мар, 17:46 #130 #349422

>>349417
Пикрил запись тебе знакома? Это и есть определение отношения приращения ф-ции к приращению аргумента. Теперь возьми самую просто ф-цию например x^2 и подставь в эту формулу и выведи что получится

Ответы>>349425

20 Мар, 17:48 #131 #349423

>>349421
что такое предел знаешь? сможешь простенький предел решить с h->0 ? (это стрелочка от h)

Ответы>>349427

20 Мар, 17:49 #132 #349424

>>349419
А ты не прикольный, а просто тупой. Речь не про логические импликации, а про реальное использование. Кстати, можешь показать пример того, что обозначается +, но некоммутативно?

Ответы>>349436

20 Мар, 17:50 #133 #349425

>>349422
Знакома, но я опять не понимаю что на ней написано... Я тупой, блядь, не понимаю нихуя. Кучу учебников уже просмотрел но не понял.

Ответы>>349428>>349431

20 Мар, 17:52 #134 #349427

>>349423
h стремится к 0
Я это все понимаю.

Ответы>>349437

20 Мар, 17:55 #135 #349428

>>349425
Да нормально, ты не тупой, просто нужно читать вдумчиво, в учебниках то нихуя не объясняют. Ты понимаешь смысл выражения "отношение приращения ф-ции к приращению аргумента"? Конкретно на графике y=x^2? Показывает как быстро растет парабола. То есть мы даем какое то приращение по х и смотрим что получилось по y. А потом делаем это приращение все меньше и меньше. В этом идея предела. Этого даже ньютон с лейбницем не знали. Коши придумал сто лет спустя.

Ответы>>349430>>349435>>349444

20 Мар, 17:57 #136 #349430

>>349428
>в учебниках то нихуя не объясняют
Вот это претензии, не охуеел ли ты?

Ответы>>349432

20 Мар, 17:58 #137 #349431

>>349425
Понимание — это не дискретный пареключатель, а непрерывный процесс. Точнее, что-то посередине. Оно прогрессирует в течение больших промежутков времени.

Ответы>>349892

20 Мар, 17:58 #138 #349432

>>349430
:)))) Ну я утрирую слегка.

Ответы>>349434

20 Мар, 18:00 #139 #349434

>>349432
Есть разница между
1)Кто-то не вдумчиво читает
2)В учебниках нет определений и теорем с доказательствами

20 Мар, 18:07 #140 #349435

>>349428
>Ты понимаешь смысл выражения "отношение приращения ф-ции к приращению аргумента"?

Это значение от двух точек на графике функции. Мы выбираем 2 любые точки на функции по х и узнаем их значения еще и по у. Потом узнаем разницу и делим полученное значение от у на полученное значение от х. Я правильно понимаю? Это так ведь? И извини за мой уебанский стиль речи.

Ответы>>349440

20 Мар, 18:09 #141 #349436

>>349424
Рассмотрим симметрическую группу S4. Обозначим композицию подстановок... Никак не обозначим. Эта группа некоммутативна. Помимо тривиальной подгруппы у ней есть ещё альтернирующая подгруппа A4 и клейновская K4. Но по твоей логике, на множествах образующих этих групп должна быть какая-то операция "+", ведь они коммутативны! Ну что тут скажешь.

Ответы>>349443>>349452

20 Мар, 18:10 #142 #349437

>>349427
ну так и сделай просто пример по формуле тупо подставь x^2 вместо f, обычная дробь же. все что нужно потом это отбросить слагаемые что в нуль обращаются при h->0. и все

Ответы>>349438

20 Мар, 18:11 #143 #349438

>>349437
м? ЧЕ?

20 Мар, 18:14 #144 #349440

>>349435
Правильно понимаешь. Показывает как быстро растет твоя функция. Идея в том, чтобы эти две точки были как можно ближе друг к другу, иначе получается погрешность. В идеале они вообще слились в нулевое приращение, но тода будет неопределенность 0/0. Но тебе можно этим не париться а просто подставить ф-цию в формулу для определения производной через предел и самому убедиться.

Ответы>>349441

20 Мар, 18:16 #145 #349441

>>349440
Как это может показать то, как быстро растет моя функция? Что за формула? Как ее вывели?

Ответы>>349447

20 Мар, 18:19 #146 #349443

>>349436
A4 и K — это индивидуальные исключения.
Мы говорим о разных вещах.
Операция там скорее композиция. В чём разница между композицией и умножением? С композицией связан геометричекий образ.
Повторяю в n-ый раз: я имею в виду то, как это реально представляется в голове, а не в учебнике «определение группы и абстрактная точка зрения на алгебру для начинающих».

Ответы>>349458

20 Мар, 18:19 #147 #349444

>>349428
>Этого даже ньютон с лейбницем не знали. Коши придумал сто лет спустя.
И как они тогда придумали интеграл и производную?

Ответы>>349448

20 Мар, 18:21 #148 #349447

>>349441
Формула на пике что выше. Она выражает ровно то что ты сказал словами. h - это и есть приращение, или "разница". Просто это приращение стремится к нулю. Чтобы получить скорость изменения ф-ции (рост, т.е. производную) но в точке, а не на отрезке. Вот и все что нужно понимать. Через эту формулу (и еще есть ее вторая разновидность) и выводятся производные простейщих ф-ций

Ответы>>349451

20 Мар, 18:26 #149 #349448

>>349444
Ну про интегралы еще греки древние знали а может и китайцы. В смысле вычисление площадей методом деления и суммирования. Ньютон придумал обобщенный аппарат но он не был строг, я забыл подробности но они там с лейбницом говном обмазывались много лет, длиннее любого треда на двачах. А потом они оба кони двинули, дым осел, пришел коши и все формализовал.

20 Мар, 18:28 #150 #349451

>>349447
Все равно нихуя не понял.

Ответы>>349454

20 Мар, 18:33 #151 #349452

>>349436
Лол, а мне группы самосовмещений фигур в пространстве мультипликативным языком рассказывали, да и во всех учебниках, что я видел тоже мультипликативный язык.

Ответы>>349460

20 Мар, 18:34 #152 #349454

>>349451
Ты не делаешь то что я тебе предлагаю сделать потому что тебе в лом, или даже не знаешь как подступиться?

Ответы>>349457

20 Мар, 18:35 #153 #349456

>>349453
а шо перекот уже грядет?

20 Мар, 18:36 #154 #349457

>>349454
Я просто пока собираюсь понять, как к этому пришли. Ибо я не понимаю как это делать вообще никак.

Ответы>>349459

20 Мар, 18:36 #155 #349458

>>349443
Лол, какие исключения? Откуда исключения? Операция - это просто операция, а значок "+" - иногда просто значок и ничего больше. В частности это "иногда" имеет место в тегории групп. Арифметика арифметикой, а теория групп теорией групп. Если явно не сказано, что группа (G, +) аддитивна, ты не имеешь права предполагать, что групповая операция - это арифметическое сложение, хотя бы потому что природа элементов вообще прозвольна и это может быть что-то, для чего арифметическое сложение, как таковое, не имеет смысла, то есть, не числа даже. Абстракция, ты можешь в неё? The same holds for "×", btw.
К слову, не стоит забывать, что в контексте арифметики и умножение коммутативно. Если у тебя что-то там представляется в голове, напиши об этом книгу и может даже из этого что-то выйдет. Но не тащи, пожалуйста, свои странные представления в уже имеющуюся теорию, она без них прекрасно себя чувствовала.

Ответы>>349464

20 Мар, 18:38 #156 #349459

>>349457
Ну мы же выше уже договорились, как к этому пришли. Через приращения. И уменьшение размера этого приращения до нуля. Что отражается в формуле на пике.

Ответы>>349461

20 Мар, 18:38 #157 #349460

>>349452
Потому что группы — это и есть изучение × (обратимого), а изучение + это скорее модули.
Но нет, это ведь совершенно не важно, просто договорённость!

91 Кб, 633x735

20 Мар, 18:42 #158 #349461

>>349459
Не понимаю что там на пике. Я только понял, что качество хуевое, и больше ничего. Сейчас все пытаюсь по учебнику вдуплить, но не получается.

Ответы>>349462>>349506

20 Мар, 18:44 #159 #349462

>>349461
Слушай, ну это же то что нужно. На одной страничке то, о чем мы тут пытаемся говорить. Какое качество хуевое? Печати? Что тебе там непонятно?

Ответы>>349463

20 Мар, 18:47 #160 #349463

>>349462
Короче, почему там указана ОПРЕДЕЛЕННАЯ БЛЯДЬ ТОЧКА СУКА, но обозначена она КАК ЦЕЛАЯ БЛЯДЬ ФУНКЦИЯ СУКА???

Ответы>>349465

20 Мар, 18:48 #161 #349464

>>349458
>Лол, какие исключения? Откуда исключения?
Объекты, настолько редкие и интересные, что их разумно рассматривать отдельно.
>Арифметика арифметикой, а теория групп теорией групп.
>арифметическое сложение
Сложение — вещь намного более широкая, чем арифметика. У тебя не понятие группы шире моего, а понятие + и × уже. Векторы, например, тоже складывают, коммутативно.

>Если явно не сказано, что группа (G, +) аддитивна, ты не имеешь права предполагать, что групповая операция - это арифметическое сложение
Перечитал. Что за шиза. Сказано, что (G, +) аддитивно?

В общем, я воспринимаю умножение и сложение широко, по факту употребления в математике, как объекты не менее абстрактные, чем само понятие группы, а ты ограничиваешься числами и воспринимаешь группу как объект более высокого уровня абстракции чем + и ×.
Заебало писать.

Ответы>>349467>>349472

20 Мар, 18:53 #162 #349465

>>349463
Че то у тебя каша какая-то. Тебе нужно с записью разобраться. Есть функция, есть точка на функции.
Допустим f(x)=x^2. Это функция. А есть точка x0. Ее значение f(x0). Если x0=3, f(3) = 9. Или в чем у тебя трудность?

Ответы>>349468

20 Мар, 18:56 #163 #349467

>>349464
Так ты шизик безграмотный просто. Ты разницу в записи бинарных операций хочешь выдать за серьезное концептуальное различие, а его нет — зато есть договоренность записи, чтобы математикам полегче было книжки и статьи читать.

Ответы>>349469>>349471

20 Мар, 18:57 #164 #349468

>>349465
>Ее значение f(x0)
Это как?

>f(3) = 9
Это понятно.

Там написано, что нужно формулу 3 для х, подставить в формулу 2. Зачем?

А так же там указана определенная(!) точка х, потом она называет вдруг переменной, потом мы её обозначаем, как функцию. Я вообще нихуя не понял что за ахинея.

Ответы>>349478

20 Мар, 18:58 #165 #349469

>>349467
Согласен с тобой, не понятно о чём спор, ошибся же он

20 Мар, 19:04 #166 #349471

>>349467
А то, все используют это так, но это совершенно не важно!
Это важно. То, как какая-то концепция фактически используется как раз важнее всего. Явно выписанные определения нужны просто чтобы закодировать и зафиксировать принятое использование.

Ответы>>349474

20 Мар, 19:05 #167 #349472

>>349464
> Объекты, настолько редкие и интересные, что их разумно рассматривать отдельно.
Почему абелевы группы представляются тебе чем-то исключительным?
> Перечитал. Что за шиза. Сказано, что (G, +) аддитивно?
По твоей логике именно так и должно быть, хотя ничего такого сказано не было. Но вообще это, конечно же, не так. Кажется, ты начал что-то понимать.
> В общем, я воспринимаю умножение и сложение широко, по факту употребления в математике, как объекты не менее абстрактные, чем само понятие группы, а ты ограничиваешься числами и воспринимаешь группу как объект более высокого уровня абстракции чем + и ×.
Это совсем не так. В группах есть групповая операция. Она может обозначаться любым значком, приглянувшимся или кажущимся целесообразным данному автору (либо вовсе не обозначаться, типа juxtaposition): +, ×, ⋅, ∘, •, и даже вот такими смищными значками ⊕, ⊗.

Ну вот, блядь, заставил лезть в таблицу символов. А каково авторам книг по теории групп должно быть, постоянно лазить за этим говном в таблицу символов при наборе текста на компутере?

Ответы>>349475>>349482

20 Мар, 19:07 #168 #349474

>>349471
Да нет такого. Просто какой-то парень навроде Галуа использовал плюсик, решили по такому случаю и дальше плюсик ставить. Все, просто история. Артин в своей книжке по алгебре негодует с термина "unit", что очень неудачно, но исторически так сложилось, он это признает. Ты же вокруг "identity" и "unit" настрочил бы эзотерики: мол, одно есть нейтральное, второе — обратимое, и где-то внутри лежит ключик.

Ответы>>349475>>349485

20 Мар, 19:08 #169 #349475

>>349472
>Почему абелевы группы представляются тебе чем-то исключительным?
На них сразу структура модуля в подарок идет.

>>349474-кун

Ответы>>349490>>349491

20 Мар, 19:13 #170 #349478

>>349468
f(x0) это тоже самое что f(3) или f(хуй) например. значение ф-ции в точки x0.

забудь про формулы 2 и 3. смотри сразу на 4. это и есть суть.
Где-то на следующей странице должна быть формула через пределы. Что за учебник кстати, какой класс?

Ответы>>349483

20 Мар, 19:14 #171 #349480

Сап. Начинающий математик на связе! Нашел в каждом учебнике ошибки! Море ошибок самых элементарных.
Взять хотя бы сложение.
2+2+2=6 и 23=6. Но 23=8, поскольку 222=8. Под умножением в учебнике написано сумирование. Но умножение, это другая операция. Например 210=1024, 53=125 и т.д.

20 Мар, 19:16 #172 #349482

>>349472
>Почему абелевы группы представляются тебе чем-то исключительным?
Где я такое написал? A4 — исключительна. K — тоже, отдельное название чему попало не дадут.
>Но вообще это, конечно же, не так.
То есть по-твоему «аддитивность» и «использование знака +» — не одно и то же?
>Это совсем не так. В группах есть групповая операция. Она может обозначаться любым значком, приглянувшимся или кажущимся целесообразным данному автору (либо вовсе не обозначаться, типа juxtaposition): +, ×, ⋅, ∘, •, и даже вот такими смищными значками ⊕, ⊗.
С абстрактной точки зрения. В реальности у этих значков индивидуальные смыслы, контексты использования, подразумеваемые свойства.
>Ну вот, блядь, заставил лезть в таблицу символов. А каково авторам книг по теории групп должно быть, постоянно лазить за этим говном в таблицу символов при наборе текста на компутере?
Боюсь, авторы книг по теории групп используют TeX и пишут обычными символами.

Ответы>>349490

20 Мар, 19:19 #173 #349483

>>349478
Я 11 класс. А это "Шнейдер В. Е. и др. Краткий курс высшей математики."

Я смотрю и не понимаю как это действует. Я просто не понимаю схуяли на точке там функцию взяли. У меня уже боль в жопе начинается.

Ответы>>349489>>349506

20 Мар, 19:20 #174 #349485

>>349474
«Единица» в смысле «обратимый элемент» как раз очень удачная терминология.

Ответы>>349487

33 Кб, 937x136

20 Мар, 19:25 #175 #349487

>>349485
Настолько удачная, что ни один учебник не обходится без обсуждения контекста. На пикрил Атья, Макдональд.

Ответы>>349488

20 Мар, 19:30 #176 #349488

>>349487
Ну и что. Интуитивно это означает, что всё рассматривеатся с точностью до обратимых, по модулю обратимых, то есть подразумевается некая факторизация, при которой обратимые уходят в 1, поэтому и «единицы». По каким-то неподвластным моему разуму причинам такая факторизация явно не указывается, хотя это, скорее всего, возможно и легко.

20 Мар, 19:38 #177 #349489

>>349483
А, понял я тоже пытаюсь вперед забегать, думал может в 11-м этот учебник Я честно говоря только по интернетам да двощам, в книжках все как-то стремно для меня, я сразу тупить начинаю. Видео и картинки помогают.

Погоди, как схуяли на функции точку взяли, но функция же вся из точек состоит. Или о чем ты вообще. Производная же в точке например.

Ответы>>349494

20 Мар, 19:38 #178 #349490

>>349482
> Где я такое написал? A4 — исключительна. K — тоже, отдельное название чему попало не дадут.
Ну, в принципе, это типичные абелевы группы, какими-то совершенно экстраординарными свойствами кроме этого они не обладают. Они достаточно просты, чтобы рассказывать о них ньюфагам во всяческих введениях. А ты почему-то назвал их уникальными.
> То есть по-твоему «аддитивность» и «использование знака +» — не одно и то же?
Бинго! Но только не по-моему, а вообще, "в реальности", как ты пишешь, лол.
> С абстрактной точки зрения. В реальности у этих значков индивидуальные смыслы, контексты использования, подразумеваемые свойства.
В какой реальности? В реальности композиций морфизмов категорий (∘)? В реальности тензорных произведений (⊗)? В реальности градуированных структур (⊕)? Может в реальности прямого произведения множеств (×)? Какая из этих реальностей более "реальна"? Важен контекст, правильно? А ты вот свои прямолинейные и бесхитростные, как табуретка, понятия о "+" и "×" тащишь в группы без оглядки. Не надо так делать.
> Боюсь, авторы книг по теории групп используют TeX и пишут обычными символами.
Я знаю. Кайнд оф шутка.

>>349475
Ну да.

Ответы>>349491>>349492

20 Мар, 19:48 #179 #349491

>>349490
>Ну, в принципе, это типичные абелевы группы, какими-то совершенно экстраординарными свойствами кроме этого они не обладают.
А вот и нет. Ядра знака перестановки обычно простые, насколько я помню, A4 единственная не простая. Да и вообще для альтернированных разве быть абелевой — обычное дело? Интуитивно они должны быть неабелевыми.
В целом, все объекты малой конечной мощности обладают какими-то особенными свойствами.
>Бинго! Но только не по-моему, а вообще, "в реальности", как ты пишешь, лол.
А вот это уже действительно странно, то, что ты так считаешь. Насколько я помню, во всех учебниках «аддитивность» употребляется в смысле «аддитивная запись».
Этот пустопорожний «спор» ни о чём начинает заёбывать.
>>349475
На идеологическом уровне это происходит потому, что модули над фиксированным кольцом — по сути коммутативная структура.

Ответы>>349496>>349507

20 Мар, 19:49 #180 #349492

>>349490
>Бинго! Но только не по-моему, а вообще, "в реальности", как ты пишешь, лол.
Жаль, потому что это одно и то же на самом деле. Ты просто не понимаешь сказанного.

20 Мар, 19:51 #181 #349494

>>349489
Я уже понял. Дело в том, что не пояснили кое-что. Показали бы, проиллюстрировали, что f(x)=f(x0+Δx), теперь понятно откуда эта функция. Мы узнаем приращение и эту определенную точку через приращение. Вот и все.

Ответы>>349495

20 Мар, 20:05 #182 #349495

>>349494
Ну и отлично, видишь - ты в общем-то сам разобрался. А еще хороший способ - не зацикливайся на одной картинке, одном учебнике. Учебников дофига на вебе да и просто поиск помогает!

20 Мар, 20:05 #183 #349496

>>349491
>во всех учебниках «аддитивность» употребляется в смысле «аддитивная запись»
Как раз-таки везде аддитивная подгруппа - подгруппа, в которой групповая операция совпадает с операцией сложения.

Ответы>>349503

20 Мар, 20:26 #184 #349503

>>349496
С моей точки зрения «аддитивная запись» и «операция сложения» — это одно и то же. Однако ты, насколько я понимаю, считаешь знак «+» и слово «сложение» принципиально разными вещами. Дескать, знак — это просто бессмысленный значок, который можно заменить хоть на пиктограмму дилдака, а вот слово «сложение» — это совсем другое, это настоящее сложение. Одно — это договорённость, другое — труъ. Хотя, казалось бы, в чём разница между словом и знаком? Ни один здоровый математик не обозначит сложение в модуле умножением, некоммутативный + — страшная редкость, но это же не важно.

10 Кб, 116x393

20 Мар, 20:30 #185 #349505

Вопросы от биомусора v. 2.0:
1. Допустим, решение ОДУ методом разделения переменных - можно сделать без нотации dy/dt - и как обосновать перетасовывания дифференциалов по разные стороны равенства? Где-то встречал мнение, что эта нотация ущербна(правда не очень понял, осознавая её удобства). Подозреваю юзается инвариантность формы первого дифференциала(нам не важно что y - функция от t, а не наоборот, к примеру).
2. В интеграле фигурирует выражение f(x)dx. А что если вместо dx взять величину g(dx) -> 0 при dx -> 0 к примеру g(x)=x^k, e^x-1 и.т.д. и рассмотреть суммы, аналогичные интегральным - будут ли они существовать, сводиться к интегралам или у них своя собственная атмосфера?
Добавочка:
3. Почему https://ru.wikipedia.org/wiki/Тетрация и последующие гипероператоры теряют непрерывность, в чём фундаментальная причина? Почему вообще при "наращивании" гипероператоров теряются какие-либо базовые свойства(н-р умножение->некоммутативное возв. в степень).
4. Ну и конечно, платина - лестничка пикрил/aka Troll Pi vs вычисление Pi приближением окружности правильными многоугольниками. Как строго обосновать, почему работают многоугольники и не работает лестница?
В прошлом обсуждении пришли к тому, что лестница сходится к линии по метрике d_0, но не d_1, а многоугольники - по d_0, d_1. Значит, отсюда ноги растут?

Ответы>>349562

20 Мар, 20:34 #186 #349506

>>349461
>>349483
Кстати, очень годный учебник. Можешь добавить потом в шапку.

20 Мар, 20:36 #187 #349507

>>349491
> Ядра знака перестановки обычно простые, насколько я помню, A4 единственная не простая. Да и вообще для альтернированных разве быть абелевой — обычное дело? Интуитивно они должны быть неабелевыми.
> В целом, все объекты малой конечной мощности обладают какими-то особенными свойствами.
Да, извини, анон. Не знаю, что на меня нашло. Такую хуйню сморозил, что теперь хоть убейся от стыда.

Ответы>>349508

20 Мар, 20:41 #188 #349508

>>349507
Ты серьёзно или прикалываешься?

Ответы>>349509

20 Мар, 20:42 #189 #349509

>>349508
Нет, не прикалываюсь.

20 Мар, 20:59 #190 #349518

>>349341
Аноны, пример такого отображения - это просто ф-ция двух переменных, типа z = f(x,y) ?

20 Мар, 21:08 #191 #349521

Насчёт A4 видел впечатляющее рассуждение Громова (в смысле, на его сумбурных лекциях), связывающее это с 2+2=4. Это равенство интерпретируется как возможность представления множества мощности 4 в виде дизъюнктного объединения двух множеств мощности 2, и спрашивается, сколькими способами это можно сделать? Тремя: {1, 2} {3, 4}, {1, 3} {2, 4}, {1, 4} {3, 2}. Перестановка множества 4 меняет разбиение, то есть индуцирует перестановку множества 3! Этот гомоморфизм и показывает непростоту.
http://m.youtube.com/watch?v=j2LTRE6sX2o
начало

20 Мар, 22:09 #192 #349534

Почитал тут ваши потуги объяснить парню, что такое производная и даже почувствовал себя не таким тупым, потому что сам понял смысл производной и за один день сам посчитал все элементарные производные.

Мимо-стремящийся

Ответы>>349535>>349536

20 Мар, 22:11 #193 #349535

>>349534
Не понять производную может только тупое хуйло, коим и является тот чел.

Ответы>>349536>>349537

20 Мар, 22:14 #194 #349536

>>349535
>>349534
Парад снобизма просто
Прошёл 1 сем матана за 2 недели

Ответы>>349538

20 Мар, 22:15 #195 #349537

>>349535
Да ладно тебе. Я вот лично думаю, что тупить - это нормально. Важно не то, как долго ты "тупишь", а сколько ты усилий приложил для того, чтобы что-то понять. Ведь в конце концов у него получилось. В математике важен последовательный подход.

Ответы>>349540>>349542

20 Мар, 22:16 #196 #349538

>>349536
В предыдущим был один, школьный курс за полгода, функан, пучки хуючки

Ответы>>349539>>349543

20 Мар, 22:18 #197 #349539

>>349538
Но зачем учить школьный курс? Это же бессмысленно

20 Мар, 22:18 #198 #349540

>>349537
Время является очень важным ресурсом. Его "В конце концов" никому не нужно,лол. Другое дело, если он мат. учит для себя, но опять же стоит-ли это делать, если дифур решить не может.

20 Мар, 22:18 #199 #349542

>>349537
Вот я ему терпеливо сообщений 10 не меньше послал. А мне за сливочный интеграл так хуй чего и объяснили.

20 Мар, 22:19 #200 #349543

>>349538
Там был алгеом+топология+линал

Ответы>>349544

20 Мар, 22:19 #201 #349544

>>349543
Топология в школьном курсе?

Ответы>>349545>>349546>>349547

20 Мар, 22:20 #202 #349545

>>349544
ну какой-то пиздеж там был явно, типо учебник полистал

20 Мар, 22:20 #203 #349546

>>349544
Этим школьным курсом был тифаретник

20 Мар, 22:21 #204 #349547

>>349544
Не, он прошёл школьный курс и дальше начал читать тополгию и прочее

Ответы>>349548

20 Мар, 22:23 #205 #349548

>>349547
он это ты?

Ответы>>349549>>349551

20 Мар, 22:24 #206 #349549

>>349548
Мы все здесь одно целое

Ответы>>349550

20 Мар, 22:25 #207 #349550

>>349549
анонимус изучает топологию

20 Мар, 22:26 #208 #349551

>>349548
Нет, я у него поспрашивал, он топологию и линал прошёл в 1 семе, во втором взялся за алгеом, но он шизик кажется

20 Мар, 22:27 #209 #349552

Скиньте какие-нибудь задачники(с решениями ) по теории графов,гуглил ничего толкого не нашел

Ответы>>349553

20 Мар, 22:28 #210 #349553

>>349552
1 секунда в гугле
http://www.problems.ru/view_by_subject_new.php?parent=192

Ответы>>349557

20 Мар, 22:29 #211 #349554

>>349504
Проиграл.

20 Мар, 22:37 #212 #349557

>>349553
Нужны более общие теоретические задачи с доказательствами

20 Мар, 22:44 #213 #349562

>>349505
Бафф вопросам. Есть спецы по картофану?

Ответы>>349566

20 Мар, 22:56 #214 #349566

>>349562
Есть, но они пьют Зелёную Марку. Точнее уже выпили и не в состоянии помочь тебе.

20 Мар, 22:57 #215 #349567

Я, видимо, чего-то не понимаю в этом мире.

Вот есть представление mq+a чисел, делящихся на m с остатком a. По этой хероте строится разбиение на классы. Почему мне в книжке втирают, что для остатка a=1 класс будет: -mq+1, ..., 1, ..., ..., mq+1? В области отрицательных значений должно же быть -mq-1, а не плюс.

Ответы>>349568

20 Мар, 23:00 #216 #349568

>>349567
Остаток положительная величина по определению.

Ответы>>349571

20 Мар, 23:06 #217 #349571

>>349568
Мне кажется, нужно писать -(mq+1), тогда и остаток положителен получается. Просто если как в книжке писать, то, к примеру, класс по модулю 3 должен для остатка 1 быть ..., -3х2+1=-5, ... То есть остаток от целочисленного деления 5 на 3 равен 2, а это противоречит условию, где остаток=1.

Ответы>>349573

20 Мар, 23:11 #218 #349573

>>349571
>То есть остаток от целочисленного деления 5 на 3 равен 2
Ты делишь не 5 на 3, -5 на 3. Просто такое определение, остаток отрицательных чисел - положительное число.

Ответы>>349575

20 Мар, 23:13 #219 #349575

>>349573
Объясни, плиз, а то я туповат. Зачем такое определение? Не понимаю почему мой пример не верен.

Ответы>>349576>>349912

20 Мар, 23:14 #220 #349576

>>349575
https://ru.wikipedia.org/wiki/Деление_с_остатком
>Это условие обеспечивает однозначность результатов деления с остатком для всех целых чисел

Ответы>>349582

20 Мар, 23:22 #221 #349582

>>349576
Но ведь -3х2+1=-5, остаток 1 никак не получается же. Я не понимат. :(

Ответы>>349585>>349619

20 Мар, 23:28 #222 #349585

>>349582
Я настолько туп, что мне даже отвечать никто не хочет. :( Грустный_кот.жпг

Ответы>>349586

20 Мар, 23:31 #223 #349586

>>349585
Почитать определения не хочешь?
Почитай ещё определений, заебал тут тупые вопросы спрашивать, ты так никогда нихуя не выучишь, будешь очередным нытиком неосилятором

Ответы>>349587>>349588

20 Мар, 23:33 #224 #349587

>>349586
Ну чего ты? Все я прочитал, просто я с этим определением не согласен. Но не верю, что я умнее книжек. Вот и прошу пояснить.

Ответы>>349589>>349590

20 Мар, 23:34 #225 #349588

>>349586
>будешь очередным нытиком неосилятором
>будешь
Ебать ты оптимист.
Нахуй пройди, быдлофил.

Ответы>>349590

20 Мар, 23:34 #226 #349589

>>349587
>просто я с этим определением не согласен
https://www.youtube.com/watch?v=s3aYelkS0Yo

20 Мар, 23:35 #227 #349590

>>349588
Типа он уже неосилятор?
>>349587
Не согласен с определение, ну ты даёшь

Ответы>>349592>>349593

20 Мар, 23:36 #228 #349592

>>349590
>Типа он уже
быдло и дебил.
Да и в твоем отношении сомнения назревают.

Ответы>>349596

20 Мар, 23:36 #229 #349593

>>349590
Ну мне кажется, что такое определение только мракобесие в себе несет. Скорее всего, я не прав. Но ведь никто не пояснил на примере, который я привел почему я не прав. Вот я и не могу понять.

Ответы>>349594>>349595

20 Мар, 23:37 #230 #349594

>>349593
>Но ведь никто не пояснил
Деньги вперед.
Дебилам - только платно.

Ответы>>349597

20 Мар, 23:37 #231 #349595

>>349593
Это потому что ты не понял определения.

Ответы>>349600

20 Мар, 23:38 #232 #349596

>>349592
Зато насчёт тебя у меня никаких сомнений уже нет, нахуй пошёл.

Ответы>>349598

20 Мар, 23:39 #233 #349597

>>349594
Тред для высокомерных мудаков ниже по течению. А здесь люди ньюфагам помогают.

20 Мар, 23:40 #234 #349598

>>349596
>нахуй пошёл.
Удачно добраться, пиши-звони.

Ответы>>349599

20 Мар, 23:41 #235 #349599

>>349598
>этот нелепый перевод стрелок
>типа послал)))00)00)
Найс, быдло.

Ответы>>349602

20 Мар, 23:41 #236 #349600

>>349595
Понял твою мысль, ананасик. Пойду втыкать в определение, может осенит просветление.

Ответы>>349601

20 Мар, 23:42 #237 #349601

>>349600
Спасибо за помощь.

Само-быстро-добавление.

20 Мар, 23:43 #238 #349602

>>349599
Быстро добрался, малаца.

Ответы>>349603

20 Мар, 23:44 #239 #349603

>>349602
>Эти быдлопреколы
Какие ещё фокусы, можешь показать?
Апорт сделаешь?

Ответы>>349605>>349606

20 Мар, 23:44 #240 #349604

Дискретная линия на которой выбрана точка. Это целые числа. Берутся точки через 5, красятся в один цвет. Это точки, дающие один остаток при делении на пять. Цветов понадобится 5. Затем точки одного цвета сворачиваются в одну. Алгебра при этом сохраняется.

20 Мар, 23:44 #241 #349605

>>349603
Рыбникова покажу!

Ответы>>349608

20 Мар, 23:45 #242 #349606

>>349603
>?
>?
Омежки, омежки never change.

Ответы>>349607>>349610

20 Мар, 23:45 #243 #349607

>>349606
Но ведь я альфа!

Ответы>>349609

20 Мар, 23:45 #244 #349608

>>349605
Привет, жируша :3

20 Мар, 23:45 #245 #349609

>>349607
>эти оправдания
Ну что же ты, омежа.

Ответы>>349612

20 Мар, 23:46 #246 #349610

>>349606
>Умею делать апорт!11
Извини, недооценил :)

Ответы>>349611

20 Мар, 23:46 #247 #349611

>>349610
>!11
>:)
Ясно.

Ответы>>349615

20 Мар, 23:46 #248 #349612

>>349609
У меня тянок много. Одна из них твая мамка!!!))) кек

Ответы>>349613>>349614

20 Мар, 23:47 #249 #349613

>>349612
>этот школотящий школотун
Понятно.

20 Мар, 23:48 #250 #349614

>>349612
Тебя мамка наругает, за то что т ы на двоче сидишь.

20 Мар, 23:48 #251 #349615

>>349611
>:)
>Ясно.
Ох, да ты же ананасик :)
Ну, что же ты так быстро, я думал ты способнее
Давай, попытайся ещё :))

Ответы>>349616>>349618

20 Мар, 23:49 #252 #349616

>>349615
Ладно, побуду твоей сучкой немного. Кек

Ответы>>349618

20 Мар, 23:55 #253 #349618

>>349615
>>349616
Совет вам да любовь :3

Ответы>>350748

20 Мар, 23:58 #254 #349619

>>349582
Вопрос-то простой и годный. И столько бугурта, бэ-стайл говна .
-5=-2x3+1=-1x3-2. Т.е. мы берем наименьшее частное(в отриц. числах это будет большее по модулю), чтобы остаток был >0. Тем более, остатки-претенденты -2 и 1 равны с точностью до +/- делителя(тройки). Но нам удобнее выбирать остаток положительным, чтобы деление было однозначно(частное -2 или -1 в твоем примере). Понятно объяснил?

Ответы>>349628>>349680

21 Мар, 00:12 #255 #349628

>>349619
Нет.

Ответы>>349629

21 Мар, 00:13 #256 #349629

>>349628
Что именно непонятно?

Ответы>>349631

21 Мар, 00:15 #257 #349631

>>349629
Всё непонятно.

Ответы>>349635

21 Мар, 00:30 #258 #349635

>>349631
А мне вот непонятно - троль ты или нет. Давай сначала - какой у тебя вопрос? Почему остаток не может быть отрицательным, так?

Ответы>>349643

21 Мар, 00:51 #259 #349643

>>349635
>какой у тебя вопрос?
Я забыл.

21 Мар, 03:58 #260 #349680

>>349619
Анон, у меня сейчас благодаря тебе все в голове перевернулось. Я как-то абсолютно по-другому до этого воспринимал свой пример. Про округление в меньшую сторону я понял давно, но такой подход казался мне лишенным всякой логики. Сейчас я как будто из другого измерения на этот пример посмотрел и противоречие улетучилось. Спасибо огромное! Не уверен, что с этим представлением я полностью разобрался, но как минимум стало намного легче. Пойду спать, может со свежей головой все вообще очевидным покажется. :3

Очень интересная задача. 21 Мар, 10:15 #261 #349718

В общем, лично я не понял как решать. Задача за 9 класс, класс.

В равнобедренную трапецию ABCD вписана окружность с центром О. Найдите диагональ трапеции, если средняя линия равна √6, а угол AOD=135°, где AD - бо’льшее основание. Удачи всем.

Ответы>>350347>>350412

21 Мар, 17:20 #262 #349892

>>349431
Я не согласен. Я совсем не разбираюсь в основаниях, но интуитивно же понятно, что такое "понимание".

Понять доказательство утверждения означает быть способным при желании полностью его формализовать. В доказательствах всегда есть пропущенные шаги (иначе было бы невозможно читать). Понимание заключается в способности заполнить все эти пропущенные шаги так, чтобы доказательство представляло собой полностью формализованный текст. Делать этого, конечно, не надо.

Определение - это сокращенная запись какого-то знакосочетания. Понимать сокращенную запись означает знать все другие сокращения, которые в ней используются.

Математические тексты состоят из определений и утверждений.

Ответы>>349901

21 Мар, 17:52 #263 #349901

>>349892
>Я не согласен. Я совсем не разбираюсь в основаниях, но интуитивно же понятно, что такое "понимание".
«интуитивно же понятно»
Всё интуитивно понятно всем. В какой-то степени, ведь понимание — не бинарный переключатель.
Это кстати, свойственно далеко не только пониманию. Часто непрерывное считают дискретным, а дискретное — непрерывным.
>Понять доказательство утверждения означает быть способным при желании полностью его формализовать.
1. В лучшем случае это всего лишь одна грань понимания.
2. Я не знаю, что такое «формализовать». Или надо сказать «не понимаю»?
>Определение - это сокращенная запись какого-то знакосочетания.
Для меня смысла в этом предложении 0. Например, всё что пишется — это знакосочетания. Что такого особенного в значках?
>Понимание заключается в способности заполнить все эти пропущенные шаги так, чтобы доказательство представляло собой полностью формализованный текст.
И много людей такое могут? Хотя бы в отношении ограниченного количества более-менее серьёзных теорем? В такой интерпретации «понимание» — чрезвычайно редкая вещь.
>Понимать сокращенную запись означает знать все другие сокращения, которые в ней используются.
>Понимать это — означает знать то.
>Математические тексты состоят из определений и утверждений.
«Математические тексты» из чего только не состоят.

С какой стати речь идёт исключительно о математике? «Объяснять» слова надо в естественном контексте.

Корень разногласия:
я: знание не дерево,
ты: знание — дерево.

Ответы>>349922

21 Мар, 18:12 #264 #349912

>>349575
> Зачем такое определение?
Поставим каждому числу в соответствие его класс эквивалентности. Будем обозначать эти классы как [0], [1], ..., [m - 1]. То есть, например, 0, m и -m принаджежат одному классу [0].

Оказывается, можно складывать и вычитать эти классы. Мы ожидаем следующего:
1) [a] + = [a + b mod m]. То есть если мы выберем любые x из [a] и y из , то x + y mod m будет принадлежать [a + b mod m].
2) [a] - = [a - b mod m].
3) [a] + [a] = [a]
4) [a] - [a] = [a]
5) [a] + [0] = [a]

Если бы остатки были такими, как ты хочешь, так бы сделать не получилось. Например, 1 и -1 принадлежали бы [1], но 1 + -1 = 0 не принадлежит [1].

Ответы>>349914

21 Мар, 18:14 #265 #349914

>>349912
Разметка проебалась. Там где пусто, я писал b в квадратных скобках.

21 Мар, 18:19 #266 #349922

>>349901
Ой, бля, забей.

21 Мар, 18:53 #267 #349948

Чем обмазаться по нестандартному анализу?

Ответы>>349969

21 Мар, 19:12 #268 #349969

>>349948
Этим
https://en.wikipedia.org/wiki/Criticism_of_non-standard_analysis

Ответы>>349976

21 Мар, 19:15 #269 #349970

Учусь в десятом классе физмат лицея. Хочется угареть по вышмату. Надо книжки читать из оп-поста именно в таком порядке?

Ответы>>349984>>349993>>350012

21 Мар, 19:21 #270 #349976

>>349969
>Controversy has existed on issues of mathematical pedagogy.
>У пидагогав БОМБАНУЛО
А есть какие-нибудь более конструктивые книжки без баттхёрта школьных учителей?

Ответы>>349982

21 Мар, 19:43 #271 #349982

>>349976
Батхерт батхертом, а это довольно таки нишевое говнецо.
Я только одну норм книжку видел
https://books.google.co.uk/books?id=HmJ1CgAAQBAJ&printsec=frontcover&dq=Nonstandard+Analysis+for+the+Working+Mathematician&hl=en&sa=X&ved=0ahUKEwikma3lm9LLAhXlfHIKHcDiCSMQ6AEIKDAA#v=onepage&q=Nonstandard Analysis for the Working Mathematician&f=false

Ответы>>349994

21 Мар, 19:47 #272 #349984

>>349970
Нет, это просто список годных, по мнению анона, книг.

Ответы>>349993

21 Мар, 19:59 #273 #349993

>>349970
Хотя этот >>349984 прав, начинать всё же лучше с этой >>349216

21 Мар, 19:59 #274 #349994

>>349982
Спасибо, почитаю.

21 Мар, 20:17 #275 #350012

>>349970
http://www.mccme.ru/free-books/yaschenko/v08book-08.pdf
http://www.mccme.ru/free-books/yaschenko/v08book-09.pdf

21 Мар, 20:31 #276 #350024

Вопрос тысячелетия:
Можно ли выучить математику по википедии?

21 Мар, 20:34 #277 #350028

Объясните, пожалуйста, тому же десятикласснику, где в математике проходит граница между школьными инструментами и кучей этих страшных слов вроде тензоров, гомологов, топологий и т.д. И как эту границу переступить? Вот беру я любую книгу по математике, и там на меня валится страшное множество непонятных значков, абстракций, обобщений. Неужели на меня на первом курсе просто вывалят все это дерьмо и мне придется самому выплывать?

Ответы>>350812

21 Мар, 20:36 #278 #350031

>>350030
Пиздец. А почему бы сразу нормально в школе не преподавать?

Ответы>>350046

21 Мар, 20:39 #279 #350035

Помогите девятикласснику с домашкой.
1) Верно ли, что если Ax+By=Cz, где A,B,C,x,y,z — натуральные и x,y,z>2, то A,B,C имеют общий простой делитель?
2) Какое наибольшее количество непересекающихся окружностей единичного радиуса можно разместить на сфере радиуса R?
3) Можно ли заполнить 7-мерное пространство равными 7-мерными гиперкубами так, чтобы никакие два гиперкуба не имели целой общей 6-мерной гиперграни?
4) Существует ли простая группа, которая не является трансфинитно сверхпростой?
5) Существует ли нетривиальный узел, полином Джонса которого является таким же, как и у тривиального узла?

Ответы>>350037>>350038>>351146

21 Мар, 20:39 #280 #350037

>>350035
За 100 на киви могу оформить

21 Мар, 20:40 #281 #350038

>>350035
>Этот толстый вброс.

21 Мар, 20:44 #282 #350046

>>350031
Если в каждой школе нормально преподавать математику, люди думать научатся, а это нахуй не нужно, потому что тогда за императора никто не проголосует и не получится спокойно распиливать бабки с нефти.

Ответы>>350289

21 Мар, 20:44 #283 #350048

>>350042
Мне одноклассник, который недавно решил все задачи на Всеросе по математике еще в 6 на уроках музыки гиперкубы рисовал

33 Кб, 604x340

21 Мар, 20:48 #284 #350055

>>350050
За АСГУ.

21 Мар, 20:49 #285 #350058

>>350050
За Перельмана

21 Мар, 20:55 #286 #350064

Вопрос на будущее. В каких вузах современной математике обучают, а не диды, которые интегралы заставляют ебошить до посинения?

Ответы>>350297

21 Мар, 21:21 #287 #350085

>>350069
Он здесь чем-то на Китано похож.

21 Мар, 21:24 #288 #350087

>>350069
кстати я только благодаря вашим вайпам сподобился посмотреть, кто это такой. это охуенно. не догадывался, что ТАКОЕ може быть. "непрерывный - это когда потекло".

21 Мар, 21:56 #289 #350120

>>350108
>>350096
Пиздец. Зачем они это делают? Они ебанутые?

Ответы>>350126>>350149

21 Мар, 22:07 #290 #350126

>>350120
Посмотри еще вот это.

http://drevoroda.ru/assets/files/stati/arifmetika_nachala.pdf

32 Кб, 504x142

21 Мар, 22:21 #291 #350147

21 Мар, 22:22 #292 #350149

>>350120
Мне больше интересно, кто такое хуйло в мгу пускает и зачем вообще с ним спорят (сколько будет 2x3 например). Это же блять егор кузмич лигачев, во кто это. Блять аноны, почему мы тут, как из этой страны съебаться?

21 Мар, 22:46 #293 #350167

>>350164
8?

21 Мар, 23:14 #294 #350186

Репортнул ебанутых вайперов.

1076 Кб, Webm

22 Мар, 01:20 #295 #350289

>>350046

22 Мар, 01:21 #296 #350290

>>350050
А какая разница?

22 Мар, 01:28 #297 #350295

Сканави , ясен хуй, Сканави. Прорешаешь - считай сдал математику на 100 баллов.

22 Мар, 01:37 #298 #350297

>>350064
HSE на факультете математики. Но есть подводные камни:
https://youtu.be/4s8wpYde8dU
А ваще как Ромка Михайлов сказал: иди на мехмат не ради содержания основной программы, а ради погружения в среду и ради общаги конечно же

Ответы>>350317>>350331>>350799

22 Мар, 02:04 #299 #350317

>>350297
>подводные камни
Вышка сама по себе говно, тут секрета нет. Охуенность любого конкретного места делают люди, а не вывеска. На матфаке это преподавательский состав и способные студенты.

22 Мар, 02:39 #300 #350322

Гайз, можно пояснение на пальцах что такое аугментация. Гугл только про аугментацию мочевого пузыря выдает.

22 Мар, 03:19 #301 #350331

>>350297
Это двачер на видео? ЧСВ такое ЧСВ. Стрелочки ему дорисовали и лишили красного диплома суки.

22 Мар, 08:39 #302 #350347

>>349718
Мб кто-то решит?

Ответы>>350348

22 Мар, 08:43 #303 #350348

>>350347
Охуел что ли? Иди в /un

Ответы>>350351

22 Мар, 09:12 #304 #350351

>>350348
Так математика для начинающих же. Вон там ведь с треугольником то задачу решили

Ответы>>350352

22 Мар, 09:16 #305 #350352

>>350351
У тебя-то очевидная домашка.

92 Кб, 1262x674

22 Мар, 13:28 #306 #350412

>>349718

Ответы>>350421>>350436>>350445

22 Мар, 14:05 #307 #350421

>>350412
А я тебя вижу :3

Ответы>>350848

22 Мар, 15:11 #308 #350436

>>350412
Чому угол E = 90?
великовозрастный мамоёб

Ответы>>350500

22 Мар, 15:36 #309 #350445

>>350412
Спасибо!!

Ответы>>350447

22 Мар, 15:41 #310 #350447

>>350445
Но ты всё равно мудак.

Ответы>>350532

22 Мар, 18:16 #311 #350500

>>350436
DOH = 135/2
ODH = 90 - 135/2
EDH = 2*ODH = 180-135 = 45

22 Мар, 20:08 #312 #350532

>>350447
Почему?

78 Кб, 857x875

23 Мар, 05:05 #313 #350653

Сап матач.
Пытаюсь понять структуру математики.
Вот вроде все начинается с арифметики, но!
Математика это дедукция насколько я понимаю, а где математические доказательства арифметики из которых можно делать дедуктивные выводы? Это те самые foundations and philosophy?
Т.е. в школе нас учат воспринимать арифметику на веру потому что понять те самые foundations and philosophy трудно, и для этого нужны знания в математике? Ну и плюс арифметика весьма очевидна, ну или как это сказать... понятна по своей природе и легко проверяема.
Или все таки математика начинается с допущений?
Не могу найти норм материал по данной теме, матанон дай если не жалко.

Ответы>>350661>>350703

23 Мар, 06:42 #314 #350661

>>350653
Современная классификация математических теорий из разных разделов - это про топосы. Топосы Гротедника например. Топосы сейчас так же революционны, как в свое время генетика. Трудно переоценить их роль в унификации теории математики. В кратце - теория множеств дидов устарела. На смену ей пришла теория категорий. Топосы - это своего рода унифицирующие пространства, "мостики", связывающие различные теории. За основу там берется геометрическая логика, но тащемта все геометрические теории - это объекты чисто синтаксической природы. То есть система доказательств опирается на геометрические секвенции. Эта геометрическая логика как бы дает нам язык, при помощи которого пилятся теории топосов. Не только формулируются, а именно пилятся. Разумеется концепции какой-то конкретной модели могут быть интерпретированы через теории множеств, но это подход всратых дидов, а все знают, что четкие пацанчики уже давно пользуются категориальными структурами. Ведь у них для любой геометрической теории есть соответствующий классифицирующий топос - своего рода ДНК математической теории. Фишка в том что, именно синтаксис служит объединяющим костылем. Понятно, что классический подход дидов на основе теории множеств какбе подразумевает эквивалентность семантической и синтаксической компоненты (теоремы полноты, вот это все). Но важно понимать, что в теории моделей, основанный на топосах, естественным образом проявляется хуева туча различных семантик, и тогда очевидно что ключевую роль играет именно синтаксический подход.

Совсем просто - унификация теорий - через топосы-мостики - геометрическая логика первична - главенствует синтаксический подход, который разруливает многообразие семантик. Ну и может факультативно посмотри еще на лемму Йонеды. Вот и все.

Ответы>>350700>>350706

23 Мар, 07:28 #315 #350678

>>350673
На нулевой же >>349176 (OP) И ещё заметка - решать тривиальную домашку не любят нигде.

89 Кб, 676x522

23 Мар, 08:05 #316 #350683

Подскажите алгоритм решения этой задачи.

Спасибо.

Ответы>>350684>>350699

23 Мар, 08:06 #317 #350684

>>350683
Молодец.

23 Мар, 09:48 #318 #350699

>>350683
Пару минут ликбеза по теорверу в гугле - и ты в шоколаде. Но так и быть, решение: события у рандом-человека группа крови на рукаве 1,2,3,4 образуют полную группу.
Событие "безопасно перелить ему кровушки" - это сумма попарно несовместных событий обозначенных плюсиками(произведение различных пар независимых событий i*j, где i и j - номера групп(являющиеся номерами строк и столбцов в матрице) крови донора-реципиента - вероятность которой = произведению) в табличке - значит можно спокойно просуммировать эти произведения - полученный результат и есть ответ.

Ответы>>350827

23 Мар, 09:50 #319 #350700

>>350661
Спасибо тебе матанон, я далеко не все конечно же понял, но все равно спасибо.
Короче, сделал для себя вывод, что для упрощения легче воспринимать некоторые правила как аксиомы, и не ебать себе мозги, если когда-нибудь лягу в дурку, то там то я и займусь всякой метаматематикой и т.д.

23 Мар, 10:14 #320 #350703

>>350653
>Т.е. в школе нас учат воспринимать арифметику на веру потому что понять те самые foundations and philosophy трудно, и для этого нужны знания в математике?
Не то, чтобы трудно(для старшеклассника, разумеется) - а скорее накладно и бесполезно с точки зрения практики.
Если хочешь ознакомиться с аксиоматикой арифметики - бери аксиоматику и построение вещественных чисел(они обычно сильно урезаные, без тонкостей и технических деталей в начале курса матана идут). Ещё опционально можно поверхностно, в плане обозначений/определений ознакомиться с теорией множеств и предикатами - на этом языке-нотации всё формулируется, в дальнейшем пригодится. Хотя вполне можно обойтись естественным языком на данном этапе.
https://ru.wikipedia.org/wiki/Вещественное_число#.D0.90.D0.BA.D1.81.D0.B8.D0.BE.D0.BC.D0.B0.D1.82.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.B8.D0.B9_.D0.BF.D0.BE.D0.B4.D1.85.D0.BE.D0.B4
Можно просто пробежаться, посмотреть вообще что это.
Знаменитое здесь, благодаря кое-кому, строгое определение N можешь взять по Пеано.
https://ru.wikipedia.org/wiki/Аксиомы_Пеано
Ну и вот ещё немного из базового
https://ru.wikipedia.org/wiki/Основная_теорема_арифметики
https://ru.wikipedia.org/wiki/Китайская_теорема_об_остатках
Книгу с достаточно строгой, но в то же время доступной формой изложения по арифметике, к сожалению подсказать немогу.
Впрочем, первый том Бурбаки должен подойти. Шутка про баян
Ну или Principia Mathematica. Тоже шутка, но не про баян

Ответы>>351176

23 Мар, 10:17 #321 #350706

>>350661
Только вчера у нас пациент из дурки сбежал. Везде искали, а он на дваче свои фантазии льет!

>топосы, которые нужны 3.5 логикам
>геометрическая логика
>тут же лемма йонеды, которая вообще про вложение категории в категорию функторов из нее в set

Больной, вернитесь в палату.

Ответы>>350720

23 Мар, 11:56 #322 #350720

>>350706
> >тут же лемма йонеды, которая вообще про вложение категории в категорию функторов из нее в set

> Больной, вернитесь в палату.

Что не так-то?

Ответы>>350722

23 Мар, 12:29 #323 #350722

>>350720
Лемма Йонеды нужна и полезна, используется везде. Топосы нужны 3.5 логикам, потому что пучков за глаза хватает для математики.

23 Мар, 12:30 #324 #350723

>>349176 (OP)
Зашел спросить.
Какова вероятность дабла, трипла и квадрипла?

Ответы>>350729

23 Мар, 13:09 #325 #350729

>>350723
1/10, 1/100, 1/1000.

23 Мар, 14:30 #326 #350748

>>349618

23 Мар, 17:56 #327 #350799

>>350297
>и ради общаги конечно же
А что с общагами, какая-то особая атмосфера? Насколько я знаю первые курсы они живут в ФДСе, что там? Расскажи.

Ответы>>350868

23 Мар, 18:08 #328 #350805

Добрый день.
Есть линейное дифур 2 го порядка, приводящееся к канон виду. Знаю, что любое уравнение с постоянными коэф может быть приведено к канон виду с помощью линейного преобразования и тип уравнения не меняется при невырожденной замене переменных.
сам алгоритм нахождения :
1)привести к квадратичной форме методом Лагранжа
2)ввести новые переменные
3)найти матрицу преобразования
4)транспонировать
5)выполнить искомую замену

На практике просто, в теории ступор, преподу нужно объяснить почему вводятся новые переменные во втором шаге.

23 Мар, 19:16 #329 #350812

>>350028
Ходи на пары, внимательно слушай, делай домашки. На первом курсе будет сложно из-за большого количества разнородной информации. Где-то к концу второго курса заметишь аналогии и связи между всем этим, казалось бы несвязным материалом. Да и опыт решения появится, к терминам привыкнешь. Символику обсуждают, напоминают, если забудешь. Ничего страшного нет, главное не запускать. Правда я это понял не сразу и почти полностью проебланил первый курс, потом самостоятельно пришлось нагонять, что гораздо сложнее.

23 Мар, 19:26 #330 #350814

Подскажите что-нибудь по функану и комплану. В функане интересуют приложения, по комплану нужна систематизация знаний и приложения.

Ответы>>350817

23 Мар, 19:31 #331 #350817

>>350814
>Комплан
Очевидный Шабат.
>Функан
Тут зависит от того какие приложения тебе нужны.

70 Кб, 526x586

23 Мар, 20:51 #332 #350827

>>350699
Так и не понял что на что умножать. Можно подробнее?

Ответы>>350847>>350849>>350876

23 Мар, 22:06 #333 #350847

>>350827
Не грусти, ты просто тупой.

23 Мар, 22:08 #334 #350848

>>350421
Что, блядь?

23 Мар, 22:09 #335 #350849

>>350827
На сколько я понял, няша. Тупые должны поддерживать друг друга:
P(x)=P(1)1/4+P(2)2/4+P(3)2/4+P(4)4/4

Поправьте, если неправильно пжл.

Ответы>>350876

2235 Кб, 2448x3264

23 Мар, 22:41 #336 #350853

Я тупой, но здесь есть те люди, которым это на 10 минут? Помогите, пожалуйста. Зря я пошел на технаря

Ответы>>350855>>350862>>350908

23 Мар, 22:44 #337 #350855

>>350853
---> un/

23 Мар, 23:21 #338 #350861

Поясните, я правильно понял хайп вокруг Мотидзуки и абс гипотезы? Вроде это ж означает, что натуральный ряд не состоит из "равных друг другу" чисел, не делится на чет и нечет, как черное и белое, а среди N есть свои "более частые" и "более редкие", градиент какой-то числовой.

Ответы>>350869

23 Мар, 23:23 #339 #350862

>>350853
>Зря я пошел на технаря
Зря

23 Мар, 23:55 #340 #350868

>>350799
Он, наверное, имел ввиду общагу в общем смысле. Чтобы жить было где. А в фэдосах пиздец, как в Ираке после бомбежек. Одна из худших общаг при МГУ.

24 Мар, 00:14 #341 #350869

>>350861
Мне кажется чтобы разобраться, нужно начинать с аксиом Пеано и дать определение N.

Мочедзука - такой же ебанько, как его односельчанин который придумал свою версию теории струн с 25 вложенными пространствами. А может это даже его родственник. Его доказательство не опирается ни на один известный метод. Он там навертел 10500 страниц абстрактной хуйни, которую сам же и придумал. Ее нельзя ни подтвердить ни опровергнуть, потому что никто нихуя не понимает, что это вообще. Поебень короче, не парься.

Ответы>>350874>>350878

24 Мар, 00:30 #342 #350874

>>350869
>Мочедзука - такой же ебанько, как его односельчанин который придумал свою версию теории струн с 25 вложенными пространствами.
Совершил революционное открытие/доказал теорему, долгое время считавшуюся одной из главных проблем математики. В /сци/ нассали на лицо потому, что слишком сложно.

Ответы>>350877>>350880

24 Мар, 00:39 #343 #350876

>>350827
>>350849
Неправильно, но на верном пути. Вместо кол-ва плюсиков в столбцах деленных на 4 - надо брать в столбцах сумму тех вероятностей, которые отмечены плюсом.
P(x)=P(1)^2+P(2)x(P(1)+P(2)) + ...
Учите теорвер, дети - я сам его толком не знаю, но на таком уровне(точнее чуть выше) его освоил. Много где пригождается.

Ответы>>350879>>350892

24 Мар, 00:40 #344 #350877

>>350874
Мне кажется понимает только один Фесенко. Беда в том, что он никому объяснить не может.

24 Мар, 00:44 #345 #350878

>>350869
>/sci, мат. тред
До:
>Отвечай МРАЗЬ!
После:
>Мне кажется чтобы разобраться, нужно начинать с аксиом Пеано и дать определение N.
Попробуй навернуть Coq, формально определить "метаиндукцию" и доказать некорректность аксиом Пеано, а также прочих аксиоматик.

Ответы>>350889

89 Кб, 676x522

24 Мар, 00:44 #346 #350879

>>350876
>P(1) и P(2)
Это 0.49 и 0.38?

Ответы>>350890

24 Мар, 00:58 #347 #350880

>>350874
Так и шо, Мочесуке уже дали таки премию Клэя, как Грише? Или все еще вникают? Когда следующий воркшоп?

24 Мар, 01:30 #348 #350889

>>350878
КТО ЗДЕСЬ?! N-петух в треде?

Ответы>>350891

24 Мар, 01:30 #349 #350890

>>350879
Да. Больше не грузи домашкой, плиз. Полно ведь годных справочных материалов "для чайников", "для самых маленьких" с похожими разобранными примерами.

Ответы>>350893

24 Мар, 01:31 #350 #350891

>>350889
Не надо кипиш поднимать. Он теперь меньше палится. А может у меня детектор дал сбой.

7 Кб, 218x218

24 Мар, 01:37 #351 #350892

>>350876
Спасибо большое, анон.

Простите, если моя тупость доставила вам неудобства.

Ответы>>350893>>350894

24 Мар, 01:37 #352 #350893

>>350890
>>350892

24 Мар, 02:05 #353 #350894

>>350892
Не путай тупость/ум и знание/незнание предмета. "Многознание уму не научает". Удачи в освоении наук.

1588 Кб, 3920x2204

24 Мар, 03:32 #354 #350908

>>350853
Только вместо cosh и sinh лучше используй sh, ch. Остальное впадлу, спать хочу.

43 Кб, 618x172

24 Мар, 05:13 #355 #350910

Застрял на второй части.

Первую решил 0.6 0.1 + 0.4 0.15 = 0.12

Ответы>>350911>>350912

24 Мар, 05:14 #356 #350911

>>350910
>0.6 x 0.1 + 0.4 x 0.15 = 0.12

Ответы>>350912

24 Мар, 05:32 #357 #350912

>>350910
>>350911
Сам решил.

24 Мар, 20:05 #358 #351127

Гайз! Надо доказать, что всякая система натуральных чисел, НОД которых равен 1, является системой образующих группы всех целых чисел. Помогите ньюфагу, пожалуйста.

Ответы>>351180>>351261

24 Мар, 22:18 #359 #351146

>>350035
1) да
2) 56
3)нет
4)нет
5)да
не благодари

Ответы>>351149

24 Мар, 22:21 #360 #351149

>>351146
А теперь доказывай. Не докажешь - всю жизнь будешь слыть беспруфным кукаретиком.

Ответы>>351153

24 Мар, 22:25 #361 #351150

>>349176 (OP)
Ананасы, а вам не кажется, что путь по которому большинство изучает математику совершенно неправилен?
Допустим та же "Алгебра" Шень, начинается со свойств сложения и умножения, но при не вводятся понятия: натурального числа, множества, системы счисления и т.д.. Почему книги посвященные математике не начинаются с математической логики, которая позволила бы доказывать изученное?

Ответы>>351151>>351152>>351174>>351179

55 Кб, 550x550

24 Мар, 22:33 #362 #351151

>>351150
>при не вводятся понятия: натурального числа

Ответы>>351155>>351836

24 Мар, 22:39 #363 #351152

>>351150
Так там вроде есть задачи на доказательства.

Ответы>>351157

24 Мар, 22:46 #364 #351153

>>351149
доказал

Ответы>>351497

24 Мар, 23:57 #365 #351155

>>351151
да, с калькулятора пишу

при этом

Ответы>>351836

25 Мар, 00:09 #366 #351157

>>351152
Ну вот можно прочтя того же Шень/Шеня доказать основную теорему арифметики, например? О математической индукции там и речи нет, по мат. логике тоже ничего. В чем смысл тогда зубрить математику, когда нет четкого понимания на чем она строится, как доказывать ее положения и т.д.?

Ответы>>351164>>351179

25 Мар, 00:39 #367 #351164

>>351157
Задачи для этого есть. Интуитиция важнее.

Ответы>>351166

25 Мар, 00:50 #368 #351166

>>351164
>Интуитиция важнее
Арнольд в треде, все в Гермеса трисмегиста.

Ответы>>351210

2827 Кб, 2121x3000

25 Мар, 02:23 #369 #351174

>>351150
>но при не вводятся понятия: натурального числа, множества, системы счисления и т.д..
Ага, ведь любой математический учебник должен определять и доказывать все используемые понятия, на ZFC-основаниях.

25 Мар, 03:21 #370 #351176

>>350703
Спасибо, ты реально помог, и даже существенно повлиял на мое мировоззрение.

966 Кб, 2592x1936

22 Кб, 214x320

25 Кб, 219x346

25 Мар, 03:49 #371 #351177

Аноны, почему у нас такие годные книги не печатают. Диды считают за кощунство над наукой глумиться? Все ж таки в русском языке понятия член и многочлен занимают особое место. Могли бы придумать креативное название для блондинок.

Ответы>>351188

25 Мар, 05:51 #372 #351179

>>351150
>>351157
Не кажется. То, что нет мат. индукции и задач на неё - это конечно плохо.
>>но при не вводятся понятия: натурального числа, множества, системы счисления и т.д.
Это больше к мат. логу, арифметике и основаниям, чем к алгебре. Ньюфагам это не нужно, лишний объём информации(все эти ZFC, предикаты в деталях и.т.д.) и они этого могут не понять. На крайняк можно про это прочитать на википедиях/учебниках по мат. логу/
основаниям.

25 Мар, 05:54 #373 #351180

>>351127
Может, тут надо что-то вроде
https://ru.wikipedia.org/wiki/Алгоритм_Евклида ?

Ответы>>351253

25 Мар, 06:27 #374 #351188

>>351177
Алимов. Розовая обложечка, да и внутри всё какое-то девчаче-пидорское.

Ответы>>351201

25 Мар, 08:40 #375 #351201

>>351188
Годный же учебник!

Ответы>>351203

25 Мар, 09:00 #376 #351203

>>351201
Но для девочек.

Ответы>>351300

25 Мар, 09:39 #377 #351210

>>351166
Правда ведь. Интуиция это самое важное в математике. Это дано свыше.

Ответы>>351217>>351325

25 Мар, 10:13 #378 #351217

>>351210
У Арнольда есть интуиция?

Ответы>>351236

25 Мар, 10:25 #379 #351221

https://cont.ws/post/102294

Ответы>>351223

25 Мар, 10:52 #380 #351222

Тест

25 Мар, 11:03 #381 #351223

>>351221
Закон божий вернули - можно и Киселёва вернуть.

25 Мар, 12:37 #382 #351236

>>351217
Конечно

25 Мар, 13:48 #383 #351253

>>351180
НОД системы этих чисел задан в условии же. Зачем тут Евклид?

Мне эта задача, на самом деле, видится как вариация основной теоремы арифметики, только вместо неприводимых тут взаимно простые и доказательства единственности не требуется.

25 Мар, 14:06 #384 #351261

>>351127
Чем вы тут заняты вообще? НОД=1 эквивалентно существует линейная комбинация = 1. В целых числах умножение выражается через сложение, так что это то же самое, что используя + и - можно дойти до 1. А единица уж порождает всё.

Ответы>>351265

25 Мар, 14:13 #385 #351265

>>351261
Задача сформулирована для группы целых чисел. Подозреваю, что это группа относительно сложения. Других операций, следовательно, там нет. Опять же не дано точного описания объекта, подразумеваемого под системой натуральных чисел с НОД=1. Вот {3, 7} - это система натуральных чисел с НОД=1? Все множество целых чисел оно породить не может.

Ответы>>351286>>352266

25 Мар, 14:38 #386 #351286

>>351265
7-3-3=1 1+1+1+...+1 (n раз) = n, взять - — -n. Всё Z покрывается. Или у тебя свои представления о +–группе Z, в которые - не входит?

Ответы>>351289

25 Мар, 14:42 #387 #351289

>>351286
Ты просто не знаешь что такое система образующих.

Ответы>>351290

25 Мар, 14:45 #388 #351290

>>351289
Просвяти же меня.

Ответы>>351292>>351293

25 Мар, 14:49 #389 #351292

>>351290
a и b - система образующих, если любой элемент можно представить в виде ((-)a х (-)b) х n.

Ответы>>351295

247 Кб, 1280x933

25 Мар, 14:49 #390 #351293

>>351290
Просвятил тебя кадилом.

Ответы>>351295

25 Мар, 14:51 #391 #351295

>>351292
>((-)a х (-)b) х n
Что это, блеать?
>>351293
Грамотность для дебилов.

Ответы>>351301

25 Мар, 14:57 #392 #351300

>>351203
Там ведь ещё оранжевый есть для двачеров!

25 Мар, 14:58 #393 #351301

>>351295
Я не умею в формулы на дваче. А еще возможно, что ты прав, и {3, 7} являются-таки системой образующих. 7-3-3=1, 7+7-3-3-3-3=2, ... Блиа, а че я тупил тогда все это время? В общем, все-равно это надо доказать, а я не знаю с какой стороны подступиться.

Ответы>>351310

25 Мар, 15:23 #394 #351310

>>351301
>В общем, все-равно это надо доказать, а я не знаю с какой стороны подступиться.
Для того, чтобы «доказать» по крайней мере нужно «определение» НОД.

25 Мар, 17:01 #395 #351325

>>351210
Кстати бурбаки таки пользуются интуитивной индукцией в логике формальных систем.

Ответы>>351333

14 Кб, 252x349

25 Мар, 17:24 #396 #351333

>>351325
Бурбакистская мафия не нужна.

25 Мар, 19:38 #397 #351354

Для как оптимально выстроить систему состоящую из обрабатывающих и продуцирующих машин, так, что-бы не было простоя/переполнения ни одного звена цепи?
Параметры звена - время обработки/продуцирования и потребности в компонентах.
Как понимаю, структура является деревом, есть идея начиная с низа цепочки высчитать НОД по уровню исходя из времени операции узла. Но что-то явно не так.

Ответы>>351357

25 Мар, 19:58 #398 #351357

>>351354
Изучай линейное программирование.

26 Мар, 13:24 #399 #351472

6/11

26 Мар, 15:37 #400 #351497

>>351153
Где?

Ответы>>351514

26 Мар, 17:47 #401 #351514

>>351497
здесь

Пиздец блядь 28 Мар, 04:35 #402 #351796

1% женщин больны раком груди. У 80% женщин, больных раком груди, маммограмма верно выявляет наличие заболевания; кроме того, она даёт ложный положительный результат (то есть, неверно показывает наличие рака) для 9.6% здоровых женщин.

У какого процента женщин, маммограмма которых дала положительный результат, есть рак груди?

Ответы>>351797>>351805>>351841

28 Мар, 04:38 #403 #351797

>>351796
->/un

Ответы>>351799

28 Мар, 04:58 #404 #351799

>>351797
Там нет матеметики треда, а тут добрые люди уже раз помогли.

Ответы>>351802

28 Мар, 05:18 #405 #351802

>>351799
Это школьная задача, тебе максимум, что надо знать, что сумма вероятностей 100.

Ответы>>351803>>351823

28 Мар, 05:20 #406 #351803

>>351802
Так помоги её решить, если она школьная.

Ответы>>351804>>351805>>351809

28 Мар, 05:21 #407 #351804

>>351803
гугли формулу умножения вероятностей

28 Мар, 05:26 #408 #351805

>>351796
>>351803
0,01*(0,8+0,104)

Ответы>>351806>>351814

28 Мар, 05:27 #409 #351806

>>351805
А откуда 0,104?

Ответы>>351808

28 Мар, 05:28 #410 #351808

>>351806
>для 9.6% здоровых женщин.

28 Мар, 05:28 #411 #351809

>>351803
В каком ты классе?

Ответы>>351810

28 Мар, 05:29 #412 #351810

>>351809
10

Ответы>>351811

28 Мар, 05:31 #413 #351811

>>351810
Зачем тебе нужен был ответ этой задачи?

28 Мар, 05:57 #414 #351814

>>351805
>0,01*(0,8+0,104)
False.

Что же вы, математики. А говорите школьник любой решит.

Ответы>>351815

28 Мар, 06:08 #415 #351815

>>351814
>кроме того, она даёт ложный положительный результат (то есть, неверно показывает наличие рака) для 9.6% здоровых женщин.
Не понимаю это предложение

Ответы>>351816

28 Мар, 06:16 #416 #351816

>>351815
Выявляет рак у здоровых женщин.

Ответы>>351817

28 Мар, 06:19 #417 #351817

>>351816
Я так понимаю ты ответ вбиваешь на сайтик, а сайтик тебе пишет верно или нет?
Тогда ты мог неправильно забить ответ, который был
Если условие задачи верно понял
0,01-0,010,2-0,990,096

Ответы>>351818>>351819

28 Мар, 06:20 #418 #351818

>>351817
>0,01-0,010,2-0,99096

Ответы>>351819

28 Мар, 06:22 #419 #351819

>>351817
>>351818
Запишите ответ с точностью до одного знака после десятичной точки (знак процента не нужен)

Ответы>>351820

28 Мар, 06:23 #420 #351820

>>351819
Да ты охуел!

Ответы>>351821

28 Мар, 06:24 #421 #351821

>>351820
Все не так просто, как вы думали, поэтому и пиздец.

28 Мар, 07:10 #422 #351823

>>351802
Ой ли? Мне кажется, тут без Баеса не обойтись

28 Мар, 10:30 #423 #351836

>>351155
>>351151
ЛОЛ, БЛЯДЬ

28 Мар, 11:49 #424 #351841

Ну что вы, математики >>351796

Ответы>>351889

50 Кб, 604x453

28 Мар, 13:36 #425 #351847

Поясните за теорию категорий, почему её основаниями математики называют?
Это полноценная аксиоматика, альтернатива ZFC?

Ответы>>351850>>352174

28 Мар, 13:57 #426 #351850

>>351847
Это не альтернатива ZFC, а вообще отдельный раздел современной математики, который, среди прочего, позволяет изложить и основания. Категории часто называют метаязыком, чем-то, что позволяет описать математику, то есть математические объекты, включая, естественно, и множества.
В общем, категория - это достаточно абстрактная штука, в которую можно завернуть множества, множества со структурой (группы, алгебры, векторные пространства, топологии), небо, Аллаха и даже самого Маклейна с Эйленбергом. Прелесть категории в том, что внутренняя структура объекта остаётся нераскрытой сама по себе. Для того, чтобы изучить объект категории, нужно не лезть в его нутряности, а изучить, как он ведёт себя по отношению к другим объектам (изучить морфизмы этого объекта). Морфизмы - это не то обобщение отображений, не то что (на самом деле, морфизм может быть как объектом, так и функцией - в общем, тоже штука абстрактная)
Вот простой пример: рассмотрим категорию Set всех малых множеств. Класс объектов этой категории (обозначается Ob(Sets)) состоит из совокупности всех малых множеств, как нетрудно догадаться. Там есть и одноэлементные множества, синглтоны (обозначается для краткости 1). Множество морфизмов в этой категории - обычные функции на множества (обозначается Mor(Set)). Возьмём произвольный объект этой категории, Х и изучим все морфизмы hom (1, X). Они будут представлять собой множество функций f : 1 → X. Такое отображение можно назвать "выделением элемента Х", а множество морфизмов таким образом даст нам совокупность таких выделений. Множества довольно скучные объекты сами по себе. Любое множество характеризуется своими элементами. Но это именно то, что нам и надо. Только что мы изучили объект "множество", изучив множество его морфизмов.
Это очень просто пример, но вот приблизительно так это и работает. Можно изучать целые классы объектов, можно изучать даже сами категории средствами теории категорий. Но это очень общий инструмент. В частных проблемах использование категорий вряд ли оправдано. Это всё равно, что пытаться через телескоп читать книгу. Таким образом, категории позволяют исследовать целые совокупности объектов едиными и иногдя даже не лишёнными няшностями методами, выяснять их некоторые общие свойства. До кучи, категории позволяют переформулировать теорию множеств на категорном языке и, как считают некоторые категорные хуесосеры, это более модно, стильно, молодёжно, чем методы теоретикомножественных дидов.

Ответы>>351864>>351907>>351910

28 Мар, 14:24 #427 #351864

>>351850
А, забыл добавить. Какая категория обходится без стрелок и будет ли теория без коммутативных диаграмм теорией категорий? Вряд ли. Дык вот, морфизм - это просто стрелка. А её конкретная природа зависит от самой категории. Стрелки между целыми категориями называются функторами ("морфизмы категорий") Например, U : Grp → Set, это так называемый забывающий функтор, который сопоставляет каждой группе её множество-носитель. Вложение категории C в категорию функторов C → Set (если быть точнее, то Сор - двойственная к С категория, хотя есть и ковариантная формулировка) является темой леммы Йонеды (тут анон кратко поясняет о чём это >>351739)

69 Кб, 1024x600

68 Кб, 1024x600

28 Мар, 15:23 #428 #351880

Я не понял, это такой новый маняматический тренд?
Короче спрашиваю тут, как на первой пикче получили производную таким способом, и как на второй пикче определили что и куда в уравнении ставить, что икс под игреком?

Ответы>>351890>>352170

28 Мар, 16:16 #429 #351884

Рядом с Винбергом в разделе математика для начинающих советую еще Ш. Кобаяси К. Номидзу

28 Мар, 17:19 #430 #351889

>>351841
Тебе написали ответ, считай и переводи сам

Ответы>>351979

28 Мар, 17:21 #431 #351890

>>351880
Ты даун что ли?

24 Кб, 229x300

28 Мар, 18:24 #432 #351907

>>351850
>Это не альтернатива ZFC, а вообще отдельный раздел современной математики, который, среди прочего, позволяет изложить и основания. Категории часто называют метаязыком, чем-то, что позволяет описать математику, то есть математические объекты, включая, естественно, и множества.
Не понял. Это такая же аксиоматика, как и ZFC, которую можно записать на языке логики первого порядка?

Ответы>>351920>>352173

29 Кб, 447x500

28 Мар, 18:31 #433 #351910

>>351850
Ну вот ZFC записывается логикой первого порядка, которая находится в плане "определяемости/неопределяемости" ниже некуда.
А как выглядит формализация теории категорий? Или там не заморачивались этим и по формальности она уровня наивной теории множеств?

28 Мар, 18:49 #434 #351912

Категории — это тупо рисование стрелок. Развели понт из ничего.

28 Мар, 19:25 #435 #351920

>>351907
Да.

29 Мар, 00:46 #436 #351979

>>351889
Этот ответ инвалид, математик.

29 Мар, 18:58 #437 #352170

>>351880
На первой предполагают, что у — сложная функция, а дальше по правилу дифференцирования сложной функции.
Вот ссылочка для второй пикчи, смотришь "производная параметрически заданной функции".
http://www.mathprofi.ru/proizvodnye_neyavnoi_parametricheskoi_funkcii.html

29 Мар, 19:22 #438 #352173

>>351907
Нет.

29 Мар, 19:23 #439 #352174

>>351847
Нет.

29 Мар, 20:53 #440 #352188

Гайз, скоро у треда будет переКОТ. А пока что предлагаю всем, кто знает удачные книжки по математике для начинающих, не указанные в списке, поделиться этим знанием с остальными (алсо, подскажите, пожалуйста, книгу по графам). Желательно указать пару слов о том про что конкретно книга и примерный желательный уровень читателя.

Ответы>>352215>>352265

knuebok 29 Мар, 22:14 #441 #352215

>>352188
Какой-то список слишком неструктурированный, Винберг рядом с Шенем странно смотрится, по крайней мере. Подкину пару совсем уж для начинающих + выскажу своё мнение о них.

Ted Sundstrom "Mathematical reasoning writing and proof" - мне кажется отличная книга для первого чтения по математике. В ней объясняется, собственно, что такое математическео доказательство, математический факт и каким образом их можно придумывать. Начала теории множеств.

Гельфанд Шень "Алгебра", - курс как бы для начинающих, а как бы есть и действительно сложные задачи и темы, а также задачи, требующие изрядного количества смекалки. Поэтому читать можно, но если некоторые упражнения будут сложными - то скипать их. Охватывает весь курс школьной алгебры за вычетом тригонометрии.

Следующие книги Шеня: "Космография", "Геометрия", "Вероятность", "Игры", "Индукция", "Простые и составные", "Программирование" (чуть более сложные "Анализ в 57 школе" и "Экспонента и логарифм"). В духе "Алгебры" брошюрки на 10-30 страниц, дозировка простых и сложных задач аналогичная.

Если кому-то полезно, могу ещё подобного написать.

Ответы>>352221>>352297>>352435

29 Мар, 22:18 #442 #352221

>>352215
Давай.

30 Мар, 00:51 #443 #352265

>>352188
> для начинающих математиков
> В. И. Арнольд: “Обыкновенные дифференциальные уравнения”.
Лол. Ты ее открывал вообще? Это graduate level. Если, конечно, рассуждать как Вербит, типа в 11 классе все уже знают че такое диффеоморфизм и касательное пространство, то тогда да, это книга для начинающих.

30 Мар, 00:52 #444 #352266

>>351265
>Вот {3, 7} - это система натуральных чисел с НОД=1? Все множество целых чисел оно породить не может.
Этот не знает о чём говорит, не слушайте школьника.

Ответы>>352276

0 Кб, 88x38

30 Мар, 01:57 #445 #352273

Делим на 9^x. Получаем int 1/(1-(4/9)^x)dx. Заменяем (4/9)^x=t, ((4/9)^x*ln4/9)dx=dt. Можно ли сразу вместо x подставить t в последнем выражении, то есть сделать 1/ln4/9 int 1/t(1-t) dt?

Ответы>>352547

30 Мар, 03:29 #446 #352276

>>352266
Лол, это, вообще-то, вопрос был, а не утверждение.

Ответы>>352280

30 Мар, 04:07 #447 #352280

>>352276
> Все множество целых чисел оно породить не может.
Это утверждение и оно неверное. {7,3} порождает все целые так же как любая другая пара взаимнопростых.

Ответы>>352453

30 Мар, 04:25 #448 #352282

Посоны, как составить таблицу истинности для переключательной функции четырёх аргументов, с номером 7224, например? Переводим 7224 в 16-разрядное двоичное, получаем 0001110000111000, записываем внизу. А дальше что?..

Ответы>>352291

30 Мар, 06:32 #449 #352291

>>352282
Таблицу истинности или булево выражение?

Ответы>>352356

30 Мар, 09:09 #450 #352297

>>352215
Поясни за Винберга.

Ответы>>352362

30 Мар, 14:58 #451 #352356

>>352291
Разобрался уже, спасибо.

30 Мар, 15:52 #452 #352362

>>352297
Не он, но поясню. Хороший учебник с отвратительными задачами. Для задач смотри НМУшные листки Локтева/Елагина.

30 Мар, 17:24 #453 #352374

>>349176 (OP)
Здравствуйте, я даун-аутист и я прочитал 1 том Фейнмана. Прдкиньте учебники и страницы в них (sic!), где можно попрактиковатт все, что указано в первом томике. Желательно, чтобы там тоже были решения да понагляднее

Ответы>>352381>>352385

30 Мар, 17:59 #454 #352381

>>352374
Тебе задачник или что? Объясняешь действительно как даун-аутист.

30 Мар, 19:17 #455 #352385

>>352374
Тебе нужен десятый том Фейнмана. Это задачник.

Ответы>>352484

30 Мар, 22:15 #456 #352424

Посоветуйте годных книг по теорверу и матстату.

Ответы>>352426

30 Мар, 22:18 #457 #352426

>>352424
"Teorver and mathstat" John Englishspeaker, William Potato

Ответы>>352427

30 Мар, 22:19 #458 #352427

>>352426
Читал, давай ещё.

32 Кб, 357x480

30 Мар, 22:34 #459 #352435

>>352215
Поясни ещё за Винберга и Кострикина, будь няшей.

Ответы>>352442

knuebok 30 Мар, 22:50 #460 #352442

>>352435
Курсы Винберга и Констрикина - лучшие курсы по алгебре на русском языке (почему-то с книгами по алгебре на русском дикая напряжёнка).

Мне стиль Винберга очень нравится - очень хорошая подача материала в том смысле, что почти все определения очень хорошо мотивированы, и читать его мне было действительно приятно и легко. На самом деле - это одна из немногих книг по математике которые я прочитал от начала до конца. Есть много "отходов в сторону", в том плане, что главы 7 11 12 мне кажутся излишними и их можно скипать. Упражнения действительно по большей части простые, но я бы не сказал, что прорешав большую их часть вы будете плохо знать линейную и коммутативную алгебру (по крайней мере их азы), но если хочется чего-то сверх, то я при изучении линейной алгебры прорешивал этот листок, например http://verbit.ru/MATH/Teaching/Ginzburg-listok-1986.pdf которого мне хватило с головой (последние 4 до сих пор не решил 3:).

Констрикина Манина ("Линейная алгебра и геометрия") не читал, но когда-то бегло просматривал, мне он показался более сухим и формализованным, а также перегруженным лишними определениями и фактами - что плохо для первого учебника (не очень понятно на чём акцентировать внимание). А ещё он хуже свёрстан (вроде как даже не ЛаТеХ).

По-поводу учебников на английском: есть краткая рецензия от одного из немногих шарящих чуваков на dxdy на некоторые из них http://dxdy.ru/post1097114.html#p1097114 сам ни один из них не читал, но мнению того чувака полностью доверяю.

Ответы>>352443>>352465>>352466

knuebok 30 Мар, 22:55 #461 #352443

>>352442
Ах да, ещё и Винберг и Констрикин требуют хорошие знания в школьной алгебре на уровне того, что вы понимаете что такое многочлен, что такое рациональные и на интуитивном уровне - что такое действительные числа, откуда берутся решения для квадратных уравнений и, в частности, формулы Виета.

Ответы>>352448

30 Мар, 23:05 #462 #352448

>>352443
Что скажешь за Городенцева? Его учебник показался не таким уж простым, посмотрел потом лекцию, не один я не врубался сразу, хотя думал, что все остальные сразу и всё понимают, как только прозвучали определения и теоремы, лол

Ответы>>352449>>352466

knuebok 30 Мар, 23:13 #463 #352449

>>352448
Я пытался читать у него что-то по представлениям: мне не сильно понравился его стиль, мне кажется, он переоценивает читателя и во многих доказательствах опускает некоторые места, которые следовало бы разжёвывать. Сейчас посмотрел его учебник алгебры - мне кажется подбор материала не очень как для первого учебника, есть много специфических тем, которые на самом-то деле не сильно так чтобы must have. Но знаю многих крутых, по моему мнению, математиков-студентов, которые считают его учебник очень качественным, так что такое вот.

Ответы>>352450

30 Мар, 23:16 #464 #352450

>>352449
Представь себе ньюфага, который читает его первую лекцию, и думает, что всё это надо сразу понимать, если бы я не видел его лекций, то думал бы, что я самый тупой из его читателей

31 Мар, 00:00 #465 #352453

>>352280
Не толсти, это был вопрос, в котором содержался пример, поясняющий суть непонимания. Пример не верный, да. Спасибо, Кэп.

31 Мар, 00:31 #466 #352456

Поясните за простые и неприводимые, пожалуйста. В разных источниках определения разные. Да и вообще что означает p | ab => p | a или p | b, например. Для меня это просто слова. Ни одного поясняющего примера не могу найти.

Ответы>>352682

29 Кб, 379x480

31 Мар, 03:15 #467 #352465

>>352442
Гм, Кострикина я имел ввиду курс алгебры в трех частях (+задачник). Там как линейная алгебра, так и общая.
Просто мне повезло спиздить эти книжки, собираюсь по ним наконец-то нормально освоить алгебру.
Немного читал уже, сухим он точно не показался, Винберг суше на мой вкус. (Хотя его я только немного читал, когда мне начала теории групп понадобились. Как же у меня бомбануло от того что он определил сначала Абелевы группы, а только потом общее определение дал)

Ответы>>352573

31 Мар, 04:07 #468 #352466

>>352448
У Городенцева очень сложный учебник с упором на быстрый старт в алгебраической геометрии (у Городенцева все рассчитано на быстрый старт в алгебраической геометрии).

>>352442
На dxdy очень хорошие рекомендации. Я почти все эти учебники потрогал, так что поясню:

Dummit&Foote, Abstract Algebra — хороший, много примеров, задач, но страшно скучный, его нужно держать как справочник.
M.Artin, Algebra — американский Винберг. Группы Ли, упор на геометрию (классические линейные группы это все). Задачи неудачные.
Gallian, Contemporary Abstract Algebra — не читал.
Rotman A First Course in Abstract Algebra — не читал.
Advanced Modern Algebra — читал главы про введение в гомологическую алгебру, Ротман сильно разжевывает. Задачи слишком простые для уровня учебника.
Aluffi, Algebra, Chapter 0 — если ты в состоянии ее осилить, бери и забывай про остальные книжки из списка.
Herstein, Abstract Algebra — не читал.
Topics in Algebra — прекрасные задачи, отбор материала очень устарел, почти что Ван дер Варден

Ответы>>352498>>352778

31 Мар, 11:02 #469 #352484

>>352385
>>352385
thx

31 Мар, 13:17 #470 #352498

>>352466
Дочитать его 1 книгу и можно начинать АГ?
Хотя тут был первак, который во втором семе учил АГ

Ответы>>352527

31 Мар, 16:11 #471 #352527

>>352498
Для аг тебе нужна топология и анализ еще. Тот же Городенцев основы аг (до схем) дает на втором году обучения (впрочем, как и остальные лекторы в НМУ).

31 Мар, 17:35 #472 #352547

>>352273
В числителе не 1.

31 Мар, 17:52 #473 #352548

>>349186
>Почему не включили >>348422? Я буду бойкотировать этот тренд!

knuebok 31 Мар, 19:44 #474 #352573

>>352465
Вкусовщина же, возможно из-за того что Винберг был моим вторым серьезным учебником я слегка предвзят.

Ответы>>352579

31 Мар, 20:04 #475 #352579

>>352573
Винберг кошерен, вне всякого сомнения, но у него нет няшных котегориев.

Ответы>>352589

31 Мар, 20:48 #476 #352589

>>352579
Да там слово "идеал" появляется почти в конце. Винберг не тем хорош. Он хорошо объясняет и приводит кучу примеров. Категории ты и так возненавидишь в гомологической алгебре, не надо торопиться.

31 Мар, 21:53 #477 #352606

А как так получилось что тех, кто занимается математической физикой внезапно заинтересовали представления каких-то алгебр, может кто в теме?

Ответы>>352612>>352615

31 Мар, 22:07 #478 #352612

>>352606
А как так получилось, что группы играют важную роль во всяких там электро-/хромодинамиках и струнах?

31 Мар, 22:10 #479 #352615

>>352606
Это как раз то, чем я занимаюсь. Грубо говоря, Фон Нейман пытался аксиоматизировать квантовую механику, чтобы она стала разделом математики, как какая-нибудь геометрия. В квантовой механике есть объекты следующего типа: удовлетворяющие CCR соотношению (ab - ba = 1, соотношение бозонного типа) и удовлетворяющие CAR соотношению (ab + ba = 1, соотношение фермионного типа) и встаёт естественный вопрос - а любые ли две алгебры, которые более-менее адекватные и имеют смысл и в которых есть пара элементов удовлетворяющих CCR соотношению изоморфны? Оказалось - что любые, Фон Нейман это доказал. А требование, чтобы эти алгебры имели представления хотя бы в замкнутых операторах - очень естественное, как раз и означает "имеет физический смысл", примерно так.

Ответы>>352636

31 Мар, 23:12 #480 #352636

>>352615
Ну это более менее классика и только один вопрос теории представлений. А про алгебры Гекке всякие можешь пояснить, каким образом они к физике?

Ответы>>352637

31 Мар, 23:15 #481 #352637

>>352636
Нет, к сожалению, я занимаюсь некоторыми некоммутативными обобщениями CCR и СAR, в квантовые группы пока не лез.

1990 Кб, Webm

01 Апр, 03:36 #482 #352682

>>352456
Матаны, плиз.

Ответы>>352720

01 Апр, 12:45 #483 #352720

>>352682
Если 3 делит 15 * 27, то либо 3 делит 15, либо 3 делит 27.

Ответы>>352726

01 Апр, 13:21 #484 #352726

>>352720
Почему в одних книгах говорят, что простые числа - числа, делящиеся только на себя и на единицу, а в других приводят определение через такую вот делимость? Эти определения не эквивалентны? Плюс, вот 8 делит 16 х 37, но при этом 8 же не простое число. Поясни, пожалуйста.

Ответы>>352744

01 Апр, 13:25 #485 #352728

> Плюс, вот 8 делит 16 х 37, но при этом 8 же не простое число.
Но 8 может делить так же 2 х 4, и отсюда не будет следовать, что либо 8 делит 2, либо 8 делит 4.
>Почему в одних книгах говорят, что простые числа - числа, делящиеся только на себя и на единицу, а в других приводят определение через такую вот делимость? Эти определения не эквивалентны?
Эквивалентны.

Ответы>>352731

01 Апр, 13:33 #486 #352731

>>352728
>Но 8 может делить так же 2 х 4, и отсюда не будет следовать, что либо 8 делит 2, либо 8 делит 4.
Теперь я совсем запутался.

Ответы>>352741

01 Апр, 14:19 #487 #352741

>>352731
p | ab => p | a или p | b должно выполняться для любых a,b

Ответы>>352831

01 Апр, 14:41 #488 #352744

>>352726
Что вы вообще такое несете?
Простое число это то, которое делится на себя и на единицу.

Если a*b делится на x, то что-то из этого, либо а либо b делится на x.
Это ж свойство типа.

Ответы>>352832

01 Апр, 19:15 #489 #352778

>>352466
А что скажешь за Linear Algebra done wrong?

Ответы>>352804

01 Апр, 19:17 #490 #352780

Ищу учебник по математическому моделированию и оптимальному управлению. Темы - управляемость и наблюдаемость, автономный контроль, контроль линейных/нелинейных систем, оптимальное управление. Можно на инглише. Большой плюс если будет расжевываться решительно все, потому что с математикой у меня не ахти.

Ответы>>352801

01 Апр, 20:40 #491 #352801

>>352780
> математическому моделированию и оптимальному управлению
> с математикой у меня не ахти
Нененене. Сначала тапалогии, потом гамологии, а потом уже своё картофанное говнецо.

01 Апр, 20:55 #492 #352804

>>352778
У этого учебника ключевое слово "wrong". Лучше взять Акслера или Хофмана, Кунце (в обоих учебниках плохая нотация: nullspace вместо kernel и тому подобное).

01 Апр, 21:23 #493 #352811

ребят, как называется теорема о том, что если есть поле F, то для любого f(x) из F, существует расширение в котором f(x) раскладывается на линейные множители. хочу загуглить.

Ответы>>352812

01 Апр, 21:23 #494 #352812

>>352811
загуглить доказательство естественно.

Ответы>>352814

01 Апр, 21:26 #495 #352814

>>352812
Splitting field theorem.

01 Апр, 21:41 #496 #352818

Можно ли вычислить длину кривой, посчитав сумму решений уравнения fкас(x)=fкривой(x) на определенном отрезке?

01 Апр, 22:55 #497 #352831

>>352741
Кажется, теперь понимаю. Но зачем такое хитрожопое определение? Чем деление только на 1 и на себя хуже?

01 Апр, 22:56 #498 #352832

>>352744
>Если a*b делится на x, то что-то из этого, либо а либо b делится на x.
>Это ж свойство типа.
Это определение простого элемента. Даже Вавилов на лекциях это говорил.

Ответы>>352837

01 Апр, 23:19 #499 #352837

>>352832
Это определение простого идеала, оставаясь в целых числах, общепринятое определение всё-таки другое (хотя не важно ведь, на самом деле).

01 Апр, 23:23 #500 #352839

>>349176 (OP)
ОП ты няша
думаю стоит еще упомянуть из интересных "Три жемчужины теории чисел" (http://ilib.mccme.ru/djvu/hinchin-3zhem.htm), хотя бы за теорему Ван дер Вардена об арифметических прогрессиях.

02 Апр, 00:10 #501 #352842

Перекот-перекотыч.

03 Апр, 00:02 #502 #353175

kjk

10 Апр, 14:05 #503 #354928

Поможете с логикой?
(-F+B)(-D+H)(-D+C)(-C+-G)(-A+-B)
Должно приводится к одночлену, но я не ебу как. При раскрытии скобок, формула только разрастается.

Тред утонул или удален.
Это копия, сохраненная 20 мая 2016 года.

Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.

« /sci/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion