[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
820
(1): 01/30(木)10:54 ID:S0uv3c2L(4/25) AAS
>>811
define an element aα that is in A by setting aα=f(A-{aξ|ξ<α}) if this complement A-{aξ|ξ<α} is nonempty, or leave aα undefined if it is.
Aの元aαを、補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ、あるいはそれが空ならaαを未定義のままとせよ。
選択関数ではなくaαの定義。君は文盲かい?

>つまりは、選択関数は Aの整列までで 十分なのです!! ;p)
独善妄想。
using a choice fiunction f for the family S of all nonempty subsets of A の通り、選択関数の定義域はP(A)-{{}}。
省1
826
(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/30(木)11:30 ID:Xxyr0Rol(6/11) AAS
>>820
>Aの元aαを、補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ、あるいはそれが空ならaαを未定義のままとせよ。
>選択関数ではなくaαの定義。君は文盲かい?

関数とは、対応です(現代数学では)
対応の相手が、未定義ならば
その部分は、関数として未定義だよ
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.035s