Talk:Lyapunov function

I think that http://mathworld.wolfram.com/LyapunovFunction.html gives a much better definition than the one provided by http://planetmath.org/?op=getobj&from=objects&id=4386 . The planetmath definition does not specifiy that V is a scalar function, and it uses an example in only two independent variables (x,y) when in general V is a function in n variables. Also it is proving instability when the much more common utility of a Lyapunov function is to prove stability. I would say that the planetmath "definition" is really more of an example than a definition.