Littlewoods förmodan
Inom matematiken är Littlewoods förmodan en förmodan inom Diofantisk approximation av John Littlewood runt 1930. Förmodan säger att för godtyckliga reella tal α och β är

där  är avståndet till det närmaste heltalet.

Partiella resultat
Borel bevisade år 1909 att mängden av par (α,β) som inte satisfierar förmodan har Lebesguemått noll. Manfred Einsiedler, Anatole Katok och Elon Lindenstrauss har bevisat att mängden har Hausdorffdimension noll och är unionen en uppräkneligt många kompakta mängder med Minkowski–Bouliganddimension noll. Detta bevisades genom att använda måttklassificeringssatsen för diagonaliserbara verkan på grupper av högre rang, och en isolationssats bevisad av Lindenstrauss och Barak Weiss.

Ur dessa resultat följer det att icke-triviala par som satisfierar förmodan finns: givet ett reellt tal α så att  är det alltid möjligt att konstruera en explicit β så att (α,β) satisfierar förmodan.

Referenser

Vidare läsning 
 

Förmodanden inom talteori
Diofantisk approximation
Inom matematiken är Littlewoods förmodan en förmodan inom Diofantisk approximation av John Littlewood runt Förmodan säger att för godtyckliga reella tal α och β är där är avståndet till det närmaste heltalet . Partiella resultat Borel bevisade åratt mängden av par ( α,β ) som inte satisfierar förmodan har Lebesguemått noll . Manfred Einsiedler , Anatole Katok och Elon Lindenstrauss har bevisat att mängden har Hausdorffdimension noll och är unionen en uppräkneligt många kompakta mängder med Minkowski–Bouliganddimension noll . Detta bevisades genom att använda måttklassificeringssatsen för diagonaliserbara verkan på grupper av högre rang , och en isolationssats bevisad av Lindenstrauss och Barak Weiss . Ur dessa resultat följer det att icke-triviala par som satisfierar förmodan finns : givet ett reellt tal α så att är det alltid möjligt att konstruera en explicit β så att ( α,β ) satisfierar förmodan . Referenser Vidare läsning Förmodanden inom talteori Diofantisk approximation