[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ5 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
15(2): 2023/07/01(土)04:05 ID:7xC/1QFF(3/7) AAS
X⊂Y の定義知ってる？
x∈X ⇒ x∈Y ね
16(1): 2023/07/01(土)07:06 ID:VG2HhQhs(1/7) AAS
>>15
懐かしいなぁ
中学２年生の時にそれを教わったとき
目からウロコがはがれるとはこのことかと思った
19(3): 2023/07/01(土)08:30 ID:ST8m23Be(2/12) AAS
>>15-16
ありがとう
スレ主です
>目からウロコがはがれるとはこのことかと思った
おサル 2chｽﾚ:math
よろこべ
褒められたよ
N大某ゼミなら良い点もらえそうだｗ
>X⊂Y の定義知ってる？
>x∈X ⇒ x∈Y ね
えーと
s = (s1，s2，s3 ，・・，sm)∈R^m(有限m次元 ∀m∈N)
↓
s∞ = (s1，s2，s3 ，・・，sm,・・・)∈R^N(無限次元)
これで分からなければ
s = (s1，s2，s3 ，・・，sm, 0,0,0,・・)
と、smより後ろは全て0が入っていると見なせば良いんじゃね？＊）
よって、R^m ⊂ R^N
注＊）
・これは、数学ではよく使う”手筋"ｗだね
・例えば、下記の多項式環 vs 形式的冪級数環の議論みたいなもの
・(s1，s2，s3 ，・・，sm)を、多項式とみて、f(x)=s1+s2x+s3x^2 +・・+smx^m と考えれば
これは形式的冪級数で、m+1次より大きな項の係数がすべて0 に置き換える議論と同じだ
多項式環⊂形式的冪級数環 だ
・なお、幾何学的にユークリッド空間において
素朴に”ｎ次元⊂ｎ+1次元⊂無限次元”であることを
いつものように（面倒くさく）形式論理に乗せる手筋でもあるだろう
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
多項式環
注意すべき点として、多項式には項が有限個しかないこと -つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ- は、暗黙の了解である。多項式の次数とは X k の係数が零でないような最大の k のことである。
外部ﾘﾝｸ:ja.wikipedia.org
形式的冪級数
形式的冪級数（英: formal power series）とは、（形式的）多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.038s