{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q799258","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q799258","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q799258","kernelVersion":"v1","immutable":true,"modified":"2025-07-08T14:47:44Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q799258","name":"Metrization and Liapunov functions. I","headline":"Metrization and Liapunov functions. I","description":"scientific article; zbMATH DE number 3874198","url":"https://portal.mardi4nfdi.de/entity/Q799258","datePublished":"1983-00-00","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q609433"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q168571"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/BF01956781","url":"https://doi.org/10.1007/BF01956781"},"sameAs":["https://doi.org/10.1007/BF01956781"],"comment":"Let (X,d) be a metric space and \\(T_ t:X\\to X\\) (\\(t\\in {\\mathbb{R}})\\) be a dynamical system. Let M, \\(\\emptyset\\neq M\\subset X\\), be an asymptotically stable closed invariant set and A(M) be its region of attraction. It is well known that there exists a continuous function \\(V:A(M)\\to {\\mathbb{R}}\\) satisfying the following conditions: \\((i)\\quad V(x)=0\\) (\\(x\\in M)\\) and \\(V(x)>0\\quad (x\\in A(M)\\backslash M);\\) (ii) \\(V(T_ tx)\\to 0\\) as \\(t\\to +\\infty\\) (\\(x\\in A(M))\\); \\((iii)\\quad V(x)\\geq d(x,M)\\) (\\(x\\in A(M))\\). Theorem 1. Assume that there is a retraction \\(r:A(M)\\to M\\) such that for any \\(\\{y_ n\\}^{\\infty}_{n=1}\\subset A(M),\\) \\(x\\in M\\) the conditions \\(d(y_ n,M)\\to 0\\) and \\(r(y_ n)\\to X\\) imply \\(y_ n\\to x\\). Then there exists a metric \\(\\rho\\) on X such that \\(\\rho| M\\times M=d| M\\times M\\) and \\(V(x)=\\rho (x,M)=\\rho (x,r(x))\\) for \\(x\\in A(M)\\). It is also shown that an analogous assertion holds for Morse-Smale flows on compact oriented surfaces.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2647562"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5813401"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3932062"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4129462"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3226265"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5825909"},{"@id":"https://portal.mardi4nfdi.de/entity/Q775744"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5595759"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5601337"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2556632"}]},"provenance":{"prov:generatedAtTime":"2025-07-08T14:47:44Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}