2016-07-02から1日間の記事一覧
【定義】「\(\mathbb{Q}\)の切断」とは、以下をすべて満たす\(B\)をいう。 ・\(\varnothing\subsetneq B\subsetneq\mathbb{Q}\) ・\(B\)は最大元を持たない ・\(\forall x\in B\forall y\in B^c[x 有理数\(r\)に対し、「\(r\)未満の有理数全体」なる集合を\(…
【定義】「\(\mathbb{Q}\)の切断」とは、以下をすべて満たす\(B\)をいう。 ・\(\varnothing\subsetneq B\subsetneq\mathbb{Q}\) ・\(B\)は最大元を持たない ・\(\forall x\in B\forall y\in B^c[x 有理数\(r\)に対し、「\(r\)未満の有理数全体」なる集合を\(…