Чтобы добавлять сообщения и комментарии, .

@OCTAGRAM:
OCTAGRAM

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

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

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

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

@OCTAGRAM:
OCTAGRAM

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

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

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

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

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

@OCTAGRAM:
OCTAGRAM

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

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

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

@OCTAGRAM:
OCTAGRAM

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

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

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

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

@OCTAGRAM:
OCTAGRAM

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

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

@OCTAGRAM:
OCTAGRAM

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

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

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

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

@OCTAGRAM:
OCTAGRAM

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

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

@OCTAGRAM:
OCTAGRAM

Triangular tiling honeycomb
В орициклические поверхности вписали безконечноугольные треугольные мозайки, и этими безконечноугольниками замостили гиперболическое пространство

@OCTAGRAM:
OCTAGRAM

Мой ник по–китайски: 八角星 (Bājiǎo xīng)

@lurker:
lurker

d24w6bsrhbeh9d.cloudfront.net

@max630:
max630

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

@CheshaNeko:
CheshaNeko

Посоветуйте хорошую книгу по начертательной геометрии.

@Alice:
Alice

ru.wikipedia.org
Иллюстрация жжет (facepalm)

@zhu:
zhu

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

@folex:
folex

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

@Bupyc:
Bupyc

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

@folex:
folex

Жуец, а как перейти от неявного уравнения плоскости к параметрическому?

@Bupyc:
Bupyc

Как построить описанный шестиугольник вокруг эллипса?!

@Bupyc:
Bupyc

Существует ли одиннадцатигранник ( не обязательно выпуклый), у которого каждая грань многоугольник с четным числом сторон?

@Bupyc:
Bupyc

dropbox.com
Там 7 номер....не выходит...не пойму как этот ромб с параллелепипедом связан вообще.

@Bupyc:
Bupyc

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

@fm:
fm

Я понял чо не так с этим Салехардом. Тут остановки это простотостановки, не магазинчики как в Надыме, а железно стеклянные параллелепипедчики.

@ilja-panin:
ilja-panin

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

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

@lotusfeet:
lotusfeet

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