Lebesgueova dimenze

Lebesgueova dimenze nebo topologická dimenze  je dimenze definovaná pomocí obalů, nejdůležitější invariant topologického prostoru . Lebesgueova dimenze prostoru je obvykle označena .

Definice

Pro metrické prostory

Pro kompaktní metrický prostor je Lebesgueova dimenze definována jako nejmenší celé číslo , které má vlastnost, že pro jakýkoli existuje konečná otevřená pokrývající - která má multiplicitu ;

V čem

Pro topologické prostory

Pro libovolný normální (zejména metrizovatelný ) prostor je Lebesgueova dimenze nejmenším celým číslem , takže pro každý konečný otevřený kryt prostoru existuje (konečný otevřený) kryt násobnosti vepsaný do něj .

O krytu se říká, že je vepsán do krytu , pokud je každý prvek krytu podmnožinou alespoň jednoho prvku krytu .

Příklady

Vlastnosti

je splněna podle jednoho z následujících požadavků na topologické prostory a : Existují příklady dvojic prostorů, u kterých je tato nerovnost porušena; [1] tato nerovnost se také může ukázat jako přísná, například pro některé páry Pontrjaginových ploch .

Historie

Nejprve představil Henri Lebesgue . Předpokládal, že rozměr -rozměrné krychle je . Leutzen Brouwer to dokázal poprvé. Přesnou definici invariantu (pro třídu metrických kompaktních množin) podal Pavel Samuilovich Uryson .

Poznámky

  1. Mzda, Michael L. Dimenze produktových prostorů // Proc. Nat. Akad. sci. USA. - 1978. - T. 75 , č. 10 . — S. 4671–4672 . - doi : 10.1073/pnas.75.10.4671 .

Literatura