Lebesgue dimenzió

A Lebesgue-dimenzió vagy topológiai dimenzió  a borítások által meghatározott dimenzió , a topológiai tér legfontosabb invariánsa . Egy tér Lebesgue-dimenzióját általában jelöli .

Definíció

Metrikus terekhez

Egy kompakt metrikus tér esetében a Lebesgue-dimenziót úgy definiáljuk, mint a legkisebb egész számot , amely rendelkezik azzal a tulajdonsággal, hogy bármely esetén létezik egy véges nyitott lefedés - amelynek multiplicitása van ;

Ahol

Topológiai terekhez

Egy tetszőleges normál (különösen metrizálható ) tér esetén a Lebesgue-dimenzió a legkisebb egész szám úgy, hogy a tér minden véges nyitott fedésére létezik egy (véges nyitott) multiplicitás-borítás, amelybe bele van írva .

A borítót akkor nevezzük a borítóba írtnak, ha a borító minden eleme a borító legalább egy elemének részhalmaza .

Példák

Tulajdonságok

megfelel a topológiai terekre vonatkozó alábbi követelmények egyikének és : Vannak példák olyan térpárokra, amelyek esetében ez az egyenlőtlenség megsérül; [1] ez az egyenlőtlenség is szigorúnak bizonyulhat, például néhány Pontrjagin felületpár esetében .

Történelem

Először Henri Lebesgue mutatta be . Azt sejtette, hogy a -dimenziós kocka dimenziója . Leutzen Brouwer ezt először bizonyította. Az invariáns pontos meghatározását (a metrikus kompakt halmazok osztályára) Pavel Samuilovich Uryson adta meg .

Jegyzetek

  1. Bér, Michael L. A termékterek dimenziója // Proc. Nat. Acad. sci. USA. - 1978. - T. 75 , 10. sz . — S. 4671–4672 . - doi : 10.1073/pnas.75.10.4671 .

Irodalom