Una condición o técnica en topología diferencial y algebraica que dispone aplicaciones o subvariedades para encontrarse de modo que, en cada punto de intersección, sus espacios tangentes generen el espacio tangente ambiente; las intersecciones transversales son estables ante perturbaciones y suelen ser aisladas o variedades de la dimensión esperada.

Principio

Forzar que las intersecciones sean transversales para que el comportamiento local sea genérico, estable ante pequeñas perturbaciones y calculable mediante álgebra lineal de los espacios tangentes.

Demostración

Dados dos subvariedades A y B de una variedad M, si en cada p en A∩B se cumple T_pA + T_pB = T_pM, entonces A y B se intersectan transversalmente; así A∩B es una subvariedad de dimensión dim A + dim B − dim M.

Aplicación incorrecta

Afirmar la transversalidad sin comprobar la suma de espacios tangentes o suponer que aplicaciones arbitrarias son transversales puede conducir a contar mal los puntos de intersección y a usar indebidamente invariantes que requieren generocidad.

Consecuencia

Cuando hay transversalidad, las intersecciones tienen la dimensión esperada, pueden orientarse y contarse, y se aplican técnicas como teoría de intersecciones, teoría del grado y teoremas de transversalidad para obtener invariantes topológicos.

Inversión

El reverso es la tangencia: intersecciones cuyo espacios tangentes no generan el espacio ambiente, produciendo multiplicidades, comportamiento no genérico e inestabilidad ante perturbaciones.

Límite

Se aplica a aplicaciones y subvariedades suaves (o estratificadas adecuadamente) y a perturbaciones genéricas; excluye espacios patológicos sin estructura diferenciable o contextos sin espacios tangentes definidos.

Tensión semántica

La transversalidad compite con nociones como la multiplicidad algebraica o la intersección en sentido esquema en geometría algebraica, donde las intersecciones se estudian con multiplicidades en lugar de representantes transversales genéricos.

Síntesis

La transversalidad es la condición y práctica de hacer genéricas las intersecciones: verificando el engendramiento de espacios tangentes se obtienen intersecciones estables y calculables que sustentan argumentos de conteo y construcciones geométricas.