Loyasevichs ulighed

Lojasiewiczs ulighed er en ulighed etableret af den polske matematiker Stanisław Lojasiewicz ( polsk: Stanisław Łojasiewicz ), som giver en øvre grænse for afstanden fra et punkt i en vilkårlig kompakt mængde til nulniveausættet af en reel analytisk funktion af mange variable. . Denne ulighed har fundet anvendelser i forskellige grene af matematikken, herunder reel algebraisk geometri, analyse og differentialligningsteorien [1] [2] .

Ordlyd

Lad funktionen være reel analytisk på et ikke-tomt åbent sæt og lad være sættet af nuller af funktionen . Hvis mængden er ikke -tom, så eksisterer der for ethvert ikke-tomt kompakt sæt konstanter og sådan at uligheden

hvoraf antallet kan være ret stort.

Derudover er der for ethvert punkt et tilstrækkeligt lille kvarter af det og sådanne konstanter og , at den anden Loyasevichs ulighed gælder ː

Det følger naturligvis af den anden ulighed, at der for hvert kritisk punkt i en reel analytisk funktion eksisterer et kvarter, således at funktionen har samme værdi på alle kritiske punkter i dette kvarter.

Litteratur

Noter

  1. V.I. Arnold, Yu.S. Iljasjenko . Almindelige differentialligninger, Dynamiske systemer - 1, Itogi Nauki i Tekhniki. Ser. Moderne sandsynlighed måtte. Fundam. retninger, 1, VINITI, M., 1985 .
  2. Yu. S. Ilyashenko, S. Yu. Yakovenko , Endeligt glatte normale former for lokale familier af diffeomorfismer og vektorfelter, Uspekhi Mat. Nauk, 46:1(277) (1991), 3-39 .