TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Inter-universal geometry と ABC 予想 43
【未解決問題】奇数の完全数が存在しないことの証明5
統計ソフトSTATAの部屋 Ver.2
ベイズの統計学を学び始めたんだけど
現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
耳栓をしたら世界が変わってワロタ
♂♂♂♂♂♂♂♂♂♂♂♂   星質 3
分からない問題はここに書いてね457
ゼロ割をがんばって定義してみるスレ
○と→による日本語理論
464 :
>>455
>  5)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
>  7)そして、co-tail が尚、「可算無限長」だということも、証明できるだろう(^^

何を言ってるのか分からないです。

世界最大の数学者は誰だと思う?
理科大生が理科大数学科の現状を教えて消えるスレ
多重集合と負の存在
@hyuasa=湯浅久利先生
現代数学の系譜11 ガロア理論を読む34
Michael F. Atiyahがリーマン予想を証明しました。
現代数学の系譜 古典ガロア理論を読む38
名古屋】有限会社モトミ食品輸送【トランストラスト2】
数論幾何
ゲーム理論について
--------------------
しょぼい体をみせびらす勘違いDQN
松本人志・高須光聖の放送室 219
「さっさと運用から撤退しろ」と思う車両
【人口減少】日本の子どもの数1553万人 37年連続で減少 過去最低を更新 ★13
NFL 2019/21 Wildcard Playoffs part14
◆これ高すぎるんちゃう!?◆高額オークション part5
【戦国日本で】 比叡山炎上 【クトゥルフ神話RPG】
デスクトップデザイナー
バイオハザード5 マーセナリーズ part81
【田中靖規】サマータイムレンダ #7【ジャンプ+】
気になったレスをひたすら集めるスレ
【JAC】日本エアコミューター★2便【JAL】
【ワーコレ】ワールドコレクタブルフィギュア総合23
【Sound】サウンドクラッシュPart49【Clash】
【$$】金持ち父さんシリーズを読んで変わった【自由
奥村幸大について語れ
バンドリが判子絵過ぎて気持ち悪い件
大阪府 新たな感染者は1人 [どどん★]
車制御に「日の丸OS」開発へ、先行の欧州勢に対抗
【銀河4x】Stellaris ステラリス 111【Paradox】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼