[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★3 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
445(3): １３２人目の素数さん [] 2023/05/20(土) 14:05:07.13 ID:DUuKu5O2(1) AAS
>>441
∞が集合だとするなら、一般に部分集合S,T⊂Rに対して
・x→Sのときのf(x)→A(Aは実数)
・x→aのときのf(x)→S(aは実数)
・x→Sのときのf(x)→T
の定義を「数式で」書いて頂けますか？
もしS,Tに関する条件が必要ならそれも明記願います
476(1): １３２人目の素数さん [] 2023/05/21(日) 16:05:07.17 ID:ngge4WVO(1) AAS
>>473
2行目、また定義域と言ってますが∞は集合であり関数ではないので定義域なる概念は元々ないですよ
>>445と>>470に対して御回答願いますか？
546: １３２人目の素数さん [] 2023/05/24(水) 23:27:00.03 ID:P6glq12k(1) AAS
>>445>>470に回答してあげてね
568(1): １３２人目の素数さん [] 2023/05/25(木) 13:19:01.37 ID:uCDtIfLO(1/4) AAS
自然数を定義する方法はいくつかあるけども、その一つの方法として1という記号(1が嫌なら〒でも☆でも良い)で生成される半群Sの元、というものがあります
この半群Sというのは1を「有限回」演算したものの全体として定義され、当然無限大なるものはSに含まれません(もちろんone of 無限大も含まれません)
これが普通の数学における自然数の定義です
一方、高木数学では無限大である自然数が存在する(>>392>>395)ので、高木数学と普通の数学は異なる体系です
ところで、私の質問(>>445>>470)への回答はまだでしょうか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s