[일반] 밑에 럼레이.. ultrafilter로 위상공간만드는건 60년대

[익명(117.111)]

에 m. barr 가 해놓은게 있고

또 머드라 컴팩트하우스도르프 공간X는 UX-->X(U는 ultrafilter monad)로 나타낼수있는건 그 이전부터 알려져있었고

이런거 다 니 레퍼런스에 있는거임?

[익명(117.111)]

근데 자리스키위상이 부족--->그로텐딕 위상 생기고 그걸로 충분한데 굳이 왜 ultrafilter 쪽으로 손댐?

[익명(117.111)]

그로텐딕위상은 어떻게 주느냐에 따라서 모든 종류의 위상을 다나타낼수있는데

[익명(117.111)]

제목만보면 '자리스키위상을 손봐서 (컴.하.인) finer한 자리스키위상을 만들었다'인데 일단 제목과 니가 할려는것과 괴리가 있는거같음. 또 필터로 부가적으로 구성한 위상을 표준언어(그로텐딕 위상)로 정리하는게 남들보기도 괜찮을거같고

[익명(117.111)]

h-위상은 어떤식으로 구성한 그로텐딕위상인지 깔끔하게 정리돼있으니까 아무도 그런식으로 안묻는거

[익명(117.111)]

근데 나도 prime ideal이 ultrafilter와 연관이 있다고 생각하는데(ultrafilter가 하는역할을 더 약하게 수행) 넌 어디서 처음 그 생각을 하게됨?

[익명(223.38)]

117.111님은 prime ideal과 ultra filter가 연관있다는 생각 어떻게 하게 되었죠? 저도 그 생각하고 있었는데. 저는 위키백과 뒤적거리다가 일반점을 ultra filter랑 연관짓고 싶었어요. 관련논문은 못 찾았고, 제 연구분야도 아니라서 멈췄지만요