Timewise-min function

From Diffgeom

Definition

Let be any continuous function. Then the timewise-min function of is a map defined by:

When is a compact manifold, we can replace by .

Related notions