장소 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
13번째 줄:
즉, '''장소'''는 틀 또는 완비 헤이팅 대수와 같으며, 두 장소 <math>X</math>, <math>Y</math> 사이의 '''장소 사상'''({{llang|en|locale morphism}}) <math>f\colon X\to Y</math>은 반대 방향의 틀 사상 <math>f^{\operatorname{op}}\colon Y\to X</math>과 같다.
=== 열린집합과 점 ===
장소 <math>L</math>의 '''[[열린집합]]'''({{llang|en|open}})은 <math>L</math>의 ([[부분 순서 집합]]으로서의) 원소이다. [[한원소 공간]] <math>\{\bullet\}</math>은 위상 공간의 범주의 [[끝 대상]]이며, 위상 공간 <math>X</math>의 점은 [[한원소 공간]]으로부터 오는 [[연속 함수]] <math>f\colon\{\bullet\}\to X</math>로 생각할 수 있다. [[한원소 공간]]에 대응하는 위치 <math>\operatorname{Open}(\{\bullet\})=\{\varnothing,\{\bullet\}\}</math>는 두 개의 원소를 갖는 [[불 대수]]이며, 장소의 범주의 [[끝 대상]]이다. 장소 <math>L</math>의 '''점'''(點, {{llang|en|point}})은 장소 사상 <math>\operatorname{Open}(\{\bullet\})\to L</math>로 정의한다. 점 <math>p\colon
\operatorname{Open}(\{\bullet\})\to L</math> 및 열린집합 <math>U\in L</math>에 대하여, <math>p</math>가 <math>L</math>에 '''속한다'''({{llang|en|belongs to}})는 것은 틀 사상 <math>p^{\operatorname{op}}\colon L\to\operatorname{Open}(\{\bullet\})</math> 아래 <math>p^{\operatorname{op}}\colon U\mapsto \{\bullet\}\in \operatorname{Open}(\{\bullet\}</math>인 것이다.
=== 부분 장소 ===
장소 <math>L</math>의 '''부분 장소'''({{llang|en|sublocale}})는 [[정칙 단사 사상|정칙]] [[부분 대상]]이다. 보다 구체적으로, <math>L</math>의 부분 장소들은 다음과 같은 조건을 만족시키는 [[함수]] <math>\nu\colon L\to L</math>와 [[일대일 대응]]한다.
* <math>\nu(U\wedge V)=\nu(U)\vee\nu(V)</math>
* <math>U\le j(U)</math>
* (멱등성) <math>\nu\circ\nu=\nu</math>
이는 <math>L</math> 위의 만남을 보존하는 [[모나드 (범주론)|모나드]]와 같다. 이러한 함수를 부분 장소의 '''핵'''(核, {{llang|en|nucleus}})이라고 한다.
부분 장소는 점들로 결정되지 않는다. 즉, 같은 점 집합을 갖는 부분 장소가 서로 다를 수 있다.
== 성질 ==
위상 공간의 경우, [[조밀 집합]]의 교집합은 일반적으로 [[조밀 집합]]이 아니다. 그러나 장소의 경우, 조밀 부분 장소의 교차는 항상 조밀 부분 장소이며, 특히 가장 작은 조밀 부분 장소가 존재한다.<ref name="Isbell"/><ref name="PP"/>{{rp|40, §8.3}}
=== 범주론적 성질 ===
장소의 범주는 [[데카르트 닫힌 범주]]를 이루지 않는다. 장소 <math>L</math>에 대하여, [[지수 대상]] <math>(-)^L</math>이 항상 존재할 [[필요충분조건]]은 <math>L</math>이 국소 콤팩트 장소인 것이다.<ref>{{서적 인용|제목=Continuous lattices. Proceedings of the conference on topological and categorical aspects of continuous lattices (Workshop IV) held at the University of Bremen, Germany, November 9–11, 1979|장=Function spaces in the category of locales|이름=J. M. E.|성=Hyland|doi=10.1007/BFb0089910|isbn=978-3-540-10848-1|날짜=1981|언어=en}}</ref>
점을 충분히 가지는 장소들의 [[쌍대곱]]은 <math>\operatorname{Top}</math>의 [[쌍대곱]]과 일치한다.
점을 충분히 가지는 장소들의 (무한할 수 있는) [[곱 (범주론)|곱]]의 점 집합은 각 장소의 점 집합들의 [[곱집합]]과 같다. 그러나 그 위의 위상은 일반적으로 [[곱위상]]과 다르다.
=== 위상 공간과의 관계 ===
[[위상 공간 (수학)|위상 공간]] <math>X</math>에 대하여, 그 [[열린집합]]들의 [[부분 순서 집합]]은 장소 <math>\operatorname{Open}(X)</math>를 이룬다. 또한, 위상 공간의 [[연속 함수]] <math>f\colon X\to Y</math>에 대하여, [[열린집합]]의 [[원상 (수학)|원상]]
줄 24 ⟶ 45:
:<math>\operatorname{Open}\colon\operatorname{Top}\to\operatorname{Loc}</math>
를 정의한다. 이 함자는 [[오른쪽 수반 함자]]
:<math>\operatorname{Point}\colon\operatorname{
:<math>\operatorname{Open}\dashv\operatorname{Point}</math>
를 갖는다. 이 함자 아래, 장소 <math>L</math>에 대응하는 위상 공간 <math>\operatorname{Point}(L)</math>은 [[집합]]으로서 <math>L</math>의 점들의 집합 <math>\hom_{\operatorname{Loc}}(\operatorname{Open}(\{\bullet\}),L)</math>이며, 그 위의 [[열린집합]]은 <math>L</math>의 열린집합에 속하는 점들의 집합이다.
줄 49 ⟶ 70:
:<math>\operatorname{Sh}\colon\operatorname{Loc}\to\operatorname{Topos}</math>
가 존재하며, 이는 [[충실충만한 함자]]이다.
== 종류 ==
[[일반위상수학]]에서 [[위상 공간 (수학)|위상 공간]]에 대하여 정의되는 대부분의 성질들은 [[열린집합]]을 통해 나타낼 수 있으며, 따라서 장소에 대하여 쉽게 일반화될 수 있다. 예를 들어, 장소 <math>L</math>의 '''[[열린 덮개]]'''는 그 만남이 [[최대 원소]]를 이루는 만족시키는 부분 집합 <math>\{U_i\}_{i\in I}\subseteq L</math>이다.
:<math>\bigvee_{i\in I}U_i=\max L=\bigvee_{U\in L}U</math>
'''[[콤팩트 공간|콤팩트]] 장소'''는 모든 열린 덮개가 유한 부분 덮개를 갖는 장소이다.
== 역사 ==
1928년에 [[카를 멩거]]({{llang|de|Karl Menger}}, 1902~1985)는 공간의 개념을 점을 사용하지 않고 정의할 수 있다는 아이디어를 제시하였다.<ref>{{서적 인용|제목=Dimensionstheorie|이름=Karl|성=Menger|날짜=1928|출판사=B. G. Teubner|jfm=54.0617.03|언어=de}}</ref><ref>{{저널 인용|제목=Menger and Nöbeling on pointless topology|이름=Mathieu|성=Bélanger|이름2=Jean-Pierre|성2=Marquis|doi=10.12775/LLP.2013.009|저널=Logic and Logical Philosophy|권=22|호=2|날짜=2013|issn=1425-3305|쪽=145–165|언어=en}}</ref> 1930년대에 마셜 스톤({{llang|en|Marshall H. Stone}})은 [[격자 (순서론)|격자 이론]]을 연구하였으며, 위상 공간의 성질이 그 열린집합들의 [[완비 격자|완비]] [[헤이팅 대수]]와 관련된다는 사실을 발견하였다.
[[샤를 에레스만]]과 그 제자 장 베나부({{llang|fr|Jean Bénabou}})는 위상 공간의 열린집합의 격자와 같은 성질을 갖는 [[격자 (순서론)|격자]] (즉, 완비 헤이팅 대수)를 "국소 격자"({{llang|fr|treillis local}})로 명명하였다. 클리퍼드 휴 다우커({{llang|en|Clifford Hugh Dowker}}, 1912~1982)와 도나 앤셜 패퍼트 스트라우스({{llang|en|Dona Anschel Papert Strauss}})는 이를 대신하여 "틀"({{llang|en|frame}})이라는 용어를 도입하였다.<ref>{{저널 인용|제목=Quotient frames and subspaces|이름=C. H.|성=Dowker|이름2=Dona|성2=Papert|저널=Proceedings of the London Mathematical Society|날짜=1966|doi=10.1112/plms/s3-16.1.275|권=16|호=1|쪽=275–296|언어=en}}</ref><ref name="Johnstone83">{{저널 인용|제목=The point of pointless topology|이름=Peter T.|성=Johnstone|저널=Bulletin of the American Mathematical Society|권=8|호=1|날짜=1983|쪽=41–53|mr=682820|zbl=0499.54002|issn=0273-0979|doi=10.1090/S0273-0979-1983-15080-2|언어=en}}</ref> 이후 존 이스벨({{llang|en|John R. Isbell}}, 1931~2005)이 틀의 범주의 [[반대 범주]]를 지칭하는 '''장소'''({{llang|en|locale}})라는 용어를 도입하였다.<ref name="Isbell">{{저널 인용|제목=Atomless parts of spaces|이름=John R. |성=Isbell|쪽=5–32|저널=Mathematica Scandinavica|권=31|issn=0025-5521|url=http://www.mscand.dk/article/view/11409/9426|언어=en}}</ref><ref name="Johnstone83"/>
== 참고 문헌 ==
줄 59 ⟶ 85:
* {{서적 인용|장=The art of pointless thinking: a student’s guide to the category of locales|제목=Category theory at work|장url=http://www.heldermann.de/R&E/RAE18/ctw06.pdf|이름=Peter T.|성=Johnstone|editor1-first=H.|editor1-last=Herrlich|editor2-first=H.-E.|editor2-last=Porst|출판사=Springer|날짜=1991|쪽=85–107|언어=en}}
* {{서적 인용|장=Elements of the history of locale theory|제목=Handbook of the history of general topology|doi=10.1007/978-94-017-0470-0_2|이름=Peter T.|성=Johnstone|editor1-first=C. E.|editor1-last=Aull|editor2-first=R.|editor2-last=Lowen|출판사=Springer|날짜=2001|쪽=835-851|isbn=978-90-481-5704-4|총서=History of Topology|권=3|issn=1388-4336|언어=en}}
▲* {{서적 인용|제목=Frames and locales: topology without points|성=Picado|이름=Jorge|성2=Pultr|이름2=Aleš|총서=Frontiers in Mathematics|issn=1660-8046|doi=10.1007/978-3-0348-0154-6|출판사=Birkhäuser|isbn=978-3-0348-0153-9|언어=en}}
== 바깥 고리 ==
* {{eom|title=Locale}}
* {{nlab|id=locale|title=Locale}}
** {{nlab|id=Loc}}
* {{nlab|id=frame|title=Frame}}
** {{nlab|id=Frm}}
* {{nlab|id=sublocale|title=Sublocale}}
* {{nlab|id=nucleus|title=Nucleus}}
* {{nlab|id=point of a locale|title=Point of a locale}}
* {{nlab|id=frame of opens|title=Frame of opens}}
* {{nlab|id=topological locale|title=Topological locale}}
* {{nlab|id=locally compact locale|title=Locally compact locale}}
* {{nlab|id=uniform locale|title=Uniform locale}}
* {{nlab|id=measurable locale|title=Measurable locale}}
| |||