[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
772(1): 02/12(水)11:12 ID:gaOrjQxS(9/14) AAS
n次正方行列Aはn次元線型空間Vの線型変換f:V→Vと見做せる。
特にAが正則なら逆写像f^(-1)が存在するような線型変換すなわち線型同型と見做せる。
このときAの構成ベクトルは線型独立である。なぜなら、n次単位行列EはVの基底で構成され且つfによる写像先がAなので、仮にAの構成ベクトルが線型従属だとしたらfが線型同型であることと矛盾するから。
773: 02/12(水)11:13 ID:cNVs0/BE(2/3) AAS
>>770
将棋とか囲碁とかいう下らん遊戯には全く興味ないので
もうその🐎🦌話をここで得々と話すのはやめにしてほしい
>これを数学に当てはめると
その発想が🐎🦌
頭悪い、というか、頭おかしい
774: 02/12(水)11:17 ID:cNVs0/BE(3/3) AAS
>>770
>数学科の当時の教育法も いまいちだったんじゃね？
>∀や∃とか、そっちに走ったんだね。
>1970年代、1980年代は そういう時代だったかも
∀と∃も分からんサルが数学語るなよ
>「数学科なんか行っても、おれたち程度ではせいぜい高校教師」
高校教師にもなれん奴が数学語るなよ
775(1): 02/12(水)11:21 ID:gaOrjQxS(10/14) AAS
>n次正方行列Aはn次元線型空間Vの線型変換f:V→Vと見做せる。
VはK上の線型空間とする。
∀v,u∈V,∀a,b∈K に対し、A(av+bu)=aAv+bAu を満たすから、ある線型変換f:V→Vが存在してAv=f(v)が成立つ。
776: 02/12(水)11:22 ID:pVgu70rj(1/5) AAS
>>770
> いまは、数学科からIT系とかいろいろあるみたいだけど
> 一方、IT系とかだと、純粋数学だけでなく応用力がないとダメじゃね？
囲碁将棋の次はITか
生成AIが万能の魔法とか思ってそうだなｗ
今の生成AIのトンチンカンぶりは
検索コピペを生業とするサルのトンチンカンぶりとそっくり
要するにどちらも文章の論理が読み取れず
ただ文法に従った連想ゲームだけで
もっとも文章をデッチあげてるだけ
それで分かるほど数学は甘くない
顔洗って出直せ
>（ああ、病気になって、いまヒキコモリか）
サイコパスは自分が病気だという自覚がない
そして口から出まかせで他人を侮蔑して
他人のメンタルを破壊する
まさにテロリスト 人類共通の敵 悪魔
777(1): 02/12(水)11:24 ID:pVgu70rj(2/5) AAS
>>772 >>775
ごもっともだが
n個のn次元数ベクトルが具体的に与えられたとして
それが線形独立であることをどうやって確認する？
答えてもらえるかな？
778(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/12(水)11:41 ID:rAcOLHcf(4/6) AAS
>>732
>ハーディー・ライトの本ではもっとすっきりした
>書き方をしている。
ご苦労様です
ハーディー・ライトの本ね
下記の新井 仁之氏のブログ貼っておきます
(参考)
外部ﾘﾝｸ:researchmap.jp
G. H. ハーディの本
投稿日時 : 2012/10/06 新井 仁之
冬学期は数学科4年・数理大学院の共通講義をします。「解析学XB/基礎解析学概論」という科目です。ルベーグ積分や関数解析を一通り学んだ学生に、さらに実解析学の基礎的な事柄を教えることを目的としています。初回はルベーグの微分定理とその応用から始めました。第一回目の授業の本質的なところはハーディー・リトルウッド最大関数と弱型不等式の証明です。
ハーディとリトルウッドは、解析学や解析数論で多くの業績を残したイギリスの数学者です。 ハーディは数多くの専門書を著わしましたが、それ以外にも『ある数学者の生涯と弁明』という一風変わったタイトルのエッセイも書いています。年をとったハーディの少し弱音のような発言も散見するのですが、かなりの部分が数学の価値に関するものです。その一部から。
『つまり、橋、蒸気機関、発電機のようなものへの数学の実際的応用は、いかに想像力の乏しい人の目にも訴えるものがある。（中略）しかし、真の数学者がこんなことに満足することは殆どない。真の数学者なら、数学の真の存在価値は、このようなむき出しの成果にあるのではない、一般の人々の数学に対する価値観は、無知と混同に基づいており、数学にとってもっと理にかなう弁護の余地があると感じるに違いない。とにかく、私はそのような弁護をしようと思う。』（G. H. ハーディ、『ある数学者の生涯と弁明』（柳生孝昭訳、丸善出版）より）
昔から数学の役に立つ側面をクローズアップした本は数多く出版されていますが，本書はそれとは違った論点で数学のすばらしさを示しています．一般の方にもぜひ読んでいただきたい一冊です。
ところで、ハーディの著書のうち、ハーディとライトの『数論入門』、ハーディ・ポリヤ・リトルウッド『不等式』が邦訳されています。しかし、ハーディの『Divergent Series (発散級数)』はなぜか翻訳が出ていません。
略
外部ﾘﾝｸ:researchmap.jp
ハーディの本 (2) − 純粋数学と応用数学
投稿日時 : 2012/10/18 新井 仁之
ハーディの言う「普通の応用数学者」の仕事が「退屈」かどうかは別にして、確かに応用的・実用的な数学分野では、現実の現象や産業上の問題を扱うため、現実世界の呪縛を振り切ってまで自由に想像力を膨らませることは避けるでしょう。それは現実からの乖離であり、実用上、あるいは企業の収益上はあまり意味のないことだからです。しかし、数学者にとって思考の範囲を現実の問題に制限する理由は何もありません。数学者は論理的に正しければ、現実から飛翔して自由に数学的実在を追い求めることに何の躊躇もないのです。そしてそのような現実に縛られない発想が数学を発展させてきたといっても過言ではありません。逆に言えば、その自由さは現実を相手にしている実用的な分野にはないものともいえます。
つづく
779(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/12(水)11:41 ID:rAcOLHcf(5/6) AAS
つづき
といっても、現実を扱った研究から多くの数学が生まれてきたことも事実で、ハーディも純粋数学だけではなく、「真の」数学者として、マックスウェル、アインシュタイン、エディントン、ディラックなどを挙げています。もちろん彼らは「普通の応用数学者」などではなく極めて「秀いでた｣人たちです。
ところで、ハーディはこの本の中で 『私は何一つ「有用」なことはしなかった』 と述懐しています。これに対して、彼の数学、あるいはそこから発展した数学が今の情報社会でいかに役立っているかを示すことはできます。たとえば象徴的な出来事として、実用数学の急先鋒であるウェーブレットを提唱した論文のタイトルは『ハーディ関数の定形二乗可積分ウェーブレットへの分解』（グロスマン、モルレ著, 1984）でした。しかし、ハーディに関連する数学が役に立つことをいくら列挙しても、ハーディを慰めることもできず、また反論したことにもなりません。むしろハーディの主張の曲解に繋がるといえるでしょう。
実用至上主義者はしばしば、応用・実用数学だけでなく純粋数学の研究も必要で価値があるという主張をします。ところが、その理由はというと、現時点で役に立たない数学もいずれは役に立つかもしれないからだ、ということがしばしばあります。しかし、数学の価値はそんなところにだけあるわけではありません。社会的に役立つかどうかは別にして，ハーディの言う「真の」数学は数学的実在を捉え、それを明らかにするから価値があるのです。
ハーディ曰く
『数学の定理の「重さ」は、その実用上の重要性（これは普通無視してもよい）にあるのではなく、定義が相互に結びつける数学的な諸概念の意義にある』（前掲書より）
けだし名言です。
ところで、ハーディはこの本の中でしばしばホグベンという人を引き合いに出しています。訳注によればホグベンはイギリスの生物学者です。彼は「真の」数学者ではありませんが、『百万人の数学』という一般向けの啓蒙書でベストセラーを著わしました。ハーディはホグベンについて次のように書いています。
略す
(引用終り)
以上
780(1): 02/12(水)11:53 ID:gaOrjQxS(11/14) AAS
>>777
ベクトルで構成される行列の行列式が非零なら線型独立。
行列式の計算には基本変形などのテクニックを使えば良い。
781: 02/12(水)11:56 ID:28pImGRZ(3/4) AAS
>>778-779
無内容文＆無駄長文コピペ やめろ
>>780
直接基本変形使えばいい、とは思わないの？
782(1): 02/12(水)11:58 ID:28pImGRZ(4/4) AAS
多変数積分の変数変換なら
ヤコビアンを持ち出すしかないので
行列式を経由するのも仕方ないが
単に線形独立性を確認するのに
わざわざ行列式を持ち出す必要は
全く無いと断言する
783: 02/12(水)12:23 ID:BHglE92/(2/5) AAS
確かにそういう場面は多いだろう
784(1): 02/12(水)12:38 ID:O8J9UlKj(1/8) AAS
>>782
> そういう場面
どういう場面？
785: 02/12(水)12:43 ID:O8J9UlKj(2/8) AAS
> ハーディは 『私は何一つ「有用」なことはしなかった』 と述懐しています。
残念ながら誤っている
ハーディ・ワインベルグの法則
外部ﾘﾝｸ:ja.wikipedia.org
ハーディはこんな（数学的には）チンケなことで（遺伝学に対して）多大な貢献をしたという事実に対して、きっとこういうだろう
「ケッ！」
786(1): 02/12(水)12:45 ID:BHglE92/(3/5) AAS
>>784
単に線形独立性を確認するのに
わざわざ行列式を持ち出す必要はない場面
787: 02/12(水)12:46 ID:O8J9UlKj(3/8) AAS
ガウスも正規分布によって世間に対して多大な貢献をしたが
彼がもっとも重要と考えた業績はこれではないだろう・・・
788: 02/12(水)12:50 ID:O8J9UlKj(4/8) AAS
>>786 なるほど
数学者（？）は基本変形による行列の階段化なんて
「汚いもの」と思ってるみたいだが、自分は
これほどシンプルで美しいものはそうそうない
と思っている
789: 02/12(水)12:52 ID:BHglE92/(4/5) AAS
辛苦の果ての労作よりも
単なる連想で書いたメモのような論文が評価されるのを
悔しく思っている数学者は
多いはず
790: 02/12(水)12:53 ID:BHglE92/(5/5) AAS
行列式もシンプルで有用
791: 02/12(水)12:56 ID:O8J9UlKj(5/8) AAS
行列式の価値を全面否定するつもりは毛頭ない
ただ、行列式を使わずにいえることで
行列式を持ち出すのが気に入らないだけ
行列の正則性に関して
「零因子でないこと」
とか言い出す奴は
何をかいわんやｗ
792(2): 02/12(水)13:00 ID:O8J9UlKj(6/8) AAS
行列式の定義で、多重線形性を使わず、
置換の符号だけを使ったライブニッツの式
をいきなり提示するのは、気持ち悪い
気持ち悪い、というのは
「こんなものどうやって思いついたか見当もつかん」
という意味
793: 02/12(水)13:01 ID:O8J9UlKj(7/8) AAS
教育において学習者に意地悪をするのは
人格障害の典型的症状ではないかと思う
794: 02/12(水)13:02 ID:O8J9UlKj(8/8) AAS
数学者の中に実にしばしば人格障害者がいるのは残念
795(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/12(水)14:28 ID:rAcOLHcf(6/6) AAS
>>778
実は、海賊版を探す準備でした （＾＾；
An Introduction to the Theory of Numbers G.H. Hardy
これ原本の海賊版が見つかった。著作権問題で リンクは貼らない
著作権問題は、各人の責任でお願いします。
（なお、私の個人の利用は著作権上 無問題ですので、誤解なきよう願います）
以下 関連抜粋（まだチラ見状態ですが）
BY G. H. HARDY AND E. M. WRIGHT
BN Fi& Second Third Fourth rg6z 1965 1968 Printed 0 (with (with (with 19 853310 edition edition edition edition 1938 1954 1960 corrections) corrections) cowectiona) =97=> 1975
（うまくコピーできないが、面倒なので直さず）
CONTENTS
IV. IRRATIONAL NUMBERS
4.1. Somo generalities
4.2. Numbers known to bo irrational
4.3. The theorcm of Pythagoras and its gmlcralizations
4.4. The use of the fundamental theorem in the proofs of Theorems 43-45
4.5. A historical digression
4.6. Geometrical proofs of the irrationality of 1/2 and 2/5
4.7. Some more irrational numbers
XI. APPROXIMATION OF IRRATIONALS BY RATIONALS
11.12. Simultaneous approximation
11.13. The transcendence of e
Il.14. The transcendence of π
(参考)
外部ﾘﾝｸ[html]:www.maruzen-publishing.co.jp
丸善 数学クラシックス 8
数論入門 I
原書名 An Introduction to the Theory of Numbers
著者名 示野 信一 訳
矢神 毅 訳
発行元 丸善出版
発行年月日 2012年01月
判型 A5 210×148
ページ数 398ページ
内容紹介
英国の世界的数学者Ｇ．Ｈ.ハーディとＥ．Ｍ．ライトが、大学で行った講義をもとに著した数論の入門書。原題 An Introduction to the Theory of Numbers。1938年にOxford University Pressから初版が出版されて以来、60年以上にわたって版を重ねてきた名著。本書はその第５版（1979年刊、最新版）からの邦訳。この第１巻では、原著の第１章から第18章までを収め、数論の初等的な話題を取り上げている。
目次
第４章 無理数
４．１ 概要
４．４ 定理43-45の証明への基本定理の利用
４．５ 歴史的な余談
第11章 無理数の有理数による近似
11．13 eの超越性
11．14 πの超越性
外部ﾘﾝｸ:www.アマゾン
数論入門 1 (シュプリンガー数学クラシックス) 単行本 – 2001/7/1
G.H.ハーディ (著), E.M.ライト (著), 示野 信一 (翻訳)
レビュー
カスタマー
5つ星のうち5.0 扱いやすい教材
2010年5月25日に日本でレビュー済み
Amazonで購入
大学のゼミで扱っていますが、章ごとに内容がまとまっていて
考え方を連動させやすいです。
私にとっては多少難しいですが、大学のゼミということを考えると
これでいいかなって思います。
証明も丁寧に書かれていて、その他の説明も多くわかりやすいです。
整数論の基本を学びたい人はまずこの本からと言っていいのかも
しれません
796(1): 02/12(水)14:48 ID:gaOrjQxS(12/14) AAS
>>318
>極限の存在とコーシー列の定義の違いが判らん奴に
実数を有理コーシー列の極限と定義することはできないからね。
有理コーシー列は実数を前提としていないけど、その極限は実数を前提とする必要があり、実数の定義に実数を前提することになってしまう。
797: 02/12(水)15:32 ID:pVgu70rj(3/5) AAS
>>796
> 実数を有理コーシー列の極限と定義することはできないからね。
然り
実数を有理コーシー列の同値類と定義することはできるが。
（これは実質０と等しいとする有理コーシー列の定義と同じ）
> 有理コーシー列は実数を前提としていないけど、
これまた然り
有理コーシー列には有理数しか出てこないから
> その極限は実数を前提とする必要があり、実数の定義に実数を前提することになってしまう。
実数のコーシー列は、有理コーシー列のコーシー列であり、
その極限となる実数とは、当然ある有理コーシー列である
つまり、実数のコーシー列は極限としての実数を持つ、というのは
有理コーシー列のコーシー列から、ある有理コーシー列を極限として抽出できるという主張であり
ここまで書けば、なんか頑張ればできそうな気分であるし、実際そうであるｗ
798: 02/12(水)15:36 ID:pVgu70rj(4/5) AAS
実際、無限小数というのは、
だんだん桁が伸びていく有限小数の列と考えれば
当然ながら有理コーシー列であり、
無限小数のコーシー列が、ある無限小数をコーシー列として持つ、
というのは、直感的にもそう感じられるが、実際にもそうなる
もちろん、無限小数という具体的なオブジェクトについて証明してもいいが
こんなのは一般化したほうが都合がいいに決まってるので
有理コーシー列としているのである
799: 02/12(水)15:37 ID:pVgu70rj(5/5) AAS
>>795
自分が読んでも全く分からない本の紹介は楽しいかい？ 古本屋の店員君
800: 02/12(水)15:39 ID:SMx6yLXG(6/6) AAS
(参考)の文字を見るたびに思う
馬鹿って絶対に馬鹿だと認めないゆえに永遠に馬鹿でありつづけるんだな、と
801(1): 02/12(水)17:24 ID:zktcB9iZ(1/2) AAS
>>792
関孝和のように
連立一次方程式を
消去法で解くと
自然に出てくる
上下前次1-新書関写板覧索設栞歴
あと 201 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.027s