[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
203(1): ◆pObFevaelafK [sage] 2023/07/06(木)13:18 ID:ZjvkAF85(7/19)
>>202
何を書いてるのでしょうか？全て合成数だと改定して矛盾を導いているんですけど。
pが合成数であるときに、pとrとの一対一対応の関係を設定できることを証明しています。
この一対一対応という意味は、一つのpに対して複数のrが関係しないということと
その逆もそうなるということです。
206(1): １３２人目の素数さん [sage] 2023/07/06(木)13:28 ID:NUvBufzk(6/6)
>>203
すべてのpが合成数だと仮定してるならn=4やn=17の例を考えても意味がない(仮定に反してるので)
君の表記で言えば、関係[p,r]が1対1対応と言うためには
(1) well-defined性: すべてのpについて、関係[p,r]を満たすようなrが一意に存在すること
(2) 全射性: すべてのrについて、関係[p,r]を満たすようなpが存在すること
(3) 単射性: 異なるp1,p2に対して、関係[p1,r]と関係[p2,r]をどちらも満たすようなrが存在しないこと
を証明する必要がある
ので、これらを証明してください
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s