Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
В геометрии малый кубикубооктаэдр — это однородный звездный многогранник, индексированный как U13. Он имеет 20 граней (8 треугольников, 6 квадратов и 6 восьмиугольников), 48 ребер и 24 вершины. Его вершинная фигура — перекрещенный четырехугольник. Малый кубикубооктаэдр является фасетом ромбикубооктаэдра. Его квадратные и восьмиугольные грани параллельны граням куба, а треугольные — граням октаэдра, отсюда и название кубикубооктаэдр. Приставка "малый" используется для его отличия от большого кубикубооктаэдра, который также имеет грани, ориентированные в указанных направлениях.
In geometry, the small cubicuboctahedron is a uniform star polyhedron, indexed as U13. It has 20 faces (8 triangles, 6 squares, and 6 octagons), 48 edges, and 24 vertices. Its vertex figure is a crossed quadrilateral. The small cubicuboctahedron is a faceting of the rhombicuboctahedron. Its square faces and its octagonal faces are parallel to those of a cube, while its triangular faces are parallel to those of an octahedron: hence the name cubicuboctahedron. The small suffix serves to distinguish it from the great cubicuboctahedron, which also has faces in the aforementioned directions.
Сопутствующие плитки
Как предполагает характеристика Эйлера, маленький кубикубоктаэдр является тороидальным полиэдром рода 3 (топологически это поверхность рода 3), и, таким образом, может быть интерпретирован как (полиэдрическое) погружение полиэдрической поверхности рода 3 в дополнение к его 24 вершинам в трехмерном пространстве. (Окрестность любой вершины топологически представляет собой конус над фигурой, напоминающей восьмерку, что невозможно при погружении. Обратите внимание, что в работе Рихтера этот факт упущен из виду.) Основной полиэдр (при игнорировании самопересечений) определяет однородную мозаику этой поверхности, и поэтому маленький кубикубоктаэдр является однородным полиэдром. На языке абстрактных политопов, маленький кубикубоктаэдр является точной реализацией этого абстрактного тороидального полиэдра, что означает, что это невырожденный полиэдр и что они имеют одну и ту же группу симметрии. Фактически, каждый автоморфизм абстрактной поверхности рода 3 с этой мозаикой реализуется изометрией евклидова пространства. Поверхности более высокого рода (рода 2 и выше) допускают метрику с постоянной отрицательной кривизной (согласно теореме об униформизации), а универсальным покрытием полученной поверхности Римана является гиперболическая плоскость. Соответствующая мозаика гиперболической плоскости имеет фигуру вершины 3.8.4.8 (треугольник, восьмиугольник, квадрат, восьмиугольник). Если поверхности задана соответствующая метрика с кривизной = −1, то отображение покрытия является локальной изометрией, и, следовательно, абстрактная фигура вершины остается неизменной. Эту мозаику можно обозначить символом Уайтхоффа 3 4 | 4 и она изображена справа. [[Файл:Порядок 7 треугольная плитка.svg|thumb|Маленький кубикубоктаэдр также можно интерпретировать как полиэдрическое погружение (раскраску) квартика Кляйна. Эта регулярная мозаика важна, поскольку она представляет собой мозаику квартика Кляйна – поверхности рода 3 с наиболее симметричной метрикой (автоморфизмы этой мозаики равны изометриям поверхности), а группа автоморфизмов, сохраняющих ориентацию этой поверхности, изоморфна проективной специальной линейной группе PSL(2,7), что эквивалентно GL(3,2) (группе порядка 168, состоящей из всех изометрий, сохраняющих ориентацию). Обратите внимание, что маленький кубикубоктаэдр не является реализацией этого абстрактного полиэдра, поскольку он имеет только 24 симметрии, сохраняющие ориентацию (не каждый абстрактный автоморфизм реализуется евклидовой изометрией) – изометрии маленького кубикубоктаэдра сохраняют не только треугольную мозаику, но и раскраску, и, следовательно, являются собственной подгруппой полной группы изометрий. Соответствующая мозаика гиперболической плоскости (универсальное покрытие) является треугольной мозаикой порядка 7. Группа автоморфизмов квартика Кляйна может быть расширена (симметрией, которая не реализуется симметрией полиэдра, а именно «обменом двух конечных точек ребер, которые делят квадраты и октаэдры пополам»), чтобы получить группу Матье M24.
As the Euler characteristic suggests, the small cubicuboctahedron is a toroidal polyhedron of genus 3 (topologically it is a surface of genus 3), and thus can be interpreted as a (polyhedral) immersion of a genus 3 polyhedral surface, in the complement of its 24 vertices, into 3 space. (A neighborhood of any vertex is topologically a cone on a figure 8, which cannot occur in an immersion. Note that the Richter reference overlooks this fact.) The underlying polyhedron (ignoring self intersections) defines a uniform tiling of this surface, and so the small cubicuboctahedron is a uniform polyhedron. In the language of abstract polytopes, the small cubicuboctahedron is a faithful realization of this abstract toroidal polyhedron, meaning that it is a nondegenerate polyhedron and that they have the same symmetry group. In fact, every automorphism of the abstract genus 3 surface with this tiling is realized by an isometry of Euclidean space. Higher genus surfaces (genus 2 or greater) admit a metric of negative constant curvature (by the uniformization theorem), and the universal cover of the resulting Riemann surface is the hyperbolic plane. The corresponding tiling of the hyperbolic plane has vertex figure 3.8.4.8 (triangle, octagon, square, octagon). If the surface is given the appropriate metric of curvature = −1, the covering map is a local isometry and thus the abstract vertex figure is the same. This tiling may be denoted by the Wythoff symbol 3 4 | 4, and is depicted on the right. [[File:Order 7 triangular tiling. svg|thumb|The small cubicuboctahedron can also be interpreted as a polyhedral immersion (a coloring of) the Klein quartic, This regular tiling is significant as it is a tiling of the Klein quartic, the genus 3 surface with the most symmetric metric (automorphisms of this tiling equal isometries of the surface), and the orientation preseserving automorphism group of this surface is isomorphic to the projective special linear group PSL(2,7), equivalently GL(3,2) (the order 168 group of all orientation preserving isometries). Note that the small cubicuboctahedron is not a realization of this abstract polyhedron, as it only has 24 orientation preserving symmetries (not every abstract automorphism is realized by a Euclidean isometry) – the isometries of the small cubicuboctahedron preserve not only the triangular tiling, but also the coloring, and hence are a proper subgroup of the full isometry group. The corresponding tiling of the hyperbolic plane (the universal covering) is the order 7 triangular tiling. The automorphism group of the Klein quartic can be augmented (by a symmetry which is not realized by a symmetry of the polyhedron, namely "exchanging the two endpoints of the edges that bisect the squares and octahedra) to yield the Mathieu group M24.