Arista
Una arista es un segmento de recta donde se encuentran dos caras de un sólido 3D.
Definition
Una arista es donde se encuentran dos caras planas de una figura 3D, una línea recta a lo largo de la esquina entre ellas; un cubo tiene $12$ aristas. Formalmente, una arista es el segmento de recta formado por la intersección de dos caras adyacentes de un poliedro, y cada arista es compartida por exactamente dos caras; para un poliedro convexo, la fórmula de Euler $F + V - E = 2$ restringe la relación entre caras, vértices y aristas, así que $E = F + V - 2$ siempre puede calcularse una vez conocidas las caras y los vértices. En el lenguaje de los CW-complejos, una arista es una 1-celda, una cara 1-dimensional del politopo delimitada por exactamente dos vértices, y el grafo de aristas (1-esqueleto) de un politopo convexo siempre es 3-conexo (teorema de Steinitz), lo que significa que ninguna eliminación de dos vértices puede desconectarlo.
Example
Piensa en una caja de cartón: cada línea de pliegue donde se encuentran dos lados es una arista, y un cubo tiene $12$ de ellas ($4$ arriba, $4$ abajo, $4$ verticales). Un prisma triangular tiene $9$ aristas: $3$ en el triángulo superior, $3$ en el inferior, y $3$ verticales, comprobando con la fórmula de Euler: $F=5$, $V=6$, $E=9$; $5 + 6 - 9 = 2$. El grafo de Petersen no puede ser el grafo de aristas de ningún poliedro convexo; el teorema de Steinitz da condiciones necesarias y suficientes: un grafo es realizable como el esqueleto de un politopo convexo si y solo si es 3-conexo y planar.
Key Insight
Las aristas conectan vértices (esquinas) y separan caras; para cualquier poliedro simple (sin agujeros), la característica de Euler $F + V - E$ siempre es igual a $2$, mientras que para un toro (forma de dona) es igual a $0$. El teorema de Steinitz es fundamental en geometría combinatoria, caracterizando completamente los poliedros convexos en términos puramente teórico-gráficos y mostrando que la topología y la combinatoria juntas determinan qué figuras 3D son posibles.