A Lyapunov function is a scalar function used to prove the stability of equilibrium points in dynamical systems, where its existence implies that the system's trajectories remain close to an equilibrium point over time. The function decreases along system trajectories, indicating that the system's behavior is predictable and stable around the equilibrium.