몫공간: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
문법을 고침 태그: m 모바일 앱 |
Osteologia (토론 | 기여) 잔글편집 요약 없음 |
||
8번째 줄:
정의에 의해 몫위상이 주어진 공간으로 가는 몫사상 p는 [[연속함수|연속]]이고, 이때 몫위상은 p를 연속함수로 만드는 위상 중 가장 강한 위상이 된다.
X를 위상 공간, T(X)를 X의 [[
=== 포화 부분 공간 ===
22번째 줄:
* 위상 공간 X, Y에 대해 p:X → Y가 몫사상이라 하자. A가 p에 대한 X의 포화 부분집합일 때, p의 [[정의역]]을 제한하여 얻어지는 함수 q:A → p(A)에 대하여 다음 성질이 성립한다.<ref name="Munkres"/>{{rp|140}}
** A가 X에서 열린 집합이거나 [[닫힌 집합]]일 때, 또는 p가 [[열린 사상]]이거나 [[닫힌 사상]]일 때 q는 몫사상이다.
* 위상 공간 X, Y에 대해 p:X → Y가 몫사상이라 하자. 이때 위상 공간 Z에 대해 q:X → Z가 Y의 임의의 원소 y에 대해 <math>p^{-1}</math>({y}) 안의 모든 원소에 대해 일정한 값을 갖는 함수라면, <math>f \circ p = q</math>를 만족하는 함수 f:Y → Z가 존재한다.<ref name="Munkres"/>{{rp|142}}
** 또한, 이 f가 연속일 필요충분조건은 q가 연속인 것이며, f가 몫사상일 필요충분조건은 q가 몫사상인 것이다.
| |||