[過去ﾛｸﾞ]
純粋・応用数学(含むガロア理論)5 (1002ﾚｽ)
純粋・応用数学(含むガロア理論)5 http://rio2016.5ch.net/test/read.cgi/math/1602034234/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
21: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/10/10(土) 08:01:37 ID:9Sqq12HI >>20 つづき https://ja.wikipedia.org/wiki/%E6%BB%91%E3%82%89%E3%81%8B%E3%81%AA%E7%84%A1%E9%99%90%E5%B0%8F%E8%A7%A3%E6%9E%90 滑らかな無限小解析 滑らかな無限小解析（英: Smooth infinitesimal analysis、SIA）は無限小の言葉を用いた微分積分学の現代的な再定式化（のひとつ）である。ウィリアム・ローヴェアのアイデアに基づき、また圏論の手法を用いることで、SIAは全ての関数は連続であって、離散的実体を用いて表現することができないものと見做す。SIAは理論としては総合微分幾何（英語版）の一部である。 複零（nilsquare）あるいは冪零（nilpotent）無限小とは、ε2 = 0 なる数 ε のことである（ε = 0 は真である必要がない）。 概要 このアプローチは排中律を拒否することによって従来の数学に用いられている古典論理から離れる。例えば NOT (a ≠ b) は a = b を含意しない。とくに、滑らかな無限小解析の理論においては、全ての無限小 ε に対し、NOT (ε ≠ 0) を証明することができるが、それにもかかわらず、全ての無限小がゼロに等しいということは偽であると証明される。[1]次の基本定理によって、排中律は成り立ちえないことが分かる（再び滑らかな無限小解析の文脈の中で理解するものとする）： 定理 実数全体 ? を定義域とする任意の関数は連続かつ無限回微分可能である。 この事実にもかかわらず、不連続関数 f(x) を f(x) = 1 (x = 0 のとき) かつ f(x) = 0 (x ≠ 0 のとき) とすることによって定義しようと試みることができる。もし排中律が成立するならば、この関数は全域で定義された不連続関数となる。しかしながら、x = 0 も x ≠ 0 も成立しないような、非常にたくさんの x （つまり無限小）が存在する。それゆえ、この関数は全ての実数に対しては定義されない。（訳注：より正確には「全ての実数に対して定義される」の否定が証明できる。だからといって「ある x が存在して f(x) が定義されない」ことは証明できない。もしそれが証明できたとしよう。すると、その x について、NOT (x = 0 OR x ≠0) が証明できる。ところが、グリベンコの定理により、直観主義論理では排中律の二重否定 NOT NOT (x = 0 OR x ≠ 0) は証明できる。こうして矛盾に至る。 つづく http://rio2016.5ch.net/test/read.cgi/math/1602034234/21
22: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/10/10(土) 08:02:41 ID:9Sqq12HI >>21 つづき 標準的な数学が無矛盾である限り、SIAは無矛盾であるので、このようなことは起こりえない。すなわち、f が未定義となるような具体的な x の存在は証明できない。） 滑らかな無限小解析の典型的なモデルにおいては、無限小は可逆（invertible）ではなく（すなわち乗法逆元が取れない）、したがってこの理論は無限大数を含まない。しかし、可逆な無限小を含むようなモデルも存在する。 超準解析や超現実数といった、無限小を含むような他の数学的体系もある。滑らかな無限小解析は次の点で超準解析に似ている (1) 解析学の基礎となることを意図している (2) 無限小量は具体的な大きさを持たない（フォン・ノイマン順序数 ω の逆数 1/ω を典型的な無限小とする超現実数とは対照的に）。しかし、滑らかな無限小解析は、非古典論理を使用する点および移行原理（英語版）を欠いている点で、超準解析とは異なっている。中間値の定理やバナッハ＝タルスキのパラドックスを含む、標準解析と超準解析の幾つかの定理は、滑らかな無限小解析に於いては偽である。超準解析の文は極限に関する文へと翻訳可能であるが、同じことは滑らかな無限小解析に於いては必ずしも成り立たない。 直観的には、滑らかな無限小解析は、点ではなく、無限に小さな切片から構成された直線の世界を記述するものと解釈することができる。それらの切片は方向を持つに十分な長さであるが、曲がるには不十分な長さであると思うことができる。不連続関数の構成は失敗する。というのは、関数は曲線と同一視されるが、曲線を点毎に構成することはできないからである。中間値の定理の不成立は、無限小切片の持つ、線を跨ぐ能力に起因するものと想像することができる。（訳注：関数が無限小切片の中で中間値を通過した（跨いだ）とすると、その切片の中のどの点が中間値を与えるのかを特定できない。 つづく http://rio2016.5ch.net/test/read.cgi/math/1602034234/22
27: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/10/10(土) 15:07:01 ID:9Sqq12HI >>26 総合微分幾何か、初耳だが ”総合微分幾何（英語版）”（>>21）のリンクを辿ると下記だな Synthetic differential geometryを”総合微分幾何（英語版）”と訳したみたいだが 誤訳っぽいかもね（＾＾； ”Synthetic”には、「《化学》合成の；（宝石が）模造の」、「3本物でない，作りごとの」、「[名]C合成品；模造品」 という意味があるのでこちらだろうね ”a formalization of the theory of differential geometry in the language of topos theory.”で topos theory から、合成した ” topos theory.”という意味だと思う 興味あるなら、英文サイトにＰＤＦへのリンクがあるので、見て下さい 参考 https://dictionary.goo.ne.jp/word/en/synthetic/ goo synthetic とは 小学館 プログレッシブ英和中辞典 [形] 1統合的な，総合の，組み合わせの（⇔analytic） 2《化学》合成の；（宝石が）模造の；《言語学》総合的な（⇒synthesis 2）；《哲学》総合（哲学）の synthetic resin 合成樹脂 synthetic detergent 合成洗剤 3本物でない，作りごとの a synthetic smile 取ってつけたような笑い ━━[名]C合成品；模造品 https://en.wikipedia.org/wiki/Synthetic_differential_geometry Synthetic differential geometry In mathematics, synthetic differential geometry is a formalization of the theory of differential geometry in the language of topos theory. There are several insights that allow for such a reformulation. The first is that most of the analytic data for describing the class of smooth manifolds can be encoded into certain fibre bundles on manifolds: namely bundles of jets (see also jet bundle). The second insight is that the operation of assigning a bundle of jets to a smooth manifold is functorial in nature. The third insight is that over a certain category, these are representable functors. Furthermore, their representatives are related to the algebras of dual numbers, so that smooth infinitesimal analysis may be used. つづく http://rio2016.5ch.net/test/read.cgi/math/1602034234/27
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s