맨위로가기

선형 연속체

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

선형 연속체는 공집합이 아닌 유계 집합이 상한을 가지고 조밀 순서를 만족하는 전순서 집합이다. 선형 연속체는 순서 위상을 가했을 때 연결 공간과 동치 관계에 있으며, 실수선, 실수의 반직선, 구간 등이 대표적인 예시이다. 반면, 초실수선이나 유리수 집합은 선형 연속체가 아니다. 선형 연속체는 위상수학에서 중요한 개념으로, 순서 위상에서 정렬된 집합이 선형 연속체인 경우에만 연결 공간이 된다.

더 읽어볼만한 페이지

  • 순서론 - 스콧 위상
    스콧 위상은 부분 순서 집합 위에 정의되는 위상으로, 하향 집합과 directed set의 상한에 대해 닫혀있는 집합을 닫힌 집합으로 정의하며, 컴퓨터 과학, 특히 프로그램 의미론에서 연속 함수의 개념을 일반화하고 프로그램의 계산 과정을 모델링하는 데 사용된다.
  • 순서론 - 사전식 순서
    사전식 순서는 정렬된 집합의 순서를 일반화하여 곱집합의 순서를 정의하는 데 사용되며, 단어 순서 정렬 방식과 유사하게 다양한 분야에 응용되는 수학적 개념이다.
  • 일반위상수학 - 극한
    극한은 수학에서 함수의 값이나 수열의 항이 특정 값에 가까워지는 현상을 기술하는 개념으로, ε-δ 논법으로 엄밀하게 정의되며 수렴, 연속성, 미적분학 등 다양한 분야에서 활용되고, 고대 그리스에서 시작하여 19세기에 현대적 정의가 완성되었다.
  • 일반위상수학 - 스콧 위상
    스콧 위상은 부분 순서 집합 위에 정의되는 위상으로, 하향 집합과 directed set의 상한에 대해 닫혀있는 집합을 닫힌 집합으로 정의하며, 컴퓨터 과학, 특히 프로그램 의미론에서 연속 함수의 개념을 일반화하고 프로그램의 계산 과정을 모델링하는 데 사용된다.
선형 연속체

2. 정의

전순서 집합 (L,\le)는 다음 성질을 만족시키는 선형 연속체이다.[5]

3. 성질

전순서 집합에 대하여, 다음 두 조건은 서로 동치이다.



임의의 a,b\in L에 대하여, 만약 a라면, 다음 부분 집합들 역시 선형 연속체이다.

  • (a,\infty)=\{x\in L\colon a
  • (\infty,a)=\{x\in L\colon x
  • [a,\infty)=\{x\in L\colon a\le x\}
  • (\infty,a]=\{x\in L\colon x\le a\}
  • (a,b)=\{x\in L\colon a
  • [a,b)=\{x\in L\colon a\le x
  • (a,b]=\{x\in L\colon a
  • [a,b]=\{x\in L\colon a\le x\le b\}

4. 예시

'''선형 연속체의 예'''



'''선형 연속체가 아닌 예'''

  • 초실수선
  • 유리수의 전순서 집합
  • 유리수의 집합: b)는 만족하지만, a)는 만족하지 않는다.

:::

\quad A = \{ x\in\mathbb{Q} \mid x<\sqrt{2} \}



: 3은 ''A'' 의 어떤 원소보다도 크므로, ''A'' 는 위로 유계이다. 하지만, 유리수의 상한을 갖지 않는다.[2]

  • 음이 아닌 정수의 순서 집합: a)는 만족하지만, b)는 만족하지 않는다. 5와 6사이에 음이 아닌 정수는 존재하지 않으므로 조밀하지 않다.
  • 0이 아닌 실수 집합 A = (-\infty ,0 )\cup (0,\infty): b)는 만족하지만, B = (-\infty ,0 )는 A의 부분집합이며 위로 유계이지만, B에는 상한이 존재하지 않는다.
  • Z_-를 음의 정수의 집합, A = (0,5)\cup (5,\infty)로 하고, S = Z_- \cup A라고 하면, ''S'' 는 a)와 b)를 모두 만족하지 않는다.

5. 위상적 성질

선형 연속체는 전순서 집합 연구뿐만 아니라 위상수학에서도 중요한 개념이다. 순서 위상에서 정렬된 집합은 선형 연속체인 경우에만 연결 공간이 된다.[3]

5. 1. 정리

''X''를 순서 위상에서의 정렬된 집합이라고 하자. 만약 ''X''가 연결되어 있다면, ''X''는 선형 연속체이다.[3]

'''증명:'''

''x''와 ''y''가 ''X''의 원소이고 ''x'' < ''y''라고 가정하자. 만약 ''x'' < ''z'' < ''y''를 만족하는 ''X''의 ''z''가 존재하지 않는다면, 다음 집합들을 고려한다.

:''A'' = (−∞, ''y'')

:''B'' = (''x'', +∞)

이 집합들은 상호소이고, 공집합이 아님( ''x''는 ''A''에 있고 ''y''는 ''B''에 있다)이며, 열린 집합이고, 그들의 합집합은 ''X''이다. 이는 ''X''의 연결성에 모순된다.

이제 최소 상계 성질을 증명한다. 만약 ''C''가 위로 유계이고 최소 상계를 갖지 않는 ''X''의 부분 집합이라면, ''D''를 ''C''의 상계인 ''b'' 형식의 모든 열린 반직선 (''b'', +∞)의 합집합으로 놓는다. 그러면 ''D''는 (열린 집합들의 합집합이므로) 열려 있으며, 닫힌 집합이다. ''D''는 공집합이 아니므로, ''D''와 그 여집합은 함께 ''X''에 대한 분리 집합을 형성한다. 이는 ''X''의 연결성에 모순된다.

5. 2. 정리의 증명

''X''를 순서 위상에서의 정렬된 집합이라고 하자. 만약 ''X''가 연결 공간이라면, ''X''는 선형 연속체이다.

''증명:''

''x''와 ''y''가 ''X''의 원소이고 ''x'' < ''y''라고 가정하자. 만약 ''x'' < ''z'' < ''y''를 만족하는 ''X''의 ''z''가 존재하지 않는다면, 다음 집합들을 고려한다.

:''A'' = (−∞, ''y'')

:''B'' = (''x'', +∞)

이 집합들은 상호소이고, 공집합이 아님( ''x''는 ''A''에 있고 ''y''는 ''B''에 있다)이며, (순서 위상에서) 열린 집합이고, 그들의 합집합은 ''X''이다. 이는 ''X''의 연결성에 모순된다.

이제 최소 상계 성질을 증명한다. 만약 ''C''가 위로 유계이고 최소 상계를 갖지 않는 ''X''의 부분 집합이라면, ''D''를 ''C''의 상계인 ''b'' 형식의 모든 열린 반직선 (''b'', +∞)의 합집합으로 놓는다. 그러면 ''D''는 (열린 집합들의 합집합이므로) 열려 있으며, 닫힌 집합이다. ''D''는 공집합이 아니므로, ''D''와 그 여집합은 함께 ''X''에 대한 분리 집합을 형성한다. 이는 ''X''의 연결성에 모순된다.[3]

5. 3. 정리의 적용

순서 집합 ''A'' = (−∞, 0) ∪ (0,+∞)는 선형 연속체가 아니므로 연결되어 있지 않다.[1] 이 정리를 적용하면, '''R'''이 연결되어 있다는 사실을 알 수 있다.[1] 실제로 '''R'''의 모든 구간(또는 반직선)도 연결되어 있다.[1] 정수 집합은 선형 연속체가 아니므로 연결될 수 없다.[1]

순서 위상에서 순서 집합이 선형 연속체이면 연결되어야 한다.[1] 이 집합의 모든 구간도 선형 연속체이므로, 연결된 집합으로만 구성된 기저를 가지므로 이 공간은 국소 연결이다.[1] 긴 직선은 선형 연속체인 위상 공간의 예시이다.[1]

참조

[1] 서적 Topology, 2nd ed. Pearson Education
[2] 서적 A Course of Pure Mathematics, 10th ed. Cambridge University Press
[3] 서적 Topology, 2nd ed. Pearson Education
[4] 서적 Topology, 2nd ed. Prentice Hall
[5] 서적 Topology http://www.pearsonhi[...] Prentice Hall


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com