For faster navigation, this Iframe is preloading the Wikiwand page for 스콧 위상.

스콧 위상

일반위상수학순서론에서 스콧 위상(영어: Scott topology)은 임의의 원순서 집합 위에 정의할 수 있는 위상의 하나이다.

정의

[편집]

원순서 집합 부분 집합 에 대하여, 다음 두 조건이 서로 동치이며, 이를 만족시키는 부분 집합을 스콧 열린집합(영어: Scott-open set)이라고 한다.

  • 다음 두 조건을 만족시킨다.
    • 상집합이다.
    • 임의의 상향 집합 에 대하여, 만약 라면, 이다. (상집합이므로, 인지 여부는 상한의 선택과 무관하다.)
  • 스콧 닫힌집합의 여집합이다.

마찬가지로, 원순서 집합 부분 집합 에 대하여, 다음 두 조건이 서로 동치이며, 이를 만족시키는 부분 집합을 스콧 닫힌집합(영어: Scott-closed set)이라고 한다.

  • 다음 두 조건을 만족시킨다.
    • 하집합이다.
    • 임의의 상향 집합 에 대하여, 만약 이며, 가 존재한다면, 이다. (하집합이므로, 인지 여부는 상한의 선택과 무관하다.)
  • 스콧 열린집합의 여집합이다.

원순서 집합 의 스콧 열린집합들의 집합은 위의 위상을 이룬다. 이를 스콧 위상이라고 한다.

성질

[편집]

스콧 위상에 대한 연속 함수

[편집]

원순서 집합 , 사이의 함수 에 대하여, 다음 두 조건이 서로 동치이며, 이를 만족시키는 스콧 연속 함수(영어: Scott-continuous function)라고 한다.

  • 정의역공역 위에 스콧 위상을 부여하였을 때, 연속 함수이다.
  • (상향 집합상한의 보존) 임의의 상향 집합 에 대하여, 만약 가 존재한다면,

스콧 연속 함수는 항상 증가함수이다.

함자성

[편집]

스콧 위상은 원순서 집합과 스콧 연속 함수의 범주 위상 공간범주 사이의 함자

를 정의한다.

곱과의 호환

[편집]

위 함자는 연속 dcpo범주 콜모고로프 공간범주 사이로 제한시켰을 때, 유한 을 보존한다. 보다 일반적으로, 임의의 dcpo 에 대하여, 다음 두 조건이 서로 동치이다.[1]:197, Theorem II-4.13

  • 임의의 dcpo 에 대하여, 다음 두 위상이 일치한다.
    • 직접곱 의 스콧 위상
    • 의 스콧 위상의 곱위상
  • 의 스콧 열린집합들의 완비 헤이팅 대수연속 완비 헤이팅 대수이다.

같이 보기

[편집]

각주

[편집]
  1. Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S. (2003). 《Continuous lattices and domains》. Encyclopedia of Mathematics and Its Applications (영어) 93. Cambridge: Cambridge University Press. doi:10.1017/CBO9780511542725. ISBN 978-0-521-80338-0. MR 1975381. Zbl 1088.06001. 

외부 링크

[편집]
{{bottomLinkPreText}} {{bottomLinkText}}
스콧 위상
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?