- 大学学部レベル質問スレ 11単位目
696 ：１３２人目の素数さん[sage]：2018/06/07(木) 00:52:03.60 ID:8fgM1ZQ4 - >>689
>>677で
>もちろん1,x,1+xが係数環上で一次従属(=一次独立でない)ことは知っていますよ
>(そんな当たり前なことを一々書いてある本は見たことないですが)
と書いたようだが、そういった可換環FのF-係数多項式やその多項式環F[x]の構成などに関わる話は、
現代数学概説Ⅰや岩波講座基礎数学の環と加群に書いてある。どっちも、ページ数は多い。
現代数学概説ⅰの代数系の話ははじめ群、環と体などの話からはじまり、後半の方でやっと線型代数の話になる。
環と加群の方は群を除いた加群や環から体にかけての話についてはとても詳しいが、
線型代数だと線型空間やJordan標準形と単因子論などからなる同講座の線型代数シリーズの方が詳しい。
後者のシリーズは如何に併読するかが問題だが、そこら辺は読者によって異なると思う。
今だと、それらのような本に沿った線形代数はやってないだろうから、食い違いが起きたんだと思う。
>>687の係数はK(y)の元。
|
- 大学学部レベル質問スレ 11単位目
698 ：１３２人目の素数さん[sage]：2018/06/07(木) 01:03:50.09 ID:8fgM1ZQ4 - >>697
代数の一般論は、係数体が実数体Rや複素数体Cなどのような標数0の位相体になると、
必ずしもその一般論が適用出来るとは限らなくなることがある。
|
- 大学学部レベル質問スレ 11単位目
701 ：１３２人目の素数さん[sage]：2018/06/07(木) 01:36:32.62 ID:8fgM1ZQ4 - >>699
係数体KがRやCだと、Kは完備な位相体で1,x,1+xは関数でもあるので、本来は多項式環だったK[x]を位相線形空間として、
その位相線形空間K[x]上で考える必要性がある。複数あるK[x]のノルムの定義法の中から、
ノルムを選んで定めることなども問題になる。一般にはK[x]のノルムの選び方によって結果は変わる。
そこら辺は自分で。
|
- 大学学部レベル質問スレ 11単位目
703 ：１３２人目の素数さん[sage]：2018/06/07(木) 01:53:00.72 ID:8fgM1ZQ4 - >>700
>1,x,1+xがどう(一次独立であるとした上で)K[x]の基底
K[x]の基底は { x^n | n∈N＼{0} } だった
>()内と[]内のyは同じものですよね？それならK(y)[x,y]=K(y)[x]となり体K(y)係数の一変数多項式環になりますけど
記法間違えた。K[x,y]はK(y)[x]の間違い
|
- 大学学部レベル質問スレ 11単位目
704 ：１３２人目の素数さん[sage]：2018/06/07(木) 02:09:40.90 ID:8fgM1ZQ4 - >>702
はじめ問題にはロンスキアンが出ていたから、係数体はRかCで、1,x,1+xは関数の筈
あとは問題の創作をするかどうか
|