ガロア第一論文と乗数イデアル他関連資料スレ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

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

あと 860 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.019s