現代数学の系譜工学物理雑談古典ガロア理論も読む79

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

93: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/11/22(金) 21:12:39.87 ID:qSerb9O3

>>92
つづき

https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86#%E4%B8%80%E8%88%AC%E5%8C%96
微分
(抜粋)

5 一般化

詳細は「微分の一般化（英語版）」を参照
微分の概念を多くの他の状況設定の下でも拡張して定義することができる。共通することは、一つの点における函数の導函数がその点における函数の線型近似として働くことである。
・実函数の微分の重要な一般化は、ガウス平面上の領域からガウス平面 C への函数のような複素変数の複素函数の微分である。複素函数の微分の概念は、実函数の微分の定義において実変数であるところを複素変数に置き換えることで得られる。
二つの実数 x, y を用いて複素数 z = x + i y と書くことによりガウス平面 C を座標平面 R2 と同一視するとき、
C から C への複素可微分函数は R2 から R2 へのある種の（その偏導函数が全て存在するという意味での）実可微分函数とみなすことができるが、
逆は一般には成り立たない（複素微分が存在するのは実導函数が「複素線型」であるときに限り、
これは二つの偏導函数がコーシー?リーマン方程式と呼ばれる関係式を満足することを課すものである）。正則函数の項を参照。
・別の一般化として可微分多様体（滑らかな多様体）の間の写像の微分を考えることができる。
直観的に言えば、可微分多様体 M とはその各点 x の近くで接空間と呼ばれるベクトル空間によって近似することのできる空間である（原型的な例は R3 内の滑らかな曲面（英語版）である）。
そのような多様体間の可微分写像 f: M → N の点 x ∈ M における微分係数あるいは微分は、x における M の接空間から f(x) における N の接空間への線型写像であり、導函数は M の接束から N の接束への写像となる。
この定義は微分幾何学において基本的であり、多くの応用がある。微分写像（押し出し）および引き戻し (微分幾何学)（英語版）の項を参照。
・バナッハ空間やフレシェ空間のような無限次元線型空間の間の写像に対する微分法も定義できる。方向微分の一般化であるガトー微分や函数の微分の一般化であるフレシェ微分などがある。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1573769803/93

405: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/12/14(土) 10:28:37.87 ID:s6Tab8iq

>>404
つづき

Introduction
Many writers have mused about algebraic geometry over deeper bases than the
ring Z of integers. Although there are several, possibly unrelated reasons for this,
here I will mention just two. The first is that the combinatorial nature of enumeration formulas in linear algebra over finite fields Fq as q tends to 1 suggests that,
just as one can work over all finite fields simultaneously by using algebraic geometry over Z, perhaps one could bring in the combinatorics of finite sets by working
over an even deeper base, one which somehow allows q = 1. It is common, following Tits [60], to call this mythical base F1, the field with one element. (See also
Steinberg [58], p. 279.) The second purpose is to prove the Riemann hypothesis.
With the analogy between integers and polynomials in mind, we might hope that
Spec Z would be a kind of curve over Spec F1, that Spec Z ?F1 Z would not only
make sense but be a surface bearing some kind of intersection theory, and that we
could then mimic over Z Weil’s proof [64] of the Riemann hypothesis over function
fields.1 Of course, since Z is the initial object in the category of rings, any theory
of algebraic geometry over a deeper base would have to leave the usual world of
rings and schemes.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1573769803/405

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

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

ぬこの手ぬこTOP 0.035s