16/05/14 19:19:17.38 +yz6go6a.net
>>105
> 可算無限の数列を、有限数列の積み上げでなく、最初から無限列を扱っているってこと
雰囲気としては
(1)無限を直接扱う
無限個のRの元を扱って無限列を構成する
(2)有限の極限として間接に扱う
有限個のRの元と(選択公理を使って)1個のR^Nの元を扱って無限列を構成する
16/05/14 19:19:17.38 +yz6go6a.net
>>105
> 可算無限の数列を、有限数列の積み上げでなく、最初から無限列を扱っているってこと
雰囲気としては
(1)無限を直接扱う
無限個のRの元を扱って無限列を構成する
(2)有限の極限として間接に扱う
有限個のRの元と(選択公理を使って)1個のR^Nの元を扱って無限列を構成する