Я придумал, как определить кривизну треугольника в произвольном метрическом пространстве, где есть только точки и метрика.
Возьмем треугольник xyz со сторонами xy, yz, zx, попарные пересечения которых обозначим X, Y, Z. Пусть S – максимальная площадь треугольника с вершинами в X, Y, Z, а s – минимальная (площадь определим формулой Герона). Тогда кривизной треугольника xyz можно назвать величину
kk* = (s/S)(S – s)/(S + s).
В случае евклидова пространства kk* = 0, поскольку S = s, а в общем случае 0 < kk* < 0.17157... – квадрат серебряного сечения.
Помните, я спрашивал про эротическую теорему? На самом деле доказал ее я, в 2004 году. Поскольку в интернете она почему-то больше не обнаруживается, то пусть будет здесь. Тем более что упомянутое в предыдущем посте понятие кривизны взято именно оттуда.
аууу, самоед , откуда берутся эти Ss площади, как могут быть разными для одного и того же треугольника?
Я потом отвечу, попредметнее. А сейчас хочу сказать, что я, конечно, учился в школе и изучал элементарную геометрию, но вот теперь, возвращаясь к ней на новом уровне, с удивлением обнаруживаю, что о многих красивых свойствах вполне элементарных понятий - вроде медианы - узнаю впервые!
Смотри, Хайдук. Пусть у нас есть некоторое множество многомерных точек и мы хотим изобразить его на декартовой плоскости – картировать, так сказать. Понятно, с сохранением чего-то геометрически важного. Как это сделать? Точки-то многомерные! Я у себя делаю это следующим образом.
Фиксируем на плоскости треугольник с известными декартовыми координатами его вершин, например цветовой треугольник (D65 sRGB CIE 1931) с координатами его вершин, умноженными на 100:
(64, 33), (30, 60), (15, 6),
который будем считать новой системой координат, ее называют барицентрической. В ней любая точка плоскости задается тройкой чисел, барицентрических координат, – это относительные веса, сосредоточенные в вершинах треугольника, в сумме составляющие 1 и превращающие рассматриваемую точку в центр тяжести – барицентр – треугольника. Внутри треугольника эти веса положительны.
Остается каждой точке нашего множества приписать эти самые веса. Я определю их ниже.
Вот, к примеру, как будет выглядеть множество в виде треугольника, состоящего из 50 пятимерных точек (из числа тех 255 точек, о которых я постоянно тут талдычу). Правда, 5 точек здесь не видны, поскольку они совпадают с другими точками, – увы, за уплощение многомерности приходится платить (хотя можно было бы попробовать фиксировать другой треугольник вместо цветового). Все эти точки лежат на сторонах рассматриваемого треугольника, а не внутри него (просто метрика у меня такая, манхеттенская). Кривизна kk* этого треугольника нулевая, поскольку k = 0, – таких треугольников у меня пять (плюс еще один с kk* = 0, у которого k* = 0).
В качестве весов я беру расстояния от рассматриваемой точки до вершин треугольника (не фиксированного, цветового, а рассматриваемого) и делю эти расстояния на их сумму.
Замечательно то, что точки, красные, принадлежащие двум сторонам треугольника одновременно (а центральная – трем), лежат на прямых линиях, пересекающихся в одной точке. (Что это за точка, я не знаю, но не барицентр треугольника точно.) Для меня это явилось неожиданностью, хотя задним числом вроде так и должно быть. Здесь прямые пересекаются непосредственно, в точке треугольника, а вот у другого треугольника – еще один пример – они пересекаются просто так, его kk* = 0.109.
продолжим про логику и неполноту, что наверняка воспаривают высоко над любым формализмом.
казалось бы, что сам способ построения недоказуемых Гёделевых арифметических (!) предложений должен указывать на то, ЧТО нужно будет любому другому предложению (как парам простых-близнецов, скажем), дабы оказалось недоказуемым/неразрешимым в арифметике Пеано; таким образом можно было бы искать и предсказывать неразрешимые предложения, которых уже нашли несколько (обобщённая теорема Рамсея, недоказуемое отсутствие решений у определённого диофантова уравнения и пр.).
однако признаков таких недоказуемости нарыть, видимо, нельзя, что вызывает следующий вопрос: какие такие способы рассуждения, которые вполне естественны при неформальном доказательстве Рамсея, скажем, НЕ допустимы, по-видимому, в арифметике Пеано? чего потребуется, дабы допустить подобные способы в арифметику Пеано, чем это ухудшит, по-видимому, мат. логику, на которой зиждется арифметика Пеано, почему такое расширение формальной логики обычными логическими средствами нежелательно, по-видимому?
если не ошибаюсь, думать о произвольных подмножествах натуральных чисел в арифметике Пеано НЕ допустимо, только с конструктивными, алгоритмически построимыми, хоть и бесконечными, можно возиться
Смотри, Хайдук, как красиво получается. У меня есть метрическое пространство из 255 точек. В нем некоторым способом определены 127 треугольников. В качестве их вершин могут выступать только 75 точек, зато вместе со сторонами треугольников они покрывают все 255 точек. Так вот, средневзвешенная кривизна kk* этих треугольников (округленная до десятитысячных) получается не какой-нибудь, а такой, что
даушъ, ведь знаешь же, что чукча не читатель, чукча - писатель
Известный писатель сказал:
1. есть люди, которые пишут и
2.есть люди, которые читают.
3. А есть люди которые считают
3.1. точно,
3.2. выгодно,
3.3 считают так, что все должны считать так как считают они.
Как автор обратного факториала (с 1992 года, начиная с ИНСТИТУТА МАТЕМАТИКИ АН и до сих пор слышащий от всех только одно- он никому не нужен, поэтому даже из ВИКИ русскоязычной удален), а также вселенсконатурального числа(с момента появления которого становится очевидным что списывать все недоказуемости невыгодности несчетности на НЕПОЛНОТУ, невыгодность, нелогичность ВСЕГО ТОГО ЧТО НЕ соответствует деЮРЕ деФАКТО тому что сказал ГЛАВНЫЙ,)
Вселенсконатуральное Исходные данные для расчета см.
Warning: Spoiler![ Click to expand ][ Click to hide ]
Исходные данные для расчета Вселенсконатурального...
1infolio.blogspot.com›2011/10/blog-post.html
Исходные данные для расчета Вселенсконатурального числа- это не наибольшее натуральное число, а просто-напросто возможное количество первоквантиков нынеизвестной Вселенной (с точностью до 10 в минус 50-й), можно... Читать ещё
и особенно ПРИМИТИВНОГО отличия несходимости Гармонического ряда от условной расходимости (например такой, что сумма ЛЮБОГО количества первых членов гармонического ряда не превышает их число-количество, т.е. №, или сумму всех номеров=натуральных), а всех недовольных кроют
неисчерпаемостью, бесконечностью, непрерывностью...
С учетом вышеизложенного:
Так вот, средневзвешенная кривизна kk* этих треугольников (округленная до десятитысячных) получается не какой-нибудь, а такой, что
ув. Учитель бывшего учителя Хайдук,
не ответите ли в стиле ДА/НЕ на примитивный вопрос: 0.1645 < (1/Пи)(1/Пи)* < kk* = 0.1647 < (Φи/Пи)(Φи/Пи)* < 0.1649
ЭТО ИСТИНА или нет?
Это есть или не может быть?
это вам нравится или не нравится?
З павагай да неабыякавых
The topic has been locked.
Математика для чайников №3
02 Сен 2018 13:52 #1273
представляется очень странным, что в мат. логике чураются методов, о которых обычные математики даже не задумываются , именно это "насильственное самоограничение" и приводит к пресловутой неполноте, поскольку вызывающие (своей недоказуемостью в мат. логике) неполноту предложения вполне себе доказуемы в обычной математике
совсем другое дело, конечно, когда исследуют последствия вариантов той или иной аксиомы (выбора, скажем, или вопрос/гипотеза континуума), тогда можно и нужно следить за последовательным выполнением любых ограничений
но братцы, кто поверит, скажем, что простых чисел-близняшек может быть как конечно, так и бесконечно много? будет только и всего лишь одна из этих двух возможностей, другой заведомо не быть и не станет, и ... усё
кто поверит, скажем, что простых чисел-близняшек может быть как конечно, так и бесконечно много? будет только и всего лишь одна из этих двух возможностей,
И на что это влияет?
Мутные гипотезы, возможно недоказуемые, обычно находятся за пределами практического интереса.
Ultima Thule
нет, к сожалению, и как-будто с усилением логики (дабы избежать неполноты) теряются некоторые очень хорошие и желательные качества её ; если и удастся доказать непротиворечивость в таких условиях, то может мало-кому это подует в поруса, но зато возможность доказательства относительной/не худшей непротиворечивости всегда останется
формализация тут непричём, видимо, поскольку формализовать всегда можно всё, что угодно, к знакам можно присобачить любой смысл/содержание
полагаю, что написанное Бурбаками в 50/60-ых годах прошлого века это уже классика, конечно, что порядочно устарела, однако, притом они не были спецами в мат. логике.
полагаю также, что с тех пор исследования логической силы разных мат. логик ушли далеко вперёд и вширь; встречались имена таких современных балбесов как Harvey Friedman, Stephen Simpson и пр., в потугах чьих ничегошеньки не отчаливаю
когда-то давно норовил читать книжку Поля Коэна про решение им же континуум проблемы; как-то запомнилось, что в умозаключениях часто использовалась от противного недоказуемость непротиворечивости...
полагаю, что написанное Бурбаками в 50/60-ых годах прошлого века это уже классика, конечно, что порядочно устарела, однако, притом они не были спецами в мат. логике.
Протестую! Математика бессмертна!
Каждому - своё.
The topic has been locked.
Математика для чайников №3
02 Сен 2018 21:08 #1284
безусловно бессмертна и никто не умаляет значения начальных ригористских достижений мат. логики, что в дальнейшем поспособствували доказать неразрешимость/независимость многих предложений, чем те обрели статус аксиом.
мне просто любопытно можно ли строго сформулировать и даже формализовать обычную мат. интуицию (на примере арифметики сильней Пеано), где неполноты не будет и все остальные неразрешимые предложения-аксиомы (как континуумы Коэна и Суслина) останутся здравствовать
The topic has been locked.
Математика для чайников №3
03 Сен 2018 17:15 #1285
инфолиократ
Vladimirovich wrote:
Хайдук wrote:
полагаю, что написанное Бурбаками в 50/60-ых годах прошлого века это уже классика, конечно, что порядочно устарела, однако, притом они не были спецами в мат. логике.
Протестую! Математика бессмертна!
С учетом достижений или "достижений"
...мне просто любопытно можно ли строго сформулировать и даже формализовать обычную мат. интуицию (на примере арифметики сильней Пеано), где неполноты не будет и все остальные неразрешимые предложения-аксиомы (как континуумы Коэна и Суслина) останутся здравствовать
интересующая, надеюсь не только меня, практичность теоретичности-недостижимости исследований совсем непростой множества НАТУРАЛЬНЫХ и даже простых чисел, например
Хайдук wrote:
кто поверит, скажем, что простых чисел-близняшек может быть как конечно, так и бесконечно много? будет только и всего лишь одна из этих двух возможностей,
И на что это влияет?
Мутные гипотезы, возможно недоказуемые, обычно находятся за пределами практического интереса.
Ultima Thule
Близнецы-тройняшки типа
1.недоказуемости в математике,
2.Вечный двигательв физике и, сугубо моё субъективное-
3.БЕСКОНЕЧНОСТИ по Вселенной и неисчерпаемости (вглубь и вширь) существуют и аксиоматизируются только потому что это кому-нибудь надо доя своих целей.
Осмеливаюсь предположить, что Гармонический ряд расХОДИТСЯ для всех профессионалов, вычерпывающих гармонично убывающим наперстком Байкал, т.е. м.б. наличие неоходимости еще не обозначает ДОСТАТОЧНОСТЬ:
необходимо прочитать Бурбаков, иначе все, что я говорю, Вы не поймете и мы (Вы) будем талдычить одни и те же мантры - присобачить и т.д.
З павагай да неабыякавых
The topic has been locked.
Математика для чайников №3
08 Сен 2018 03:28 #1286
В некоторой куче настоящих монет больше, чем фальшивых. Все настоящие
монеты весят одинаково. Любая фальшивая монета отличается по весу
от настоящей.
Можно использовать чашечные весы, владелец которых после каждого взвешивания забирает себе в качестве арендной платы любую (выбранную им) монету из двух только что взвешенных.
Верно ли, что можно выделить хотя бы одну настоящую монету и оставить
ее себе?
Ответ:
Warning: Spoiler![ Click to expand ][ Click to hide ]
верно.
Решение.
Warning: Spoiler![ Click to expand ][ Click to hide ]
Взвешиваем последовательно по паре монет. Те, что остались из пар, где вес разный - игнорируем. Тогда в оставшихся парах настоящих не меньше чем фальшивых. Если число монет было чётным - то по прежнему болшее, и задача по индукции решена. Если нечётное, после взвешиваний осталась одна монета и с ней + по одной из пар настоящих больше. Опять по индукции - ОК.
Печальное замечание.
Источник не помню, сейчас взял из давнишнего своего
поста в одном месте. Задача простейшая, но мне пришлось сейчас подумать довольно долго. Альцгеймер наступает. Но - мы держим рубежи, мы сражаемся отважно!
The topic has been locked.
Математика для чайников №3
13 Сен 2018 05:12 #1287
Hirotada Okawa et al. The W4 method: a new multi-dimensional root-finding scheme for nonlinear systems of equations arxiv.org/abs/1809.04495v1, 17 pp.
Математическая статья, посвященная численному решению системы нелинейных уравнений с помощью метода, развиваемого японскими авторами. С конкретными примерами и рисунками. Например,
x2 + y2 − 4 = 0,
x2y − 1 = 0.
Несмотря на ссылку, непосредственного отношения к астрофизике не имеется.
"Позвольте, товарищ, у меня все ходы записаны!"
The topic has been locked.
Математика для чайников №3
20 Сен 2018 07:44 #1288
Поскольку предложений не последовало, то я решил задачу методом Монте Карло, минимизируя квадратичную невязку в окрестности требуемых размеров. Длины сторон считались случайными, а длина центральной линии вычислялась по теореме косинусов.
14.10769
16.12486
11.80809
08.90949
09.92666