- ベストアンサー
群論の問題です。
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
同値関係の定義を本で確認して、 三つの公理を覚えておきましょう。 (1)は、推移律が不成立。 (3)は、反射律が不成立です。 (2)は、同値関係になっていますね。
関連するQ&A
- 数学における群論のテキストの一番最初
ある集合が群である、というのは”2項演算があり、結合法則があり、単位元、逆元がある”、そして2項演算に可換法則が成り立つとアーベル群である、と書いてあります。群論の本の2ページ目ぐらいです。 さらに実数全体の集合に和という演算は上記すべてが成り立つので実数全体の集合はアーベル群である、ということです。 ここで、素朴な疑問ですが、”実数全体の集合は加法演算に対してアーベル群である”と書かれるとなるほどとなりますが、ある2項演算という制限をなくして実数全体がアーベル群であると言ってもいいのでしょうか。すなわち、何か１つの演算でもその性質を満たせばそういうものだ、ということになるのでしょうか。 ”実数全体の集合がアーベル群である”と断定するとそれが後でどう影響していくのかを見ていくとわかるのかも知れませんが。 よろしくお願いします。
- 締切済み
- 数学・算数
- 群論の問題です。
群論の問題です。 整数全体がなす加法群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 の約数となるものを求める。 (１)、(２)は示すことができたのですが、 (３)の考え方がよくわかりません。 できるだけわかりやすく教えていただけるとうれしいです… よろしくお願いします。
- 締切済み
- 数学・算数
- 同値関係の問題です。
Xを整数全体の集合とし、Xの任意の元２つについて、それらの間の関係～を差が７で割り切れる（商が負数の場合も含めて）と定める。 このとき、集合Xと同値関係～について、次の問いに答えよ。 （１） C（０）はどのような数の集合であるか。 （2） C（３）はどのような数の集合であるか。 ヒントだけでもいいのでお願いします。
- ベストアンサー
- 数学・算数
- 商集合の問題です
X1、X2を実数全体の集合とし、XをX1とX2の積集合とする。Xの任意の元ｘ＝〈x1,x2〉、ｙ＝〈y1,y2〉についてｘ～ｙをx1=y1と定めるとき、次の問いに答えよ。 (1)関係～はX上の同値関係であることを示せ。 (2)～による同値類C(〈０，０〉)はXの中のどのような部分集合となるか。 (3)商集合X/～はどのような集合とみなされるか。 ＊定義 関係～を集合X上の同値関係とする。Xの任意の元aに対して、aと～関係のあるXの元全体の集合をC(a)とするとき、すなわち C(a)＝｛ｘ∈X：ｘ～a} とおくとき、C(a)をaを含む同値類という。 集合Xとその上の同値関係～について同値類をそれぞれ１つの元とみなす集合をXの～による商集合といい、X/～で表す。 すなわち、X/～＝{C(a)：a∈X} とする。 ヒントだけでもお願いします。
- 締切済み
- 数学・算数
- 同値関係の問題で困っています。
同値関係の問題で困っています。 ・整数Zにおいて、次の関係Rは同値関係であることを証明せよ。 aRb ⇔ ∃k∈Z,3a+b=4k ・Rの２乗における次の関係Rは同値関係であることを証明せよ。 (a,b)R(c,d) ⇔ a=c,∃k∈Z,b-d=2kπ の２問がわかりません。 面倒くさいかもしれませんが１つでもいいのでお願いします。
- ベストアンサー
- 数学・算数
- 数学の問題がわかりません。
(1)複素数平面上に３つの複素数z(1)=(1/2)+(√(3)/2)i , z(2)=i , z(3)=z(1)+z(2)を図示することにより、tan(5/12)πは何か？ (2)また、0でない複素数z=x+yi(x,yは実数)に対して、w=z^(2)+1/z^(2)とおく。wの実部が正となる条件は何か？ (3)次に、1≦|x|+|y|≦√(2)のとき、wの虚部が0以上となるようなzの存在する範囲の面積は何か？ わかる方、できれば詳しく教えてもらえるとありがたいです。御手数かけます。 お願い致します。
- 締切済み
- 数学・算数
- 商写像の問題です
商写像の問題です。 Z:整数全体の集合 複素平面C上の同値関係～を z～z'⇔z-z'∈Z 商集合Y=C/～と 射影p:C→Yを考える。 Yに商位相を導入し、位相空間とみなす。 (1)C上の写像 f(z)=c(z+i) (c∈C,i:複素数) に対し、写像g:Y→Yでp・f=g・pとなるものが存在するための係数cの条件を求めよ。 (2)(1)において写像gが存在するとき、gは連続であることを示せ。 pが連続かつ開写像といいたいのですが、どの条件からいえますか？ Yに商位相を導入するだけでpは連続かつ開写像なんですか？ (1)はfが連続となるための条件を求めると言い換えていいですよね？
- ベストアンサー
- 数学・算数
- 実数全体の集合,超実数全体の集合,複素数全体の集合の包含関係は?
超実数なるものを知りました。 「公理:Rは完備順序体である 公理:R*はRの真拡大順序体である Rを実数体,R*を超実数体と言い、それぞれの元を実数,超実数と言う」 といったものですが 実数全体の集合,超実数全体の集合,複素数全体の集合の包含関係はどうなっているのでしょうか? また、実数は直線,複素数は縦軸を書き足して平面として表す事が出来ますよね。超実数はこれらに何を書き足して表されるのでしょうか?
- ベストアンサー
- 数学・算数
- 集合の表し方(訂正)
集合の表し方のＮが自然数全体の集合、Ｚが整数全体の集合のとき次の集合を要素の条件を述べて表せ。 ５で割ると２余る正の整数全体の集合という問題で {５ｎ＋２｜ｎ∈Ｚ}と解いたと書いたんですが、{５ｎ＋２｜ｎ∈Ｎ}の間違いです。これで合っているでしょうか？ よろしくお願いします。
- 締切済み
- 数学・算数
お礼
ありがとうございます！