제1 카운트 가능 공간
First-countable space수학의 한 분야인 위상에서, 첫 번째 카운트 가능한 공간은 "카운트 가능성의 첫 번째 공리"를 만족하는 위상학적 공간이다.구체적으로 스페이스 {\X}은 각 점에 카운트 가능한 인접성 기반(로컬 베이스)이 있는 경우 먼저 카운트할 수 있다고 한다.That is, for each point in there exists a sequence of neighbourhoods of such that for any neighbourhood of there exists an integer 에 포함된 N {i}}를 포함하는 i 어떤 지점의 모든 이웃이 그 지점의 열린 이웃을 포함하므로 개방된 이웃으로 구성하기 위해 일반성을 잃지 않고 이웃의 기초를 선택할 수 있다.
예제 및 counterexample
수학에서 '일상'의 공간은 대부분 1순위로 셀 수 있다.특히 모든 메트릭스 공간은 우선 카운트할 수 있다.이를 확인하려면 정수의 1 / 1/이 (가) x {\ x에 있는 열린 볼 이x .{\에서 카운트 가능한 로컬 베이스를 형성한다는 점에 유의하십시오.
먼저 계산할 수 없는 공간의 예로는 마운트할 수 없는 집합(예: 실제 선)의 코피나이트 위상이다.
또 다른 counterexample은 서수 공간 + = [ 0 , {1}\1이며 서 1 _}은 최초의 서수이다.The element is a limit point of the subset even though no sequence of elements in has the element as its limit.특히 공간 +1=[ 1 right의 포인트 displaystyle \}\1}\에는 카운트 가능한 로컬 기반이 없다.그러나 만이 그러한 지점이기 때문에, 하위 공간 1= [ 1 ){\}\1은 먼저 계산할 수 있다.
실제 선의 자연수가 단일 점으로 식별되는 지수 공간 / N은(는) 먼저 계산할 수 없다.[1]그러나 이 공간에는 의 닫힘에 있는 모든 부분 A{\A} 및 모든 x{\ x에 대한 순서가 x. x에 수렴되는 순서가 있는 공간을 Frechet-Uryson 공간이라고 부르기도 한다.
1번 계산은 2번 계산보다 엄격히 약하다.2차 계산 가능한 모든 공간은 1차 계산이 가능하지만, 1차 계산은 불가능하지만 2차 계산은 불가능하다.
특성.
One of the most important properties of first-countable spaces is that given a subset a point lies in the closure of if and only if there exists a sequence in . x로 수렴되는 스타일 즉, 모든 1차 카운트 가능 공간은 프레셰-우르손 공간이며 따라서 순차 공간이기도 하다.)이것은 한계와 연속성에 영향을 미친다.In particular, if is a function on a first-countable space, then has a limit at the point if and only if for every sequence where for all we have Also, if is a function on a first-countable space, then is continuous if and only if whenever then
첫 번째 카운트 가능한 공간에서는 순차적 컴팩트성과 카운트 가능한 컴팩트성이 동등한 속성이다.그러나, 순차적으로 계산 가능한 소형, 1차 계산 가능한 공간의 예(이러한 공간은 반드시 비금속 공간이어야 함)가 존재한다.그러한 공간 중 하나는 서수 공간 )이다 1차 카운트 가능한 모든 공간은 압축적으로 생성된다.
1인칭 공간의 모든 하위 공간은 1인칭이다.셀 수 없는 제품은 필요하지 않지만, 첫 번째 셀 수 있는 공간의 모든 셀 수 있는 제품은 먼저 셀 수 있다.
참고 항목
- 프레셰-우린 공간
- 두 번째 카운트 가능한 공간 – 토폴로지를 카운트 가능한 기반으로 하는 위상학적 공간
- 분리 가능한 공간 – 밀도가 높은 카운트 가능한 부분 집합이 있는 위상학적 공간
- 순차적 공간 – 특정 속성이 있는 위상적 공간
참조
- ^ (Engelking 1989, 예 1.6.18)
참고 문헌 목록
- "first axiom of countability", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Engelking, Ryszard (1989). General Topology. Sigma Series in Pure Mathematics, Vol. 6 (Revised and completed ed.). Heldermann Verlag, Berlin. ISBN 3885380064.