맨위로가기

비이산 공간

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

1. 개요

비이산 공간은 위상 공간의 한 종류로, 열린 집합이 공집합과 전체 공간뿐인 공간을 의미한다. 비이산 공간은 공집합이거나, 콜모고로프 몫공간이 한원소 공간이며, 모든 함수가 연속 함수인 특징을 가진다. 두 비이산 공간이 동형이 되기 위한 필요충분 조건은 그들의 농도가 같은 것이다. 비이산 공간은 R0 공간이며 경로 연결 공간, 콤팩트 공간, 정규 공간, 린델뢰프 공간, 분해 가능 공간, 제1 가산 공간, 베르 공간이다. 그러나 두 개 이상의 점을 가진 비이산 공간은 콜모고로프 공간, T1 공간, 하우스도르프 공간, 거리화 가능 공간, 호 연결 공간은 아니다. 이산 위상은 비이산 위상의 반대 개념이며, 비이산 공간은 범주론적으로 망각 함자의 오른쪽 수반 함자에 해당한다.

더 읽어볼만한 페이지

  • 위상 공간 - 위상 공간 (수학)
    위상 공간은 집합과 그 위에 정의된 위상 구조로 이루어진 수학적 공간으로, 열린집합, 닫힌집합, 근방 등의 개념을 통해 점들의 상대적인 위치 관계를 형식화하며, 해석학, 기하학, 대수학 등 다양한 분야에서 사용된다.
  • 위상 공간 - 이산 공간
    이산 공간은 위상 공간, 균등 공간, 거리 공간 등 다양한 관점에서 정의될 수 있는 수학적 개념으로, 모든 점이 고립된 특징을 가지며 다른 위상 공간의 부분 공간으로 나타낼 수 있다.
비이산 공간

2. 정의

위상 공간 X에 대하여 다음 조건들은 서로 동치이며, 이를 만족시키는 위상 공간을 '''비이산 공간'''이라고 한다.

3. 성질

두 개 이상의 점을 갖는 비이산 공간은 다음과 같은 성질을 갖는다.



밀착 공간 ''X''의 닫힌 집합은 공집합(∅)과 ''X''뿐이며, 열린 근기는 {''X''}뿐이다.

밀착 공간 ''X''가 두 점 이상을 갖는다면, 분리 공리에서 ''T''0가 아니므로, 더 높은 분리 공리를 만족시키지 않는다. 특히 하우스도르프 공간이 아니며, 순서 위상이나 거리화 가능 위상을 갖지 않는다.

위상 공간을 시역으로 하고, 밀착 공간 ''X''를 종역으로 하는 임의의 사상은 연속이다.

밀착 공간 ''X''는 호상 연결(길 연결)이며, 연결이다.

밀착 공간 ''X''의 부분 공간과 상 공간은 밀착 공간이다. 밀착 공간의 임의 농도의 직적은 (곱 위상, 상자 위상 모두) 밀착 공간이다.

밀착 공간 ''X''의 임의의 점열은 ''X''의 임의의 점에 수렴한다. ''X''의 점열은 수렴 부분열을 가지므로, 점열 콤팩트 공간이다.

밀착 공간 ''X''에서 ''X''를 제외한 부분 집합의 내부는 공집합이다.

밀착 공간 ''X''의 공집합이 아닌 부분 집합의 폐포는 전체 공간 ''X''이다. 즉, ''X''의 공집합이 아닌 부분 집합은 ''X''에서 조밀하며, 이는 밀착 공간을 특징짓는다.

밀착 공간 ''X''의 부분 집합 ''S''가 두 점 이상을 포함하면, ''X''의 모든 점은 ''S''의 극한점이다. ''S''가 일원 집합이면 ''X'' ∖ ''S''의 각 점은 ''S''의 극한점이다.

두 밀착 공간이 동상이 될 필요 충분 조건은 농도가 같은 것이다.

3. 1. 집합론적 성질

모든 비이산 공간 X는 다음 성질들을 만족시킨다.

4. 관련 개념

밀착 위상의 반대 개념은 이산 위상이다. 이산 위상은 모든 부분 집합이 열린 집합이 되는 위상이다. 밀착 공간은 곱 공간 ''X'' × ''X'' 전체를 유일한 근연으로 하는 균등 공간이 될 수 있다.

5. 범주론적 성질

범주론적으로, 위상 공간의 구체적 범주의 망각 함자 F\colon \operatorname{Top}\to\operatorname{Set}는 오른쪽 수반 함자

:I\colon\operatorname{Set}\to\operatorname{Top}

:F\dashv I

를 가지며, 이 함자를 '''비이산 함자'''라고 한다. 집합 S의 I에 대한 상 I(S)는 S 위의 비이산 공간이다. (반대로, 망각 함자의 왼쪽 수반 함자는 이산 공간 함자이다.)

'''Top'''을 위상 공간과 연속 사상의 범주, '''Set'''을 집합과 사상의 범주로 하고, 함자 ''F'': '''Top''' → '''Set'''을 위상 공간에 그 밑집합을 대응시키는 것(망각 함자)으로 한다. ''G'': '''Set''' → '''Top'''을 주어진 집합을 밀착 공간으로 간주하는 함자라고 하면, ''G''는 ''F''의 오른쪽 수반이다. (한편, ''F''의 왼쪽 수반 ''H''는, 주어진 집합을 이산 공간으로 간주하는 함자 ''H'': '''Set''' → '''Top'''으로 주어진다.)


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

문의하기 : help@durumis.com