ガロア第一論文と乗数イデアル他関連資料スレ13

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

141: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/04(火) 16:04:09.21 ID:+HgMDnV2

皆さま お楽しみ中、お邪魔です ；ｐ）

>>118
>◆yH25M02vWFhPは、次元定理の「背後の数学の構造」が全く分かってない
>だから>>115みたいなことを平気で言う
>次元定理のステートメント、確認してみ？
>おまえが想像してるものと全然違うから
>https://ja.wikipedia.org/wiki/%E9%9A%8E%E6%95%B0%E3%83%BB%E9%80%80%E5%8C%96%E6%AC%A1%E6%95%B0%E3%81%AE%E5%AE%9A%E7%90%86

えーと、おサルさん>>7-10
いきなり 難しい定理のサイトに飛んで 消化不良ですよ
まず 順番として 下記 高校数学の美しい物語 次元定理の意味，具体例，証明
さらに 数学の風景 線形写像の次元定理dim V = rank f + dim ker fの証明
を見なさい。後者は、図解が美しいよ。

その上で 英 wikipedia
”等しい有限次元のベクトル空間の線型変換の場合、単射性または全射性のいずれかが全単射性を意味することになります。
（原文 It follows that for linear transformations of vector spaces of equal finite dimension, either injectivity or surjectivity implies bijectivity.）”
が、キモです。百回音読しましょうねｗ ；ｐ）

(参考)
https://manabitimes.jp/math/1077
高校数学の美しい物語
次元定理の意味，具体例，証明  2021/03/07
行列における次元定理
A を m×n 実行列とするとき，
rankA+dim(KerA)=n
目次
次元定理について
具体例
次元定理のイメージ
次元定理の証明
次元定理について
rankA は
A のランク（階数）です。→行列のランクの意味（８通りの同値な定義）
dim は次元，
KerA は
A のカーネル（核）です。→行列のカーネル（核）の性質と求め方

「ランク，次元，カーネルってなんだ，全部初耳だよ」って方は，以下の具体例とイメージを見てなんとなく雰囲気をつかんでください。
次元定理は行列に対してではなく一般の線形写像について述べられることも多いです。ただし意味はほとんど同じなので，行列の場合できちんと理解しておけばOKです。
Wikipediaでは「階数・退化次数の定理」と呼ばれています。

次元定理の証明（分かり易い 原文参照請う）
略す

https://mathlandscape.com/rank-ker-dim/
数学の風景
線形写像の次元定理dim V = rank f + dim ker fの証明 2023.05.10

証明
Imf,Kerf はベクトル空間であったことに注意(→ 線形写像の像(Im),核(Ker)の定義とそれが部分空間になる証明)。

V の基底になっていることを示すには，
それらが一次独立であること
任意の v∈V がそれらの一次結合でかけること
を示せばよい。順番に示していこう。
略す

つづく

http://rio2016.5ch.net/test/read.cgi/math/1738367013/141

142: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/04(火) 16:04:36.10 ID:+HgMDnV2

つづき

英 wikipedia
https://en.wikipedia.org/wiki/Rank%E2%80%93nullity_theorem
Rank–nullity theorem
(google訳)
ランク-ヌル定理（階数零定理）
階数零定理は線型代数学の定理であり、次のことを主張します。
略す
したがって、等しい有限次元のベクトル空間の線型変換の場合、単射性または全射性のいずれかが全単射性を意味することになります。
（原文 It follows that for linear transformations of vector spaces of equal finite dimension, either injectivity or surjectivity implies bijectivity.）

再定式化と一般化
この定理は、ベクトル空間の場合の代数学の第一同型定理の記述であり、分割補題に一般化されます。

より現代的な言葉で言えば、この定理はベクトル空間の短完全列はそれぞれ分割される、と表現することもできる。
略す

A third fundamental subspace
When T:V→W is a linear transformation between two finite-dimensional subspaces, with
n=dim(V) and m=dim (W) (so can be represented by an m×n matrix M),
the rank–nullity theorem asserts that if T has rank r, then n−r is the dimension of the null space of M, which represents the kernel of T.
In some texts, a third fundamental subspace associated to T is considered alongside its image and kernel: the cokernel of T is the quotient space
W/Im(T), and its dimension is m−r.
This dimension formula (which might also be rendered
dim Im(T)+dimCoker(T)=dim(W)
together with the rank–nullity theorem is sometimes called the fundamental theorem of linear algebra.[7][8]

再定式化と一般化
この定理は、ベクトル空間の場合の代数学の第一同型定理の記述であり、分割補題に一般化されます。
より現代的な言葉で言えば、この定理はベクトル空間の短完全列はそれぞれ分割される、と表現することもできる。
0→U→V→R→0
はベクトル空間の短完全列 であるので、
U⊕R≅Vしたがって
dim（U）+ dim（R）=dim（V）.
略す
We see that we can easily read off the index of the linear map
T from the involved spaces, without any need to analyze
T in detail. This effect also occurs in a much deeper result: the Atiyah–Singer index theorem states that the index of certain differential operators can be read off the geometry of the involved spaces.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1738367013/142

143: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/04(火) 16:04:55.51 ID:+HgMDnV2

つづき

ついでに
独 wikipedia
https://de.wikipedia.org/wiki/Rangsatz
Rangsatz
Der Rangsatz oder Dimensionssatz ist ein Satz aus dem mathematischen Teilgebiet der linearen Algebra. Er zeigt einen Zusammenhang zwischen den Dimensionen der Definitionsmenge, des Kerns und des Bildes einer linearen Abbildung zwischen zwei Vektorräumen auf.
（google 英訳）
Table of contents
1 Sentence
2 Proofs
2.1 Proof of the Homomorphism Theorem
2.2 proof by basis completion
3 reversal
4 generalization

仏 wikipedia
https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_du_rang
Théorème du rang
（google 英訳）
Rank theorem
In mathematics , and more precisely in linear algebra , the rank theorem links the rank of a linear application and the dimension of its kernel . It is a corollary of an isomorphism theorem . It can be interpreted by the notion of linear application index .
In finite dimension, it allows in particular to characterize the invertibility of a linear application or of a matrix by its rank.
(引用終り)
以上

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

146: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/04(火) 16:33:49.38 ID:+HgMDnV2

>>131
(引用開始)
>>129の「」には反例がある
つまり、線形空間の次元が無限濃度の場合
単に同じ濃度の線形独立なベクトルが張る空間が
元の空間より真に小さい場合があり得る
だから次元定理はもっと精密な言い方をしてるが
◆yH25M02vWFhPは勝手に粗視化してる
有限次元でOKだから無限次元でもそうなる、
と考えるのはあさはか
(引用終り)

なるほど >>111 の ja.wikipedia 基底 (線型代数学) で
en.wikipedia で 該当の Basis (linear algebra) では
”This article deals mainly with finite-dimensional vector spaces. ”の一言があるね （ja.wikipediaの記述が滑っているか） ；ｐ）

ついでに、”Proof that every vector space has a basis”貼るよ
”This proof relies on Zorn's lemma, which is equivalent to the axiom of choice. Conversely, it has been proved that if every vector space has a basis, then the axiom of choice is true.[9]”

(参考)
https://en.wikipedia.org/wiki/Basis_(linear_algebra)
Basis (linear algebra)
This article deals mainly with finite-dimensional vector spaces.
However, many of the principles are also valid for infinite-dimensional vector spaces.
Basis vectors find applications in the study of crystal structures and frames of reference.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1738367013/146

147: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/04(火) 16:34:09.89 ID:+HgMDnV2

つづき

Proof that every vector space has a basis
Let V be any vector space over some field F. Let X be the set of all linearly independent subsets of V.

The set X is nonempty since the empty set is an independent subset of V, and it is partially ordered by inclusion, which is denoted, as usual, by ⊆.

Let Y be a subset of X that is totally ordered by ⊆, and let LY be the union of all the elements of Y (which are themselves certain subsets of V).

Since (Y, ⊆) is totally ordered, every finite subset of LY is a subset of an element of Y, which is a linearly independent subset of V, and hence LY is linearly independent. Thus LY is an element of X. Therefore, LY is an upper bound for Y in (X, ⊆): it is an element of X, that contains every element of Y.

As X is nonempty, and every totally ordered subset of (X, ⊆) has an upper bound in X, Zorn's lemma asserts that X has a maximal element. In other words, there exists some element Lmax of X satisfying the condition that whenever Lmax ⊆ L for some element L of X, then L = Lmax.

It remains to prove that Lmax is a basis of V. Since Lmax belongs to X, we already know that Lmax is a linearly independent subset of V.

If there were some vector w of V that is not in the span of Lmax, then w would not be an element of Lmax either. Let Lw = Lmax ∪ {w}. This set is an element of X, that is, it is a linearly independent subset of V (because w is not in the span of Lmax, and Lmax is independent). As Lmax ⊆ Lw, and Lmax ≠ Lw (because Lw contains the vector w that is not contained in Lmax), this contradicts the maximality of Lmax. Thus this shows that Lmax spans V.

Hence Lmax is linearly independent and spans V. It is thus a basis of V, and this proves that every vector space has a basis.

This proof relies on Zorn's lemma, which is equivalent to the axiom of choice. Conversely, it has been proved that if every vector space has a basis, then the axiom of choice is true.[9] Thus the two assertions are equivalent.
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1738367013/147

159: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/04(火) 17:48:23.66 ID:+HgMDnV2

>>148-150
>線形空間の基底と、線型位相空間の基底は、異なる
>前者は有限和しか考えないが、後者は無限和を考える
>線形「位相」空間という所以である

下記だね
ja.wikipedia 基底 (線型代数学) 及び  河東泰之， 線形代数と関数解析学
『かわりに有用なのは，任意のベクトルを無限個のベクトルの線形結合で表すことである．ヒルベルト空間では，これを実現する正規直交基底を取ることがいつでもでき，有限次元空間とよく似た話が無限次元でも展開できる．フーリエ級数はその具体例として大変重要なものである．』
だね

(参考)
https://ja.wikipedia.org/wiki/%E5%9F%BA%E5%BA%95_(%E7%B7%9A%E5%9E%8B%E4%BB%A3%E6%95%B0%E5%AD%A6)
基底 (線型代数学)
関連概念
解析学
そのような基底の概念で極めて重要なものとしては、ヒルベルト空間上の正規直交基底やノルム線型空間上のシャウダー基底（英語版）およびマルクシェヴィチ基底（英語版）が挙げられる。

これらの基底概念に共通する特徴は、全体空間を生成するのに基底ベクトルの無限線型結合までを許すことである。
これにはもちろん、無限和が意味を持つような空間（位相線型空間）を考えることが必要である。
位相線型空間は非常に広範なベクトル空間のクラスであり、例えばヒルベルト空間やバナッハ空間あるいはフレシェ空間といったものを含む。

無限次元空間に対してこれら異種の基底が優先されるのは、バナッハ空間においてはハメル基底は「大きすぎる」という事実によるものである。即ち、X が完備な無限次元ノルム空間（つまりバナッハ空間）のとき、X の任意のハメル基底が非可算となることがベールの範疇定理から従う。先の主張における完備性の仮定は無限次元の仮定同様に重要である。

例
フーリエ級数論において、函数系 {1} ∪ {sin(nx), cos(nx) : n = 1, 2, 3, …} が、区間 [0, 2π] 上の実（または複素）数値自乗可積分函数、即ち
略す
を満たす函数全体の成す実（または複素）線型空間の「正規直交基底」となることを知るはずである。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1738367013/159

160: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/04(火) 17:48:44.94 ID:+HgMDnV2

つづき

https://www.ms.u-tokyo.ac.jp/~yasuyuki/
河東泰之(かわひがしやすゆき) (Google Scholar Page)
https://www.ms.u-tokyo.ac.jp/~yasuyuki/surikagaku.htm
河東泰之の「数理科学」古い記事リスト
https://www.ms.u-tokyo.ac.jp/~yasuyuki/suri0806.pdf
6.河東泰之， 線形代数と関数解析学，「数理科学」 Vol.46-6, pp.39-43, サイエンス社，2008

1. はじめに
線形代数は線形空間とその上の線形作用素を取り扱う．
ごく基礎的な部分は線形空間が有限次元でも無限次元でも違いはないが，線形代数の中心的な話題，すなわち対角化，ジョルダン標準形，ランクの話などは，線形空間が有限次元でないと話がうまく進まない．
そもそも行列を具体的に書く話が線形代数の中心であり，無限サイズの行列は最初から話に入っていない．
この意味で通常の線形代数は有限次元の理論であると言ってもさしつかえない．
これを無限次元で考察するのが関数解析学である．
しかし，単に無限次元の線形空間やその上の線形作用素を考えたのでは，手がかりが少なすぎて，意味のある一般論はほとんど何も展開できない．
そこで新たな手法が必要になる．それが収束の概念である．
これを導入し，位相的な考察を加えた無限次元の線形代数が関数解析学である．
そもそもなぜ「関数」解析というのだろうか．それはさまざまな関数のなす無限次元空間が基本的な対象だからである．
関数解析学成立の重要な動機を与えたのは，微分(あるいは積分)方程式と量子力学である．
これら二つについては本号の特集でそれぞれ別に記事があるのでここでは詳しいことは書かないが，
前者については関数が出てくるのは当然であり，後者についてもさまざまな関数が物理的状態を表すものとして現れることに注意しておこう．
以下，線形代数が無限次元でどのような形を取るのか見ていくことにする．

2. ヒルベルト空間とバナッハ空間
まず線形作用素の前に線形空間がなければ話が始まらない．通常の線形代数では，基底の話は重要であるが，それ以外にはあまり中身のある話はない．たとえば線形空間の公理自体にたいして中身があるわけではない．通常の微分積分学では，数列の収束が基本的な概念である．
略
線形空間としての基底，すなわち任意のベクトルを有限個の基底ベクトルの線形結合で表せるものはいつでも存在するが，無限次元線形空間でそのようなものを考えてもほとんど役に立たない．
かわりに有用なのは，任意のベクトルを無限個のベクトルの線形結合で表すことである．ヒルベルト空間では，これを実現する正規直交基底を取ることがいつでもでき，有限次元空間とよく似た話が無限次元でも展開できる．フーリエ級数はその具体例として大変重要なものである．
これに対し，一般のバナッハ空間の設定では基底の一般論はやっかいであり，あまりはっきりした結果は得られない．
ノルムがうまく定められないが自然に位相の入る線形空間もあり，さまざまなクラスが研究されているが簡単のためここでは省略する．
以下略
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1738367013/160

180: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/05(水) 00:12:42.77 ID:Md2R2j9H

>>160
>任意のベクトルを無限個のベクトルの線形結合で表すことである．ヒルベルト空間では，これを実現する正規直交基底を取ることがいつでもでき，有限次元空間とよく似た話が無限次元でも展開できる．フーリエ級数はその具体例として大変重要なものである．

これ、選択公理を使うだろうと思って調べていた
下記 山上滋先生 名大 関数解析入門 『命題4.5.ヒルベルト空間の正規直交基底は必ず存在する。（全然一意的ではないが。）
Proof.基本的なアイデアはの直交化であるが、正式にはのZorn補題を使う。各自、確かめよ』
ですね （＾＾

(参考)
https://www.math.nagoya-u.ac.jp/~yamagami/teaching/teaching.html
授業記録 山上滋 名大
https://www.math.nagoya-u.ac.jp/~yamagami/teaching/functional/zokuron2017.html
解析学 2017
テキストである 関数解析入門２０１７ の三分の二程を、 進度予定表に沿って行う
https://www.math.nagoya-u.ac.jp/~yamagami/teaching/functional/hilbert2017.pdf
関数解析入門 山上滋 2017
目次
略す

作用素解析とのつながりを意識した関数解析入門である。予備知識としては、フーリエ解析とルベーグ積分の初歩を仮定する。例えば、次の講義ノート程度のことを知っていれば十分であろう
（URL二つ略す）
予備知識以上に大事なのが利用のしかたである。これは、知識とか技能を習得するためのものではない。数学を実践するための題材提供が主たる目的なので、各自の問題意識に応じて、緩急自在にいくつかある課題に取り組んで欲しい。他は、それに至る準備に過ぎない

1．道の糧など
このように、関数の間に「距離」を設定すると、ベクトル空間における内積から導入されるそれと形式上よく似たものであることがわかってくる。このことをより組織的に行うと、微積分の線型代数化、あるいは無限次元線型代数としての解析学、といった側面が見えてくる。これが、関数解析学の基本的なアイデアである。さて、ユークリッド空間の位相については知っていることであろうが、そもそもユークリッド空間とは何か説明できるだろうか

これは、いうなれば、高校以来慣れ親しんできた幾何ベクトルとその内積を逆算的に用いて定義としたもので、卑怯といえば卑怯な方法である。しかし、こう割り切ることで、ユークリッド空間およびその幾何学が実数の性質に帰着するものであることが容易に把握できるようになる。悪くない定義だと思うのだがどうだろうか。なお、こういった形式的な定義が、物理現象（主に光）に由来する空間認識と一致すべき先験的な理由は何もないのだが、非常に良く幾何学的直感となじんでいるのも事実

Ｐ26
略 をみたすとき、正規直交基底と呼ぶ
すぐ後でみるように、この逆も成り立つ

命題4.5.ヒルベルト空間の正規直交基底は必ず存在する（全然一意的ではないが）
Proof.基本的なアイデアはの直交化であるが、正式にはのZorn補題を使う。各自、確かめよ

正規直交基底の濃度を考えているヒルベルト空間Ｈの次元といい、dim Ｈで表す
正規直交基底の濃度は正規直交基底のとり方によらないのであるが、その確認には多少の議論を要する
以下ではとくに断らない限り可算次元のヒルベルト空間を扱うものとする

つづく

http://rio2016.5ch.net/test/read.cgi/math/1738367013/180

191: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/05(水) 10:50:53.01 ID:hl9U/ln8

>>182 補足

・Hilbert spaceの Hilbert dimension は、下記
"As a consequence of Zorn's lemma, every Hilbert space admits an orthonormal basis; furthermore, any two orthonormal bases of the same space have the same cardinality, called the Hilbert dimension of the space.[94]"
(which may be a finite integer, or a countable or uncountable cardinal number).
・”The Hilbert dimension is not greater than the Hamel dimension (the usual dimension of a vector space).”
　”As a consequence of Parseval's identity,[95] 略 ”
・なお、>>146-147 "Proof that every vector space has a basis"では、有限和は 陽には使われていない
　なので ”The set X is nonempty since the empty set is an independent subset of V, and it is partially ordered by inclusion, which is denoted, as usual, by ⊆.
　Let Y be a subset of X that is totally ordered by ⊆, and let LY be the union of all the elements of Y (which are themselves certain subsets of V).
　Since (Y, ⊆) is totally ordered, every finite subset of LY is a subset of an element of Y, which is a linearly independent subset of V, and hence LY is linearly independent. Thus LY is an element of X. Therefore, LY is an upper bound for Y in (X, ⊆): it is an element of X, that contains every element of Y.
　As X is nonempty, and every totally ordered subset of (X, ⊆) has an upper bound in X, Zorn's lemma asserts that X has a maximal element. In other words, there exists some element Lmax of X satisfying the condition that whenever Lmax ⊆ L for some element L of X, then L = Lmax.”
　とやっているので、⊆ による順序は Hilbert space でも そのまま使える
　あとは、直交基底と 位相的な収束の話を 色付けすれば、よさそうだ

(参考)
https://en.wikipedia.org/wiki/Hilbert_space
Hilbert space

Hilbert dimension
As a consequence of Zorn's lemma, every Hilbert space admits an orthonormal basis; furthermore, any two orthonormal bases of the same space have the same cardinality, called the Hilbert dimension of the space.[94] For instance, since l^2(B) has an orthonormal basis indexed by B, its Hilbert dimension is the cardinality of B (which may be a finite integer, or a countable or uncountable cardinal number).

The Hilbert dimension is not greater than the Hamel dimension (the usual dimension of a vector space).

As a consequence of Parseval's identity,[95] if {ek}k ∈ B is an orthonormal basis of H, then the map Φ : H → l^2(B) defined by Φ(x) = ⟨x, ek⟩k∈B is an isometric isomorphism of Hilbert spaces: it is a bijective linear mapping such that
⟨Φ(x),Φ(y)⟩l^2(B)=⟨x,y⟩H
for all x, y ∈ H. The cardinal number of B is the Hilbert dimension of H. Thus every Hilbert space is isometrically isomorphic to a sequence space l^2(B) for some set B.

http://rio2016.5ch.net/test/read.cgi/math/1738367013/191

202: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/05(水) 13:33:23.30 ID:hl9U/ln8

＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]

>>199
(引用開始)
>n → 可算無限 にできそうな気がする （すぐには 成否の判断ができないが）
>mとnの２重数学的帰納法で証明できるかも・・、しらんけど
できません。
数学的帰納法の結論は「任意の自然数に関する命題P(n)が真」です。
高校数学からやり直した方が良いのでは？
(引用終り)

ふっふ、ほっほ
それ、下記の”F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である”
の証明 by 都築暢夫 広島大 (いま東北大)
が間違っていると？ それ 都築暢夫先生に教えてあげてね！ｗ ；ｐ）

なお、おサルさん>>7-10は
存在を示す 選択公理（選択関数）のポジティブな面を見ようとせず
ネガティブな面のみを強調するが、それ 自分の数学レベルの低さを自白しているに等しい

(参考)
（rio2016.5ch.net/test/read.cgi/math/1736907570/16 より再録）
www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I 都築暢夫 広島大
F を体とする
P3
例3.2.多項式環F[x]. F[x]nは1,x,··· ,xnを基底に持つn+1次元線形空間である
F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である
証明. 1,x,··· ,xnがF[x]nの基底になること: 1,x,··· ,xnがF[x]nを生成することは明らか
a0,··· ,an∈Fに対してa0+a1x+···+anxn=0とするとき、a0=a1=···an=0となることをnに関する帰納法で証明する
n=0のときは明らか。n−1まで成り立つとする。x=0とすると、a0=0である
(a1+ a2x+···+anxn−1)x=0より、a1+a2x+···+anxn−1=0である
帰納法の仮定から、a1=···an=0となる。よって、1,x,··· ,xnは一次独立である
したがって、1,x,··· ,xnはF[x]nの基底になる■
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1738367013/202

209: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/05(水) 21:48:23.72 ID:Md2R2j9H

メモ貼ります

https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0
多項式環
体上の一変数多項式環 K[X]
冪級数
→詳細は「形式冪級数」を参照
非零の項を無限個含むことも許すという別の方向で冪指数を一般化することにより、冪級数が定義される。ここではコーシー積における和が有限和であることを保証するために、冪指数に用いるモノイド N に対していくつかの仮定を課す必要がある。あるいは環のほうに位相を導入して、無限和を収束するものだけに限ることもできる。N として標準的な非負整数全体を選ぶならば問題は何もなく、形式冪級数環を N から環 R への写像全体として定義することができ、和は成分ごと、積はコーシー積で入れることができる。形式冪級数環は多項式環の完備化と見ることができる。

https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数
多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。

http://yuyamatsumoto.com/
Yuya MATSUMOTO Junior Associate Professor at Department of Mathematics, Faculty of Science and Technology, Tokyo University of Science (2023/04 –).
http://yuyamatsumoto.com/ed/kanron.pdf
環論講義ノート
松本雄也(matsumoto.yuya) 2023年03月05日

6 B.2形式冪級数環と収束冪級数環. . . . . 67

B.2 形式冪級数環と収束冪級数環
本小節では環は可換とする． Aを環とする．直積集合A[[X]] := AN に対し，多項式環と同様に加法と乗法を定める

B.2.2 収束冪級数環
Aに適切な構造が入っていれば，冪級数の収束や収束半径を考えることができる．ここではA=Cの場合のみ考える．Cの原点上の近傍での正則関数を考えると，そのTaylor展開が考えられ，収束半径は正の実数または無限大である．r>0に対し，Br :={ n≥0anzn |収束半径はr以上である} とする（条件を言い換えると，limsupn→∞(an)1/n ≤ 1 r である）．Br はC[[z]] の（真の）部分環であり，r < r′ のときBr ⊋ Br′である．また，r≥0に対し，Br+:= s>rBsとおくと，Br+もC[[z]]の（真の）部分環であり，r>0に対しBr ⊋Br+である．これらの環の元に有限個の負冪の項を加えた級数からなる環も考えられる（形式ローラン級数の場合と同様に，1元zによる局所化でもある）．

http://rio2016.5ch.net/test/read.cgi/math/1738367013/209

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

あと 791 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.019s