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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
235
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)18:14 ID:xSRlEtRO(9/17) AAS
戻る

 >>83-84 より再録
fr.wikipedia.org/wiki/Axiome_du_choix_d%C3%A9nombrable
Axiome du choix dénombrable 仏語 可算選択の公理
(google訳)
たとえば、集合S ⊆ Rの累積点xがS \{ x }の要素シーケンスの極限であることを証明するには、可算選択公理の (弱い形式) が必要です。任意の計量空間の累積点について定式化すると、このステートメントは AC ω 3と等価になります。
誤解
省10
237: 01/13(月)18:41 ID:2LyGh2G/(9/10) AAS
>>235
>戻る
未練がましい
いくらコピペを重ねても「ZFで実数は存在しない」なる間違いが正しくなることは無い
239
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)19:08 ID:xSRlEtRO(11/17) AAS
>>235-236より

1)可算選択の公理なしで、コーシー列の収束が言えることと
 上記 fr.wikipedia 可算選択公理における下記の記述とは、矛盾しない と思う
”Theorem 1.1 ([15], [29], [30]). Equivalent are:
1. in R, a point x is an accumulation point of a subset A iff there exists a sequence in A\{x} that converges to x,
2. a function f : R → R is continuous at a point x iff it is sequentially continuous at x,
3. a real-valued function f : A → R from a subspace A of R is continuous iff it is sequentially continuous,
省17
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.035s