# Max-decreasing trajectory

From Diffgeom

## Definition

Let be a manifold and be a function , where:

- denotes the time parameter, and varies in
- denotes the spatial parameter, and varies in

In other words, is a trajectory (or path) in the space of all functions from to .

Then, is said to be **max-decreasing** if the function:

is a monotone decreasing function.

The corresponding notion is of a **min-increasing trajectory** -- viz a trajectory where the minimum (or infimum) keeps increasing.