[過去ログ] 純粋・応用数学(含むガロア理論)8 (942レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
666(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/30(日)17:08 ID:kTzpB/An(15/15) AAS
>>665
つづき
そもそもなぜ式を整理するのか
「降べきの順や昇べきの順にする」というのは「式の整理」の方法の1つです。一般に,式を整理すると,
・単純に見やすい,そのため次なる一手につなげやすい
・因数分解しやすくなる
などの恩恵があります。どのように整理すると最大限恩恵が得られるのかを考えて,場面に応じて整理の方法を使い分けましょう。
https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0
多項式環
定義
体 K に係数を持つ不定元 X に関する多項式とは
p=pmX^m+p_m-1X^m-1+・・・+p1X+p0
の形の式のことである。ここで p0, …, pm は K の元で、p の係数といい、X, X2, … は形式的な記号だが X の冪という。
注意すべき点として、多項式には項が有限個しかないこと ?つまり十分大きな k(ここでは k > m)に関する係数 pk がすべて零であるということ? は、暗黙の了解である。多項式の次数とは X k の係数が零でないような最大の k のことである。特別な場合として、零多項式(係数が全て零)の次数は定義しないか、あるいは負の無限大 ?∞ と定義する。
https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数
形式的冪級数(英: formal power series)とは、(形式的)多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。
定義
A を可換とは限らない環とする。A に係数をもち X を変数(不定元)とする(一変数)形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
Σ _n=0〜∞a nX^n=a0+a1X+a2X^2+・・
の形をしたものである。ある m が存在して n ≧ m のとき an = 0 となるようなものは多項式と見なすことができる。
より形式的な定義
N を非負整数全体の集合とし、配置集合 AN すなわち N から A への関数(A に値を持つ数列)全体を考える。この集合に対し
(an)n∈N+(bn)n∈N:=(an+bn)n∈N
(an)n∈N・(bn)n∈N:=(Σk=0〜n akbn-k)n∈N
によって演算を定めると、AN は環になることが確かめられる。これが形式的冪級数環 A[[X]] である。
ここでの (an) は上の ?anX^n と対応する。
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
あと 276 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.027s