IUTを読むための用語集資料集スレ

[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

280: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/07/29(水) 10:39:42.14 ID:ruijdO0n

現代数学の系譜 カントル 超限集合論他 3 より転載
https://rio2016.5ch.net/test/read.cgi/math/1595034113/42-43

https://arxiv.org/pdf/1212.5740.pdf
Filters and Ultrafilters in Real Analysis 2012
Max Garcia Mathematics Department California Polytechnic State University

Abstract
We study free filters and their maximal extensions on the set of natural numbers.
We characterize the limit of a sequence of real numbers in terms of the Fr´echet filter, which involves only one quantifier as opposed to the three non-commuting quantifiers in the usual definition.
We construct the field of real non-standard numbers and study their properties.
We characterize the limit of a sequence of real numbers in terms of non-standard numbers which only requires a single quantifier as well.
We are trying to make the point that the involvement of filters and/or non-standard numbers leads to a reduction in the number of quantifiers and hence, simplification, compared to the more traditional ε, δ-definition of limits in real analysis.

Contents
Introduction . . 1
1 Filters, Free Filters and Ultrafilters 3
1.1 Filters and Ultrafilters . . .. 3
1.2 Existence of Free Ultrafilters . . . . . . 5
1.3 Characterization of the Ultrafilter . . . . . . 6
2 The Fr´echet Filter in Real Analysis 8
2.1 Fr´echet Filter . . . . . . . . . 8
2.2 Reduction in the Number of Quantifiers . . .. . . 10
2.3 Fr´echet filter in Real Analysis . . . . . . . 11
2.4 Remarks Regarding the Fr´echet Filter . . . . . 12
3 Non-standard Analysis 14
3.1 Construction of the Hyperreals *R . . . . . 14
3.2 Finite, Infinitesimal, and Infinitely Large Numbers . . . . . . . 16
3.3 Extending Sets and Functions in *R . . . . . . . . . . . . . . . 20
略
A The Free Ultrafilter as an Additive Measure 25

これは、 フレシェ・フィルターなどを使う”non-standard numbers”、いわゆる超準解析についての論文ですね

http://rio2016.5ch.net/test/read.cgi/math/1592654877/280

281: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/07/29(水) 11:39:00.49 ID:ruijdO0n

コウモリは、ノンスタも勉強しなさいよｗ（＾＾

http://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H29-isono.pdf
超準解析入門
-超実数と無限大の数学-
磯野優介
数学入門公開講座
平成 29 年 7 月 31 日〜8 月 3 日

概要
「無限に大きい数」は存在しません．どんな数を持ってきても，それに 1 を足せば，
より大きな数が出来るからです．同様に「無限に小さい数」も存在しません．このよう
な無限数は，数学的に厳密に定義出来ないにもかかわらず，古くから研究に用いられて
きました（いわゆる「無限小解析」）．その後 19 世紀に入り，厳密さを備えた ε-δ 論法
が登場し，無限小解析は歴史から姿を消します．
超準解析とは，「無限に大きい，小さい数」を，数学として厳密に定式化し，取り扱
う学問です．この枠組みでは，無限数を用いた計算や証明が可能で，現代数学を用いた
無限小解析の再現とも言えます．この講義では，そのような無限数を含む「超実数」を
構成し，それを用いて解析学の基礎的な定理を実際に証明してみようと思います．

目 次

3 超実数 *R の構成 8
3.1 基本的な考え方と問題点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.2 フィルターと超フィルター . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3.3 超積を用いた超実数 *R の構成 . . . . . . . . . . . . . . . . . . . . . . . . . . 12

5 超積とフォンノイマン環 21
5.1 関数解析とフォンノイマン環 . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
5.2 フォンノイマン環の超積とその応用 . . . . . . . . . . . . . . . . . . . . . . . 23

最後に
以上見てきたように，フォンノイマン環論において超積は極めて有効な道具です．コンヌ
の研究以来，超積は普遍的な道具の一つとして扱われており，もはやこれなしでの研究はあ
り得ないと言ってよいほどです．
超準解析から生まれた超積は，非常に一般的で有効な考え方です．そしてフォンノイマン
環論においては，その有効性はさらに顕著になっているように思います．それは上で見たよ
うに，フォンノイマン環の超積が簡単には定義出来ない事に端を発しているのでしょう．

http://rio2016.5ch.net/test/read.cgi/math/1592654877/281

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.031s