린델뢰프 공간

틀:위키데이터 속성 추적 틀:다른 뜻 넘어옴 일반위상수학에서 린델뢰프 공간(Lindelöf空間, 틀:Llang)은 콤팩트 공간의 유한 부분 열린 덮개 조건을 가산 개의 부분 덮개 조건으로 약화시킨 조건을 만족시키는 위상 공간이다.

정의

위상 공간 $X$ 의 열린 덮개 $𝒰 \subseteq 𝒫 (X)$ 에 대하여, $L (𝒰)$ 를 $𝒰$ 의 부분 덮개의 최소 크기인 기수라고 하자.

L (𝒰) = \min_{𝒰^{'} \subseteq 𝒰}^{⋃ 𝒰^{'} = X} | 𝒰^{'} |

(기수 위의 순서는 정렬 순서이므로 이 최솟값은 항상 존재한다.) 위상 공간 $X$ 의 린델뢰프 수(Lindelöf數, 틀:Llang) $L (X)$ 는 모든 열린 덮개 $𝒰$ 에 대한 $L (𝒰)$ 의 상한이다.

L (X) = \sup_{𝒰 \subseteq 𝒯 (X)}^{⋃ 𝒰 = X} L (𝒰)

린델뢰프 수가 $ℵ_{0}$ 이하인 위상 공간을 린델뢰프 공간(틀:Llang)이라고 한다. 즉, 린델뢰프 공간은 모든 열린 덮개가 가산 부분 덮개를 갖는 위상 공간이다.^[1]틀:Rp

다음과 같은 포함 관계가 성립한다.

제2 가산 공간 ⊊ 린델뢰프 공간

이 밖에도, 린델뢰프성은 다른 위상 공간 성질과 다음과 같은 함의 관계를 갖는다.

린델뢰프 공간의 닫힌 집합은 린델뢰프 집합이다.^[1]틀:Rp
린델뢰프 공간의 연속적 상은 린델뢰프 공간이다. 즉, 린델뢰프 공간 $X$ 과 위상 공간 $Y$ 사이에 연속 함수 $f : X \to Y$ 가 존재한다면, $f$ 의 치역 $f (X)$ 는 린델뢰프 공간이다.^[1]틀:Rp
콤팩트 공간과 린델뢰프 공간의 곱공간은 린델뢰프 공간이다.^[1]틀:Rp

린델뢰프 공간에 대하여, 티호노프 정리가 성립하지 않는다. 즉, 린델뢰프 공간들의 곱공간이 항상 린델뢰프 공간이 되는 것은 아니다.

조르겐프라이 직선의 스스로에 대한 곱공간을 조르겐프라이 평면이라고 한다. 조르겐프라이 직선은 완전 정규 하우스도르프 린델뢰프 파라콤팩트 공간이지만, 조르겐프라이 평면은 린델뢰프 공간이 아니다. 따라서 린델뢰프 공간에 대하여 티호노프 정리가 성립하지 않음을 알 수 있다.