2015-04-23から1日間の記事一覧
有理数全体の集合を\(\mathbb{Q}\)とする。\(A=\{r\in\mathbb{Q}|r > 0\wedge r^2 が\(\mathbb{Q}\)において上限\(c\)を持つと仮定し、\(c\in A\)と\(c\notin A\)のいずれを仮定しても矛盾が生じることを見る。\(1\in A\)から\(c(\geq 1) > 0\)である。\(\di…
有理数全体の集合を\(\mathbb{Q}\)とする。\(A=\{r\in\mathbb{Q}|r > 0\wedge r^2 が\(\mathbb{Q}\)において上限\(c\)を持つと仮定し、\(c\in A\)と\(c\notin A\)のいずれを仮定しても矛盾が生じることを見る。\(1\in A\)から\(c(\geq 1) > 0\)である。\(\di…