- 締切済み
数学の幾何学の問題がわからないです。
- みんなの回答 (2)
- 専門家の回答
みんなの回答
- sunflower-san
- ベストアンサー率72% (79/109)
まず、これは通常幾何学とはいいません。代数学、もっといえば整数論の問題です。 (1) 整数 m が x +(4の倍数) の形の数なら、m は x +(2の倍数)の形の数でもあります。 つまり写像 f は矛盾なく定義されます(= well-definedです) (2) 整数 m が x +(2の倍数) の形の数で n が y+(3の倍数) の形の数なら、mn はつねに xy+ (6の倍数)の形の数になるでしょうか? そうでないと g は矛盾を含み、定義になりませんよね。 もし g が well-defiend であるなら、例えば g([0]2, [1]3) = [0]6 ......(式 a) ですよね? 一方で、 g([2]2, [1]3) = [2]6 ......(式 b) です。 いま、(2 -0)/2 ∈ Z なので [0]2 = [2]2 です。つまり、(式 a)の左辺 = (式 b)の左辺 一方、(2 -0)/6 ∉ Z なので [0]6 ≠ [2]6 です。つまり、(式 a)の右辺 ≠ (式 b)の右辺 これは明らかに矛盾してますね。 つまり、g は well-defined ではない(定義になってない)わけです。
- stomachman
- ベストアンサー率57% (1014/1775)
x~ny ってのは、差がnの倍数であるもの同士は「おんなじ」としましょ、ということ。言い換えれば「nで割った余りが同じ」という同値関係です。 (1)はですね、たとえばx(∈Z)から[x]2への写像というのなら全然問題ない。けれども、[x]4から[x]2への写像を考えるんですから、「4で割った余りがある値aであるような数xなら、どんなxでも答[x]2が同じになる(つまり、答は余りaだけで決まる)」ということが成立っていないといけない。これがwell definedということです。 (2)の方も同様に、[x]2と[y]3から[xy]6への写像を考えるには、「2で割った余りがある値aであるような数xと、3で割った余りがある値bであるような数yであれば、どんなx,yでも答[xy]6が同じになる(つまり、答がa,bだけで決まる)」ということが成立たなくちゃいけない。
関連するQ&A
- 幾何学の問題がわかりません。
fを集合Xから集合Yへの写像、gを集合Yから集合Zへの写像とする。つぎを証明せよ。 1、fおよびgが単射ならばfとgの合成gfも単射である。 2、fおよびgが全射ならばfとgの合成gfも全射である。 3、|X|<_|Y|で||<_|Z|ならば|X|<_|Z|である。 この問題が分からないのですが教えて頂けないでしょうか。
- 締切済み
- 数学・算数
- 写像がwell-definedであることを示す問題がわかりません。
写像がwell-definedであることを示す問題がわかりません。 mを正の偶数とし、写像f:Z/mZ→Z/2mZを次のように定義する。 f([a])=[a^2] ただし、[a]∈Z/mZ,[a^2]∈Z/2mZである。 この写像fはwell-definedであることを示せという問題なのですが どうやって示せば良いかわかりません。 どなたか教えていただけると助かります。
- 締切済み
- 数学・算数
- 大学数学の次の問題がわかりません。わかる方、教えてください。
大学数学の次の問題がわかりません。わかる方、教えてください。 位相空間Xにおいて、次の二つは同値となることを示せ。 (1)Xの可算個の閉集合F_n(n=1,2,3,...)に対してA=∪(n=1~∞)F_nが内点をもてば、少なくとも一つのF_nは内点を持つ。 (2)Xの可算個の開集合G_nがXで稠密ならばA=∩(n=1~∞)G_nもXで稠密である。 お願いします。
- 締切済み
- 数学・算数
- 代数学の問題なのですが
代数のレポートなのですが、苦手なのでよくわかりません。 一問だけでもいいのでどなたか教えてください。 m、n;互いに素な自然数 f;z/mnz → z/mz×z/nzを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)を示せ。 お願いします。
- 締切済み
- 数学・算数
- 大学数学の次の問題がわかりません。わかる方、教えてください。
大学数学の次の問題がわかりません。わかる方、教えてください。 位相空間Xにおいて、次の二つは同値となることを示せ。 (1)Xの可算個の閉集合F_n(n=1,2,3,...)に対してA=∪(n=1~∞)F_nが内点をもてば、少なくとも一つのF_nは内点を持つ。 (2)Xの可算個の開集合G_nがXで稠密ならばA=∩(n=1~∞)G_nもXで稠密である。 参考書には系として載っていて、F_n=G_n^cとおけばよいと書かれていました。 それで∩(n=1~∞)G_n=(∪(n=1~∞)G_n^c)^cを使うのかな、と思いましたがそこから分かりません。
- 締切済み
- 数学・算数
- 微分幾何の問題です
f(x, y, z) = (xy, z) で定義される写像 f: S^2 → R^2 がある。 [1] f の臨界点の集合 C_f と臨界値の集合 f(C_f) を求めよ。 [2] [1] で求めた f(C_f) の測度は 0 といえるか。 [1] は、JF を計算すると、1行目が (y, x, 0) で、2行目が (0, 0, 1) の行列になりました。 よって、(x, y, z) ∈ S^2 が臨界点であるためには y = x = 0 よって、C_f = { (0, 0, 1), (0, 0, -1) }、f(C_f) = y軸 正解だという自信がないのですが、これで正しいでしょうか。 [2] がわからないので教えてください。
- 締切済み
- 数学・算数
- 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」ってどういうことですか?
- ベストアンサー
- 数学・算数