to post messages and comments.

Какое-то время не мог понять, как меняет кривизну окружающего пространства массивное тело. Вот время-то идёт медленнее. А объём? А кривизна пространства? Мысленный эксперимент поставить несколько сложно из-за принципиальных противоречий между ньютоновской механикой и релятивистской. По Ньютону, если взять два точечных объекта, развести на какое-то расстояние и отправить вперёд, то геодезики пересекутся. А если этот объект — гирька или любой протяжённый, сопротивляющийся сближению, то он будет чувствовать центростремительную силу в направлении к оси движения. Наоборот, в гиперболическом пространстве, прямые будут расходиться. Однако, если взять релятивистские модели де Ситтера и анти-де Ситтера, там кривизна пространства действует наоборот: в мире де Ситтера рвёт всё на части, хотя пространство с положительной кривизной, а в анти-де Ситтера всё ко всему притягивается и движется по орбитам, что совсем не похоже на гиперболическое пространство. Вот и угадай, что из этого применить к гравитации.

Если пытаться подсмотреть кривизну в формулах ОТО, то там всплывают тензор Риччи, гравитационный тензор и тензор кривизны, и как-то по простому, взяв положительную плотность вещества, не получается понять, а как это перетечёт именно в тензор кривизны. Тем более, кропотливо проследить, как меняется знак (у пространства и времени знаки-то разные) и что это значит. Надо быть натасканным на это студентом, чтобы корректно проследить вывод.

При попытке найти готовый ответ можно найти такие издевательские формулировки:
При высоте полёта спутника в 642 километра длина окружности его орбиты превышает 40 тыс. км. Полёт аппарата показал, что точное значение этой длины примерно на три сантиметра меньше, чем следует из евклидовой геометрии, то есть рассчитанное по известной любому школьнику формуле 2πR.
Оу, оу, оу, а это вы по линейке прямо из центра Земли откладывали R по кривому пространству или как-то из удалённых не сильно кривых областей пространства посмотрели, что вот если по кривому пространству издалека спуститься на такую высоту, то по идее должен получиться радиус R? А пока вы это делали, у вас погрешность 3 см не могла намотаться по радиус-вектору? Нет, есть ещё один вариант, самый простой, это измерить периметр, поделить на 2π и назвать это радиусом, но он же не может отличаться на 3 сантиметра по определению. В общем, если по радиус-вектору пространство ровное, то всё хорошо, но оно же как-то во все стороны кривое. С одной стороны посмотришь, площадь сферы не та, с другой стороны посмотришь, радиус-вектор не тот. Как это всё вместе работает? Нашёл ответ здесь:

Стоит напомнить, что угловые координаты Шварцшильда θ и φ полностью аналогичны полярному и азимутальному углам в обычных сферических координатах, однако величина радиальной координаты r отнюдь не равна длине радиус-вектора. В метрике Шварцшильда длина окружности с центром в начале координат выражается евклидовской формулой 2πr, однако расстояние между двумя точками с радиусами r1 и r2, находящимися на одном радиус-векторе, всегда превышает арифметическую разность r2−r1. Отсюда сразу видно, что шварцшильдовское пространство неевклидово — отношение длины окружности к длине её радиуса меньше, чем 2π.

Площадь сферы в пространстве Лобачевского растёт сначала по квадратичному закону от радиуса, потом — по экспоненциальному. Может показаться, что, имея гигантскую площадь, сфера при этом становится крайне плоской. Но нет. Абсолютное значение кривизны Гаусса всегда выше, чем абсолютное значение кривизны пространства. Если бы они сравнялись, сфера выродилась в орисферу, а дальнейшее выпрямление соответствует эквидистантам. Так что сферы в гиперболическом пространстве могут быть сколь угодно большими и иметь экспоненциально большую площадь, но в каждой своей точке они «ощутимо» круглые.

Есть идейка взять да отрендерить следующую сцену:
1. Берём сцену из реального мира, например, сферическую панораму.
2. Вырезаем из этого пространства шар и отождествляем точки его поверхности с точками сферы в гиперболическом пространстве.
3. Гиперболическое пространство опционально замощается.

Из того, что я отрендерил в уме, следует, что при больших радиусах сферы относительно радиуса кривизны (скажем, радиус сферы 1.5 метра, а радиус кривизны внутреннего пространства — 3см) это получается банальное сферическое зеркало в большинстве своих точек, и только если пристально смотреть в центр сферы, там начинается переход, когда трассирующие лучи проваливаются всё глубже и выходят под всё меньшими углами относительно изначального направления. Можно подобрать такое соотношение и такое содержимое, чтоб было зрелищно в фантастическом фильме или игре.

Сферическое видео с примерами трансформации сферического изображения. Математики развлекаются.

Прыжки от камеры к камере, лучше, чем стандартные прыжки в обзоре улиц на картах Яндекса и Гугла
Эффект Дросте
Портал в зеркальный мир
Спиральная лестница

Геометрией мира де Ситтера, оказывается, давно занимается Ромакина Людмила Николаевна, или, в той терминологии, геометрией гиперболических плоскостей и пространств положительной кривизны. В том числе и вопросом замощения (в той терминологии разбиения). Вообще, я ожидал в её книжках увидеть картинку, способную дополнить это, ведь группа симметрий одинаковая, но нашёл там совсем другое. Возможно, геометрия пространства-времени де Ситтера не допускает продолжений чего-то, более сложного, чем прямая (времениподобная в той части, где это пространство-время де Ситтера).

Начинает проясняться, как закольцовывать гиперболические плоскости и пространства. Пишут об этом, например, тут и тут. Пишут, что quotienting аналогичен тору, но представить это тяжело, поскольку числа у них получаются гигантские. Охватить разумом стыковку сотни тысяч клеток сложно, а меньше этого зациклить не получится. Глядя на {5,4}, хочется состыковать по прямым линиям, но с одной стороны прямая, а с противоположной — две пересекающиеся. Где здесь тор?

Проблема первая, — это то, что в вершинах сходится нечётное количество сторон, и нет явных прямых. Если есть явная прямая, то она делит гиперболическую плоскость на две части, и можно просто закрыть одну половину и не думать, как там ведут себя соседи соседей. Очень просто они себя ведут. Либо это соседи соседей на том участке, который просчитан перебором, либо прошло через прямую, и она как зеркало, там, по ту сторону всё аналогично.
Проблема вторая, — это то, что количество сторон многоугольников нечётное. Из-за этого нельзя пристыковать одну сторону к противоположной, как в торе. А если взять два пятиугольника, то сторон получается 6, но у противоположных сторон разная длина. И только если взять четыре пятиугольника, образующие вместе восьмиугольник, только тогда можно разглядеть тор.

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

Если для обычного тора состыковать несколько его основ, например, из четырёх квадратов сделать квадрат больше, это основа для тора побольше. В гиперболическом пространстве примерно так же, только у тора ещё увеличивается количество дырок. И так, стыкуя основы тора с малым количеством дырок вместе и получая основы торов с большим количеством дырок, можно ввести иерархическую разметку на гиперболических плоскостях и полях, впрочем, тут, возможно, я что-то упускаю. Как я понимаю, основы торов стыкуются более предсказуемым образом по сравнению с «нехорошими» многоугольниками.

Всё думал, как можно в космическом симуляторе сделать горизонт пространства Лобачевского. Может быть, пожертвовать реализмом (оставить без ответа вопрос, как оно так чётко выстроилось?) в пользу зрелищности. Горизонт пространства Лобачевского ведёт себя способом, очень похожим на масштабирование, и так я прихожу к идее сделать его фракталом. Во фракталах — самоподобие, а в пространстве Лобачевского — трансляция. Предположительно, так будет интересно находиться во всех точках пространства.

Аналогия, конечно, не полна. Если не делать выделенное направление, в пространстве Лобачевского лететь-то можно в любую сторону, и горизонт впереди будет разъезжаться, обтекать вокруг и сжиматься сзади. Вот и как тут сделать снежинку Коха или остров Госпера? Они дружат с масштабированием, но не с проективной геометрией.

Некоторую подсказку тут дают некомпактные замощения правильными многогранниками. Это когда многогранник уходит за горизонт во Вселенную де Ситтера, например, так. Видите, в горизонте есть что-то фрактальное. Другие некомпактные замощения часто изображаются только горизонтом: тут, тут или тут. И там в аккурат вместо масштабирования, как в обычных фракталах, — трансляция. Правда, в таком виде, как тут, это не со всех точек выглядит зрелищно, поскольку у многогранников есть полости, и если в них залететь и лететь, лететь и лететь, то всё некомпактное замощение сожмётся в малую точку на горизонте, и будет видно только пустоту.

Чтобы так не получалось, можно зеркалировать замощение относительно гиперплоскостей, от которых равноудалены вписанные и описанные вокруг многогранников гиперсферы. Впрочем, по разные стороны таких гиперплоскостей стыковать можно разные некомпактные замощения с разным цветом горизонта. Это может быть хорошей визуальной аналогией «областей пространства». Прилетел в другое место — горизонт выглядит по-другому.

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

Движение по инерции в эллиптическом пространстве создаёт инерциальную силу, сдавливающую объект в стержень. Однако, как выясняется, объект может полностью отменить действие этой силы, вращаясь с той же частотой, что и двигается в пространстве. Траектории всех деталей объекта образуют фрагмент расслоения Хопфа и являются геодезическими линиями. Кроме того, длина полного пути по любой такой траектории одинакова, поэтому вперёд или назад их тоже не тянет. Расслоение Хопфа при таком движении переходит само в себя. По всем признакам такой объект не должен чувствовать движения.

Напрашивается идея о том, что синхронное движение + вращение — это вообще универсальная операция, то есть, её можно применить к пространству-времени без видимых изменений, и тогда можно утверждать, что нет выделенной системы отсчёта. Однако, похоже, без дополнительных модификаций это не так. Если внутрь одного объекта, закрученного в одну сторону поместить объект, закрученный в другую сторону, они оба отменят для себя силы инерции, но с точки зрения внешнего внутренний вращается вдвое быстро и не чувствует инерции, а в покоящейся системе отсчёта быстро вращающийся объект будет разрываться силами инерции.

Пока что единственный известный мне способ получить симметричное пространство-время с эллиптическим пространством — это Вселенная де Ситтера.

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

Была мысль, что надо как-то замостить плоскость или пространство правильными многоугольниками или многогранниками, и внутри многогранников ввести координаты с плавающей точкой, а сами многоугольники/многогранники идентифицировать строками, длина которых растёт в зависимости от удалённости. И даже можно понять, как это сделать. Вводим на плоскости две матрицы поворота, одна — поворот вокруг начала координат (в пространстве нужно два поворота), другая — перемещение вдоль одной из осей вперёд так, чтобы начало координат перешло в соседнюю ячейку. Произведения этих матриц вида ABBBABBAB — это и есть искомые строки. В этой схеме получаются синонимы, в одну и ту же ячейку можно добраться разными путями. В тех гиперболических играх, что я видел, перебираются разные варианты в пределах некоторого удаления, полученные координаты сравниваются, погрешность не успевает стать значительной, и потом составляется карта всех ячеек. Каким-то образом, пишут, что похоже на тор, но мне пока не понятно, кусок плоскости замыкается на себя, и так получается замкнутое пространство, где все такие ячейки просто пронумерованы. Недостаток — малые линейные размеры. Что-то порядка миллиона ячеек при радиусе 13 получается, и чем больше радиус, тем хуже.

Вот этот скромный радиус и смущает. Если я, допустим, хочу делать не лабиринт, не судоку и не RPG, где нужно держать в памяти игровое поле, а что-нибудь космическое, мне какие координаты применять лучше? Долго напрашивался вариант с бесконечноугольниками. Они похожи на деревья, а пути в деревьях похожи на строки. То есть, если в каждой точке сходятся три стороны бесконечноугольников, на каждом шаге можно пойти направо или налево, и это можно описать битовой строкой, а дальше, добравшись до одной из сторон бесконечноугольника, можно двумя вещественными числами указать оставшиеся координаты. И из одной точки, заданной такими координатами, можно добраться до другой по примерно понятной схеме. Если они достаточно далеко, то с большой точностью разность путей по деревьям и будет указывать на кратчайший путь. Когда корабль пролетает мимо объектов, можно точно показывать направление и расстояние до них. Но по большому счёту офигеть можно всё это делать, тем более, если в 3D.

Какое-то время поразмышляв, начал приходить к мысли, что координаты из модели гиперболоида не так уж плохи, если запахать для них длинную арифметику. При радиусе 13 количество ячеек — миллион и с увеличением радиуса растёт по экспоненте, а количество операций для умножения таких длинных чисел растёт всего лишь квадратично. Радиус окружности на модельном гиперболоиде в аккурат совпадает с радиусом окружности в пространстве, и если на разных удалениях поддерживать одинаковое разрешение координат (без плавающей точки), то и гиперболическое пространство на удалении будет иметь примерно такое же разрешение, как и в начале координат. Меня смущало то, что при этом на удалении ещё и радиус начинает иметь экспоненциально хорошее разрешение, что некрасиво, несимметрично и выглядит как что-то лишнее. А теперь я ещё об этом подумал, и решил, что зато становится понятно, как делать все операции. На практике может оказаться, что на удалении надо наращивать память для хранения чисел в обе стороны от точки. Всё равно тогда рост квадратичный.

Conformal Projections
Здесь довольно много проекций сферы на многогранники, и некоторые обладают тем свойством, что они разворачиваются в треугольник или прямоугольник, и ими можно замостить плоскость. И показаны такие замощения для карты Земли

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

Посмотрел на геометрию Римана и Лобачевского с точки зрения оптики. В геометрии Римана пространство работает как собирающая линза. Для любой точки, находящейся на экваториальной сфере вокруг наблюдателя, все лучи, испущенные оттуда, мимо наблюдателя будут проходить как параллельные. То есть, экватор воспринимается как горизонт. А то, что за экватором, должно у обычного человека начинать вызывать боль в глазах. Там и параллакс аномальный, и аккомодация — тоже. Лучи приходят в глаз сходящимися, что аномально для человека. За экватором лучи снова сходятся в противоположном наблюдателю полюсе и расходятся снова. Самые тяжёлые для наблюдения — это области, близкие к противоположному полюсу за экватором и немного после него. Собственно, если никакие обломки сильно не загораживают путь, то наблюдатель с точки зрения оптики не может отличить своё место от противоположного полюса. Он как будто находится в двух местах одновременно. После того, как луч света обогнул полюс и преодолел экватор второй раз, снова начинается область головной боли. И наконец, луч мог бы и пойти по второму кругу, если бы не мешал затылок наблюдателя.

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

Итого, в пространстве есть две области по 25%, вызывающие дискомфорт. То есть, половина всего объёма. Их положение зависит от направления взгляда. Если повернуться на 180 градусов, то эти области полностью поменяются. Всё это следует иметь в виду, когда вы рассматриваете видео вроде такого. Там линии за экватором изображаются так, как будто они двигаются в противоположном направлении, но на самом деле направление везде одно, и если правильно изобразить параллакс и аккомодацию, то голова бы болела, но для точек, незначительно ушедших за экватор, чувствовалось бы, что они двигаются в том же направлении.

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

Набросаю-ка себе на будущее ссылок на замощения в пространстве Лобачевского. Вдруг игру соберусь написать
Order-4 hexagonal tiling honeycomb
Hexagonal tiling honeycomb
Square tiling honeycomb
Order-5 hexagonal tiling honeycomb

Для гиперболического пространства существует 11 паракомпактных замощений, то есть, там либо замощение бесконечногранниками, аналогичными замощениям Евклидовой плоскости, только описанными вокруг орисфер, либо вершины в идеалах с бесконечным количеством рёбер, либо то и другое. Вершины с бесконечным количеством рёбер я решил отбросить, из 11 осталось 4, их отсортировал в порядке убывания репрезентативности.

mat-an.ru
ВОт такая задача. Так понимаю диффгем. Если судно будет поворачиваться на месте, то вроде решаемо. Рисуем окружность и через неё уже ищем зависимости
А если он плывет ещё в этот момент? Тут не понятно какая фигура вообще получится, и чем она будет описываться.
Решим, жуйк? Это мне не задали, просто сижу, ломаю голову,

Есть конус, вокруг него описана пирамида, в основании которой лежит квадрат.
Как мне доказать, что апофема пирамиды, равна образующей конуса?
Если не знаете отрекомендуйте..мне надо на работе применить.

ХЕЛП
В основании наклонной призмы DAFD1A1F1 лежит равносторонний треугольник DAF с высотой 6 корень из 3
Проекцией вершины D1 является центр основания(описанной и вписанной окружнностей).
Найдите площадь граней DD1F1F и DD1A1A если высота призмы равна 2 корней из 6!!!

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

Я думаю что для прямоугольника достаточно получить некий угол поворота прямоугольника. А для эклипса нужно взять полученный прямоугольник и пытатся увеличивать его с каки-то шагом пока все точки не попадут в него.

Смотрим и наслаждаемся сакральной геометрией мандалы (манадала переводится как "круг"). Мандала символизирует Вселенную, Абсолют, Бога. Говорят такие замысловатые рисунки выкладывают разноцветным песочком буддийские монахи, а потом разрушают, как бы показывая непривязанность к чувственным объектам этого мира и ко всему иллюзорному миру в целом.