위키백과

파라콤팩트 공간: 두 판 사이의 차이

입체적으로 역사 찾아보기
← 이전 편집다음 편집 →
내용 삭제됨 내용 추가됨
시각위키텍스트
편집 요약 없음
편집 요약 없음
1번째 줄:
[[일반위상수학]]에서, '''파라콤팩트 공간'''(paracompact空間, {{llang|en|paracompact space}})은 [[위상공간 (수학)|위상공간위상 공간]]으로서, [[콤팩트 공간]]을 새로운 방식으로 정의하여 만든 공간이다. [[미분위상수학]] 및 [[미분기하학]] 등의 분야에 아주 유용하게 사용된다. 이들 분야에서 다루는 많은 공간들이 파라콤팩트 공간이며, 이 공간은 [[단위분할단위 분할]] 성질을 가져서 국소적인 성질을 통해 전체적인 성질을 정의할 수 있기 때문에 [[리만 계량]], [[미분 형식]]의 [[적분]] 등 여러 주제에서 유용하기 때문이다.<ref name="조용승">{{책 인용|저자=조용승|제목=위상수학|출판사=경문사|날짜=2010|언어고리=ko}}</ref>{{rp|68}}
 
== 정의 ==
파라콤팩트 공간은 다음과 같이 정의된다.<ref name="조용승"/>{{rp|68}}
 
* 위상공간위상 공간 X가 파라콤팩트 공간일 필요충분조건은 X의 모든 [[열린 덮개]]가 국소적 유한(locally finite) [[세분]](refinement) 열린 덮개를 갖는 것이다.
 
X의 [[열린 덮개]] <math>\{U_{\alpha}\}</math>가 '''국소적 유한'''이라는 것은, x∈X마다 그 근방 <math>W_x</math> 가 존재하여 유한 개의 <math>\alpha</math> 에 대해서만 <math>W_x \cap U_{\alpha} \ne \phi</math> 을 만족한다는 의미이다.<ref name="조용승"/>{{rp|68}}
10번째 줄:
== 성질 ==
파라콤팩트 공간은 다음과 같은 여러 유용한 성질들을 갖는다.
* [[콤팩트 공간은공간]]은 파라콤팩트 공간이다.▼
 
▲* 콤팩트 공간은 파라콤팩트 공간이다.
* 파라콤팩트 공간은 [[메조콤팩트 공간]]이자 [[준파라콤팩트 공간]]이다.
* 파라콤팩트인 [[희박 콤팩트 공간]]은 콤팩트 공간이다.
줄 19 ⟶ 18:
* ('''모리타의 정리''') [[T4 공간|T<sub>4</sub>]] [[린델뢰프 공간]]은 파라콤팩트 공간이다.<ref name="Munkres"/>{{rp|257}}
** 디외도네의 정리와 모리타의 정리의 따름정리 : 하우스도르프 린델뢰프 공간에 대하여, [[정칙공간]] 조건과 파라콤팩트 조건은 동치이다.
* ('''[[스미르노프 거리공간화거리화 정리]]''') 위상공간에 대하여 '파라콤팩트 <math>T_2</math>[[하우스도르프 이고공간|하우스도르프]] 국소적국소 거리화 가능'이라는 성질은공간의 '거리공간화조건은 [[거라화 가능'이라는 성질과공간]] 조건과 동치이다.<ref name="Munkres"/>{{rp|261}}
* 파라콤팩트 공간과 콤팩트 공간의 [[곱공간]]은 파라콤팩트 공간이다.<ref name="Munkres"/>{{rp|260}}
* 위상공간 X가 [[T4 공간|T<sub>4</sub> 공간]]일 때, X에서 [[유한 집합|유한 개]] 닫힌 파라콤팩트 부분집합들의 [[합집합]] 역시 파라콤팩트 집합이다.<ref name="Munkres"/>{{rp|260}}
원본 주소 "https://ko.wikipedia.org/wiki/파라콤팩트_공간"