ハルトークス数h(X)は"任意の集合X"に対して定めることが出来ます。もし仮にXが整列可能でない場合、Xとh(X)の大小比較ができるとは限りません。 基数の大小比較に於いて、(Xが整列可能でないならば)必ずしもX<h(X)であると言えるわけでは在りませんが、少なくともh(X)≦Xではないことは示せます。</p>
基数の大小比較に於いて、(Xが整列可能でないならば)必ずしもX<h(X)であると言えるわけでは在りませんが、少なくともh(X)≦Xではないことは示せます。</p>
高校数学までだったら数学得意な人ほど明らかにa≦bでないことが示せたら自動的にb<aであることが確定することを疑いなく信じてそうなのに、喉頭数学だとそれが成り立たないっていう常軌を逸してるとしか思えない論理が成り立っててびっくり</p>
Permalink | 記事への反応(0) | 12:00
ツイートシェア