- 締切済み
整域
33550336の回答
- 33550336
- ベストアンサー率40% (22/55)
>連続関数とは微分できるということですよね・・・? 違います。 連続関数の定義はε-δによるもので微分は関係ありません。 ちなみに補足に書いてある零因子の定義も違います。 定義を再確認してもう一度考えましょう。 最後に、答えだけ言っておくと整域にはなりません。
関連するQ&A
- 応用代数の環に関する問題です。
応用代数の環に関する問題です。 Rを区間[0,1]上で定義された実数値連続関数の全体とする。このとき、Rの任意の2元f, gに加法"+"と乗法"・"を (f+g)(x)=f(x)+g(x) , (f・g)(x)=f(x)g(x) (∀x∈[0,1]) で定義すると、Rは環となる。さらに、任意のc∈[0,1]を固定し、f(c)=0となるRの元fの全体をJcとする。このとき、JcはRの極大イデアルとなることを示せ。 ただし、準同型定理と 「Iは極大イデアル⇔R/Iは体」を使ってよい。 この問題を教えてください。お願いします。
- ベストアンサー
- 数学・算数
- テンソル積について
加群のテンソル積についての問題です。 『Rを可換環とする。1変数R係数多項式環R[X]、R[Y]に対して、 R[X](×)R[Y]が2変数R係数多項式環R[X,Y]に環として同型である』 という問題で、射として φ:f(X)(×)g(Y)→f(X)g(Y) を考えればよいと答にはあるのですが、この射が加法に関して準同型にならなくて困っています。具体的には、 φ((f(X)(×)g(Y))+(f'(X)(×)g'(Y))) =φ((f(X)+f'(X))(×)(g(Y)+g'(Y))) =(f(X)+f'(X))*(g(Y)+g'(Y)) =f(X)*g(Y)+f(X)*g'(Y)+f'(X)*g(Y)+f'(X)*g'(Y) となり、一方 φ(f(X)(×)g(Y))+φ(f'(X)(×)g'(Y)) =f(X)*g(Y)+f'(X)*g'(Y) となってしまい、 φ((f(X)(×)g(Y))+(f'(X)(×)g'(Y)))=φ(f(X)(×)g(Y))+φ(f'(X)(×)g'(Y)) が成立しなくなってしまうのですが、どこか間違っているところがあるのでしょうか? 個人的には、テンソル積の和がおかしいのかな、という風には思っています。
- 締切済み
- 数学・算数
- ε論法、イマイチ使いこなせないんで助けてください!
関数f(x),g(x)が点aで連続であるならば、関数の積f(x)g(x)も点aで連続であることを、ε論法を用いて示したいのですが、いまいちε論法がわかってなくて使いこなせないのです…。どなたか教えてください。
- 締切済み
- 数学・算数
- 完備化で
有利数体Qから次のようにして連続の公理をみたす順序体Kが構成される。有理数列でコーシー列となるものの全体をAとする。Aは数列の和、積(An)+(Bn)=(An+Bn)、(An)(Bn)=(AnBn)により可換環となる。今二つのAの元(An)、(Bn)はAnーBn→0(n→∞)のとき同値であると定義する。(An)と同値なAの元全体の集合を[An]と記し、このような[An]全体の集合をRとする。このときAにおける和、積からRにも和、積が定義されRは可換環となるが実はRは体となることを示せ。 東京大学出版の解析入門からですがこの問題が解けなくて困っています、よろしくお願いします。
- ベストアンサー
- 数学・算数
- 実部Realf(z)が上に有界な整関数は定数である。
実部Realf(z)が上に有界な整関数は定数である。 証明 Realf(z)<Mとすれば g(z)≡1/[2M-f(z)]は有界な整関数となり定数。よって定数と書いてあるが、 g(z)が有界な整関数はなぜですか。 宜しくお願いします
- ベストアンサー
- 数学・算数
お礼
たびたびありがとうございます。 零因子ではなく、整域の定義でした・・・