[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む45 (835ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
432(3): 2017/11/05(日)12:42 ID:x0G6ptbz(1/6) AAS
>>430
> >>401
> 何で法則が定義されているんだ？
さすがおっちゃん、さえてるねｗ
441(1): 2017/11/05(日)13:21 ID:x0G6ptbz(2/6) AAS
>>436
> >>432
> 普通、法則は、何度も実験や観測、検証などを繰り返して得られ
> 科学的に立証された事実のことを指すだろ。
> 法則は、いきなり成り立つと定義するモノではない。
そりゃそうなんだけどさ。
>>401
> そもそも、努力逆転の法則とは何か？というと、
> 別名エミール・クーエの法則
> とも呼ばれ、定義は以下の通りです。
ここでは
「法則の指す命題が成り立つ」ことを頭ごなしに宣言しているわけじゃなくて
「エミール・クーエの法則」とは何かを定義しているんですよ。
443(1): 2017/11/05(日)13:34 ID:x0G6ptbz(3/6) AAS
>>442
> それなら、「定義は以下の通りです。」は「以下のようなことです。」とした方が変な誤解を招かないしいいだろ
そうだね。だけど、日本文をほどいてみれば分かるよ。
>>401
> そもそも、努力逆転の法則とは何か？というと、
> 別名エミール・クーエの法則
> とも呼ばれ、定義は以下の通りです。
→「努力逆転の法則とは何か？というと、定義は以下の通りです。」
→「努力逆転の法則の定義は以下の通りです。」
ほら、おっちゃんの推奨する言い方になったでしょ？
445: 2017/11/05(日)13:56 ID:x0G6ptbz(4/6) AAS
>>444
> とする方がいいといっている。
そうしなきゃ分からないおっちゃんみたいな人がいるのは知ってるよ。
だから今日もさえてるね！って言ったんだよ。
おっちゃんの個性だよ。よくもわるくも。
448: 2017/11/05(日)16:04 ID:x0G6ptbz(5/6) AAS
>>447
自演かどうかは知らんけど。
数学全然分かってないけど「分かってる風に見せてる」感がアリアリと出てて微笑ましかった。
464(2): 2017/11/05(日)17:52 ID:x0G6ptbz(6/6) AAS
>>455
> ５）co-tail_trの定義：数列 co-tail_tr：＝∩(〜∞) A'[[X]]tr。
> ここに、”∩(〜∞)”は、A'[[X]]trから作られる可算無限長数列において、
> 同値類U_trの全ての元にわたって、共通部分（積集合）を求めたもの
何を言ってるのか分からないです。
類の異なる2元x∈U_1、y∈U_2に対してx∩y＝φでよろしいですか？
同じ類に属する異なる2元a_1, a_2∈U_trに対してa_1∩a_2はどのように定義されているのですか？
異なる2元a_1, a_2∈U_trは
a_1＝ΔP_1(X)＋Σ(k＝m 〜 ∞）a_k*X^k∈U_tr
a_2＝ΔP_2(X)＋Σ(k＝m 〜 ∞）a_k*X^k∈U_tr
（ここでΔP_1(X)とΔP_2(X)のleading coefficientは異なる）
の形に書けますが、このとき
a_1∩a_2＝0＋Σ(k＝m 〜 ∞）a_k*X^k∈U_tr
という定義でよろしいですか？
以下、この定義でよいと仮定します。
a≡∩(〜∞) A'[[X]]trがU_trの元であると仮定すると矛盾します。
なぜなら、任意のU_trの元は自然数m_aとm_a−1次多項式ΔP_a(X)を用いて
a＝ΔP_a(X)＋Σ(k＝m_a 〜 ∞）a_k*X^k
の形に書けますが、自然数m_b＝m_a＋1とm_b−1次多項式ΔP_b(X)を用いた
b＝ΔP_b(X)＋Σ(k＝m_b 〜 ∞）a_k*X^k
もまたU_trの元であり、a≠a∩b。これはa∈∩(〜∞) A'[[X]]trに反します。
よってaはU_trの元ではありません。
しかし別の類Uの元でもありません。なぜなら任意のa_1∈U_trに対してa∩a_1＝aですが、
a∈U、a_1∈U_tr、U≠U_trですから定義よりa＝a∩a_1＝φとなるからです。
以上より∩(〜∞) A'[[X]]trはどの類にも属しません。
これは∩(〜∞) A'[[X]]trがいかなる冪級数でもないことを意味します。
>>455
> ７）そして、co-tail が尚、「可算無限長」だということも、証明できるだろう（＾＾
何を言ってるのか分からないです。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.040s