정규 공간

일반위상수학에서 정규 공간(正規空間, 영어: normal space)은 서로소 닫힌집합들을 서로소 근방 또는 연속 실함수로 분리할 수 있는 위상 공간이다. 정규 공간에는 "충분한 수의" 연속 실함수가 존재하여, 닫힌집합에 정의된 실함수를 공간 전체로 연장할 수 있다 (티체 확장 정리, Tietze擴張定理, 영어: Tietze extension theorem). 위상 공간 X {\displaystyle X} 에 대하여 다음 네 조건이 서로 동치이며, 이를 만족시키는 위상 공간을 정규 공간이라고 한다. 임의의 두 서로소 닫힌집합 E , F ⊆ X {\displaystyle E,F\subseteq X} 에 대하여, E ⊂ U {\displaystyle E\subset U} , F ⊂ V {\displaystyle F\subset V} 인 서로소 열린집합 U , V ⊂ X {\displaystyle U,V\subset X} 가 존재한다. (우리손 보조정리, Урысон補助定理, 영어: Urysohn lemma) 임의의 두 서로소 닫힌집합 E , F ⊆ X {\displaystyle E,F\subseteq X} 에 대하여, f | E = 0 {\displaystyle f|_{E}=0} 이자 f | F = 1 {\displaystyle f|_{F}=1} 인 연속 함수 f : X → [ 0 , 1 ] {\displaystyle f\colon X\to [0,1]} 가 존재한다.:207 (실수 티체 확장 정리) 임의의 닫힌집합 E ⊆ X {\displaystyle E\subseteq X} 및 연속 함수 f : E → R {\displaystyle f\colon E\to \mathbb {R} } 에 대하여, f ~ | E = f {\displaystyle {\tilde {f}}|_{E}=f} 가 되는 연속 함수 f ~ : X → R {\displaystyle {\tilde {f}}\colon X\to \mathbb {R} } 가 존재한다.:219 (폐구간 티체 확장 정리) 임의의 닫힌집합 E ⊆ X {\displaystyle E\subseteq X} 및 폐구간 [ a , b ] ⊆ R {\displaystyle [a,b]\subseteq \mathbb {R} } 및 연속 함수 f : E → [ a , b ] {\displaystyle f\colon E\to [a,b]} 에 대하여, f ~ | E = f {\displaystyle {\tilde {f}}|_{E}=f} 가 되는 연속 함수 f ~ : X → [ a , b ] {\displaystyle {\tilde {f}}\colon X\to [a,b]} 가 존재한다.:219 즉, 두 닫힌집합을 근방으로 분리하는 것은 실함수로서 분리하는 것과 동치이다. 우리손 보조정리의 증명: 위상 공간 X {\displaystyle X} 의 임의의 두 서로소 닫힌집합이 서로소 근방으로 분리되며, E , F ⊆ X {\displaystyle E,F\subseteq X} 가 서로소 닫힌집합이라고 가정하자. 우선, 다음 조건을 만족시키는 열린집합들의 집합 { U r } r ∈ [ 0 , 1 ] ∩ Q {\displaystyle \{U_{r}\}_{r\in [0,1]\cap \mathbb {Q} }} 를 구성하자. ∀ r , s ∈ [ 0 , 1 ] ∩ Q : r < s ⟹ cl ⁡ U r ⊆ U s {\displaystyle \forall r,s\in [0,1]\cap \mathbb {Q} \colon r<s\implies \operatorname {cl} U_{r}\subseteq U_{s}} E ⊆ U 0 ⊆ U 1 = X ∖ F {\displaystyle E\subseteq U_{0}\subseteq U_{1}=X\setminus F} 이를 위해, [ 0 , 1 ] {\displaystyle [0,1]} 속의 유리수 전체의 열 r ( 0 ) = 0 , r ( 1 ) = 1 , r ( 2 ) , r ( 3 ) , … {\displaystyle r(0)=0,r(1)=1,r(2),r(3),\dotsc } 을 취하자. 수학적 귀납법을 사용하여, n {\displaystyle n} 개의 열린집합 { U r ( 0 ) , U r ( 1 ) , … , U r ( n − 1 ) } {\displaystyle \{U_{r(0)},U_{r(1)},\dotsc ,U_{r(n-1)}\}} 이 위 두 조건을 만족시킨다고 하자. r ( p ) < r ( n ) < r ( q ) {\displaystyle r(p)<r(n)<r(q)} 인, r ( n ) {\displaystyle r(n)} 과 가장 가까운 r ( p ) , r ( q ) ∈ { r ( 0 ) , r ( 1 ) , … , r ( n − 1 ) } {\displaystyle r(p),r(q)\in \{r(0),r(1),\dotsc ,r(n-1)\}} 을 취하자. cl ⁡ U r ( p ) ⊆ U r ( q ) {\displaystyle \operatorname {cl} U_{r(p)}\subseteq U_{r(q)}} 이므로, cl ⁡ U r ( p ) {\displaystyle \operatorname {cl} U_{r(p)}} 와 X ∖ U r ( q ) {\displaystyle X\setminus U_{r(q)}} 는 서로소 닫힌집합이며, 따라서 서로소 열린 근방으로 분리된다. 즉,따라서 cl ⁡ U r ( p ) ⊆ U r ( n ) ⊆ cl ⁡ U r ( n ) ⊆ U r ( q ) {\displaystyle \operatorname {cl} U_{r(p)}\subseteq U_{r(n)}\subseteq \operatorname {cl} U_{r(n)}\subseteq U_{r(q)}} 인 열린집합 U r ( n ) ⊆ X {\displaystyle U_{r(n)}\subseteq X} 가 존재한다. 따라서, n + 1 {\displaystyle n+1} 개의 열린집합 { U r ( 0 ) , U r ( 1 ) , … , U r ( n ) } {\displaystyle \{U_{r(0)},U_{r(1)},\dotsc ,U_{r(n)}\}} 은 위 두 조건을 만족시킨다. 이제, 다음 함수를 생각하자. f : X → [ 0 , 1 ] {\displaystyle f\colon X\to [0,1]} f : x ↦ inf { r ∈ [ 0 , 1 ] ∩ Q : x ∈ U r } {\displaystyle f\colon x\mapsto \inf\{r\in [0,1]\cap \mathbb {Q} \colon x\in U_{r}\}} 이 함수가 f | E = 0 {\displaystyle f|_{E}=0} , f | F = 1 {\displaystyle f|_{F}=1} 을 만족시킴을 쉽게 확인할 수 있다. 따라서 f {\displaystyle f} 가 연속 함수임을 증명하는 일만 남았다. 임의의 y ∈ ( 0 , 1 ) {\displaystyle y\in (0,1)} 에 대하여, f − 1 ( [ 0 , y ) ) {\displaystyle f^{-1}([0,y))} 및 f − 1 ( ( y , 1 ] ) {\displaystyle f^{-1}((y,1])} 가 열린집합임을 증명하는 것으로 충분하다. f ( x ) < y {\displaystyle f(x)<y} 라고 하자. f ( x ) < r < y {\displaystyle f(x)<r<y} 인 유리수 r {\displaystyle r} 를 취하자. 그렇다면 U r {\displaystyle U_{r}} 는 x {\displaystyle x} 의 열린 근방이며, f ( U r ) ⊆ [ 0 , r ] ⊆ [ 0 , y ) {\displaystyle f(U_{r})\subseteq [0,r]\subseteq [0,y)} 이다. 즉, f − 1 ( [ 0 , y ) ) {\displaystyle f^{-1}([0,y))} 는 열린집합이다. 이제 f ( x ) > y {\displaystyle f(x)>y} 라고 하자. 유리수 f ( x ) > r > s > y {\displaystyle f(x)>r>s>y} 를 취하자. 그렇다면 x ∉ U r {\displaystyle x\not \in U_{r}} 이며, cl ⁡ U s ⊆ U r {\displaystyle \operatorname {cl} U_{s}\subseteq U_{r}} 이므로 x ∉ cl ⁡ U s {\displaystyle x\not \in \operatorname {cl} U_{s}} 이다. 따라서, X ∖ cl ⁡ U s {\displaystyle X\setminus \operatorname {cl} U_{s}} 는 x {\displaystyle x} 의 열린 근방이며, f ( X ∖ cl ⁡ U s ) ⊆ f ( X ∖ U s ) ⊆ [ s , 1 ] ⊆ ( y , 1 ] {\displaystyle f(X\setminus \operatorname {cl} U_{s})\subseteq f(X\setminus U_{s})\subseteq [s,1]\subseteq (y,1]} 이다. 즉, f − 1 ( ( y , 1 ] ) {\displaystyle f^{-1}((y,1])} 은 열린집합이다. 반대로, 임의의 서로소 닫힌집합 E , F ⊆ X {\displaystyle E,F\subseteq X} 에 대하여, f | E = 0 {\displaystyle f|_{E}=0} , f | F = 1 {\displaystyle f|_{F}=1} 인 연속 함수 f : X → R {\displaystyle f\colon X\to \mathbb {R} } 가 존재한다고 가정하자. 그렇다면 U = f − 1 ( [ 0 , 1 / 2 ) ) {\displaystyle U=f^{-1}([0,1/2))} V = f − 1 ( ( 1 / 2 , 1 ] ) {\displaystyle V=f^{-1}((1/2,1])} 는 서로소 열린집합이며, E ⊆ U {\displaystyle E\subseteq U} , F ⊆ V {\displaystyle F\subseteq V} 이다. 티체 확장 정리의 증명: 위상 공간 X {\displaystyle X} 의 임의의 서로소 닫힌집합이 서로소 근방을 통해 분리되며, 임의의 닫힌집합 E ⊆ X {\displaystyle E\subseteq X} 및 연속 함수 f : E → [ − 1 , 1 ] {\displaystyle f\colon E\to [-1,1]} 가 주어졌다고 가정하자. 그렇다면, A 0 = f − 1 ( [ − 1 , − 1 / 3 ] ) {\displaystyle A_{0}=f^{-1}([-1,-1/3])} B 0 = f − 1 ( [ 1 / 3 , 1 ] ) {\displaystyle B_{0}=f^{-1}([1/3,1])} 은 E {\displaystyle E} 의 닫힌집합이므로, X {\displaystyle X} 의 서로소 닫힌집합이다. 우리손 보조정리에 따라, f 0 | A 0 = − 1 / 3 {\displaystyle f_{0}|_{A_{0}}=-1/3} , f 0 | B 0 = 1 / 3 {\displaystyle f_{0}|_{B_{0}}=1/3} 인 연속 함수 f 0 : X → [ − 1 / 3 , 1 / 3 ] {\displaystyle f_{0}\colon X\to [-1/3,1/3]} 가 존재한다. 이 경우 sup x ∈ E | f ( x ) − f 0 ( x ) | ≤ 2 / 3 {\displaystyle \sup _{x\in E}|f(x)-f_{0}(x)|\leq 2/3} 이다. 마찬가지로, 연속 함수 f − f 0 | E : E → [ − 2 / 3 , 2 / 3 ] {\displaystyle f-f_{0}|_{E}\colon E\to [-2/3,2/3]} 및 A 1 = ( f − f 0 | E ) − 1 ( [ − 2 / 3 , − 2 / 9 ] ) {\displaystyle A_{1}=(f-f_{0}|_{E})^{-1}([-2/3,-2/9])} B 1 = ( f − f 0 | E ) − 1 ( [ 2 / 9 , 1 / 3 ] ) {\displaystyle B_{1}=(f-f_{0}|_{E})^{-1}([2/9,1/3])} 에 대하여, f 1 | A 1 = − 2 / 9 {\displaystyle f_{1}|_{A_{1}}=-2/9} , f 1 | B 1 = 2 / 9 {\displaystyle f_{1}|_{B_{1}}=2/9} 인 연속 함수 f 1 : X → [ − 2 / 9 , 2 / 9 ] {\displaystyle f_{1}\colon X\to [-2/9,2/9]} 가 존재하며, 이는 sup x ∈ E | f ( x ) − f 0 ( x ) − f 1 ( x ) | ≤ 4 / 9 {\displaystyle \sup _{x\in E}|f(x)-f_{0}(x)-f_{1}(x)|\leq 4/9} 를 만족시킨다. 위 과정을 반복하면 다음 조건을 만족시키는 연속 함수의 열 ( f i : X → [ − ( 1 / 3 ) ( 2 / 3 ) i , ( 1 / 3 ) ( 2 / 3 ) i ] ) i = 0 ∞ {\displaystyle (f_{i}\colon X\to [-(1/3)(2/3)^{i},(1/3)(2/3)^{i}])_{i=0}^{\infty }} 을 얻는다. ∀ n ∈ N : sup x ∈ E | f ( x ) − ∑ i = 0 n f i ( x ) | ≤ ( 2 / 3 ) n + 1 {\displaystyle \forall n\in \mathbb {N} \colon \sup _{x\in E}\left|f(x)-\sum _{i=0}^{n}f_{i}(x)\right|\leq (2/3)^{n+1}} 이제, f ~ = ∑ i = 0 ∞ f i : X → [ − 1 , 1 ] {\displaystyle {\tilde {f}}=\sum _{i=0}^{\infty }f_{i}\colon X\to [-1,1]} 라고 하자. 그렇다면, f ~ {\displaystyle {\tilde {f}}} 는 균등 수렴하므로 연속 함수이며, f ~ | E = f {\displaystyle {\tilde {f}}|_{E}=f} 이다. 이제, 위상 공간 X {\displaystyle X} 의 임의의 서로소 닫힌집합이 서로소 근방을 통해 분리되며, 임의의 닫힌집합 E ⊆ X {\displaystyle E\subseteq X} 및 (유계 함수일 필요가 없는) 연속 함수 f : E → R {\displaystyle f\colon E\to \mathbb {R} } 가 주어졌다고 가정하자. 위상동형사상 g : R → ( − 1 , 1 ) {\displaystyle g\colon \mathbb {R} \to (-1,1)} 을 취하자. 그렇다면, g ∘ f : E → ( − 1 , 1 ) {\displaystyle g\circ f\colon E\to (-1,1)} 은 연속 함수이므로, h | E = g ∘ f {\displaystyle h|_{E}=g\circ f} 인 연속 함수 h : X → [ − 1 , 1 ] {\displaystyle h\colon X\to [-1,1]} 이 존재한다. F = h − 1 ( { − 1 , 1 } ) {\displaystyle F=h^{-1}(\{-1,1\})} 이라고 하자. 그렇다면, F {\displaystyle F} 는 닫힌집합이며, E ∩ F = ∅ {\displaystyle E\cap F=\varnothing } 이므로, k | E = 1 {\displaystyle k|_{E}=1} , k | F = 0 {\displaystyle k|_{F}=0} 인 연속 함수 k : X → [ − 1 , 1 ] {\displaystyle k\colon X\to [-1,1]} 이 존재한다. 이 경우 h ⋅ k : X → ( − 1 , 1 ) {\displaystyle h\cdot k\colon X\to (-1,1)} 은 연속 함수이며, ( h ⋅ k ) | E = g ∘ f {\displaystyle (h\cdot k)|_{E}=g\circ f} 이다. 따라서, f ~ = g − 1 ∘ ( h ⋅ k ) : X → R {\displaystyle {\tilde {f}}=g^{-1}\circ (h\cdot k)\colon X\to \mathbb {R} } 는 f {\displaystyle f} 의 연속 확장이다. 반대로, 임의의 닫힌집합 E ⊆ X {\displaystyle E\subseteq X} 위의 연속 함수 E → [ a , b ] {\displaystyle E\to [a,b]} (또는 E → R {\displaystyle E\to \mathbb {R} } )가 연속 확장 X → [ a , b ] {\displaystyle X\to [a,b]} (또는 X → R {\displaystyle X\to \mathbb {R} } )를 가지며, E , F ⊆ X {\displaystyle E,F\subseteq X} 가 서로소 닫힌집합이라고 가정하자. 그렇다면, E ∪ F {\displaystyle E\cup F} 는 닫힌집합이며, E ∪ F → [ 0 , 1 ] {\displaystyle E\cup F\to [0,1]} x ↦ { 0 x ∈ E 1 x ∈ F {\displaystyle x\mapsto {\begin{cases}0&x\in E\\1&x\in F\end{cases}}} 는 연속 함수이다. 따라서, 이는 연속 확장 f : X → R {\displaystyle f\colon X\to \mathbb {R} } 를 갖는다. 이 경우, U = f − 1 ( ( − ∞ , 1 / 2 ) ) {\displaystyle U=f^{-1}((-\infty ,1/2))} V = f − 1 ( ( 1 / 2 , ∞ ) ) {\displaystyle V=f^{-1}((1/2,\infty ))} 는 E {\displaystyle E} 와 F {\displaystyle F} 의 서로소 열린 근방이다. T4 공간(T4空間, 영어: T4 space)은 정규 하우스도르프 공간이다. 정규 공간의 (첫째) 정의는 점을 언급하지 않고 열린집합 및 닫힌집합 만으로 정의되므로, 장소에 대하여 쉽게 일반화할 수 있다. 즉, 장소 ( L , ∧ , ∨ , ⊤ , ⊥ ) {\displaystyle (L,\land ,\lor ,\top ,\bot )} 가 다음 조건을 만족시킨다면, 정규 장소(正規場所, 영어: normal locale)라고 한다. 임의의 두 열린집합 A , B ∈ L {\displaystyle A,B\in L} 에 대하여, 만약 A ∨ B = ⊤ {\displaystyle A\lor B=\top } 라면, A ∨ V = B ∨ U = ⊤ {\displaystyle A\lor V=B\lor U=\top } 이며 U ∧ V = ⊥ {\displaystyle U\land V=\bot } 인 열린집합 U , V ∈ L {\displaystyle U,V\in L} 이 존재한다. (이는 정규 공간의 정의와 비교했을 때 E {\displaystyle E} 와 F {\displaystyle F} 를 각각 그 여집합 A {\displaystyle A} , B {\displaystyle B} 로 대체한 것이다.) 위상 공간 X {\displaystyle X} 에 대하여 다음 세 조건이 서로 동치이며, 이를 만족시키는 위상 공간을 완전 정규 공간(完全正規空間, 영어: perfectly normal space)이라고 한다.:213, Exercise 6 임의의 서로소 닫힌집합 E , F ⊆ X {\displaystyle E,F\subseteq X} 에 대하여, f − 1 ( 0 ) = E {\displaystyle f^{-1}(0)=E} 이자 f − 1 ( 1 ) = F {\displaystyle f^{-1}(1)=F} 인 연속 함수 f : X → [ 0 , 1 ] {\displaystyle f\colon X\to [0,1]} 가 존재한다. 임의의 서로소 닫힌집합 E , F ⊆ X {\displaystyle E,F\subseteq X} 에 대하여, f − 1 ( 0 ) = E {\displaystyle f^{-1}(0)=E} 이자 f − 1 ( 1 ) = F {\displaystyle f^{-1}(1)=F} 인 연속 함수 f : X → R {\displaystyle f\colon X\to \mathbb {R} } 가 존재한다. 정규 공간이며, 모든 닫힌집합 E ⊆ X {\displaystyle E\subseteq X} 은 Gδ 집합이다. 완전 정규 하우스도르프 공간을 T6 공간(T6空間, 영어: T6 space)이라고 한다. 정규 공간의 개념은 다음과 같은 일련의 분리공리들 가운데 하나이다. 그러나 점-점 또는 점-닫힌집합의 경우와 달리, 닫힌집합-닫힌집합의 경우 근방으로 분리하는 것과 실함수로 분리하는 것이 서로 동치이다 (우리손 보조정리). 다음과 같은 포함 관계가 성립한다.:213 거리화 가능 공간 ⊊ 완전 정규 하우스도르프 공간(T6) ⊊ 완비 정규 하우스도르프 공간(T5) ⊊ 정규 하우스도르프 공간(T4) ⊊ 티호노프 공간(T3½) ⊊ (정칙 하우스도르프 공간(T3) ∩ 완비 하우스도르프 공간) 완전 정규 공간 ⊊ 완비 정규 공간 ⊊ 정규 공간 모든 파라콤팩트 하우스도르프 공간은 정규 공간이다. 모든 완전 정규 공간은 가산 파라콤팩트 공간이다. 모든 정규 무어 공간은 완전 정규 공간이다. 정규 공간이 정칙 공간일 필요는 없다. 그러나 정규 공간에 대하여 다음 두 조건이 서로 동치이다. R0 공간이다. 완비 정칙 공간이다. 즉, 정규성에 R0 공간이라는 아주 약한 조건을 추가하면 (완비) 정칙성을 함의한다. 모든 파라콤팩트 정칙 공간은 정규 공간이다. 정규 공간의 닫힌집합은 정규 공간이다. 그러나 이는 임의의 부분 집합에 대하여 성립하지 않을 수 있다. 모든 부분 공간이 정규 공간인 위상 공간을 완비 정규 공간(完備正規空間, 영어: completely normal space) 또는 유전 정규 공간(遺傳正規空間, 영어: hereditarily normal space)이라고 하며, 완비 정규 하우스도르프 공간을 T5 공간(T5空間, 영어: T5 space)이라고 한다. 정규 공간 X {\displaystyle X} 와 함수 f : X → Y {\displaystyle f\colon X\to Y} 가 주어졌을 때, 만약 f {\displaystyle f} 가 연속 함수이며 닫힌 함수라면, f ( X ) {\displaystyle f(X)} 는 정규 공간이다. 연속 닫힌 함수 조건을 연속 함수로 약화하면 이는 더 이상 성립하지 않는다. (모든 위상 공간은 이산 공간의 연속적 상이다.) 증명: 편의상 f {\displaystyle f} 가 전사 함수라고 하자. 임의의 서로소 닫힌집합 E , F ⊆ Y {\displaystyle E,F\subseteq Y} 에 대하여, X {\displaystyle X} 가 정규 공간이므로, f − 1 ( E ) ⊆ U {\displaystyle f^{-1}(E)\subseteq U} f − 1 ( F ) ⊆ V {\displaystyle f^{-1}(F)\subseteq V} 인 서로소 열린집합 U , V ⊆ X {\displaystyle U,V\subseteq X} 가 존재한다. 그렇다면 E ⊆ Y ∖ f ( X ∖ U ) {\displaystyle E\subseteq Y\setminus f(X\setminus U)} F ⊆ Y ∖ f ( X ∖ V ) {\displaystyle F\subseteq Y\setminus f(X\setminus V)} 이며, f {\displaystyle f} 가 닫힌 함수이므로 Y ∖ f ( X ∖ U ) , Y ∖ f ( X ∖ V ) ⊆ Y {\displaystyle Y\setminus f(X\setminus U),Y\setminus f(X\setminus V)\subseteq Y} 는 서로소 열린집합이다. 따라서, Y {\displaystyle Y} 는 정규 공간이다. 정규 공간들의 곱공간은 정규 공간이 아닐 수 있다. 심지어, 정규 공간 X {\displaystyle X} 에 대하여, X × [ 0 , 1 ] {\displaystyle X\times [0,1]} 이 정규 공간이 아닐 수도 있다. 사실, 하우스도르프 공간에 대하여, 다음 조건들이 서로 동치이다. X × [ 0 , 1 ] {\displaystyle X\times [0,1]} 은 정규 공간이다. 임의의 콤팩트 거리화 가능 공간 Y {\displaystyle Y} 에 대하여, X × Y {\displaystyle X\times Y} 는 정규 공간이다.:157, Theorem 21.4.(b) X {\displaystyle X} 는 정규 공간이며, 가산 파라콤팩트 공간이다.:157, Theorem 21.4.(c) X {\displaystyle X} 는 정규 공간이며, 가산 메타콤팩트 공간이다.:156, Theorem 21.3.(b) 거리화 가능 공간과 완전 정규 공간의 곱공간은 완전 정규 공간이다. 대수기하학이나 일반위상수학을 제외하고, 수학에 흔히 등장하는 대부분의 위상 공간은 정규 공간이다. 비가산 개의 비(非)콤팩트 거리화 가능 공간들의 곱공간은 항상 정규 공간이 아니다. 크기 2 이상의 비이산 공간은 (완전) 정규 공간이지만, 콜모고로프 공간이 아니다. 시에르핀스키 공간은 (완비) 정규 공간이며, 콜모고로프 공간이지만, T1 공간이 아니다. 정규 공간의 개념은 1923년에 오스트리아의 수학자 하인리히 프란츠 프리드리히 티체(독일어: Heinrich Franz Friedrich Tietze, 1880~1964)가 도입하였다.:TG IX.127 티체 확장 정리는 원래 라위트전 브라우어르와 앙리 르베그가 유클리드 공간에 대하여 증명하였고, 이후 티체가 이를 임의의 거리화 가능 공간에 대하여 일반화하였다. 이후 파벨 사무일로비치 우리손이 1925년에 우리손 보조정리를 사용하여 이를 임의의 정규 공간에 대하여 증명하였다. 1951년에 클리퍼드 휴 다우커(영어: Clifford Hugh Dowker)는 정규 공간 X {\displaystyle X} 에 대하여, X × [ 0 , 1 ] {\displaystyle X\times [0,1]} 이 정규 공간이 아니라면, X {\displaystyle X} 가 여러 특수한 성질들을 갖는다는 것을 보였다. 다우커는 이러한 공간들이 존재하지 않는다고 추측하였으나, 1971년에 메리 엘런 루딘이 이러한 공간들이 실재함을 증명하였다. 정규 공간과 티체 확장 정리에 대하여 니콜라 부르바키는 다음과 같이 적었다. Munkres, James R. (2000). 《Topology》 (영어) 2판. Prentice Hall. ISBN 978-0-13-181629-9. MR 0464128. Zbl 0951.54001.  Sorgenfrey, R. H. (1947). “On the topological product of paracompact spaces”. 《Bulletin of the American Mathematical Society》 (영어) 53: 631–632. doi:10.1090/S0002-9904-1947-08858-3. ISSN 0273-0979.  Rudin, Mary Ellen (1971년 3월). “A normal space X for which X×I is not normal”. 《Bulletin of the American Mathematical Society》 (영어) 77 (2): 246–246. doi:10.1090/S0002-9904-1971-12702-7. ISSN 0273-0979. MR 0270328. Zbl 0206.51601.  Rudin, Mary Ellen (1971). “A normal space X for which X×I is not normal” (PDF). 《Fundamenta Mathematicae》 (영어) 73 (2): 179–186. Zbl 0224.54019. 2016년 3월 4일에 원본 문서 (PDF)에서 보존된 문서. 2016년 6월 21일에 확인함.  Willard, Stephen (1970). 《General topology》. Addison-Wesley Series in Mathematics (영어). Reading, Massachusetts; Menlo Park, California; London; Don Mills, Ontario: Addison-Wesley. ISBN 978-0-201-08707-9. MR 0264581. Zbl 0205.26601.  Stone, Arthur Harold (1948). “Paracompactness and product spaces”. 《Bulletin of the American Mathematical Society》 (영어) 54: 977–982. doi:10.1090/S0002-9904-1948-09118-2. Zbl 0032.31403.  Bourbaki, Nicolas (1974). 《Topologie générale. Chapitres 5 à 10》. Éléments de mathématique (프랑스어). Hermann. doi:10.1007/978-3-540-34486-5.  Urysohn, Paul (1925). “Über die Mächtigkeit der zusammenhängenden Mengen”. 《Mathematische Annalen》 (독일어) 94: 262–295. doi:10.1007/BF01208659. 2016년 8월 21일에 원본 문서에서 보존된 문서. 2016년 6월 21일에 확인함.  Dowker, Clifford Hugh (1951). “On countably paracompact spaces”. 《Canadian Journal of Mathematics》 (영어) 3: 219–224. doi:10.4153/CJM-1951-026-2. ISSN 0008-414X. Zbl 0042.41007.  Alò, Richard A.; Shapiro, Harvey L. (1974). 《Normal topological spaces》. Cambridge Tracts in Mathematics (영어) 65. Cambridge University Press. Zbl 0282.54005.  Steen, Lynn Arthur; J. Arthur Seebach, Jr. (1978). 《Counterexamples in topology》 (영어) 2판. Springer. doi:10.1007/978-1-4612-6290-9. ISBN 978-0-387-90312-5. MR 507446. Zbl 0386.54001.  더 이상 지원되지 않는 변수를 사용함 (도움말) CS1 관리 - 추가 문구 (링크) Hartig, Donald (1978년 1월). “An important functor in analysis and topology”. 《The American Mathematical Monthly》 (영어) 85 (1): 41–43. doi:10.2307/2978049. ISSN 0002-9890. JSTOR 2978049.  “Normal space”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  “Urysohn lemma”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  “Urysohn-Brouwer lemma”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  Weisstein, Eric Wolfgang. “Normal space”. 《Wolfram MathWorld》 (영어). Wolfram Research.  Weisstein, Eric Wolfgang. “Tietze's extension theorem”. 《Wolfram MathWorld》 (영어). Wolfram Research.  Weisstein, Eric Wolfgang. “Urysohn's lemma”. 《Wolfram MathWorld》 (영어). Wolfram Research.  “Normal space”. 《nLab》 (영어).  “Perfectly normal space”. 《nLab》 (영어).  “Tietze extension theorem”. 《nLab》 (영어).  “Normal space”. 《Topospaces》 (영어). 2015년 1월 12일에 원본 문서에서 보존된 문서. 2015년 1월 12일에 확인함.  “Perfectly normal space”. 《Topospaces》 (영어). 2015년 1월 12일에 원본 문서에서 보존된 문서. 2015년 1월 12일에 확인함.  “Varying normality”. 《Topospaces》 (영어). 2015년 1월 12일에 원본 문서에서 보존된 문서. 2015년 1월 12일에 확인함.  “Hereditarily normal space”. 《Topospaces》 (영어). 2015년 1월 12일에 원본 문서에서 보존된 문서. 2015년 1월 12일에 확인함.  “Monotonically normal space”. 《Topospaces》 (영어). 2015년 1월 12일에 원본 문서에서 보존된 문서. 2015년 1월 12일에 확인함.  “Tietze extension theorem”. 《Topospaces》 (영어). 2016년 8월 7일에 원본 문서에서 보존된 문서. 2016년 6월 21일에 확인함.  “Urysohn's lemma”. 《Topospaces》 (영어). 2016년 8월 7일에 원본 문서에서 보존된 문서. 2016년 6월 21일에 확인함.  “Hahn-Dieudonne-Tong insertion theorem”. 《Topospaces》 (영어). 2016년 8월 7일에 원본 문서에서 보존된 문서. 2016년 6월 21일에 확인함.  Ma, Dan (2009년 11월 10일). “A theorem about hereditary normality”. 《Dan Ma’s Topology Blog》 (영어). 2016년 9월 16일에 원본 문서에서 보존된 문서. 2016년 6월 21일에 확인함.  Ma, Dan (2009년 10월 19일). “Normal × compact needs not be normal”. 《Dan Ma’s Topology Blog》 (영어). 2016년 10월 13일에 원본 문서에서 보존된 문서. 2016년 6월 21일에 확인함.  Ma, Dan (2015년 4월 14일). “When a product space is hereditarily normal”. 《Dan Ma’s Topology Blog》 (영어). 2016년 4월 22일에 원본 문서에서 보존된 문서. 2016년 6월 21일에 확인함.  Ma, Dan (2015년 5월 3일). “The product of uncountably many factors is never hereditarily normal”. 《Dan Ma’s Topology Blog》 (영어). 2016년 4월 22일에 원본 문서에서 보존된 문서. 2016년 6월 21일에 확인함.  Ma, Dan (2014년 3월 18일). “The normality of the product of the first uncountable ordinal with a compact factor”. 《Dan Ma’s Topology Blog》 (영어). 2016년 4월 22일에 원본 문서에서 보존된 문서. 2016년 6월 21일에 확인함.