- ベストアンサー
well-definedについて
rinkunの回答
- rinkun
- ベストアンサー率44% (706/1571)
先の質問もあるので一点だけ。 > [ａ]＋[ｂ]＝[ａ＋ｂ] これは定義であることに注意しないといけない。 [ａ]＋[ｂ]は定義なしでもできる演算ではなく、新たに定義したものである。 従ってNo.2の補足に書いたような記述は順番が間違っている。 [ａ＋ｂ]の演算が[ａ]や[ｂ]の代表元ａ、ｂの取り方に依存しないことを言ってから初めて[ａ]＋[ｂ]が定まるのである。
関連するQ&A
- 写像がwell-definedであることを示す問題がわかりません。
写像がwell-definedであることを示す問題がわかりません。 ｍを正の偶数とし、写像ｆ：Z/mZ→Z/2mZを次のように定義する。 ｆ（[a]）=[a^2] ただし、[a]∈Z/mZ，[a^2]∈Z/2mZである。 この写像ｆはwell-definedであることを示せという問題なのですが どうやって示せば良いかわかりません。 どなたか教えていただけると助かります。
- 締切済み
- 数学・算数
- well-defined
e^z = Σ(1/(n!)z^n) cos(x)=Σ(((-1)^n/(2n)!)x^(2n)) sin(x)=Σ(((-1)^n/(2n+1)!)x^(2n+1)) と定義する。 常微分方程式の解の存在と一意性の定理を用いて、上の定義はwell-definedであることを詳しく述べよ。 という問題があるのですが、「well-defined」ってどういうことですか？
- ベストアンサー
- 数学・算数
- 整数における乗法の定義がwell-definedであるとは
整数における乗法の定義を、自然数における移動量の同値類の集合とみた場合に、定義がwell-definedとは その代表元によらず定まることだと思うのですが。 その確かめ方（証明）の記述の仕方で困っています。もしよろしかったらご教授お願いします。
- 締切済み
- 数学・算数
- 代数
自然数ｍ、任意の整数ａに対して、[ａ]＝a＋ｎＺ：＝｛a＋ｍｎ|ｎは整数｝とする。また集合Ｚ/ｍＺ：＝｛[ｘ]|ｘは整数｝と定義する。 （1）整数a,a'に対して、[a]=[a']⇔ a≡a'（mod m）を証明せよ。 ＜←は、[a]≠[a']として、背理法で解けばよいのでしょうか？＞ （２）Z/mZの元[a][b]に対して、[a]＋[b]を[a＋b]とおき、これが演算であることを証明せよ。 ＜[a]∋a+mn,[b]∋b+mn'として解いていっても大丈夫ですか？＞ （３）[a]＋[b]：＝[a＋b]で、Z/mZで可換群になることを証明せよ。 ＜群であることをまず証明し、その後、[a]+[b]=[b]+[a]を示せばよいのですか？あと、（２）の解法のようにすることは可能ですか？＞ 長々となりましたが、＜＞の部分を教えてください。
- 締切済み
- 数学・算数
- 群論の問題です。
群論の問題です。 整数全体がなす加法群Zに対して、G＝Z×Z＝{ ( a,b ) ｜a,b ∈ Z } とおき これを成分ごとの加法 ( a , b )＋( a' , b' )＝( a＋a' , b＋b' ) により群と見なす。 ２元 x = ( 2 , 4 ) , y = ( 6 , 8 )により生成される群Gの部分群Hとし、 写像 φ : G → H を φ(( a , b )) = ( 2a ＋ 6b , 4a ＋ 8b) = ax ＋ by により定義する。ことのきつぎの問いに答えよ。 (１)φは群の同型写像であることを示す。 (２)φによるHの像 K＝ φ (H) ＝ { φ ( h ) | h ∈ H } はGの部分群であることを示す。 (３)GのKによる剰余群 G / H に対して群の同型 G / H ≅ Z / mZ × Z / nZ がなりたつような自然数 m , n で m が n の約数となるものを求める。 (１)、(２)は示すことができたのですが、 (３)の考え方がよくわかりません。 できるだけわかりやすく教えていただけるとうれしいです… よろしくお願いします。
- 締切済み
- 数学・算数
- 同型の証明です。
群論の問題なのですが… 整数全体がなす加法群Zに対して、G＝Z×Z＝{ ( a,b ) ｜a,b ∈ Z } とおき これを成分ごとの加法 ( a , b )＋( a' , b' )＝( a＋a' , b＋b' ) により群と見なす。 ２元 x = ( 2 , 4 ) , y = ( 6 , 8 )により生成される群Gの部分群Hとし、 写像 φ : G → H を φ(( a , b )) = ( 2a ＋ 6b , 4a ＋ 8b) = ax ＋ by により定義する。ことのきつぎの問いに答えよ。 (１)φは群の同型写像であることを示す。 (２)φによるHの像 K＝ φ (H) ＝ { φ ( h ) | h ∈ H } はGの部分群であることを示す。 (３)GのKによる剰余群 G / K に対して群の同型 G / K ≅ Z / mZ × Z / nZ がなりたつような自然数 m , n で m が n の約数となるものを求める。 (１)、(２)は示すことができました。 (３)の証明の方法がよくわかりません… できるだけわかりやすく教えていただけるとうれしいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 代数の問題です。
大学の代数でこのような問題がでて きて、わからないので教えてくださ い 。よろしくお願いします。加法群G=Zの部分群H=nZ(n≧1は 自然数)に関する剰余類aHをa+nZと加 法的に表す。 また、a,b∈Zに対し、a-bがnの倍数 のときa≡b(mod n)と表し、aとbはn を法として合同であるという。 これは、a+nZ=b+nZと同値である。 剰余類の集合G/H=Z/nZをZnと表す。 Cn:位数nの巡回群={e,a,a^2,…a^n-1}a ^n=eとする (1)a≡a′(mod n),b≡b′(mod n)な らば、a+b≡a′+b′(mod n)を示せ 。 これより剰余類の集合Znに(a+Z)+(b+Z )=a+b+Zによって 積(この場合は和)が定義されることを 示し、 Znに群の構造が入ることを示せ。(Zn をnによる剰余類群という。) (2)剰余類群Znは巡回群Cnと同型であ ることを示せ
- ベストアンサー
- 数学・算数
- 代数学の問題なのですが
代数のレポートなのですが、苦手なのでよくわかりません。 一問だけでもいいのでどなたか教えてください。 ｍ、ｎ;互いに素な自然数 ｆ;ｚ/ｍｎｚ → ｚ/ｍｚ×ｚ/nｚをf(a+mnz)=(a+mz,a+nz)と定義する。 (1)fはwell-definedであることを示せ。 (2)fは全単射であることを示せ。 (3)fは(z/mnz)* を(z/mz)* × (z/nz)*の上にうつすことを示せ。 (4)(3)を使ってψ(mn)=ψ(m)ψ(n)を示せ。 お願いします。
- 締切済み
- 数学・算数
- 代数の問題です。
加法群G=Zの部分群H=nZ(n≧1は 自然数)に関する剰余類aHをa+nZと加 法的に表す。 また、a,b∈Zに対し、a-bがnの倍数 のときa≡b(mod n)と表し、aとbはn を法として合同であるという。 これは、a+nZ=b+nZと同値である。 剰余類の集合G/H=Z/nZをZnと表す。 Cn:位数nの巡回群={e,a,a^2,…a^n-1}a ^n=eとする (1)a≡a′(mod n),b≡b′(mod n)な らば、a+b≡a′+b′(mod n)を示せ 。 これより剰余類の集合Znに(a+Z)+(b+Z )=a+b+Zによって 積(この場合は和)が定義されることを 示し、 Znに群の構造が入ることを示せ。(Zn をnによる剰余類群という。) (2)剰余類群Znは巡回群Cnと同型であ ることを示せ
- 締切済み
- 数学・算数
- ファジィ理論の加法の演算子について
理系の大学生です。今、ファジィ理論について勉強しています。 ファジィ集合の加法で使う演算子ですが、 ○のなかに＋という形は排他的論理和、 もしくは集合論の直和の演算子だったと思います。 なぜ、ファジィ集合の加法で使う演算子がこの形をしているのか いまいちイメージができません。 お分かりになる方はぜひ教えてください。 一応、私が読んだファジィ集合の加法の式を書いておきます。 文字化け対策で、演算子を(+)で表しています。 加法：A(+)B ←→μA(+)B(z) =∨(μA(x)∧μB(y)) よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
ありがとうございました。 なんとか解決に至ることができました。