WEKO3
インデックスリンク
アイテム
超準的手法による位相空間の性質
https://bunkyo.repo.nii.ac.jp/records/3200
https://bunkyo.repo.nii.ac.jp/records/3200b3215156-b5d2-4a86-8b11-1084ca241e45
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
BKSJ200003.pdf (374.5 kB)
|
|
| アイテムタイプ | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2011-02-22 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 超準的手法による位相空間の性質 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | The Nonstandard Theory of Topological Space | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||
| タイトル カナ | ||||||||||||||
| その他のタイトル | チョウジュンテキ シュホウ ニ ヨル イソウ クウカン ノ セイシツ | |||||||||||||
| 著者 |
佐久間, 拓也
× 佐久間, 拓也
|
|||||||||||||
| 著者 | ||||||||||||||
| 値 | Sakuma, Takuya | |||||||||||||
| 所属機関 | ||||||||||||||
| 値 | 文教大学情報学部 | |||||||||||||
| 内容記述 | ||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||
| 内容記述 | Nonstandard analysis is introduced by Robinson that apply model theory to it. But nonstandard analysis that use General nonstandard model approach a little domain. So it use enlargement or saturated model. Let *U be k+-enlargement or k+-saturated model and *M be set of unary formula, cardinal not greater than k . If *M is finitely satisfiable then *M is satisfiable. So it exist element that is satisfiable all formula in *M. Specially, saturation model is composed extentensin from external map to internal map. The main purpose is to give an nonstandard definition of a topology and to show the theory of topological space. It is defined the monad and standard part of a point in U. And it prove that existense of infinitesimal set and several theory of about open or close set. It give that the shadow of a subset of the standard topological space is closed. \n 1960年ごろ、A.ロビンソンは、モデル理論の考えを使うことによってライプニッツ流の無限小解析をそのままの形で合理化することができるのではないか、という着想を得た。これが超準解析のはじまりである。その後、超準解析は急速に発展し、数学の各分野できわめて魅力的な手段となった。 特にことわらない限り、Lは形式言語、UはそのL系で、その宇宙UとLの定項との間には双射が存在するとする。Lの文でUで真なるものの全体をXとし、Xの任意の文φがL系*Uで真であるとき*UをXのモデルという。以後X以外のもののモデルは考えないので、単にモデルという。Uはモデルである。 以後区別のため*UでLの論理式を解釈することを*解釈、真であることを*真とする。 |
|||||||||||||
| 書誌情報 |
情報研究 en : Information and Communication Studies 巻 20, p. 15-21, 発行日 1998-01-01 |
|||||||||||||
| 出版者 | ||||||||||||||
| 出版者 | 文教大学 | |||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||||
| 収録物識別子 | 03893367 | |||||||||||||
| 著者版フラグ | ||||||||||||||
| 出版タイプ | VoR | |||||||||||||
| 本文言語 | ||||||||||||||
| 値 | 日本語 | |||||||||||||
| ID | ||||||||||||||
| 値 | BKSJ200003 | |||||||||||||
