하이퍼인테거
Hyperinteger비표준 분석에서 하이퍼인테거 n은 자체 정수 부분과 동일한 초실수 숫자다. 초정수는 유한하거나 무한할 수 있다. 유한 하이퍼인테거는 보통 정수다. 무한 하이퍼인테저의 예는 초고속 구조에서 시퀀스 클래스(1, 2, 3, ...)에 의해 주어진다.
토론
표준 정수 부분 함수:
모든 실제 x에 대해 정의되며 x를 초과하지 않는 최대 정수와 같다. 비표준 분석의 전송 원리에 의해 자연적인 확장이 존재한다.
모든 하이퍼리얼 x에 대해 정의되었으며, = ∗ x 따라서 하이퍼인테저는 하이퍼리얼의 정수 부분 함수의 이미지다.
내부 세트
모든 하이퍼인테거의 집합 {은(는 하이퍼리얼 라인 {\^{*}\mathb {의 내부 서브셋이며 모든 유한인 하이퍼인테거 집합(즉, 그 자체)은 내부 서브셋이 아니다. 작성자, 비표준, 무제한 또는 무한 하이퍼인테거에 따라 보완 의 요소가 호출된다. 무한초점자의 역수는 항상 극소수다.
음이 아닌 하이퍼인테거는 때때로 초자연수라고 불린다. 한 이N {\{N}및{N {\{N}집합에도 적용된다 후자는 스콜렘의 의미로 비표준 산술 모델을 제공한다는 점에 유의하십시오.
참조
- 하워드 제롬 키슬러: 기초 미적분: 무한대의 접근법. 1976년 초판, 1986년 2판. 이 책은 이제 절판되었다. 출판사는 저작권을 http://www.math.wisc.edu/~keisler/calc.properties에서 다운로드 가능한 .pdf 형식의 2판을 이용할 수 있게 한 저자에게 돌려주었다.