>>971
ふっふ、ほっほ
おとぼけ かい?
biz.kddi.com/content/glossary/d/default/
デフォルト
読み方 : デフォルト
正式名称 : Default
Defaultとは
デフォルトとは、設定や状態が特に指定されていない場合に適用される標準値や初期設定を指します。
コンピューターやソフトウェアの設定において、ユーザーが何も変更しなかった場合に自動的に使用される値やオプションがデフォルトです。
例えば、アプリケーションの初期設定や、ウェブブラウザのホームページ、ファイルの保存先などがデフォルトとして設定されています。
ユーザーはこれらのデフォルト設定を、特定のニーズに応じてカスタマイズすることもできますが、変更しなければそのまま使用されます。
デフォルト設定は、使いやすさや利便性を考慮して設計されており、多くのユーザーにとって最適な選択肢となることが多いです。
このように、デフォルト設定を理解しておくことは、コンピューターやソフトウェアの効率的な利用に役立ちます
(引用終り)
さて、>>931の3)にも書いたが、下記尾畑研pdfに例示がある
自然数のふつうの配列において初めの項を最後尾に並べ替え
n+1,n+2,n+3 ・・・,1,2,・・n-1,n-2,n (13.1) を考える
このとき、下記尾畑研のpdfのように整列順序を定義できる
これは、一つの例だが、少し解説すると 前半(n+1,n+2,n+3 ・・・)と、後半(n-1,n-2,n)に分けて
それぞれに 普通の整列順序を与え、前半と後半の比較では 前半の元 ≦ 後半の元 と定義するってことだ
つまり、もっと言えば 並び”n+1,n+2,n+3 ・・・,1,2,・・n-1,n-2”に 合うように 整列順序の定義を与えるってこと!
即ち、整列可能定理でできた整列順序列に対し、後付けで 整列順序の定義を与えるのです。お分かりかな?w ;p)
これが、今の場合の”デフォルト”の意味です
わかり合えている者同士では、当たり前すぎて 省略可能なのだ ;p)
非標準の例として
(参考)>>920より再録
www.math.is.tohoku.ac.jp/~obata/student/subject/
尾畑研究室 東北大
「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)
www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-13_WellOrdered.pdf
GAIRON-book : 2018/6/21
第13章 整列集合
13.1 整列集合
例13.3 自然数のふつうの配列において初めの項を最後尾に並べ替えると
n+1,n+2,n+3 ・・・,1,2,・・n-1,n-2 (13.1)
これをもとにNに全順序≦が定義されるつまり x,y∈Nに対して
略 整列集合である
x≦y ←→ (i) x≦n,y≦n,x≦y または(ii) x≧n+1,y≧n+1, x≦y または (iii)x≧n+1,y≦n, x≦y
と定義するのであるこのとき全順序集合(N,≦)は整列集合になる
ガロア第一論文と乗数イデアル他関連資料スレ11
レス数が950を超えています。1000を超えると書き込みができなくなります。
973現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/01/03(金) 20:43:18.47ID:QLWcqwtjレス数が950を超えています。1000を超えると書き込みができなくなります。
ニュース
- 【サッカー】日本4-0チュニジア 日本勝利★5 [恐縮です★]
- 【サッカー】日本4-0チュニジア 日本勝利★6 [恐縮です★]
- 【サッカーW杯】4-0 日本代表・森保ジャパン、チュニジアに歴史的4発大勝 アジア勢の1次L連敗を「6」で止めた [阿弥陀ヶ峰★]
- 【サッカー】日本代表、グループリーグ突破しても待ち受けるのは“優勝候補”の絶望 ラウンド32ではブラジルorモロッコが濃厚 [ゴアマガラ★]
- 【サッカー】本田圭佑、日本代表チュニジア戦のMVPは「上田さん、鎌田さん、そして佐野さん」 [恐縮です★]
- 「自衛隊」発言・古賀議員も国会で後悔の涙😭「発言撤回は当然だが、経済的な事情と入隊は無関係ではない」と専門家 [パンナ・コッタ★]
- 【W杯】サッカー日本代表、大勝利🥳🎉⚽ [583597859]
- 【高市悲報】日本代表サポーターのゴミ袋、会場のゴミ箱に入りきらず山積みに🫪ゴミ増やしてないかこれ [359965264]
- 【NTV/NHK-BS/DAZN】FIFAワールドカップ2026 日本vsチュニジア★6
- ぴこぅらと見るワールドカップ日本チュニドラ戦🏡
- 【高市速報】1ドル=161.80円 39年ぶり [487816701]
- 香川2発