{{위키데이터 속성 추적}}
{{분리공리}}
[[일반위상수학]]에서 '''정규 공간'''(正規空間, {{llang|en|normal space}})은 [[서로소 집합|서로소]] [[닫힌집합]]들을 [[서로소 집합|서로소]] [[근방]] 또는 [[연속 함수|연속]] 실함수로 분리할 수 있는 [[위상 공간 (수학)|위상 공간]]이다. 정규 공간에는 "충분한 수의" 연속 실함수가 존재하여, [[닫힌집합]]에 정의된 실함수를 공간 전체로 연장할 수 있다 ('''티체 확장 정리''', Tietze擴張定理, {{llang|en|Tietze extension theorem}}).

== 정의 ==
[[파일:Normal space.svg|섬네일|right|정규 공간의 정의]]
[[위상 공간 (수학)|위상 공간]] <math>X</math>에 대하여 다음 네 조건이 서로 [[동치]]이며, 이를 만족시키는 [[위상 공간 (수학)|위상 공간]]을 '''정규 공간'''이라고 한다.
* 임의의 두 [[서로소 집합|서로소]] [[닫힌집합]] <math>E,F\subseteq X</math>에 대하여, <math>E\subset U</math>, <math>F\subset V</math>인 서로소 [[열린집합]] <math>U,V\subset X</math>가 존재한다.
* ('''우리손 보조정리''', Урысон補助定理, {{llang|en|Urysohn lemma}}) 임의의 두 [[서로소 집합|서로소]] [[닫힌집합]] <math>E,F\subseteq X</math>에 대하여, <math>f|_E=0</math>이자 <math>f|_F=1</math>인 [[연속 함수]] <math>f\colon X\to[0,1]</math>가 존재한다.<ref name="Munkres"/>{{rp|207}}
* (실수 '''티체 확장 정리''') 임의의 [[닫힌집합]] <math>E\subseteq X</math> 및 [[연속 함수]] <math>f\colon E\to\mathbb R</math>에 대하여, <math>\tilde f|_E=f</math>가 되는 [[연속 함수]] <math>\tilde f\colon X\to\mathbb R</math>가 존재한다.<ref name="Munkres"/>{{rp|219}}
* (폐구간 '''티체 확장 정리''') 임의의 [[닫힌집합]] <math>E\subseteq X</math> 및 [[폐구간]] <math>[a,b]\subseteq\mathbb R</math> 및 [[연속 함수]] <math>f\colon E\to[a,b]</math>에 대하여, <math>\tilde f|_E=f</math>가 되는 [[연속 함수]] <math>\tilde f\colon X\to[a,b]</math>가 존재한다.<ref name="Munkres"/>{{rp|219}}
즉, 두 [[닫힌집합]]을 [[근방]]으로 분리하는 것은 실함수로서 분리하는 것과 동치이다.
{{증명|제목=우리손 보조정리의 증명}}
[[위상 공간 (수학)|위상 공간]] <math>X</math>의 임의의 두 서로소 [[닫힌집합]]이 서로소 [[근방]]으로 분리되며, <math>E,F\subseteq X</math>가 서로소 [[닫힌집합]]이라고 가정하자. 우선, 다음 조건을 만족시키는 [[열린집합]]들의 집합 <math>\{U_r\}_{r\in[0,1]\cap\mathbb Q}</math>를 구성하자.
:<math>\forall r,s\in[0,1]\cap\mathbb Q\colon r<s\implies\operatorname{cl}U_r\subseteq U_s</math>
:<math>E\subseteq U_0\subseteq U_1=X\setminus F</math>
이를 위해, <math>[0,1]</math> 속의 [[유리수]] 전체의 열
:<math>r(0)=0,r(1)=1,r(2),r(3),\dotsc</math>
을 취하자. [[수학적 귀납법]]을 사용하여, <math>n</math>개의 [[열린집합]] <math>\{U_{r(0)},U_{r(1)},\dotsc,U_{r(n-1)}\}</math>이 위 두 조건을 만족시킨다고 하자. <math>r(p)<r(n)<r(q)</math>인, <math>r(n)</math>과 가장 가까운 <math>r(p),r(q)\in\{r(0),r(1),\dotsc,r(n-1)\}</math>을 취하자. <math>\operatorname{cl}U_{r(p)}\subseteq U_{r(q)}</math>이므로, <math>\operatorname{cl}U_{r(p)}</math>와 <math>X\setminus U_{r(q)}</math>는 서로소 [[닫힌집합]]이며, 따라서 서로소 [[열린 근방]]으로 분리된다. 즉,따라서
:<math>\operatorname{cl}U_{r(p)}\subseteq U_{r(n)}\subseteq\operatorname{cl}U_{r(n)}\subseteq U_{r(q)}</math>
인 [[열린집합]] <math>U_{r(n)}\subseteq X</math>가 존재한다. 따라서, <math>n+1</math>개의 [[열린집합]] <math>\{U_{r(0)},U_{r(1)},\dotsc,U_{r(n)}\}</math>은 위 두 조건을 만족시킨다.

이제, 다음 함수를 생각하자.
:<math>f\colon X\to[0,1]</math>
:<math>f\colon x\mapsto\inf\{r\in[0,1]\cap\mathbb Q\colon x\in U_r\}</math>
이 함수가 <math>f|_E=0</math>, <math>f|_F=1</math>을 만족시킴을 쉽게 확인할 수 있다. 따라서 <math>f</math>가 [[연속 함수]]임을 증명하는 일만 남았다. 임의의 <math>y\in(0,1)</math>에 대하여, <math>f^{-1}([0,y))</math> 및 <math>f^{-1}((y,1])</math>가 [[열린집합]]임을 증명하는 것으로 충분하다. <math>f(x)<y</math>라고 하자. <math>f(x)<r<y</math>인 [[유리수]] <math>r</math>를 취하자. 그렇다면 <math>U_r</math>는 <math>x</math>의 [[열린 근방]]이며,
:<math>f(U_r)\subseteq[0,r]\subseteq[0,y)</math>
이다. 즉, <math>f^{-1}([0,y))</math>는 [[열린집합]]이다. 이제 <math>f(x)>y</math>라고 하자. [[유리수]] <math>f(x)>r>s>y</math>를 취하자. 그렇다면 <math>x\not\in U_r</math>이며, <math>\operatorname{cl}U_s\subseteq U_r</math>이므로 <math>x\not\in\operatorname{cl}U_s</math>이다. 따라서, <math>X\setminus\operatorname{cl}U_s</math>는 <math>x</math>의 [[열린 근방]]이며,
:<math>f(X\setminus\operatorname{cl}U_s)\subseteq f(X\setminus U_s)\subseteq[s,1]\subseteq(y,1]</math>
이다. 즉, <math>f^{-1}((y,1])</math>은 [[열린집합]]이다.

반대로, 임의의 [[서로소 집합|서로소]] [[닫힌집합]] <math>E,F\subseteq X</math>에 대하여, <math>f|_E=0</math>, <math>f|_F=1</math>인 [[연속 함수]] <math>f\colon X\to\mathbb R</math>가 존재한다고 가정하자. 그렇다면
:<math>U=f^{-1}([0,1/2))</math>
:<math>V=f^{-1}((1/2,1])</math>
는 서로소 [[열린집합]]이며, <math>E\subseteq U</math>, <math>F\subseteq V</math>이다.
{{증명 끝}}
{{증명|제목=티체 확장 정리의 증명}}
[[위상 공간 (수학)|위상 공간]] <math>X</math>의 임의의 서로소 [[닫힌집합]]이 서로소 [[근방]]을 통해 분리되며, 임의의 [[닫힌집합]] <math>E\subseteq X</math> 및 [[연속 함수]] <math>f\colon E\to[-1,1]</math>가 주어졌다고 가정하자. 그렇다면,
:<math>A_0=f^{-1}([-1,-1/3])</math>
:<math>B_0=f^{-1}([1/3,1])</math>
은 <math>E</math>의 [[닫힌집합]]이므로, <math>X</math>의 서로소 닫힌집합이다. 우리손 보조정리에 따라, <math>f_0|_{A_0}=-1/3</math>, <math>f_0|_{B_0}=1/3</math>인 [[연속 함수]] <math>f_0\colon X\to[-1/3,1/3]</math>가 존재한다. 이 경우
:<math>\sup_{x\in E}|f(x)-f_0(x)|\le 2/3</math>
이다. 마찬가지로, [[연속 함수]] <math>f-f_0|_E\colon E\to[-2/3,2/3]</math> 및
:<math>A_1=(f-f_0|_E)^{-1}([-2/3,-2/9])</math>
:<math>B_1=(f-f_0|_E)^{-1}([2/9,1/3])</math>
에 대하여, <math>f_1|_{A_1}=-2/9</math>, <math>f_1|_{B_1}=2/9</math>인 [[연속 함수]] <math>f_1\colon X\to[-2/9,2/9]</math>가 존재하며, 이는
:<math>\sup_{x\in E}|f(x)-f_0(x)-f_1(x)|\le 4/9</math>
를 만족시킨다. 위 과정을 반복하면 다음 조건을 만족시키는 [[연속 함수]]의 열 <math>(f_i\colon X\to[-(1/3)(2/3)^i,(1/3)(2/3)^i])_{i=0}^\infty</math>을 얻는다.
:<math>\forall n\in\mathbb N\colon\sup_{x\in E}\left|f(x)-\sum_{i=0}^nf_i(x)\right|\le(2/3)^{n+1}</math>
이제,
:<math>\tilde f=\sum_{i=0}^\infty f_i\colon X\to[-1,1]</math>
라고 하자. 그렇다면, <math>\tilde f</math>는 [[균등 수렴]]하므로 [[연속 함수]]이며, <math>\tilde f|_E=f</math>이다.

이제, [[위상 공간 (수학)|위상 공간]] <math>X</math>의 임의의 서로소 [[닫힌집합]]이 서로소 [[근방]]을 통해 분리되며, 임의의 [[닫힌집합]] <math>E\subseteq X</math> 및 ([[유계 함수]]일 필요가 없는) [[연속 함수]] <math>f\colon E\to\mathbb R</math>가 주어졌다고 가정하자. [[위상동형사상]] <math>g\colon\mathbb R\to(-1,1)</math>을 취하자. 그렇다면, <math>g\circ f\colon E\to(-1,1)</math>은 [[연속 함수]]이므로, <math>h|_E=g\circ f</math>인 [[연속 함수]] <math>h\colon X\to[-1,1]</math>이 존재한다.
:<math>F=h^{-1}(\{-1,1\})</math>
이라고 하자. 그렇다면, <math>F</math>는 [[닫힌집합]]이며, <math>E\cap F=\varnothing</math>이므로, <math>k|_E=1</math>, <math>k|_F=0</math>인 [[연속 함수]] <math>k\colon X\to[-1,1]</math>이 존재한다. 이 경우 <math>h\cdot k\colon X\to(-1,1)</math>은 [[연속 함수]]이며, <math>(h\cdot k)|_E=g\circ f</math>이다. 따라서,
:<math>\tilde f=g^{-1}\circ(h\cdot k)\colon X\to\mathbb R</math>
는 <math>f</math>의 연속 확장이다.

반대로, 임의의 [[닫힌집합]] <math>E\subseteq X</math> 위의 [[연속 함수]] <math>E\to[a,b]</math>(또는 <math>E\to\mathbb R</math>)가 연속 확장 <math>X\to[a,b]</math>(또는 <math>X\to\mathbb R</math>)를 가지며, <math>E,F\subseteq X</math>가 서로소 [[닫힌집합]]이라고 가정하자. 그렇다면, <math>E\cup F</math>는 [[닫힌집합]]이며,
:<math>E\cup F\to[0,1]</math>
:<math>x\mapsto\begin{cases}0&x\in E\\1&x\in F\end{cases}</math>
는 [[연속 함수]]이다. 따라서, 이는 연속 확장 <math>f\colon X\to\mathbb R</math>를 갖는다. 이 경우,
:<math>U=f^{-1}((-\infty,1/2))</math>
:<math>V=f^{-1}((1/2,\infty))</math>
는 <math>E</math>와 <math>F</math>의 서로소 [[열린 근방]]이다.
{{증명 끝}}

'''T<sub>4</sub> 공간'''(T<sub>4</sub>空間, {{llang|en|''T''<sub>4</sub> space}})은 정규 [[하우스도르프 공간]]이다.

정규 공간의 (첫째) 정의는 점을 언급하지 않고 [[열린집합]] 및 [[닫힌집합]] 만으로 정의되므로, [[장소 (수학)|장소]]에 대하여 쉽게 일반화할 수 있다. 즉, [[장소 (수학)|장소]] <math>(L,\land,\lor,\top,\bot)</math>가 다음 조건을 만족시킨다면, '''정규 장소'''(正規場所, {{llang|en|normal locale}})라고 한다.
* 임의의 두 [[열린집합]] <math>A,B\in L</math>에 대하여, 만약 <math>A\lor B=\top</math>라면, <math>A\lor V=B\lor U=\top</math>이며 <math>U\land V=\bot</math>인 [[열린집합]] <math>U,V\in L</math>이 존재한다.
(이는 정규 공간의 정의와 비교했을 때 <math>E</math>와 <math>F</math>를 각각 그 [[여집합]] <math>A</math>, <math>B</math>로 대체한 것이다.)

=== 완전 정규 공간 ===
[[위상 공간 (수학)|위상 공간]] <math>X</math>에 대하여 다음 세 조건이 서로 [[동치]]이며, 이를 만족시키는 위상 공간을 '''완전 정규 공간'''(完全正規空間, {{llang|en|perfectly normal space}})이라고 한다.<ref name="Munkres"/>{{rp|213, Exercise 6}}
* 임의의 서로소 [[닫힌집합]] <math>E,F\subseteq X</math>에 대하여, <math>f^{-1}(0)=E</math>이자 <math>f^{-1}(1)=F</math>인 [[연속 함수]] <math>f\colon X\to[0,1]</math>가 존재한다.
* 임의의 서로소 [[닫힌집합]] <math>E,F\subseteq X</math>에 대하여, <math>f^{-1}(0)=E</math>이자 <math>f^{-1}(1)=F</math>인 [[연속 함수]] <math>f\colon X\to\mathbb R</math>가 존재한다.
* 정규 공간이며, 모든 [[닫힌집합]] <math>E\subseteq X</math>은 [[Gδ 집합|G<sub>δ</sub> 집합]]이다.
완전 정규 하우스도르프 공간을 '''T<sub>6</sub> 공간'''(T<sub>6</sub>空間, {{llang|en|''T''<sub>6</sub> space}})이라고 한다.

== 성질 ==
정규 공간의 개념은 다음과 같은 일련의 [[분리공리]]들 가운데 하나이다.
{| class="wikitable" style="text-align: center"
! 분리 대상
! [[근방]]으로 분리 || 실함수로 분리
|-
! 점과 점
|| [[하우스도르프 공간]] || [[완비 하우스도르프 공간]]
|-
! 점과 [[닫힌집합]]
|| [[정칙 공간]] || [[완비 정칙 공간]]
|-
! [[닫힌집합]]과 [[닫힌집합]]
| colspan=2 | 정규 공간
|}
그러나 점-점 또는 점-[[닫힌집합]]의 경우와 달리, [[닫힌집합]]-[[닫힌집합]]의 경우 [[근방]]으로 분리하는 것과 실함수로 분리하는 것이 서로 [[동치]]이다 (우리손 보조정리).

=== 함의 관계 ===
다음과 같은 포함 관계가 성립한다.<ref name="Munkres">{{서적 인용
|url=http://www.pearsonhighered.com/bookseller/product/Topology/9780131816299.page
|이름=James R.
|성=Munkres
|저자링크=제임스 멍크레스
|제목=Topology
|언어=en
|판=2
|출판사=Prentice Hall
|연도=2000
|isbn=978-0-13-181629-9
|zbl=0951.54001
|mr=0464128
}}</ref>{{rp|213}}
:[[거리화 가능 공간]] ⊊ 완전 정규 하우스도르프 공간(T<sub>6</sub>) ⊊ 완비 정규 하우스도르프 공간(T<sub>5</sub>) ⊊ 정규 하우스도르프 공간(T<sub>4</sub>) ⊊ [[티호노프 공간]](T<sub>3½</sub>) ⊊ ([[정칙 공간|정칙]] [[하우스도르프 공간]](T<sub>3</sub>) ∩ [[완비 하우스도르프 공간]])
:완전 정규 공간 ⊊ 완비 정규 공간 ⊊ 정규 공간

모든 [[파라콤팩트]] [[하우스도르프 공간]]은 정규 공간이다. 모든 완전 정규 공간은 [[가산 파라콤팩트 공간]]이다. 모든 정규 [[무어 공간]]은 완전 정규 공간이다.

=== 정칙성과의 관계 ===
정규 공간이 [[정칙 공간]]일 필요는 없다. 그러나 정규 공간에 대하여 다음 두 조건이 서로 [[동치]]이다.
* [[R0 공간|R<sub>0</sub> 공간]]이다.
* [[완비 정칙 공간]]이다.
즉, 정규성에 [[R0 공간|R<sub>0</sub> 공간]]이라는 아주 약한 조건을 추가하면 (완비) 정칙성을 함의한다.

모든 [[파라콤팩트]] [[정칙 공간]]은 정규 공간이다.

=== 연산에 대한 닫힘 ===
정규 공간의 [[닫힌집합]]은 정규 공간이다. 그러나 이는 임의의 [[부분 집합]]에 대하여 성립하지 않을 수 있다. 모든 [[부분 공간]]이 정규 공간인 위상 공간을 '''완비 정규 공간'''(完備正規空間, {{llang|en|completely normal space}}) 또는 '''유전 정규 공간'''(遺傳正規空間, {{llang|en|hereditarily normal space}})이라고 하며, 완비 정규 [[하우스도르프 공간]]을 '''T<sub>5</sub> 공간'''(T<sub>5</sub>空間, {{llang|en|''T''<sub>5</sub> space}})이라고 한다.

정규 공간 <math>X</math>와 함수 <math>f\colon X\to Y</math>가 주어졌을 때, 만약 <math>f</math>가 [[연속 함수]]이며 [[닫힌 함수]]라면, <math>f(X)</math>는 정규 공간이다. 연속 닫힌 함수 조건을 연속 함수로 약화하면 이는 더 이상 성립하지 않는다. (모든 [[위상 공간 (수학)|위상 공간]]은 [[이산 공간]]의 연속적 상이다.)
{{증명}}
편의상 <math>f</math>가 [[전사 함수]]라고 하자. 임의의 [[서로소 집합|서로소]] [[닫힌집합]] <math>E,F\subseteq Y</math>에 대하여, <math>X</math>가 정규 공간이므로,
:<math>f^{-1}(E)\subseteq U</math>
:<math>f^{-1}(F)\subseteq V</math>
인 [[서로소 집합|서로소]] [[열린집합]] <math>U,V\subseteq X</math>가 존재한다. 그렇다면
:<math>E\subseteq Y\setminus f(X\setminus U)</math>
:<math>F\subseteq Y\setminus f(X\setminus V)</math>
이며, <math>f</math>가 [[닫힌 함수]]이므로 <math>Y\setminus f(X\setminus U),Y\setminus f(X\setminus V)\subseteq Y</math>는 [[서로소 집합|서로소]] [[열린집합]]이다. 따라서, <math>Y</math>는 정규 공간이다.
{{증명 끝}}

정규 공간들의 [[곱공간]]은 정규 공간이 아닐 수 있다.<ref>{{저널 인용| last= Sorgenfrey |first= R. H.|year= 1947 |title= On the topological product of paracompact spaces|journal= Bulletin of the American Mathematical Society |volume= 53 |pages= 631–632 | doi=10.1090/S0002-9904-1947-08858-3|issn=0273-0979|언어=en}}</ref> 심지어, 정규 공간 <math>X</math>에 대하여, <math>X\times[0,1]</math>이 정규 공간이 아닐 수도 있다.<ref name="Rudin1">{{저널 인용|이름=Mary Ellen|성=Rudin|저자링크=메리 엘런 루딘|제목=A normal space ''X'' for which ''X''×''I'' is not normal|저널=Bulletin of the American Mathematical Society|권=77|호=2|날짜=1971-03|쪽=246–246|mr=0270328|zbl=0206.51601|doi=10.1090/S0002-9904-1971-12702-7 |issn=0273-0979|언어=en}}</ref><ref name="Rudin2">{{저널 인용 |last=Rudin |first=Mary Ellen |저자링크=메리 엘런 루딘 |date=1971 |title=A normal space ''X'' for which ''X''×''I'' is not normal |journal=Fundamenta Mathematicae |volume=73 |number=2 |pages=179–186 |zbl=0224.54019 |url=http://matwbn.icm.edu.pl/ksiazki/fm/fm73/fm73121.pdf |언어=en |확인날짜=2016-06-21 |보존url=https://web.archive.org/web/20160304023248/http://matwbn.icm.edu.pl/ksiazki/fm/fm73/fm73121.pdf |보존날짜=2016-03-04 |url-status=dead }}</ref> 사실, [[하우스도르프 공간]]에 대하여, 다음 조건들이 서로 [[동치]]이다.
* <math>X\times[0,1]</math>은 정규 공간이다.
* 임의의 [[콤팩트 공간|콤팩트]] [[거리화 가능 공간]] <math>Y</math>에 대하여, <math>X\times Y</math>는 정규 공간이다.<ref name="Willard">{{서적 인용
|성1=Willard
|이름1=Stephen
|제목=General topology
|언어=en
|총서=Addison-Wesley Series in Mathematics
|출판사=Addison-Wesley
|위치=Reading, Massachusetts; Menlo Park, California; London; Don Mills, Ontario
|날짜=1970
|isbn=978-0-201-08707-9
|mr=0264581
|zbl=0205.26601
}}</ref>{{rp|157, Theorem 21.4.(b)}}
* <math>X</math>는 정규 공간이며, [[가산 파라콤팩트 공간]]이다.<ref name="Willard" />{{rp|157, Theorem 21.4.(c)}}
* <math>X</math>는 정규 공간이며, [[가산 메타콤팩트 공간]]이다.<ref name="Willard" />{{rp|156, Theorem 21.3.(b)}}

[[거리화 가능 공간]]과 완전 정규 공간의 [[곱공간]]은 완전 정규 공간이다.

== 예 ==
[[대수기하학]]이나 [[일반위상수학]]을 제외하고, 수학에 흔히 등장하는 대부분의 위상 공간은 정규 공간이다.

[[비가산]] 개의 [[콤팩트 공간|비(非)콤팩트]] [[거리화 가능 공간]]들의 [[곱공간]]은 항상 정규 공간이 아니다.<ref>{{저널 인용 | last= Stone |first= Arthur Harold |year= 1948 |title=Paracompactness and product spaces |journal=Bulletin of the American Mathematical Society |volume=54 |쪽=977–982|doi=10.1090/S0002-9904-1948-09118-2 |zbl= 0032.31403| 언어=en}}</ref>

크기 2 이상의 [[비이산 공간]]은 (완전) 정규 공간이지만, [[콜모고로프 공간]]이 아니다. [[시에르핀스키 공간]]은 (완비) 정규 공간이며, [[콜모고로프 공간]]이지만, [[T1 공간]]이 아니다.

== 역사 ==
정규 공간의 개념은 1923년에 [[오스트리아]]의 수학자 하인리히 프란츠 프리드리히 티체({{llang|de|Heinrich Franz Friedrich Tietze}}, 1880~1964)가 도입하였다.<ref name="Bourbaki"/>{{rp|TG IX.127}}

티체 확장 정리는 원래 [[라위트전 브라우어르]]와 [[앙리 르베그]]가 [[유클리드 공간]]에 대하여 증명하였고, 이후 티체가 이를 임의의 [[거리화 가능 공간]]에 대하여 일반화하였다. 이후 [[파벨 사무일로비치 우리손]]이 1925년에 우리손 보조정리를 사용하여 이를 임의의 정규 공간에 대하여 증명하였다.<ref>{{저널 인용|이름=Paul|성=Urysohn|저자링크=파벨 사무일로비치 우리손|제목=Über die Mächtigkeit der zusammenhängenden Mengen|저널=Mathematische Annalen|권=94|날짜=1925|쪽=262–295|doi=10.1007/BF01208659|url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN00227051X|언어=de|확인날짜=2016-06-21|보존url=https://web.archive.org/web/20160821172725/http://resolver.sub.uni-goettingen.de/purl?GDZPPN00227051X|보존날짜=2016-08-21|url-status=dead}}</ref>

1951년에 클리퍼드 휴 다우커({{llang|en|Clifford Hugh Dowker}})는 정규 공간 <math>X</math>에 대하여, <math>X\times[0,1]</math>이 정규 공간이 아니라면, <math>X</math>가 여러 특수한 성질들을 갖는다는 것을 보였다.<ref>{{저널 인용|last=Dowker |first=Clifford Hugh |date=1951 |title=On countably paracompact spaces |journal=Canadian Journal of Mathematics |volume=3 |pages=219–224 |doi=10.4153/CJM-1951-026-2 |zbl=0042.41007 |issn=0008-414X | 언어=en}}</ref> 다우커는 이러한 공간들이 존재하지 않는다고 추측하였으나, 1971년에 [[메리 엘런 루딘]]이 이러한 공간들이 실재함을 증명하였다.<ref name="Rudin1"/><ref name="Rudin2"/>

정규 공간과 티체 확장 정리에 대하여 [[니콜라 부르바키]]는 다음과 같이 적었다.
{{인용문2|1920년~1930년 동안에 모스크바 학파는 [[거리 공간]]의 위상수학적 성질에 대하여 연구하였다. 그 목표는 특히 주어진 [[위상 공간 (수학)|위상 공간]]이 [[거리화 가능 공간]]인지 여부에 대한 [[필요충분조건]]을 얻는 것이었다. 이러한 환경 속에서 1923년에 티체는 정규 공간의 개념을 정의하였다. 그러나 [[파벨 사무일로비치 우리손|우리손]]이 연속 실함수의 확장 정리를 증명하기 이전에 이 개념의 중요성은 인식되지 못했다. […] [[대수적 위상수학]]으로 인하여, 이 정리를 임의의 [[위상 공간 (수학)|위상 공간]]이 [[공역]]이 될 수 있게 일반화하는 문제가 최근에 대두되었다. 최근 연구에 따르면, 이러한 유의 문제에 대하여, 정규 공간의 개념은 지나치게 "병적인" 현상이 많아 불편하다. 대신, 1944년에 [[장 디외도네|J. 디외도네]]가 도입한, 더 제한적인 [[파라콤팩트 공간]]의 개념을 사용하는 것이 낫다. […]<br>{{lang|fr|De la période 1920–1930 datent toute une série d’études entreprises par l’école de Moscou sur les propriétés de la topologie d’un espace métrique, travaux qui visaient en particulier à obtenir des conditions nécessaires et  suffisantes pour qu'une topologie donnée soit métrisable. C’est ce mouvement d’idées qui fit apparaître l’intérêt de la notion d’espace normal, définie en 1923 par Tietze, mais dont le rôle important ne fut reconnu qu’à la suite des travaux d’Urysohn […] sur le prolongement des fonctions continues numériques. […] L’extension de ce problème au cas des fonctions à valeurs dans un espace topologique quelconque a pris dans ces dernières années une importance considérable en Topologie algébrique. Les travaux récents ont mis en évidence que, dans ce genre de questions, la notion d’espace normal est peu maniable, parce qu’elle offre encore trop de possibilités de «pathologie»; on doit le plus souvent lui substituer la notion plus restrictive d’espace paracompact, introduite en 1944 par J. Dieudonné […].}}|<ref name="Bourbaki">{{서적 인용|이름=Nicolas|성=Bourbaki|저자링크=니콜라 부르바키|제목=Topologie générale. Chapitres 5 à 10|총서=Éléments de mathématique|doi=10.1007/978-3-540-34486-5|출판사=Hermann|날짜=1974|언어=fr}}</ref>{{rp|TG IX.127}}}}

== 각주 ==
{{각주}}
* {{서적 인용 | 제목=Normal topological spaces | 이름=Richard A. |성=Alò | 이름2=Harvey L.|성2=Shapiro|총서=Cambridge Tracts in Mathematics|권=65|url=http://www.cambridge.org/us/academic/subjects/mathematics/abstract-analysis/normal-topological-spaces|날짜=1974|출판사=Cambridge University Press|zbl=0282.54005|언어=en}}
* {{서적 인용 | last=Steen | first=Lynn Arthur | 공저자=J. Arthur Seebach, Jr. |제목=Counterexamples in topology | 날짜=1978 | publisher=Springer | isbn= 978-0-387-90312-5 | mr=507446 | zbl = 0386.54001 | 판=2판 | doi = 10.1007/978-1-4612-6290-9 | 언어=en}}
* {{저널 인용|제목=An important functor in analysis and topology|이름=Donald|성=Hartig|jstor=2978049|doi=10.2307/2978049|저널=The American Mathematical Monthly|권=85|호=1|날짜=1978-01|쪽=41–43|issn=0002-9890|언어=en}}

== 외부 링크 ==
* {{eom|title=Normal space}}
* {{eom|title=Urysohn lemma}}
* {{eom|title=Urysohn-Brouwer lemma}}
* {{매스월드|id=NormalSpace|title=Normal space}}
* {{매스월드|id=TietzesExtensionTheorem|title=Tietze's extension theorem}}
* {{매스월드|id=UrysohnsLemma|title=Urysohn's lemma}}
* {{nlab|id=normal space|title=Normal space}}
* {{nlab|id=perfectly normal space|title=Perfectly normal space}}
* {{nlab|id=Tietze extension theorem}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Normal_space|title=Normal space|웹사이트=Topospaces|언어=en|확인날짜=2015-01-12|보존url=https://web.archive.org/web/20150112071724/http://topospaces.subwiki.org/wiki/Normal_space|보존날짜=2015-01-12|url-status=dead}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Perfectly_normal_space|title=Perfectly normal space|웹사이트=Topospaces|언어=en|확인날짜=2015-01-12|보존url=https://web.archive.org/web/20150112070648/http://topospaces.subwiki.org/wiki/Perfectly_normal_space|보존날짜=2015-01-12|url-status=dead}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Varying_normality|title=Varying normality|웹사이트=Topospaces|언어=en|확인날짜=2015-01-12|보존url=https://web.archive.org/web/20150112070837/http://topospaces.subwiki.org/wiki/Varying_normality|보존날짜=2015-01-12|url-status=dead}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Hereditarily_normal_space|title=Hereditarily normal space|웹사이트=Topospaces|언어=en|확인날짜=2015-01-12|보존url=https://web.archive.org/web/20150112101449/http://topospaces.subwiki.org/wiki/Hereditarily_normal_space|보존날짜=2015-01-12|url-status=dead}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Monotonically_normal_space|title=Monotonically normal space|웹사이트=Topospaces|언어=en|확인날짜=2015-01-12|보존url=https://web.archive.org/web/20150112071000/http://topospaces.subwiki.org/wiki/Monotonically_normal_space|보존날짜=2015-01-12|url-status=dead}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Tietze_extension_theorem|title=Tietze extension theorem|웹사이트=Topospaces|언어=en|확인날짜=2016-06-21|보존url=https://web.archive.org/web/20160807035914/http://topospaces.subwiki.org/wiki/Tietze_extension_theorem|보존날짜=2016-08-07|url-status=dead}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Urysohn%27s_lemma|title=Urysohn's lemma|웹사이트=Topospaces|언어=en|확인날짜=2016-06-21|보존url=https://web.archive.org/web/20160807033336/http://topospaces.subwiki.org/wiki/Urysohn%27s_lemma|보존날짜=2016-08-07|url-status=dead}}
* {{웹 인용|url=http://topospaces.subwiki.org/wiki/Hahn-Dieudonne-Tong_insertion_theorem|title=Hahn-Dieudonne-Tong insertion theorem|웹사이트=Topospaces|언어=en|확인날짜=2016-06-21|보존url=https://web.archive.org/web/20160807034037/http://topospaces.subwiki.org/wiki/Hahn-Dieudonne-Tong_insertion_theorem|보존날짜=2016-08-07|url-status=dead}}
* {{웹 인용|url=https://dantopology.wordpress.com/2009/11/10/a-theorem-about-hereditarily-normality/|제목=A theorem about hereditary normality|날짜=2009-11-10|이름=Dan|성=Ma|웹사이트=Dan Ma’s Topology Blog|언어=en|확인날짜=2016-06-21|보존url=https://web.archive.org/web/20160916074910/https://dantopology.wordpress.com/2009/11/10/a-theorem-about-hereditarily-normality/|보존날짜=2016-09-16|url-status=dead}}
* {{웹 인용|url=https://dantopology.wordpress.com/2009/10/19/normal-x-compact-needs-not-be-normal/|제목=Normal × compact needs not be normal|날짜=2009-10-19|이름=Dan|성=Ma|웹사이트=Dan Ma’s Topology Blog|언어=en|확인날짜=2016-06-21|보존url=https://web.archive.org/web/20161013124313/https://dantopology.wordpress.com/2009/10/19/normal-x-compact-needs-not-be-normal/|보존날짜=2016-10-13|url-status=dead}}
* {{웹 인용|url=https://dantopology.wordpress.com/2015/04/14/when-a-product-space-is-hereditarily-normal/|제목=When a product space is hereditarily normal|날짜=2015-04-14|이름=Dan|성=Ma|웹사이트=Dan Ma’s Topology Blog|언어=en|확인날짜=2016-06-21|보존url=https://web.archive.org/web/20160422103627/https://dantopology.wordpress.com/2015/04/14/when-a-product-space-is-hereditarily-normal/|보존날짜=2016-04-22|url-status=dead}}
* {{웹 인용|url=https://dantopology.wordpress.com/2015/05/03/the-product-of-uncountably-many-factors-is-never-hereditarily-normal/|제목=The product of uncountably many factors is never hereditarily normal|날짜=2015-05-03|이름=Dan|성=Ma|웹사이트=Dan Ma’s Topology Blog|언어=en|확인날짜=2016-06-21|보존url=https://web.archive.org/web/20160422182246/https://dantopology.wordpress.com/2015/05/03/the-product-of-uncountably-many-factors-is-never-hereditarily-normal/|보존날짜=2016-04-22|url-status=dead}}
* {{웹 인용|url=https://dantopology.wordpress.com/2014/03/18/the-normality-of-the-product-of-the-first-uncountable-ordinal-with-a-compact-factor/|제목=The normality of the product of the first uncountable ordinal with a compact factor|날짜=2014-03-18|이름=Dan|성=Ma|웹사이트=Dan Ma’s Topology Blog|언어=en|확인날짜=2016-06-21|보존url=https://web.archive.org/web/20160422161515/https://dantopology.wordpress.com/2014/03/18/the-normality-of-the-product-of-the-first-uncountable-ordinal-with-a-compact-factor/|보존날짜=2016-04-22|url-status=dead}}

[[분류:위상 공간의 성질]]