移行原理とは? わかりやすく解説

移行原理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/01/28 19:25 UTC 版)

Elementary Calculus: An Infinitesimal Approach」の記事における「移行原理」の解説

本書第一版第二版の間で、超準解析理論的下地を含む理論的資料大部分第一章から巻末最終章移された。 第二版においてキースラーは、延長原理 (extension principle) および移行原理 (transfer principle) を以下のような形で導入した: Every real statement that holds for one or more particular real functions holds for the hyperreal natural extensions of these functions.(試訳: ひとつまたはそれ以上特定の実函数に対して成立する実数に関する任意の主張は、それら函数超実数への自然延長に対して成立する。) そしてこの原理適用できる実数に関する主張」のいくつかの例与えた: 加法閉じていること: 任意の x, y に対し、和 x + y定義される加法交換法則: x + y = y + x. 大小関係逆数法則: 0 < x < y ならば 0 < 1/y < 1/x. 零除算の除外: x/0 は定義されない(英語版) 代数的な恒等式: ( x − y ) 2 = x 2 − 2 x y + y 2 {\textstyle (x-y)^{2}=x^{2}-2xy+y^{2}} . 三角恒等式: sin 2 ⁡ x + cos 2 ⁡ x = 1 {\textstyle \sin ^{2}x+\cos ^{2}x=1} . 対数法則: x > 0 かつ y > 0 ならば log 10 ⁡ ( x y ) = log 10 ⁡ x + log 10 ⁡ y {\textstyle \log _{10}(xy)=\log _{10}x+\log _{10}y} .

※この「移行原理」の解説は、「Elementary Calculus: An Infinitesimal Approach」の解説の一部です。
「移行原理」を含む「Elementary Calculus: An Infinitesimal Approach」の記事については、「Elementary Calculus: An Infinitesimal Approach」の概要を参照ください。


移行原理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/17 06:18 UTC 版)

超実数」の記事における「移行原理」の解説

超実数体系アイデアは、実数集合 R を拡張し代数基本公理変更することなく無限小無限大を含む体系 *R を構成するというものである。「任意の数 x に対し~」という形のいかなる主張も、実数にとって真であれば超実数にとっても真である。例えば「任意の数 x に対し x + 0 = x」という公理にもあてはまる。複数変数対す量化例えば「任意の数 x, y に対しても、xy = yx」などでも同じことが成り立つ。この「実数体に対す主張超実数体に対して引き移す」ことができるということを移行原理(英語版)という。ただし「いかなる数の集合 S に対しても~」という形の主張引き継ぐことができない実数超実数とが区別される唯一の性質は、典型的に集合とは関係なく構成できる、関数や関係のような集合その他の高位構造上の量化依るのである実数集合関数、関係は、全く同じ一階の性質をもつその自然な超実数への拡張を持つ。量化制限に従うこの種類論理的文は、一階述語論理における主張について述べられるしかしながら、移行原理は、R と *R とが全く同一振る舞いを持つということ意味しない例えば、*R において、次のような性質をもつ元 ω が存在する(即ち *R は非アルキメデス的である): 1 < ω , 1 + 1 < ω , 1 + 1 + 1 < ω , 1 + 1 + 1 + 1 < ω , … . {\displaystyle 1<\omega ,\quad 1+1<\omega ,\quad 1+1+1<\omega ,\quad 1+1+1+1<\omega ,\ldots .} しかし、R にはそのような元は存在しない。これは、ω が存在しないことは一階論理主張では表現することができないから、起こりうるのである

※この「移行原理」の解説は、「超実数」の解説の一部です。
「移行原理」を含む「超実数」の記事については、「超実数」の概要を参照ください。

ウィキペディア小見出し辞書の「移行原理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「移行原理」の関連用語

移行原理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



移行原理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、WikipediaのElementary Calculus: An Infinitesimal Approach (改訂履歴)、超実数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS