The Lyapunov function method is the focus of this paper in proving marginal
stability, asymptotical or globally asymptotical stability of discrete dyn
amic systems. We show that the slightly relaxed versions of the well known
sufficient conditions are also necessary. (C) 2000 Elsevier Science Inc, Al
l rights reserved.