• 検索結果がありません。

回演習問題解答例

N/A
N/A
Protected

Academic year: 2021

シェア "回演習問題解答例"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

離散数学第

14

回演習問題解答例

2016721

1

Z上の関係

aba3=b3 は同値関係であることを証明せよ.

解答

反射律,対称律,推移律を満たすことを示せばよい.

[反射律]

a3=a3より aa [対称律]

a3=b3ならばb3=a3であるから,ba [推移律]

abかつbcのとき,a3=b3かつb3=c3 このとき,a3=c3より,ac

以上より,同値関係である.2

2

Z上の関係

ab⇔ ∃kZ, (a+b) = 2k

1

(2)

は同値関係であることを証明せよ.

解答

1と同様に反射律,対称律,推移律を満たすことを示せばよい. [反射律]

aZを任意の整数とする.このとき,a+a= 2aより2の倍数であるから,aa [対称律]

(a+b) = 2kなら(b+a) = 2kであるから,ba [推移律]

任意の整数a, b, c Zとし,a bかつb cが成り立つとする.このときk, k Zがあり,

(a+b) = 2k(b+c) = 2kとする.辺々を足し合わせると(a+c) = 2(k+kb)k+kb は整数であるため,(a+c)2の倍数である.したがって,ac

以上より,同値関係である.2

3

Mnn×n行列全体の集合とする.A, BMnに対して,

AB ある正則行列P が存在して,B =P1AP とする.

このとき,は同値関係であることを証明せよ.

解答 [反射律]

AMnに対してA=E1AE なので,AA [対称律]

A B ならば正則行列 P s.t. B = P1AP.このとき,Q = P1 は正則行列であり,

A=Q1BQとなる.よって,B A

[推移律]

A B か つ B C と す る .正 則 行 列 P s.t. B = P1AP か つ 正 則 行 列 S s.t. C = S1(P1AP)S =R1ARが成り立つ.よって,AC

以上より,は同値関係である.2

2

(3)

4

任意の集合A, B と任意の関数f :ABを考える.

A上の関係:

任意のx, yAに対して,xy f(x) =f(y) とする.このとき,が同値関係であることを証明せよ.

解答 [反射律]

f(x) =f(x)より xx [対称律]

xyとする.このとき,f(x) =f(y)よりf(y) =f(x)であるから,yxとなる.

[推移律]

x yy zとする.このときf(x) = f(y)かつf(y) = f(z)よりf(x) = f(z)であるから,

xzとなる.

以上より,は同値関係である.2

5

(x1, x2), (y1, y2)N2

(x1, x2)(y1, y2)(x1+y2=x2+y1) のとき,が同値関係となることを証明せよ.

解答 [反射律]

x1+x2=x2+x1より (x1, x2)(x1, x2) [対称律]

(x1, x2)(y1, y2)とする.このとき,x1+y2 =x2+y1より,y1+x2 =y2+x1であるから,

(y1, y2)(x1, x2)となる.

3

(4)

[推移律]

(z1, z2)N2とし,(x1, x2)(y1, y2)(y1, y2)(z1, z2)とする.このとき,

x1+y2=x2+y1かつy1+z2=y2+z1より,この2つの式の辺々を足すとx1+z2=x2+z1 したがって,xz

以上より,は同値関係である.2

4

参照