現代数学の系譜 工学物理雑談 古典ガロア理論も読む51
■ このスレッドは過去ログ倉庫に格納されています
“現代数学の系譜 物理工学雑談 古典ガロア理論も読む” 数学セミナー時枝記事は、過去スレ39 で終わりました。 39は、別名「数学セミナー時枝記事の墓」と名付けます。 皆さまのご尽力で、伝統あるガロアすれは、 過去、数学板での勢いランキングで、常に上位です。(勢い1位の時も多い(^^ ) このスレは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで良ければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜(^^ 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 “時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。 なお、 小学レベルとバカプロ固定 サイコパスのピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets (Yahoo!でのあだ名が、「一石」) (参考)http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日 High level people 低脳幼稚園児のAAお絵かき お断り! 小学生がいますので、18金よろしくね!(^^ High level people は自分達で勝手に立てたスレ28へどうぞ!sage進行推奨(^^; また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/ 旧スレが512KBオーバー(又は間近)で、新スレ立てる (スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。) >>518 おっちゃん、どうも、スレ主です。 お元気そうでなによりです(^^ >>502 >例えば>>419 の定理Fな >全然納得してない >(中略) >だから、定理Fはガセかなと思っているんだが・・、どう?(^^ いい加減にしろキチガイ。 定理Fの証明は、>>419 にそのまま書かれている。何度も書いているように、 いくらキチガイのお前と言えども、この程度の証明はすぐに読めるはずである。 実際、お前は既に定理Fの証明を読み終えている。そして、お前自身が 自分の言葉で言い換えた>>434 の(1)〜(4)の記述が既に存在している。俺は>>444 で >話の流れは合っているが、(2)は微妙に間違っている。正しくは > >(2) もしこの閉集合がすべて、内点を持たないならば、Aが第1類集合になってしまうから > >と書くべきである。 と書いたが、この修正を踏まえれば、>434でお前が書いた(1)〜(4)の記述は「正しい」のである。 つまり、お前は>434において既に、自分の力によって定理Fが正しいことを確認しているのである。 にも関わらず、今さら「納得していない」だの「定理Fの文献が見つからないからガセ」だのという 子供じみた言い訳でダダをこねるのは詭弁である。お前が書いた>434の(1)〜(4)は一体何だったのだ? >>503 >R−A = ∪_k F_k と書ける(根拠は、下記の藤田博司PDF”第一類:可算個のいたるところ非稠密な集合の和集合に分解できる”より) 何がしたいのか意味不明な上に、息をするように間違えるゴミクズ。 最初に与えられた A = ∪_k A_k, R−A ⊂ ∪_k F_k という条件から R ⊂ (∪_k A_k ) ∪ (∪_k F_k ) …(★) を導き、そこから R = (∪_k A_k ) ∪ (∪_k F_k ) という等号を導くことは可能だが、だからと言って R−A = ∪_k F_k という等号は必ずしも導けない。必ず導けると思っているのはお前の幼稚な勘違いである。 「根拠は、下記の藤田博司PDF」などと言っているが、全く根拠になってない。R−A は第一類集合だから、 もしイコールで書こうとすれば、R−A=∪_k F '_k なる疎集合 F '_k は取れることになるが、 その F '_k が F_k に一致する保証はどこにもないし、R = (∪_k A_k ) ∪ (∪_k F_k ) と組み合わせても F '_k = F_k なんて出てこない。だから、お前の幼稚な勘違い。 あるいは、次のように言ってもよい。∪_k A_k のことを1文字で A' と書くことにし、 ∪_k F_k のことを1文字で F と書くことにすると、お前が言っているのは次のようなことである。 ――――――――――――――――――――――――――――――――――――――――― A = A', R−A ⊂ F という条件から R ⊂ A'∪F …(★) が成り立つので、 R ⊃ A'∪F にも注意して、R = A'∪F が成り立つ。よって、R−A = F が成り立つ。 ――――――――――――――――――――――――――――――――――――――――― ↑これがお前の言っていることである。明らかに、この主張は間違っている。 R = A'∪F から出発して丁寧に集合計算してみると、R−A=(A'∪F)−A=(A'−A)∪(F−A)=φ∪(F−A)=F−A すなわち R−A=F−A が成り立つに過ぎないのである。R−A = F が必ず成り立つというのはお前の勘違いである。 「藤田博司PDF」を適用しても、R−A=F−A が R−A = F に化けることは無い。 [続く] [続き] で、F_k に与えられた最初の条件は R−A ⊂ ∪_k F_k というものであるから、 もともと R−A = ∪_k F_k が成り立つような F_k が取れる場合には、 そのような F_k に対して自明に R−A = ∪_k F_k という等号が成り立っている。 一方で、真の包含としての R−A ⊂ ∪_k F_k のみが成り立つような F_k の場合には、 当然ながら R−A = ∪_k F_k という等号は出て来ようがない。そして、前述のとおり、 「ここで必ず等号が出てくる」というのはお前の幼稚な勘違いである。 そもそも、お前は R−A = ∪_k F_k という等号の成立・不成立を気にしているが、 それを気にすること自体がナンセンスである。なぜなら、等号が成り立っているケースでも、 R−A ⊂ ∪_k F_k しか成り立っていないケースでも、どちらにしても定理Fの証明は そのまま通用するからである。必要なのは R ⊂ (∪_k A_k ) ∪ (∪_k F_k ) …(★) という包含のみである。 これが言えた時点でベールのカテゴリ定理になってしまい、ある A_k が開区間を含むしかないので、 A=∪_k A_k により、Aも同じ開区間を含むのである。ほら、定理Fは正しいだろ? あるいは、お前が書いた>>434 の(1)〜(4)のような解釈の仕方でもよい((2)を>>444 のように修正すれば)。 いずれにしても、定理Fは正しい。このことの一体どこに納得できないポイントがあるのだねキチガイ君。 >>504-506 については、「>>503 の続きである」としつつも引用しか書かれておらず、 その引用から何を言いたいのかお前のコメントが無いので意味不明。 全体として、何がしたいのか全く意味不明。キチガイ。 [続く] 証明を読まない主義を頑固に貫く稀代のアホ (実は教科書も読まない主義、何故か自分の直観は無批判に信じる主義) [続き] あるいは、次のように言ってもよい。お前が定理Fを納得できない最大の原因はベールのカテゴリ定理である。 というより、お前は定理Fを納得していないのではなく、本質的にはベールのカテゴリ定理を納得していないのである。 よく考えてみよ。STEP1 において R ⊂ (∪_k A_k ) ∪ (∪_k F_k ) …(★) が導けたからといって、 この時点ではまだ「開区間」との繋がりが全く存在していない。そこで開区間に繋がるための道具が ベールのカテゴリ定理である。これがなければ開区間は出てこない。そして、開区間が出てきた瞬間に、 定理Fが正しいことが自明に確定する。となれば、お前が未だに納得せずにアヤシイと思っている箇所は、 「 (★)から開区間に繋がるところがアヤシイ 」 ということであり、つまりお前は、暗黙のうちに 「ベールのカテゴリ定理がアヤシイ」 と言っていることになる。つまり、お前はベールのカテゴリ定理に納得していないのである。 [続く] [続き] そして、ここからはベールのカテゴリ定理についてよく考えてみよ。 R⊂∪_k E_k と可算無限個の閉集合 E_k の和で包含できたからといって、なぜそこでいきなり 「ある E_k は開区間を含む」 と言えるのだね?まさにそのことを主張しているのがベールのカテゴリ定理なのだが、 お前は開区間が出現するメカニズムをきちんと理解しているのかね?お前が疑問に思っている 「定理Fで なぜ開区間が取れるのか、直観的なイメージがわかない」 という感覚は、 「 R⊂∪_k E_k (各E_kは閉集合) から、なぜあるE_kが開区間を含むのか、直観的なイメージがわかない」 という主張に翻訳されるのであり、つまりお前は暗黙のうちに 「ベールのカテゴリ定理には納得がいかない。ベールのカテゴリ定理はアヤシイ」 と言っていることになるのである。 つまり、お前がバカで不勉強でキチガイなだけ。間違ってるのはお前一人だけ。ゴミクズ。 >>502 >例えば>>419 の定理Fな >全然納得してない >(中略) >だから、定理Fはガセかなと思っているんだが・・、どう?(^^ ここについてもう1つ。お前は定理Fが書かれた文献を探しているようだが、 そのような文献は既に>>333 で挙げてある。よほど都合が悪いのか、 お前はこの文献をスルーし続けているが、>>333 でハッキリと文献を挙げてあるのである。 >1件だけだが上記の 定理F3 を使っていると思しき pdf が見つかる。 > >ttp://fm.math.uni.lodz.pl/artykuly/12/ww.pdf > >> Observe that ∩[m=1〜∞] ∪[n≧m] A_n as Gδ set of first category is >> easily seen to be nowhere dense. > >このことからも、定理F, F1,F2,F3 は全て正しいと分かる。 このように、定理Fをさらに一般化した定理F3が、上記の文献の中で使われているのである。 その証明たるや、「 Gδ set of first category is easily seen to be nowhere dense 」と 書かれているように、証明が簡単なので証明がついておらず、 定理F3と同じ主張をそのまま英語で述べるだけで、いきなり定理F3を使用しているのであるw というわけで、「文献が見つからないから定理Fはガセ」というお前の詭弁はこれによって論破される。 ちなみに、お前が文献を見つけられない理由も、上記のpdfを見れば明らかである。 「 Gδ set of first category is easily seen to be nowhere dense 」と書かれているように、 そもそも定理Fのたぐいには標準的な名称すら存在しないのである。もし標準的な名称があるなら、 上記のpdfでもその名称を使うはずであるが、実際にはそのような書き方になっておらず、 定理F3の主張をそのまま英語で述べて、定理F3をいきなり使用しているのである。しかも、証明がないw つまり、定理Fのたぐいは、標準的な名称すらつかないような、大袈裟に定理として記述する価値がない自明な定理なのであり、 上記のpdfのように、証明を書かずにそのまま使用することが認められているような、もはや定理というより "既成事実" に近い 扱いなのである。だから文献が見つからないのである。 「全ての正しい定理はどこかのテキストまたは論文できちんとした名称つきで証明も与えられているに違いない」 というお前の幼稚な考えは間違っているのである。 「大袈裟に定理として記述する価値がない自明な定理には証明も標準的な名称も与えられず、 既成事実として直接的に定理の内容を述べてそのまま使うことが許される」 のである。そんな自明な定理であるにも関わらず、お前のようなキチガイからすれば 「自分では証明が正しいことを確信できず、文献も見つからないので、ガセと判断する」 という愚行に走るしかないのである。全く数学的な態度ではない。 これで数学について何かを語った気になっているのだからキチガイと言う他ない。 STEP1,STEP2(>>419 )という、この程度の極めて簡単な証明に、一体いつまで躓いたままでいるつもりなんだゴミクズ。 さっさと理解しろや。定理Fは正しいし、文献も>>333 に挙げてあるだろ。 というか、お前自身も既に>>434 の(1)〜(4)で自分の言葉で既に理解してるだろ。 「文献が見つからないからガセ」とかいう子供じみた言い訳でダダをこねるなクソガキ。 >>530 > 全く数学的な態度ではない。 > これで数学について何かを語った気になっているのだから 同意せざるを得ませんね 数学に自明は存在してはならない 定義、公理は妥協の産物であることを忘れてはならない やっと、面白そうな結論が幾つか出た。 今日は、頭や体が疲れて、考える気になれん。 諸法無我って、このような連続的な体の変化を抽象化した仏教の教えなんでしょうな。 諸法無我:もろもろのほうにわれなし 思考は規則の連鎖で成立している それらの規則に、自分が考え出したものが何一つないことを言う 当たり前のように聞こえるかもしれないが それでは自分が考えていることにはならない 覚えている、知っている規則をつなぎ合わせただけである ならば自分である必要はなく、機械がやっても同じことである という虚しさを表す四字熟語である 諸法無我って、平家物語の文章に出て来る諸行無常の考え方と関係があって、 虚しさを表す仏教の言葉なのか。 >>537 諸法無我は、すべてのモノには実体がなく、何らかの関係がお互いにあって、 不変で保たれているという状態のモノはあり得ない というような意味を指す仏教の教えだと思っていたが、虚しさなんて書かれたんで 少し調べたら諸法無我は諸行無常から派生したようで、平家物語とかと関連付けた。 まあ、ユークリッド平面上の単位円周上に有理点が稠密に分布してさえいなければもっと美しく決まったと思うんだが…。 だけど、何しているのか知らないけど、どこぞの何某ではオッパイについて熱く議論されているようですな。 仮に両方成り立ったとして、どちらが数学的に美しい結果なのかは微妙なところだが、 おっちゃん的には〜、美しい結果にならかったと見られることは不本意でした。 それじゃ、おっちゃん寝る。 おっちゃんです。 頭がおかしくなっちゃったようだ。 オッパイってπ(おっπ)のことね。 じゃ、目が虚ろになって来たんで、おっちゃん寝る。 忙しいので、これだけ これ、面白かったな 数学では、出題ミスは少ないと思うが http://premium.yomiuri.co.jp/pc/#!/news_20180329-118-OYTPT50152/list_HENSHUTECHO 3月29日 編集手帳 読売新聞 2018年3月29日5時0分 (抜粋) 早稲田大学で教べんをとった自然史学者の筑波常治さんは、平易な文章の科学評論で知られた。昭和半ば、ある県の高校入試の国語に使われたことがあった ◆<筆者が主張するのは次のどれか?>。筑波氏は解いてみたという。おどろいた。 7問中正解は3問だけ。<不合格は間違いなし。漫画みたいな結果になった>と随筆に書き留めている。 (引用終り) おっちゃんです。 昨日は無意識のうちに寝てしまった。 >それじゃ、おっちゃんもう寝る。 と書こうとしても書けなかった。 もしかしたら、余程疲れていたのかもな。 おっちゃんです。 さっき来たら誰もいないようだったけど、笑点見てた? テレビを見ていなくても、笑点は、観客の笑い声や拍手がよく聞こえるな。 以前は笑点見ていたけど、確か、10年位前に司会が変わったんだよな。 それじゃ、おっちゃんもう寝る。 即興の定理で証明を久し振りに書こうと思ったけど、やめた。 ∅,{∅},{∅,{∅}},{∅,{∅},{∅,{∅}}},{∅,{∅},{∅,{∅}},{∅,{∅}, {∅,{∅}}}},{∅,{∅},{∅,{∅}},{∅,{∅},{∅,{∅}}},{∅,{∅},{∅,{ ∅}},{∅,{∅},‥ おっちゃんです。 スレ主がどこかに消えたようだから、代わりにこのスレを埋める。 原則として、書き方はエッセイ調で、文章の綴りは成り行き任せ。 今日のエッセイ。 毎日6時間の睡眠時間は必要。 毎日3、4時間の睡眠時間の状態を続けると、眠くて眠くてたまらなくなる。 晩メシを食おうとしても、眠くて眠くてメシが食えなくてウトウトして、 睡魔に襲われてたまらなくない。おっちゃんが痛感した経験則。 それじゃ、おっちゃんもう寝る。 おっちゃんです。 面白そうな発見があった? いや、多分そうなんだろうな。他の論文にした方がどうかは正直迷っている。 証明はここに書かないよ〜ん。 冷静に書いたレスを見直すと、バカっぽい文章を書くというのも面白い。 バカっぽい文章を書いた後に冷静に読むと、笑えない訳ではない。 もっとネジが吹っ飛んだ文章を書くにはどうしたらいいんでしょうね。 まあ、体の健康など、とても大事なモノに対しては、生真面目過ぎる位にトコトンマジメになった方がいい。 いうまでもないが、一般に体の健康は誰にとっても大事。 その一方で、本当にテキトーでよさそうなモノに対しては、テキトーでいい。 ここで、注意すべき点は、マジメ腐ってばかりいたら、ストレスが溜まって体によくないこと。 おっちゃんです。 ジョーク抜きで、論文の参考文献は日本語と2、3冊の洋書になるよ〜ん。 だから、参考文献は日本語でその引用した本の題名の英訳の後に (in Japanese) が付く。この点は予めよろしく。ま、決して変な論文にはならんから。 大部分は、自分の脳ミソで考えて出来た論文だ。 >>554 の訂正: 日本語と2、3冊の洋書 → 日本語の本と2、3冊の洋書 といっても、洋書も薄いんだが。 一応、標準的なテキストとはいわれているようだが。 う〜ん、おっちゃん工房とでも呼ぶか。 それとも、おっちゃん研究所の方がいいのかね。 別に大学の研究室が与えられた訳でもないし、 おっちゃん研究室というのもおかしいだろうしな。 まあ、基本や多角的視点というのはとても大事ですな。 このことをつくづく感じているこの頃である。 おっちゃんです。 今日は漫談を書く(演じる)。 内容的にはエッセーの延長線上にあると思うが、漫談を書く(演じる)のははじめて。 え〜、じゃ、漫談はじまりはじまり。 南海ホークスの杉浦は少し変わったフォームで物凄い勝利数を挙げた伝説的な投手だそうで、 杉浦の投球フォームに興味があって、そのフォームを見たかったので、動画を見てみた。 投げ始めはオーバースローに近く、途中から体を沈めながら球を持った右手は丸く円を描いて、 その後に体を沈め切ったら腰の真横から投げるような、サブマリーンに近いアンダースローの投法だった。 球を放って投げる瞬間を真横から見ると、オーバースローのように上半身を前に乗り出して投げる感じで、 オーバースローの投手のように上半身を前に傾ける投げ方に比較的よく似ている。 右打者にとって背後から球が投げられて来る漢字、という杉浦の投げ方の説明のニュアンスが何となく分かった。 ストレートはとても速くて打者の近くで浮き上がり、右打者にはスライダーで空振りさせたりする一方で、 左打者には体に当たりそうな曲がり方をする大きなカーブで三振やゴロを奪ったようだ。 年間勝利数は、入団した1958年から64年までの間毎年15位は余裕で、20勝〜30勝以上の勝利数の年が5年ある。 しかし、65年以降は余り勝てなくなったようだ。アンダースローだけど、シンカーは投げても余り有効な効果はなく、 むしろシンカーを覚えたために持ち味だった持ち球の威力がなくなったのかも知れない。防御率は2点台〜3点台の年が多い。 38勝して日本一に輝いた1959年の日本シリーズでは、幻の4連勝を成し遂げたという。日本シリーズで4連勝したのは杉浦だけだそうだ。 ナインのメンバーには、ノムさんや大沢親分、リリーフで同じアンダースローの皆川がいた。ノムさんは杉浦が投げるときは気楽で退屈だったそうだ。 杉浦は足も速くて、もう少しで日本人初のメジャーリーガーになる勢いだったが、実際に日本人初のメジャーリーガーになったのは、村上だった。 まあ、杉浦の投げ方は、キャッチャーや打者側から見たら、投げる瞬間に球の握りが見えるから、 杉浦のように腕を回すようにして速く投げる投手でないと、球の握りが見え球種がバレて打たれ易いかもな。 杉浦と互角に投げ合ったのが西鉄ライオンズの鉄腕稲生。その稲生も20勝以上から40勝以上勝つ年が何年もあって凄かったようだ。 ノムさんは鉄腕稲生の球種別の投げ方を見破れたらしい。 まあ、投手の中で杉浦と皆川という2人のアンダースローが主な貢献を果たしつつ、日本一に輝いた南海の例は珍しいわな。 サイドスローではあるが、最近では西武ライオンズの黄金期が比較的に似た例に近くなるとは思うが、 先発も含めて何人ものアンダースローが勝利のために主な役割を担う南海のような例は、余り知らんな。 >>560 の訂正: 背後から球が投げられて来る漢字 → 背後から球が投げられて来る「感じ」 皆川は杉浦とは違いシンカーを持ち味として投げて、 ストレートは杉浦のストレートとは違い打者の手元で下に落ちるようだ。 杉浦と皆川は、同じアンダースローでありながら、全く違うようだ。 以下はおっちゃんの予言である。あくまでも予言に過ぎず、真に受けないでほしい。 今日は遊びで漫談を書いている(演じている)ので、遊びの範囲内で考えてほしい。 オイラーの定数γは無理数どころか確実に超越数である。 ただ、何でとてつもなく難しい未解決問題をいとも容易く示せてしまったのかが分からない。 何ということか、超常現象が起きてしまった! ただ今、私はこの予言の証明に間違いがないかを何度も確認していて、疑心暗鬼になっている最中である。 まあ、南海の杉浦のピッチングフォームはサイドスローに近いアンダースローというべきか? ピッチングの画像を見ると、右打者にとって背後から投げるような独特の投法であることは確かだが。 地面擦れ擦れの高さから投げる渡辺俊介のタイプのようなアンダースローのフォームとは全く違うようだが。 おっちゃんです。 鉛筆の芯を全部使い切ると、約 50km の距離分だけ書けるそうだ。マラソンの距離約 42.2km より多い。 普通に鉛筆削りで削って芯の先端を三角錐状にして使うと、大体の概算式は 50×1/3=16.6 km で1の位以下を切り上げると大体 20km 分の距離書ける。 シャープペンシルだと、40本の芯を全部使い切って大体 10km の距離分だけ書ける。 ボールペン1本だと、全部使っても書ける距離は 2km にも満たない。 どうやら、とても大きな差があるようだ。 鉛筆の芯を肥後守で削って鉛筆から取り出して、芯ホルダ−にはめて使うのもいいかもな。 鉛筆は筆記具としては優秀なようだ。 おっちゃんです。 私がここの支配人になってしまったようである。 ここ2、3日、現実の色々な処理をしているところである。 こうした現実での処理中は、パソコンに向き合う暇がなくなっている。 ここ2、3日は、寝る前に余った時間を割いて書いている。 太陽系の惑星について、或る1つの�f星の楕円軌道緒繧ノ異なる惑星bェ載っかって 元来の公転速度で公転している状況を想像した。 天体観測は面白いかも知れない。 何やら寝ぼけて書いていたら文字化けが生じたようで、>>568 の書き直し。 太陽系の惑星について、或る1つの惑星の楕円軌道上に異なる惑星が載っかって 元来の公転速度で公転している状況を想像した。 天体観測は面白いかも知れない。 それじゃ、おっちゃんもう寝る。 おっちゃんです。 まあ、>>563 の「オイラーの定数γは超越数である」ことは、 まだ示せていないし、遊びで書いたに過ぎず、信用しないように。 実際に計算してみると(ここには書かないが)、信じられないが、 な、な、な、何とγは有理数の可能性がある。 おっちゃんビックリ仰天。果たしてこれは気のせいでしょうかね。 もし本当に γ∈Q でよいなら、有理数γの循環小数の部分が分かっていないことが問題になって、 今までγの循環小数の部分が分かっていないのがむしろ不思議でならない。 「ガロア理論の頂を踏む」を読んでいます。 最初はユークリッドの互除(ごじょ)法から入ります 定理1.1 (x, y) を x と y の最大公約数とする a, b ∈N で a を b で割った余りが r のとき (a, b) = (b, r) 証明 (a, b) = g, (b, r) = h とおいて g = h であることを示す a, b は g の倍数なので、 a = a'g, b = b'g …@ と書ける a を b で割った商を q, 余りを r と置くと a = qb + r …A これより r = a - qb これに@を代入して r = a'g - qb'g = g(a' - qb') となり r も g を約数として持つ もともと b は g を約数として持つから g は b と r の公約数 公約数は最大公約数以下だから…B g <= h 定理1.1 証明続き b, r は h の倍数なので b = c'h, r = r'h と置くことができ、これを>>573 Aに代入して、 a = qb + r = qc'h + r'h = (qc' + r')h a は h を約数に持つ。b はもともと h を約数に持つから h は a, b の公約数 Ba, b の公約数はa, b, の最大公約数g以下だから g>=h g<=h かつ g>= h より g = h 証明終わり >>573 >>574 所感 「ガロア理論の頂を踏む」では以上の証明「g>=h, g<=h ゆえに g = h」方式になっていますが、 私の好みは定理1.1 を次のように書き換えます 「(x, y) を x と y の公約数全体の集合とする a を b で割った商を q, 余りを r とするとき (a, b) = (b, r) 特に最大公約数についても一致する」 証明は https://ja.wikipedia.org/wiki/%E3%83%A6%E3%83%BC%E3%82%AF%E3%83%AA%E3%83%83%E3%83%89%E3%81%AE%E4%BA%92%E9%99%A4%E6%B3%95 に書いておきました。この場合でも必要条件の証明と十分条件の証明の二段階が必要です 「ガロア理論の頂を踏む」では複数の構成員からなるもの同士のイコールというのは、概念として難しいとの判断だったのでしょうか(本の最初の定理ですし) なおB公約数は最大公約数以下、は高等学校数学では証明抜きに天下り式に叩き込むのですが、 これも証明が必要な事項でしょう、証明は難しくありませんが、結構手間です 高木貞治 https://ja.wikisource.org/wiki/%E5%88%9D%E7%AD%89%E6%95%B4%E6%95%B0%E8%AB%96%E8%AC%9B%E7%BE%A9/%E7%AC%AC1%E7%AB%A0/%E6%9C%80%E5%A4%A7%E5%85%AC%E7%B4%84%E6%95%B0%EF%BC%8C%E6%9C%80%E5%B0%8F%E5%85%AC%E5%80%8D%E6%95%B0 日本発の整数論の本では、最初のゴール「素因数分解は一通り」へ邁進するのに、最小公倍数・最大公約数から証明しはじめるようですが、 ユークリッドはそうしていないようです、互除法→拡張互除法へとすすみます 拡張互助法は、実例で示して証明したことにする本がほとんど、ユークリッドもそうしています、これを証明として記述するのは道具立てが必要ですね 行列で証明してみました https://ja.wikipedia.org/wiki/%E3%83%A6%E3%83%BC%E3%82%AF%E3%83%AA%E3%83%83%E3%83%89%E3%81%AE%E4%BA%92%E9%99%A4%E6%B3%95 >>573 「ガロア理論の頂を踏む」を読んでいます。 定理1.2 a, b, d ∈Z, (a ≠0, b ≠0) g を a, b, の最大公約数とする 一次不定式 ax + by = d …@ @は d が g の倍数のとき整数解を持ち、d が g の倍数でないとき整数解を持たない。 「ガロア理論の頂を踏む」では実例をもとに説明し、実例の説明をもって証明にかえています。 実例はわかりやすいものですが、これを証明として記述するのは、どうしたものでしょうか?思いつきません。 >>573 「ガロア理論の頂を踏む」 定理1.3 a, b, c, d ∈Z, a ≠0, b ≠0, c ≠0, a, b, c, d の最大公約数を g とする ax + by + cz = d …@ @において d が g の倍数のとき、@を満たす整数解 x, y, z が存在する d が g の倍数でないとき、整数解 x, y, z は存在しない ディオファントスの方程式です。 https://ja.wikisource.org/wiki/%E5%88%9D%E7%AD%89%E6%95%B4%E6%95%B0%E8%AB%96%E8%AC%9B%E7%BE%A9/%E7%AC%AC1%E7%AB%A0/%E4%B8%80%E6%AC%A1%E3%81%AE%E4%B8%8D%E5%AE%9A%E6%96%B9%E7%A8%8B%E5%BC%8F の説明は難解でここで挫折する人は多数、とみました しかし「ガロア理論の頂を踏む」は、そう簡単に脱落させません >>577 定理1.3 証明 ax + by の取りうる整数の集合 S について、S の任意の要素 u, v, および整数 k に対して u + v ku は S に含まれる。実際、u, v が u = ax_1 + by_1 + cz_1, v = ax_2 + by_2 + cz_2 と表現できれば、 u + v = a(x_1 + x_2) + b(y_1 + y_2) + c(z_1 + z_2) ∈S ku = a(kx_1) + b(ky_1) c(k_z1) ∈ S 今 S に含まれる正の整数のうち最小の数を h とする。すると、S の要素はすべて h の倍数になっている…A というのは、もし h の倍数で表せない数 m ∈ S が存在したと仮定すると、 m を h で割った商を q, 0 でない余りを r とおいて m = qh + r、r = m - qh 仮定より m ∈ S, h ∈ S より qh ∈ S から r = m - qh ∈S r は割り算の余りなので割る数 h より小さく、これは h が S の最小の数であるという仮定に反する すなわちAは正しい ax + by の式で x = 1, y = 0 を代入すれば a となるから、a ∈ S, 同様に b ∈S, c ∈S ということは、a, b, c は h の倍数であり、h は a, b, c の公約数である したがって a, b, c の最大公約数 g よりも h は小さいから h <= g … B また a, b, c はそれぞれ g の倍数だから、a = a'g, b = b'g, c = c'g とおいて ax + by + cz = (a'x + b'y + c'z)g となり S の要素は g の倍数である、とくに h∈S も g の倍数だから h >= g …C BCより h = g すなわち ax + by + cz = g となる x, y, z の存在が証明された。これを x_3, y_3, z_3 とすると、ax_3 + by_3 + cz_ 3 = g d が g の倍数で、d = ng となっておれば ax + by + cz = d の整数解の一つは nx_3, ny_3, nz_3 となる、実際代入して確かめよ S の要素はすべて g の倍数だから、d が g の倍数でないときは方程式>>577 @を満たす整数解は存在しない >>578 訂正 ×ax + by の取りうる整数の集合 S について ○ax + by + cz の取りうる整数の集合 S について >>578 の証明は wikipedia のベズーの等式 https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%BA%E3%83%BC%E3%81%AE%E7%AD%89%E5%BC%8F の証明として記述しておきました。以前の証明は、これまた難解極まりないもので、これも高木「初等整数論講義」の罪なのでしょうか? ベズーの等式は ax, + by の二項の式ですから、拡張ユークリッドの互除法で直接、適合解を求めることができます おっちゃんです。 オイラーの定数のことはさておき、今日も漫談をする。 JR総武線の新宿駅より東側にある都内の駅の互いに隣接する2駅間の話。 新宿駅から四ツ谷駅間について。 新宿駅から代々木駅間は、総武線と山手線が大体南北に進む。 代々木駅から四ツ谷駅間は、基本的には東西に進む中央線が総武線の北部を真っすぐ走る。 新宿−代々木間:目と鼻の先のような関係で、代々木駅から新宿駅が見える。 尚、代々木駅は渋谷、品川方面の山手線と新宿方面の総武線とが乗り換え出来る。 また、千葉方面の総武線の乗り換えホームからは、その隣を走っている中央線が見えにくい。 代々木−千駄ヶ谷間:代々木駅を出発すると、すぐ左側に千葉行きの総武線は左に曲がり、 しばらく直っ直ぐ進むと千駄ヶ谷駅に着く。距離は新宿−代々木間より長い。 千駄ヶ谷−信濃町間:お互いにほぼ真っ直ぐ進むと着く関係。記憶が正しければ、 千駄ヶ谷駅の新宿方面のホ−ムから南側を見ると、特別ホームがある。 昔は、信濃町駅にも同様に新宿方面のホ−ムから南側を見ると、 特別ホームがあったが、現在は信濃町駅に特別ホ−ムはない。 信濃町−四ツ谷間:千葉方面の総武線は、信濃町駅を出発して少しすると、 左側に曲がりながらトンネルに入り、トンネルの中も左に曲がりながら進む。 そうしてからトンネルを出ると、直後に四ツ谷駅に着く。トンネルの長さはどれ位でしょうかね。 四ツ谷駅とトンネルとは目と鼻の先で、四ツ谷駅からトンネルの中が大きく見える。 四ツ谷駅から水道橋駅間について。 四ツ谷駅から飯田橋駅間はほぼ南北に総武線と中央線が走る。 飯田橋駅と水道橋間は大体東西に総武線と中央線が走る。 市ヶ谷駅と飯田橋駅は、四ツ谷駅と水道橋駅の間の長さを等間隔に4等分するような感じ。 四ツ谷−市ヶ谷間:、確かこの区間のどこかで中央線と総武線が交錯して、千葉方面の総武線で北に進むと、 途中から南北に走る総武線の西側を走っていた南北に走る中央線が、南北に走る総武線の東側を走るようになる。 市ヶ谷−飯田橋間:この区間は、基本的に、総武線、中央線の東側が高くなっていて、ここには昔は緑道のような歩道があった。 千葉方面の総武線から左を見ると、自動車が沿って走っているのが見えて、途中から昔江戸城のお濠だった溜池が見える。 島状のホームの飯田橋駅は千葉方面に見ると右、四谷方面に見ると左に大きくカーブしていて、傾斜している。 ここで総武線は大きく曲がる。飯田橋駅の南側の出口は何かの中を進むような感じになっている。 飯田橋−水道橋間:千葉方面の総武線に乗ると、飯田橋駅で大きく曲がった後は真っすぐ東に進む。 景色関係で特筆することは余りない。水道橋駅はお互いに向かい合うホームになっている。 水道橋駅を降りると、神田川が流れていて、少し北に進むと都営三田線の水道橋駅があって、 JR総武線の水道橋付近には坂道があったり、東京ドームや遊園地があったりする。他にも水道橋駅付近にはなど色々ある。 じゃ、水道橋駅と御茶ノ水駅間は、メシ食って来てから書く。 そういえば、飯田橋駅の南側の出口は何かの中を進んで出ると、 急な坂になっていて、右の近くには駅ビルのような建物がある。 じゃ、続きの水道橋駅から浅草橋駅間について。 この区間は、基本的には、どちらも大体東西に走る総武線と都営新宿線の駅について、 水道橋駅と神保町駅の間、御茶ノ水駅と小川町駅の間、秋葉原駅と岩本町駅の間、浅草橋駅と馬喰横山駅の間が、 それぞれ、比較的近い。ここに、神保町駅、小川町駅、岩本町駅、馬喰横山駅は、その順に都営新宿線の駅。 総武線に話を戻す。御茶ノ水駅と浅草橋駅の中間に秋葉原駅があるような感じ。 水道橋−御茶ノ水間:この区間は、千葉方面の総武線から左を見ると神田川が見えて、中央線と総武線が蛇行しながらゆっくり進む。 千葉方面の総武線から右の窓には景色らしき風景は特にない。確か御茶ノ水駅の近くで総武線と中央線が複雑に入り組んで 東に進む総武線と中央線、西に進む総武線と中央線が並行して走るようになり、御茶ノ水駅に着く。 御茶ノ水駅はとても狭く、東に進む総武線と中央線とでお互いに乗降して乗り換えらることが出来、 西に進む総武線と中央線とでお互いに乗降して乗り換えらることが出来る。東西に走る総武線は東西に走る中央線に両側を挟まれている。 御茶ノ水駅の千葉方面の総武線或いは東京方面の中央線のホームからは、神田川を渡る丸ノ内線が少し外に出て走っているのが見える。 御茶ノ水−秋葉原間:この区間も複雑に総武線と中央線が入り組んでいて、千葉方面に総武線で進むと、途中でレンガ造りの建物の上を中央線が走っているのが右に見える。 川に架けられた橋の上にあるアーチのような構造物も見える。この区間のどこかで神田川の上を走る。左側にはいうまでもなく秋葉原の電気街。 秋葉原−浅草橋間:お互いに片方の駅から他方の駅を見ることが出来る。ほぼ真っすぐに線路の上を走る。 ただ、秋葉原駅は浅草橋駅より高い位置にあり、秋葉原駅から浅草橋駅に行くときは下に走り、 浅草橋駅に行くときは上に走る。風景で特筆する点はない。浅草橋の近くには、人形の久月がある。交差点も多い。 浅草橋駅から亀戸駅間について。 浅草橋−両国間:総武線の駅の中で浅草橋駅は、総武線からJR線が全く見えない唯一の駅で、 秋葉原駅と両国駅間は総武線に沿って走る電車は何もない。 浅草橋駅から千葉行きの総武線に乗ると、右に曲がりながら隅田川へと出て、 右側には両国橋、左側には遠くに蔵前橋が見える。そうして隅田川を渡ると、両国の町に入り、 今度は左側に少し曲がった後に両国駅に到着する。両国駅からは国技館が見える。 両国駅の建物を外から見ると或る種の洋館のように見えて、両国駅のホームの北側には 島状の特別ホームがある。何かの電車がこの特別ホームから出発したりこのホームに到着したりするんでしょうか。 両国−錦糸町間:この区間の距離は、浅草橋駅と両国駅間の距離、錦糸町駅と亀戸駅間の距離より長い。線路は真っすぐで、高低差は殆どない。 千葉方面の総武線に乗って両国駅を出発すると、直ちに総武快速線の横浜方面の列車、千葉方面の列車が合流して、 これらの総武快速線が各駅停車の総武線の北側を走るようになる。風景は東京スカイツリーが北側に見える。 風景は住宅街に比較的近い感じになる。錦糸町駅にはテルミナという駅ビルや映画館が近くにあって、都バスの乗り場が近くには多い。 錦糸町−亀戸間:お互いに片方の駅から他方の駅を見ることが出来る。線路は真っすぐで、高低差は殆どない。風景は比較的住宅街に近い感じ。 亀戸駅には少し高い駅ビルがある。この駅ビルの中を通り抜けるようにして、東武亀戸線に乗り換えることが出来る。 尚、亀戸駅の南には貨物線と見られる単線の列車の線路がある。駅の南側には歩道橋がある。少し東に進むと緑道がある。 駅の北側には商店街があって北に進むと亀戸天神がある。 一応、浅草橋−両国間の一行目は、総武線の駅の中で浅草橋駅は、総武線から「総武線ではない他の」JR線が全く見えない唯一の駅 ということで。 では、亀戸駅から小岩駅間について。 この区間は、基本的には、隣り合う2駅の距離が長い。中でも、亀戸駅と平井駅間の距離、新小岩駅と小岩駅間の距離が長い。 亀戸−平井間:この区間では、確か貨物線と見られる単線の列車の線路が途中までは南側にある気がする。 どこから単線の線路が各駅停車の総武線の北側を走るのかは不明。線路に高低差は余りない。 千葉方面の各駅停車の総武線に乗ると、旧中川放水路の付近で電車は左に曲がる。 車窓の風景は住宅街に近くなる。平井駅の付近には余り行ったことがないが、 平井駅の近くには商店街や旧中川、荒川放水路がある。 平井−新小岩間:荒川放水路を電車が渡るときは北側に蔵前通りの橋が見える。川幅はやや短くなっている。 新小岩の駅の南側は住宅地といってよく、江戸川区と葛飾区の境目に新小岩駅はある。 新小岩−小岩間:新小岩駅は、総武快速線も止まり葛飾区にある。小岩駅は、総武快速線は止まらず江戸川区にある。 この区間はほぼ真っすぐで、風景は住宅地といってよいと思う。小岩駅と江戸川は少し距離があったような気がする。 確か、小岩付近の江戸川の川辺は多少の芝生があって運動場のようになっている。 以上、JR総武線の新宿駅より東側にある都内の駅の互いに隣接する2駅間の漫談でした。 両国駅より東側の総武線の互いに隣接する2駅間の距離は長くなる傾向がある。 新宿駅より西にあるJR総武線の駅や、総武線の線路の走り方、風景などといったことは余りよく分からない。 またそのうちに漫談をする。 それじゃ、おっちゃんもう寝る。 おっちゃんです。 取り敢えず、>>583-586 の部分で気付いたところだけ訂正。 >>583 の訂正: 飯田橋−水道橋間の最後の文について。 他にも水道橋駅付近にはなど色々ある。 → 他にも水道橋駅付近には色々ある。 >>584 の訂正: 水道橋−御茶ノ水間について。 >御茶ノ水駅はとても狭く、東に進む総武線と中央線とでお互いに乗降して乗り換えらることが出来、 >西に進む総武線と中央線とでお互いに乗降して乗り換えらることが出来る。 の部分の「乗り換えらる」は「乗り換える」に訂正。 秋葉原−浅草橋間の3行目について。 浅草橋駅に行くときは上に走る。 → 秋葉原駅に行くときは上に走る。 ま、10年近く前の話で、今の総武線の状況と合っているかどうかは知らん。 3日間半かけて、個人的には興味がある日本史上の或る事柄の wiki のサイトを読んだ。 全体的には詳細な記事で、時間をかけて読むと、改めて日本は広いと感じた。 高校までの歴史の教科書にはない歴史上の人物のことが書かれていたりする。 そのサイトには歴史の参考文献が挙げられていた。これを読むとより面白いのだろう。 読んだ wiki のサイトは歴史の教科書より面白くて比較的よく書けていると思った。 史実は小説より奇なり。 些細なことだが、>>591 の訂正; 個人的には興味がある日本史上の或る事柄 → 個人的には興味がある或る日本史上の事柄 いや〜、3日半かけてやっと読めた。 おっちゃんです。 さて、何を書きましょうか。 ま、テキトーに綴る。 富山県の東側の剱岳の近くに、観光ツアーで、ケーブルカーで行って来た。 付近の山の平均的な標高は2000m以上あって、雪がまだ降っていたり、山の頂上には雪が積もっていた。 5月のそのあたりの温度は察してほしい。 富山はチュ−リップが特産品だが、栽培の様子は特に見れなかった。 ♪チューリップ、チューリップ♪ が花を咲かせていれば、一面が色とりどりになって、目立つ筈だと思われる。 あ、♪チューリップ、チューリップ♪ は勿論富山県の平野部の話ね。 あと、剱岳の近くでは、4、5月だと、歩ける可能性は比較的低いが、雪の大谷が有名なようだ。 個人的には、剱岳付近の山々の山頂付近は寒かった。 それじゃ、一旦メシ食ってから。 地形的には浅瀬が少なく、沖に進むにつれて海底が突如として深くなる 富山湾の蜃気楼は見れなかった。富山湾は独特の構造をしている。 今回は金沢へのルートをたどって富山に行った筈だが、金沢に行ったときと変わっていたのは、 北陸新幹線が開通して、黒部宇奈月温泉駅が建設されていた。 最初は何線が開通したのか?と疑問に思っていた鉄道のルートだったが、 走行中の北陸新幹線を見て、北陸新幹線のルートと分かった。 北陸新幹線の駅は、以前からJR東日本が管轄する上越新幹線の東京駅−飯山駅間はJR東日本管轄、 上越妙高駅のみJR東日本、JR西日本両管轄、糸魚川駅−金沢駅間はJR西日本管轄になるようだ。 東京駅、新大阪駅など、在来線としてはJR東日本かJR西日本の管轄になる駅も含め、 東海道新幹線の全駅をJR東海が管轄するのとは少し状況が違うようだ。 やはり、おっちゃん的には〜、富山の景色は平野部から眺める東西に伸びる立山連峰か富山湾の印象が強い。 越後の新潟県だと、山と海とが接している場所(北陸道の糸魚川市の親不知付近)や、 大体方角は西側にあたる日本海に沈む夕日が見れる場所などがあったりする。 その昔、越中富山県は丹羽秀長の後継者丹羽氏の領地だった。 だけど、富山県、石川県のほぼ全域、新潟県の南西部はまだ岐阜県と滋賀県の県境より東側にあるのに、 何故そこを走る元国鉄の在来線の駅は、現在、JR西日本管轄になっているのでしょう。 こと、新潟県の在来線の駅については実に不思議だ。その南西部の糸魚川駅はJR西日本管轄になる。 あと、通常、滋賀県を近畿地方に含めることはしても、北陸地方の石川県や富山県は近畿地方に含めない。 富山県の話題は他にもまだ多くあると思うが、 それじゃ、今日はおっちゃんもう寝る。 おっちゃんです。 このスレに書きに来ていると、数学板でレスされるスレには何らかの法則性が見られることがあるようだ。 書き込まれるときは大体決まってageられているスレがあったり、 各スレに書き込まれる頻度の高低差があったりする。 書き込まれないスレには或る期間全くレスがなかったりする。 これらのような法則性が見られることがある。 以上、600回記念カキコにおっちゃんの観察カキコをした。 それじゃ、おっちゃんもう寝る。 おっちゃん、どうも、スレ主です。 事務管理(下記)ご苦労さまです(^^ 徐々に復帰します(^^ https://ja.wikipedia.org/wiki/%E4%BA%8B%E5%8B%99%E7%AE%A1%E7%90%86 事務管理(じむかんり:羅negotiorum gestio)とは、大陸法系の私法において、法律上の義務がない者が、他人のために他人の事務の管理を行うことをいう。不当利得や不法行為と並ぶ法定債権の発生事由である。 日本法上は、民法第697条から702条までに規定がある。以下、日本法上の事務管理について解説する。 目次 1 概説 1.1 事務管理と法制度 1.2 民法上の事務管理 2 事務管理の成立要件 3 事務管理の効果 3.1 違法性阻却 3.2 管理者の義務 3.3 管理者の権利 お前がしなきゃいけないのは復帰ではない 削除依頼だ おっちゃんです。そういえば、>>597 の一番下の >その昔、越中富山県は丹羽秀長(長秀)の後継者丹羽氏の領地だった。 は >その昔、越中富山県は、結果的に神保長住や佐々成政などの後継支配者となる加賀百万石の前田氏の領地だった。 に訂正。織田四天王の一人で有能だった丹羽長秀の領地は、主に越前の福井県の方だったようだ。 室町時代から安土桃山時代の越中富山の歴史は、上杉氏にも支配されたりと、色々と複雑だったみたい。 大きな間違いは一応訂正した。それじゃ、テキトーにカキコは続く。 従来の北陸本線は、ここ2、3年でJR西日本の管轄の運行状態から 米原駅−金沢駅間 北陸本線 JR西日本管轄、 金沢駅−倶利伽羅駅間 IRいしかわ鉄道線 IRいしかわ鉄道管轄、 倶利伽羅駅−市振駅間 あいの風とやま鉄道線 あいの風とやま鉄道管轄、 市振駅−直江津駅間 えちごトキめき鉄道日本海ひすいライン えちごトキめき鉄道管轄 というように、幾つかの会社や路線に分離されて運行されることになったようだ。 以前とは経営体制が変わったようだ。 まあ、乗り換え時に不便になったと思うが、新潟県内では、糸魚川の近くで 海に迫った山と隣り合わせで海沿いに従来の北陸本線が走っているところがあって、 山崩れ一回の一撃で線路が機能しなくなって電車が不通になりそうな場所もかなり見られた。 そのようなこともあり、安全強化の対策の面では、そういったように幾つかの会社に分割して 北陸本線を運行させて走らせるのがいいんでしょうな。以前より雪崩などの災害対策はし易くなったと思う。 それじゃ、おっちゃんもう寝る。 おっちゃんです。 今日は何を書こうか。 ま、テキトーに綴る。 昨日は、これといって特に書くことが思い浮かばなかった。 球の詰め込み問題やケプラー予想を少し書いてあり、内容の物珍しさから ダイヤモンドはなぜ美しい?という本を読んでみることにした。 ネットワークのグラフは、空間Vの直積 V×V とその部分集合 E⊂V×V との 対 G=(V, E) で構成される。Vの元を頂点或いは点、Eの元を辺と呼ぶ。一般には E≠Φ のとき、任意の e∈E に対して或る v_1, v_2 ∈V が存在して、e={v_1, v_2}。 通常、任意の e∈E に対して e={v_1, v_2} なる v_1, v_2 ∈V は一意に決まると仮定する。 e={v_1, v_2} のとき v_1 と v_2 は隣接するという。v_2 に対して 或る e'∈E と或る v_3∈V が存在して e'={v_2, v_3} となるとき、2辺 e, e' は隣接するという。 card(V)<ℵ_0 のときGを有限グラフ、card(V)=ℵ_0 のときGを無限グラフという。 細かいことを抜きにすると、大雑把には上のように定義される。 有限グラフは 〇−〇−〇 というように比較的容易に図示出来るが、無限グラフは一般には図示出来ない。 同書は何やらグラフ上での解析を目的としているようで、最終的には離散的な図形についての 何らかの極限を取ることで連続的な図形への移行をするという。ここで、有理直線Q上で 有理数の稠密性に着目して考えてみたが、card(Q)=ℵ_0 なので有理直線は無限グラフで図示出来ると思うが、 Qは図示出来ないんですわな。有理直線Qのような稠密な状態の図形は幾何的には離散的な図形とも連続的な図形とも受け取れるが、 上の無限グラフの定義ではQの図示は出来ないですわな。〇−〇−〇 ではなく、 任意の G=(V, E) の辺 e={v_1, v_2} v_1, v_2 ∈Vは隣接する頂点 を図示しようとするときに v_1〇−〇v_2 ではなく v_1〇−………−〇v_2 のように図示されて2頂点 v_1 と v_2 は 隣接するとも隣接しないとも受け取れるグラフは何ていうんでしょうな。定義の際に隣接についての条件を定義から外すことは必要だわな。 このようなグラフが定義されれば、有理直線Qもネットワークのグラフで図示出来そうなんですわな。まあ、暇なとき考えて定義してみる。 まあ、何やら群と正多面体やらランダムウォークと確率やらが出て来て、見た感じでは 結晶の格子のような代物に或る種の離散的な調和を見い出そうとしているかのように見える。 おっちゃんです。>>609 の訂正: e={v_1, v_2} → e=(v_1, v_2) 全部訂正、 e'={v_2, v_3} → e'=(v_2, v_3) ダイヤモンドはなぜ美しい?では、ラプラス方程式という2階の線形楕円型偏微分方程式 Σ_{k=1,…,n}( ∂^2/(∂(x_k)^2) )f=0 f(x_1,…,x_n) はn変数実関数 に適用される作用素のラプラシアン △=Σ_{k=1,…,n}( ∂^2/(∂(x_k)^2) ) を扱っていて、 これを離散化している。それと同時にランダムウォークなどの確率の話も展開している。 練習問題は多いとは思う。 他にも色々なことは書かれている。 結晶の格子への応用的なことが元になっているとは思う。 まあ、研究に何らかの意味で使えればありがたいけど。 ラプラシアンの固有値問題につなげると使えるんでしょうかね。 それじゃ、おっちゃん今日は早めにもう寝る。 >>616 昨日のIDを見ると、数学の本スレで暴れていたようだが、 最適化理論は、一応、応用数学ということにもなっている。 複数個の不等式の解が表す領域を求めたりする問題などがあって、その中で最適解を見つけたりする。 何れにしろ、少なくとも、最適化理論は単純に工学だけに分類はされない。 >>619 >ゴミ屋敷から出てくるな、迷惑爺 お前さんから>>616 を書き始めた点は直視すべき。 今日も数学の本スレに書いていたと見られる。IDの照合の問題にあたり、その記録は残っている。 >659 名前:132人目の素数さん 2018/05/15(火) 09:17:00.45 ID:fp3xMnnl >>>656 >後半は同意するけど、前半はよそでやってね ポントリャーギンの連続群論は、式が比較的少なく平易で読み易く書かれた 位相群とその表現論、リー群やリー環についての有名な名著。 基本的に、表現論は代数、幾何、解析のどれにも属さず、一概には分類出来ない。 応用数学が数学に入るかとか一々問題視していたら、表現論は研究出来ない。 今では、組合せ論と表現論とが結び付いたりもしている。 ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.5 2024/06/08 Walang Kapalit ★ | Donguri System Team 5ちゃんねる