La rama de la geometría que relaciona medidas y magnitudes geométricas promediadas mediante fórmulas integrales y medidas invariantes, empleando acciones de grupos y métodos probabilísticos para expresar longitudes, áreas y otros invariantes como integrales sobre familias de objetos geométricos.

Principio

Las magnitudes geométricas invariantes bajo un grupo de simetría pueden calcularse o representarse como integrales sobre el grupo o sobre una familia parametrizada; fórmulas canónicas (tipo cinemático/Crofton) reducen medidas globales a promedios de intersecciones locales sencillas.

Demostración

Fórmula de Crofton: la longitud de una curva plana se expresa como una integral sobre el espacio de rectas promediando el número de intersecciones con esas rectas; una demostración experimental es el experimento de la aguja de Buffon que relaciona cruces con π.

Aplicación incorrecta

Aplicar fórmulas integral‑geométricas a conjuntos sin una medida invariante adecuada o a subconjuntos no medibles, o usar fórmulas de promediado cuando la acción de grupo supuesta no es transitiva, lo que produce mediciones erróneas o integrales divergentes.

Consecuencia

Aplicada correctamente, la geometría integral proporciona fórmulas explícitas para medidas esperadas, ofrece métodos estereológicos para inferir volúmenes a partir de secciones y conecta invariantes geométricos con datos de representación de grupos de simetría.

Inversión

La geometría discreta o combinatoria se centra en conteos exactos y en la estructura combinatoria de configuraciones finitas en lugar de en descripciones medidas o promediadas de magnitudes geométricas.

Límite

Se aplica donde existe una medida invariante σ-finita y una familia de sondas parametrizada (espacios euclidianos, esféricos, hiperbólicos o espacios homogéneos); excluye invariantes puramente topológicos, patologías no medibles y muchos conjuntos fractales sin medidas adaptadas.

Tensión semántica

Existe tensión con la geometría estocástica: la geometría integral enfatiza fórmulas integrales deterministas e invariancia de grupo, mientras que los enfoques estocásticos enfatizan procesos aleatorios y procesos puntuales; las afirmaciones se solapan pero difieren en enfoque.

Síntesis

La geometría integral unifica simetría, medida y promediado: integrando cuentas de intersecciones o sondas locales sobre un grupo de simetría o una familia, convierte problemas de medida geométrica en integrales calculables que revelan invariantes globales y valores esperados.