17/01/07 13:16:43.62 s9wNyUJV.net
>>357
ついでに、>>2の
>幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
>任意の実数列S に対し，袋をごそごそさぐってそいつと同値な
>(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ
の部分でも選択公理は使われているかも知れないな。
17/01/07 13:16:43.62 s9wNyUJV.net
>>357
ついでに、>>2の
>幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
>任意の実数列S に対し，袋をごそごそさぐってそいつと同値な
>(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ
の部分でも選択公理は使われているかも知れないな。