例題集合の相等
12
考え方
証明
整数全体の集合を Z とし, X = {3m+2n|m=Z,n∈Z} とするとき,
Z = X になることを証明せよ。
X CZ かつ XZを示す。 「ACB⇔ (x∈A ならばx ∈ B)」 を用いる。
x∈X とすると, x=3m+2n,m∈Z,n∈Z と表されるから
よって, 「x∈X ならばx ∈ Z」 が成り立つ。
XEZ
すなわち XCZ …. ①
次に, x∈Zとする。 このとき, x=3x+2(-x) より, m = x, n=-x とすると
x=3m+2n,m∈Z,n∈Z と表されるから
よって, 「x∈Zならばx ∈ X」 が成り立つ。
① ② より Z = X
XEX
すなわち
ZCX
②