Smoothing causal functions

We describe, in the general setting of closed cone fields, the set of causal functions which can be approximated by smooth Lyapunov. We derive several consequences on causality theory.

Dans le contexte général des champs de cones fermés, on décrit l’ensemble des fonctions causales qui peuvent être approchées par des fonctions de Lyapunov lisses. On en déduit quelques conséquence en théorie de la causalité.