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

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

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

143: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/12/18(火) 17:22:19.57 ID:9tXcwzeR

>>136-141 （除く>>140）
おっちゃん、どうも、スレ主です。
ありがとうよ（＾＾

（>>116より）
[命題]：一般に、任意の正の超越数xと、任意の |y|≠0 かつ |y|≠1 なる代数的数 y∈R に対して、log_x|y| は無理数である。
証]：
log_x|y|＝p/q から x^{p/q}＝|y|、
故に x^{2p/q}＝y^2。仮定からxは正の超越数だから、x^{2p/q} は正の超越数である。
しかし、仮定からyは実数の代数的数だから、y^2 は正の代数的数である。従って、x^{2p/q}≠y^2 となる。故に矛盾が生じる。
(引用終わり)

例えば
”[命題]：一般に、任意の正の超越数xと、任意の |α|≠0 かつ |α|≠1 なる代数的数 α∈R に対して、
　ｙ＝|α|とおくと
log_x (y)  は無理数である。
ここに、log_x (y) は、xを底とする対数関数である。”
とすれば、

上記証明の部分は、
「log_x (y) ＝p/q から x^{p/q}＝ｙ。故に矛盾が生じる」
で、終わるってこと＊）
（log_x|y|からスタートして、絶対値記号を外すために、両辺を二乗する部分が冗長だよね）

注＊）：
まあ、そんなに|y|に拘りがあるなら（実数で負の代数的数 αまで主張したいなら）ね
証明が、不必要にごたごたするのは趣味じゃないんだ

まあ、ここらは、どこまでがトリビアで、どこまで定理の主張を広げるべきかで、難しい問題もあるみたい
何かの記事で、ある人が投稿した論文を見て、別の人がその定理の系を論文投稿した
その定理の系が、応用として、いろいろ引用されることになった
最初の投稿者は、その系は分かっていたけど、トリビアだから書かなかったとかね
まあ、「分かっていたけど、書かなかった」というのは、後からは言いにくいよね

あと、
”[命題]：一般に、任意の正の超越数xと、任意の |α|≠0 かつ |α|≠1 なる代数的数 α∈R に対して、
　ｙ＝|α|とおくと
log_x (y)  は無理数である。”
は、昔どこかで見たような気がする。（学生時代だったかも）

おっちゃんとは、センスが合わないのは良く分かったよ〜（＾＾
この話は、終わるよ〜（＾＾；

http://rio2016.5ch.net/test/read.cgi/math/1544924705/143

493: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2018/12/27(木) 21:14:13.57 ID:Z9yZQTCw

>>481
どもありがとう
ID:MrGuxIDgさんは、ピエロとは別人の可能性もあるか
だが、以前から言っているが、名無し（＝１３２人目の素数さん）でカキコする以上、同一人物と間違われても、悪く思わないでくれ
実際、言っているレベルがかなり近いので、同一人物の可能性も十分あるだろうな

>>「確率変数」などという実数は存在しません。確率変数∈/R (>>471より)
>つまり変数と定数の区別がつかない訳じゃないよな？
>頼むから　中学レベルも分かってませんでした　はやめてくれよ

おれも同じ言葉を返すぜ（＾＾
まあ、下記の東京工業大 山田光太郎先生 関数論のテキスト（下記）でも見て見ろ
「（1 変数）関数
考えるx の範囲を関数f の定義域the domain
一般に対象x が集合X の要素an element であるということを“x ∈ X”
たとえば“x ∈ R” とは“x は実数全体の集合の要素” すなわち“xは実数” であることを表している」
あんたの流儀では、実変数ｘで、“x ∈ R”と書けないんだって？？ 高校で文系卒かい？

http://www.math.titech.ac.jp/~kotaro/index-jp.html
東京工業大学大学院理工学研究科数学専攻 山田光太郎
http://www.math.titech.ac.jp/~kotaro/class/2013/calc1/
微分積分学第一 （2013年度）東京工業大学大学院理工学研究科数学専攻 山田光太郎 2013年10月21日
http://www.math.titech.ac.jp/~kotaro/class/2013/calc1/lecture-1.pdf
講義資料  講義ノート 2013年4月9日 微分積分学第一 （2013年度）東京工業大学大学院理工学研究科数学専攻 山田光太郎
(抜粋)
1 多変数関数
1.1 1 変数関数（復習）

一般に（ある範囲の）数x に対して，ひとつの数f(x) を対応させる対応
の規則f を（1 変数）関数a function1 という．このとき，考えるx の範囲
を関数f の定義域the domain，値f(x) として想定している数の範囲をf
の値域the range という．また，x が関数f の定義域全体を動くとき，値
f(x) が動く値域の中の範囲をf の像the image とよぶ．

一般に対象x が集合X の要素an element であるということを“x ∈ X”
と表す．たとえば“x ∈ R” とは“x は実数全体の集合の要素” すなわち“x
は実数” であることを表している．

つづく

http://rio2016.5ch.net/test/read.cgi/math/1544924705/493

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

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

ぬこの手ぬこTOP 2.206s*