人気ポスト
実数のかけ算の定義はよくわからないのだが、割り算を定義すれば有理数はいけるのか?無理数はそのものを定義するのではなく、n乗根やπなどを個別に定義する感じ?
メニューを開くみんなのコメント
メニューを開く![](https://rts-pctr.c.yimg.jp/BgIFgYJGVIVv8u0nVJvw8B2FauAYMF4jOP5zFJAV4i5e72TLbER0xQeK1l8ZZ0OLP2svaz8Q13a2Inp4Z0WbNrT96BN0RR92l5f5YMXVVqKdnpV0mjxylvg8TEdw8xvaEqYo6G9mMRPYh4FuvGNsO72ynVVv-YKDfLY_bgs4Wj3dkpI262EdrimHDH_l6qKyET-S8SpIyBPkfLwDNMG5afzT9vv2ai5RLbd4lXOm52g=)
有理数までは自然数から構築できる Agdaにもそのまま入ってる 冪根とかは体の拡大、つまり基底を足すことになる。この辺りがガロア理論 実数は有理数の完備化を使う。でも超実数を使う方法の方が簡単かも ℕ → ℙ を選択公理を使って整列する。無限小の差の同値類を作って商集合で実数
実数のかけ算の定義はよくわからないのだが、割り算を定義すれば有理数はいけるのか?無理数はそのものを定義するのではなく、n乗根やπなどを個別に定義する感じ?
メニューを開く有理数までは自然数から構築できる Agdaにもそのまま入ってる 冪根とかは体の拡大、つまり基底を足すことになる。この辺りがガロア理論 実数は有理数の完備化を使う。でも超実数を使う方法の方が簡単かも ℕ → ℙ を選択公理を使って整列する。無限小の差の同値類を作って商集合で実数