[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む13 [転載禁止]©2ch.net (654ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されているため､ｷｬｯｼｭを表示しています｡過去ﾛｸﾞﾒﾆｭｰ
227(1): 現代数学の系譜11 ガロア理論を読む 2015/04/29(水)14:32 ID:6XYDeD+q(14/25) AAS
>>220
>Without Zorn’s lemma, there are only two, because the noncontinuous automorphisms are nonmeasurable,*1 and it is known that the Zorn’s lemma is required to construct nonmeasurable functions.*2
> 1) A fairly elementary theorem of G. Mackey says that measurable homomorphisms of Lie groups are continuous
> (see Theorem B.3, p. 198 of Zimmer, Robert J., Ergodic theory and semisimple groups. Birkh¨auser,1984.)
> 2)“We show that the existence of a non-Lebesgue measurable set cannot be proved in Zermelo-Frankel set theory (ZF) if use of the axiom of choice is disallowed...” R. Solovay, Ann. of Math., 92 (1970), 1?56.
１）there are only two：ここは上記の自明と、非自明な自己同型 複素共役の二つ
because the noncontinuous automorphisms are nonmeasurable,*1：”measurable homomorphisms of Lie groups are continuous”の対偶だね。Lie groupsなんだ・・
省6
228(2): 現代数学の系譜11 ガロア理論を読む 2015/04/29(水)14:37 ID:6XYDeD+q(15/25) AAS
>>227
つづき
In mathematics, a non-measurable set is a set which cannot be assigned a meaningful "size". The mathematical existence of such sets is construed to shed light on the notions of length, area and volume in formal set theory.
The notion of a non-measurable set has been a source of great controversy since its introduction. Historically, this led Borel and Kolmogorov to formulate probability theory on sets which are constrained to be measurable.
The measurable sets on the line are iterated countable unions and intersections of intervals (called Borel sets) plus-minus null sets.
These sets are rich enough to include every conceivable definition of a set that arises in standard mathematics, but they require a lot of formalism to prove that sets are measurable.
In 1970, Solovay constructed Solovay's model, which shows that it is consistent with standard set theory, excluding uncountable choice, that all subsets of the reals are measurable.
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 4.295s