Лема на Шура-Бура

Шаблон:Обработка Лемата на Шура-Бура е твърдение от общата топология намиращо приложение в решаването на задачата за формулиране на необходими и достатъчни условия едно бикомпактно $T_2$-пространство да няма положителна размерност.

Лема на Шура-Бура: Нека $(𝒳,F)$ e бикомпактно $T_2$-пространство, като с $F$ е означена фамилията от затворените му множества. За всяка нейна подфамилия

$\{{ℱ}_{\alpha }{\}}_{\alpha \in A}\subseteq F$

такава, че

$𝒮=\bigcap _{\alpha \in A}{ℱ}_{\alpha }\ne \varnothing$

и всяка околност $𝒱$ на $𝒮$ съществува крайно множество $A_{𝒱}\subseteq A$, за което

$\bigcap _{\alpha \in A_{𝒱}}{ℱ}_{\alpha }\subseteq 𝒱.$