ぴあのん『続・闇空間Rの性質』＠第8回関西すうがく徒のつどい #kansaimath

選択公理bot、便利だ #kansaimath #kansaimath303

2016-03-20 12:59:28

実体の例: ℚ，ℝ，実体Kの有理関数体K(x) #kansaimath #kansaimath303

2016-03-20 13:00:44

順序づけは一意ではない #kansaimath #kansaimath303

2016-03-20 13:01:04

ここから非Archimedes的 #kansaimath #kansaimath303

2016-03-20 13:01:25

Archimedes的実体はRの部分環に同型。Rの異常性だ #kansaimath #kansaimath303

2016-03-20 13:01:29

Rmk. アルキメデス的実体はℝの部分環に同型 #kansaimath #kansaimath303

2016-03-20 13:01:32

s.t.fake @st_fake

非アルキメデス的実体...気持ち悪いなあ #kansaimath303

2016-03-20 13:02:04

Kが実閉体⟺Kは実体でKの代数拡大で実体となるのはKのみ #kansaimath #kansaimath303

2016-03-20 13:02:44

代数拡大体のうち実体となるのは自分自身のみとなる実体を実閉体という #kansaimath #kansaimath303

2016-03-20 13:02:51

任意の実体に対して実閉包が一意に存在 #kansaimath #kansaimath303

2016-03-20 13:03:20

実閉包の「一意」性 #kansaimath #kansaimath303

2016-03-20 13:03:22

実代数的数体は実閉体早口言葉にできそう #kansaimath #kansaimath303

2016-03-20 13:04:17

結城浩 @hyuki

ああ、今日・明日は関西すうがく徒のつどいをやってるんですね。 kansaimath.tenasaku.com/?page_id=1259

2016-03-20 13:04:18

実代数的数体\bar{ℚ}∩ℝ #kansaimath #kansaimath303

2016-03-20 13:04:22

実ワヘイ体 #kansaimath #kansaimath303

2016-03-20 13:04:48

実閉体の特徴付け #kansaimath #kansaimath303

2016-03-20 13:05:22

Hilbertの第17問題 #kansaimath #kansaimath303

2016-03-20 13:06:22

実閉体≒中間値の定理が成立 #kansaimath #kansaimath303

2016-03-20 13:06:32

あきら @kogamin

ここで中間値の定理か～ #kansaimath

2016-03-20 13:07:03

RCFｗｗｗｗｗｗｗｗｗｗｗｗ #kansaimath #kansaimath303

2016-03-20 13:07:48

Artin-Schreierが実閉体の理論を展開した動機はHilbertの17問題 #kansaimath #kansaimath303

2016-03-20 13:07:52

れんま @tononro

体について実閉体であることと、任意の一変数多項式について中間値の定理が成り立つこと、ルート-1を付け加えると代数閉体になることが同値。#kansaimath #kansaimath303

2016-03-20 13:08:04

玲於奈 @reonaarticle

実閉体はfirst orderでdefinable. #kansaimath303 #kansaimath

2016-03-20 13:08:45