En geometría sólida , una cara es una superficie plana (una región plana ) que forma parte del límite de un objeto sólido; [1] un sólido tridimensional delimitado exclusivamente por caras es un poliedro .
En tratamientos más técnicos de la geometría de poliedros y politopos de dimensiones superiores , el término también se utiliza para significar un elemento de cualquier dimensión de un politopo más general (en cualquier número de dimensiones). [2]
En geometría elemental, una cara es un polígono [nota 1] en el límite de un poliedro . [2] [3] Otros nombres para una cara poligonal incluyen lado de poliedro y mosaico plano euclidiano .
Por ejemplo, cualquiera de los seis cuadrados que delimitan un cubo es una cara del cubo. A veces, también se utiliza "cara" para referirse a las características bidimensionales de un politopo de cuatro dimensiones . Con este significado, el teseracto de cuatro dimensiones tiene 24 caras cuadradas, cada una de las cuales comparte dos de las ocho celdas cúbicas .
La superficie de cualquier poliedro convexo tiene característica de Euler.
donde V es el número de vértices , E es el número de aristas y F es el número de caras. Esta ecuación se conoce como fórmula del poliedro de Euler . Por lo tanto, el número de caras es 2 más que el exceso del número de aristas sobre el número de vértices. Por ejemplo, un cubo tiene 12 aristas y 8 vértices, y por lo tanto 6 caras.
En geometría de dimensiones superiores, las caras de un politopo son características de todas las dimensiones. [2] [4] [5] Una cara de dimensión k se llama k -cara. Por ejemplo, las caras poligonales de un poliedro ordinario son 2-caras. En teoría de conjuntos , el conjunto de caras de un politopo incluye el propio politopo y el conjunto vacío, donde el conjunto vacío es para consistencia dada una "dimensión" de −1. Para cualquier n -politopo ( politopo n -dimensional), −1 ≤ k ≤ n .
Por ejemplo, con este significado, las caras de un cubo comprenden el cubo mismo (3 caras), sus facetas (cuadradas) (2 caras), sus aristas (segmentos de línea) (1 caras), sus vértices (puntos) (0 caras) y el conjunto vacío.
En algunas áreas de las matemáticas, como la combinatoria poliédrica , un politopo es por definición convexo. Formalmente, una cara de un politopo P es la intersección de P con cualquier semiespacio cerrado cuyo límite es disjunto del interior de P. [6] De esta definición se deduce que el conjunto de caras de un politopo incluye el propio politopo y el conjunto vacío. [ 4] [5]
En otras áreas de las matemáticas, como las teorías de politopos abstractos y politopos estrella , el requisito de convexidad se relaja. La teoría abstracta aún requiere que el conjunto de caras incluya el propio politopo y el conjunto vacío.
Un símplex n -dimensional (segmento de línea ( n = 1 ), triángulo ( n = 2 ), tetraedro ( n = 3 ), etc.), definido por n + 1 vértices, tiene una cara por cada subconjunto de los vértices, desde el conjunto vacío hasta el conjunto de todos los vértices. En particular, hay 2 n + 1 caras en total. El número de ellas que son k -caras, para k ∈ {−1, 0, ..., n } , es el coeficiente binomial .
Hay nombres específicos para las k -caras dependiendo del valor de k y, en algunos casos, de qué tan cerca está k de la dimensionalidad n del politopo.
Vértice es el nombre común para una cara 0.
Edge es el nombre común para una cara única.
El uso de cara en un contexto donde una k específica se refiere a una k -cara pero no se especifica explícitamente es comúnmente una 2-cara.
Una celda es un elemento poliédrico ( de 3 caras ) de un politopo de 4 dimensiones o de un teselado de 3 dimensiones o superior. Las celdas son facetas de los 4-politopos y los 3-panales.
Ejemplos:
En geometría de dimensiones superiores, las facetas (también llamadas hipercaras ) [7] de un n -politopo son las ( n − 1 )-caras (caras de dimensión uno menor que el propio politopo). [8] Un politopo está delimitado por sus facetas.
Por ejemplo:
En terminología relacionada, las ( n − 2 ) -caras de un n -politopo se denominan crestas (también subfacetas ). [9] Una cresta se considera como el límite entre exactamente dos facetas de un politopo o panal.
Por ejemplo:
Las ( n − 3 ) caras de un n -politopo se denominan picos . Un pico contiene un eje de rotación de facetas y crestas en un politopo regular o panal.
Por ejemplo:
