純粋・応用数学・数学隣接分野（含むガロア理論）20

[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

470(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 06/08(日)08:04 ID:cYYLjQao(1/7) AAS
>>469
ありがとう
君は、大分数学イップスが治癒してきたようだね（＾＾

そこから下記へ行ける
外部ﾘﾝｸ:direct.mit.edu
Sheaf Theory through ExamplesOpen Access
By Daniel Rosiak
The MIT Press
DOI: 外部ﾘﾝｸ[0001]:doi.org
ISBN electronic: 9780262370424
Publication date: 2022

ここに、Book PDF というリンクアイコンがあって（リンクは貼らないので自分で訪問すること）
そこから、PDF図書が落とせる

Grokさん偉いね
Grokさんと、一つ対局してみるかな？ｗ；ｐ）
＜目次＞
1 Categories 21
1.1 Categorical Preliminaries 21
1.2 A Few More Examples 35
1.3 Returning to the Deﬁnition and Distinctions of Size 36
1.4 Some New Categories from Old 40
1.5 Aside on “No Objects” 43

2 Prelude to Sheaves: Presheaves 45
2.1 Functors 46
2.2 Natural Transformations 61
2.3 Seeing Structures as Presheaves 65
2.4 The Presheaf Action 71
2.5 Philosophical Pass: The Four Action Perspectives 85

3 Universal Constructions 89
3.1 Limits and Colimits 89
3.2 Philosophical Pass: Universality and Mediation 104

4 Topology: A First Pass at Space 109
4.1 Motivation 109
4.2 A Dialogue Introducing the Key Notions of Topology 111
4.3 Topology and Topological Spaces More Formally 123
4.4 Philosophical Pass: Open Questions 144

5 First Look at Sheaves 147
5.1 Sheaves: The Topological Deﬁnition 147
5.2 Examples 151
5.3 Philosophical Pass: Sheaf as Local-Global Passage 168

6 There’s a Yoneda Lemma for That 171
6.1 First, Enrichment! 171
6.2 Downsets and Yoneda in the Miniature 175
6.3 Representability Simpliﬁed 179
6.4 More on Representability, Fixed Points, and a Paradox 183
以下略

471(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 06/08(日)09:48 ID:cYYLjQao(2/7) AAS
>>470 追加
Sheaf Theory through ExamplesOpen Access Daniel Rosiak

Introduction Open Access
外部ﾘﾝｸ[pdf]:direct.mit.edu

P11より
This system of mutually compatible local data assignments or “measurements” of the happenings
on the space—where the various data assignments are, piece by piece, constrained
by one another, and thereby patched together to supply an assignment over the entire space
covered by the individual regions—is, in essence, what constitutes our sheaf. The idea is
that the data assignments are being “tied together” in a natural way

where this last picture is meant to serve as motivation or clariﬁcation regarding the
agricultural terminology of “sheaf”:

Here one thinks of various regions as the parcels of an overall space covered by those
pieces, the collection of which then serves as a site where certain happenings are held to
take place, and the abstract sensors capturing local snapshots or measurements of all that
is going on in each parcel are then regarded as being collected together into “stalks” of
data, regarded as sitting over (or growing out of) the various parts of the ground space
to which they are attached. A selection of a particular snapshot made from each of the
individual stalks (collections of snapshots) amounts to a cross-section and the process of
restriction (along intersecting regions) and collation (along unions of regions) of these
sections captures how the various stalks of data are bound together.
(引用終り)

いまや、常識だろうが、(数学の)層は、もと仏語”faisceau”で、「麦類の穂束」の意味
「麦類の穂束」から、層の茎とか芽 (germ) とかへ繋がっている
逸話で、秋月先生がご存命のころ、学会である学生か院生が「層は誤訳」だと面と向かって言ったという都市伝説がある
秋月先生は、麦類の穂束→”束” を第一に考えられたと思うが、束は”lattice”で使われていた
数学用語は、”できれば漢字一文字”という明治以来の伝統があって
そこで先生は”層”をひねり出したという（下記）

外部ﾘﾝｸ:ja.wikipedia.org
数学における層（英: sheaf[注 1], 仏: faisceau）
注釈
1^ 英語で麦類の穂束、書類の束、矢の束などを意味する (sheaf - Wiktionary)。
出典
3^ 層という訳語の由来は仏語 Faisceau のあとの方の 'ソー' をとったというのが一つの根拠である。Faisceau の元来の意味は束 (タバ) である。'群の束' (X 上に配置された) の意である。ところで、これを横に見ると地層のような層になる。そこで、垂直を水平におきかえて層と訳してみたのである。この訳がよいか、悪いか、わが国で定着しているかどうか知らないが、この訳語の発案者として、その由来を記しておく。(秋月 1970, p. 176)

478: 現代数学の系譜雑談 ◆yH25M02vWFhP 06/08(日)13:10 ID:cYYLjQao(3/7) AAS
>>472
>束は”lattice”で使われていた
そもそもそれが誤訳
latticeは格子もしくは柵
(引用終り)

ありがとね
数学の”束”は、検索したところ（確かではないが）
下記 Dedekind, Richard (1897)辺りが起源かもしれない
まあ、ドイツ数学の系譜だろう
独 de.wikipedia では、”Verband (Mathematik)”と出る
で、下記独語辞書では、Verband は包帯とか協会と出る
なので、Verbandの訳として束は、誤訳とは言えないだろう（語尾の”band”は日本語のバンドの意）

一方で、仏 fr.wikipedia では、Treillis (ensemble ordonné) ( google訳：格子（順序集合）) とあって
[1]N. Bourbaki が文献に上がっている。なので、英 lattice は、仏語系数学用語だろう

追伸
むかし、束論も結構学部で教えたりしていたらしい。書店に束論の本があったりした時代がある（今は見ない）

(参考)
外部ﾘﾝｸ:ja.wikipedia.org
束 (束論)
出典
1^ Dedekind, Richard (1897), “Ueber Zerlegungen von Zahlen durch ihre grössten gemeinsamen Teiler”, Braunschweiger Festschrift: 1–40

外部ﾘﾝｸ:de.wikipedia.org
Verband (Mathematik)
google英訳
Association (mathematics)
In mathematics, a lattice is a structure that can be completely described as both an order structure and an algebraic structure .
Hasse diagrams for some examples
→ Main article : Hasse diagram

外部ﾘﾝｸ:context.reverso.net
reverso.net
独語辞書
der Verbandnm
Ich hab 'n Verband gefunden.
なぜか包帯が巻かれてた
Warum nimmst du den Verband nicht ab?
彼の包帯を取ってみたらいい？
Der Verband bietet Verbrauchern und Kunden Rückgriff auf rohe Nachlassforschungsunternehmen.
この協会は、消費者および顧客に不正な検定調査会社に対する訴求を提供する。

外部ﾘﾝｸ:fr.wikipedia.org
Treillis (ensemble ordonné) ( google訳：格子（順序集合）)
En mathématiques, un treillis[1] (en anglais : lattice) est une des structures algébriques utilisées en algèbre générale.
Notes et références
[1]N. Bourbaki, Éléments de mathématique : Théorie des ensembles [détail des éditions], p. ER.28, aperçu sur Google Livres, parle d'« ensemble réticulé, ou réseau ordonné (ou lattis) ».

480: 現代数学の系譜雑談 ◆yH25M02vWFhP 06/08(日)14:57 ID:cYYLjQao(4/7) AAS
>>475-477
ありがとう
ID:Zc7H01cb、ID:fNOOrq8Oは、御大か巡回ありがとうございます

>層はファイバー束の切断のことだと思うだろう
>層は任意の切断ではなく特定の条件を満たす切断だけを考える
>だから素人にとってただのファイバー束よりもちょっと難しいのである
>今言った告白が正しいとするとファイバー束でいいじゃんとしか思わん

秋月 1970, p. 176 「『輓近代数学の展望』ダイヤモンド社、1970年」>>470
では、”層”の直前には、ファイバー束やベクトル束の説明があって
そのあとに、層の説明が続いたと思った（いま、本は処分して手元にないのが残念だが）
うろ覚えだが、層はファイバー束の発展形のような印象が残っている

加藤文元さんの名言だが、数学の対象を広げすぎると、浅い結果しかいえない
深い結果が言えるよう適度に狭いところまで広げるべし

”層”のエライところは、例えば関数を開集合系をベースに捉えようという姿勢だと思う
つまり、学部１年の集合論で関数とは ”1点 vs 1点”の対応だという
その口が渇かぬうちに、”1点 vs 1点”じゃなく開集合系をベースに考えるべしという（教わる方は目をシロクロだが（＾＾）

実際、解析函数を考えるとき、”1点 vs 1点”で考えるのは、面白くないのだろう
岡先生やルレイ先生は、えらい

(参考)
外部ﾘﾝｸ:ja.wikipedia.org
ファイバー束（英: fiber bundle, fibre bundle）とは、位相空間に定義される構造の一つで、局所的に 2 種類の位相空間の直積として表現できる構造の事である
概要
単位円 S1 と線分 I = [0, 1] の直積 S1 × I は円柱の側面になる。円柱の側面と似たような図形にメビウスの輪がある。局所的には S1 の一部と線分 I = [0, 1] の直積に見えるが、全体的には円柱と異なる図形になっている。このような局所的に直積として書けるという性質（局所自明性）を持った図形を扱うのがファイバー束の概念である。
この場合の S1 を底空間といい、線分 I をファイバー（繊維）という。ファイバーを底空間に沿って束ねたとき、上の例の円柱のように全体としても直積になっていれば、その全体を自明束（じめいそく）という。自明束は基本的なファイバー束ではあるが、むしろ、メビウスの輪のように自明でないファイバー束の構造がどのようになっているのかといったことが重要である。
ここでは、座標束 {E, π, B, F, G, Ua, φa}a∈A を定義する。添字集合などを省略して (E, π, B, F, G, Ua, φa) などとも書く。
束 (E, π, B) と位相空間 F, F の効果的な位相変換群 G, 底空間 B の開被覆 {Ua}a∈A が与えられているとする。Ua を、座標近傍 (coordinate neighborhood) という

つづく

481: 現代数学の系譜雑談 ◆yH25M02vWFhP 06/08(日)14:57 ID:cYYLjQao(5/7) AAS
つづき

ファイバー束
座標束をここで述べるような同値関係で分類するとファイバー束が得られる。多様体において座標近傍系を極大座標近傍系にし、座標の取り方によらない幾何学を目指したのと同様に、座標束を座標近傍 {Ua} や座標関数 {φa} のとり方によらないように分類したものがファイバー束である。つまりファイバー束を具体的に調べる際に、特定の開被覆を取って調べたりする場合、そこで調べているものは座標束ということになる
略
が連続写像であるとき、この 2つの座標束は同値 (equivalent) であるといい、この同値関係による同値類をファイバー束あるいは G 束 (G-bundle) といい、ξ = (E, π, B, F, G) と書く。F や G なども省略して、π: E → B によってファイバー束を表すこともある

外部ﾘﾝｸ:ja.wikipedia.org
ベクトル束（英: vector bundle; ベクトルバンドル）は、ある空間 X（例えば、X は位相空間、多様体、代数多様体等）により径数付けられたベクトル空間の族を作るという方法で与えられる幾何学的構成である
ベクトル束（べくとるそく、英: vector bundle; ベクトルバンドル）は、ある空間 X（例えば、X は位相空間、多様体、代数多様体等）により径数付けられたベクトル空間の族を作るという方法で与えられる幾何学的構成である
(引用終り)
以上

482: 06/08(日)15:06 ID:cYYLjQao(6/7) AAS
>>479
>ミルフィーユか
>いや
>万フィーユ、億フィーユ、兆フィーユ…

ありがとうございます
それは、教養あふれる”混ぜっ返し”ですね（＾＾

(参考)
外部ﾘﾝｸ:ja.wikipedia.org
ミルフィーユ
ミルフィーユ、ミルフイユ[1]、ミルフォイユ[2][3]（フランス語: mille-feuille、millefeuille フランス語発音: [milfœj][1][4]）は、フランス発祥の菓子の一種。

概要
フランス語で「mille」は「1000」、「feuille」は「葉」の複数形、mille-feuilleを直訳すると「1000の葉」という意味になる[2][3]。なお、日本語風に「ミルフィーユ」と発音するとmille-filleと聞こえることもあり、「1000人の娘」の意味に取られる[2][3]。

486: 06/08(日)23:51 ID:cYYLjQao(7/7) AAS
>>483-485
ありがとうございます
スレ主です

>S先生を修学院離宮にお連れしたとき
>その中の稲田を見てsheafだと言われた
>同意しかねていると
>stalksだらけではないかと補足された

S先生は、関西系の
数学ダジャレがおできになる方か
あるいは、フランス風のエスプリのつもりだったか？（＾＾

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.034s