有理数
提供: Mathpedia
[math] \newcommand{\mathsetextension}[1]{% \left\{ #1 \right\}% } \newcommand{\mathsetintension}[2]{% \left\{ #1 \left| #2 \right.\right\}% } \newcommand{\mathof}[2]{% \mathop{#1}\left(#2\right)% } \newcommand{\mathnat}{\mathbb{N}} \newcommand{\qed}{\blacksquare} \newcommand{\mathrelbar}{\mathrel{|}} [/math]
有理数(ゆうりすう、 Rational number)とは、 最小の順序体の元のことを指す。
有理数の定義・基本的性質
この節では有理数全体の定義や基本的な性質を述べる。
定義 1 (有理数)
有理数全体とは、最小の順序体のことである。
一意性
有理数は同型を除いて一意に定まる。
