大学数学について質問です

質問

以下の問題が分かりません
どなたかご教示お願いします

この投稿のマルチメディアは削除されているためご覧いただけません。

回答No.4

muturajcp

Aは集合Nの部分集合の集合で、
(a)A≠φ
(b)x,y∈A→x∪y∈A
(c)(x∈A)∧(y⊂x)→y∈A
の条件を満たすとする。

(a')
(a)A≠φだからx∈Aとなるxが存在する
(x∈A)∧(φ⊂x)だから(c)から
φ∈A

(b')F={f|N→N}とする
f,g,h∈Fに対して,
f≠hとすると
f=gならばg≠h
だから
(f≠g)∨(g≠h)
が成り立つ

(c')
Fの関係f～gを{x∈N|f(x)≠g(x)}∈Aで定義すると
1)反射律
{x∈N|f(x)≠f(x)}=φ∈Aだから
f～f(反射律成立)
2)対称律
f～gとすると→{x∈N|f(x)≠g(x)}∈A
→{x∈N|g(x)≠f(x)}∈A
→g～f(対称律成立)
3)推移律
f～g,g～hとすると
↓
{x∈N|f(x)≠g(x)}∈A
{x∈N|g(x)≠h(x)}∈A
↓(b)から
{x∈N|f(x)≠g(x)}∪{x∈N|g(x)≠h(x)}∈A

x∈{x∈N|f(x)≠h(x)}とすると
f(x)≠g(x)のときx∈{x∈N|f(x)≠g(x)}
f(x)=g(x)のときg(x)=f(x)≠h(x)→x∈{x∈N|g(x)≠h(x)}
→x∈{x∈N|f(x)≠g(x)}∪{x∈N|g(x)≠h(x)}
{x∈N|f(x)≠h(x)}⊂{x∈N|f(x)≠g(x)}∪{x∈N|g(x)≠h(x)}
↓(c)から
{x∈N|f(x)≠h(x)}∈A
→f～h(推移律成立)
∴
～は同値関係である

回答No.3

noname#171951

＞N…自然数

つまり、２とか１０とかの数ですか？
集合ではなく？

＞F(N)…部分集合

”何の”部分集合ですか？

＞⊃…集合の包含関係

ちがうはずです。
それだと意味がとれないから。

＞≠…不一致(x≠yはxとyが等しくないことを表す)

最後の設問から、”=”が定義されて
ませんが、どうやって”等しくない”を
定義するのでしょう？

回答No.2

Tacosan

#1 に加えて「どこでどう困っているのか」も.

回答No.1

noname#171951

いくつか確認です。

N、F(N)、⊃、≠などの記号の定義は？
　その情報がないと答えられません。

補足

N…自然数
F(N)…部分集合
⊃…集合の包含関係
≠…不一致(x≠yはxとyが等しくないことを表す)