有理数集

来自GSXAB的知识库

有理数集(the set of rational numbers)是全体有理数构成的集合

记号

有理数集
对象名称 有理数集
对象记号 [math]\displaystyle{ \mathbb{Q} }[/math]
Latex
\mathbb{Q}
对象类别 集合

有理数集通常记作 [math]\displaystyle{ \mathbb{Q} }[/math]

字符
Unicode码位 U+2115 Double-Struck Capital Q[1]
Latex命令序列
\mathbb{Q}


性质

可数集,势为 ℵ₀

代数结构:

  • 关于有理数集上的加法构成交换群 [math]\displaystyle{ \langle\mathbb{Q},+,0\rangle }[/math] ,即有理数加群。
  • 非零部分(非零有理数集 [math]\displaystyle{ Q^* }[/math])关于有理数集上的乘法构成交换群,即非零有理数乘法群。[math]\displaystyle{ \langle\mathbb{Q}^*,\times,1\rangle }[/math]
  • 关于有理数上的加法乘法构成一个,即有理数域,是素域

序结构:

  • 有理数上的小于等于关系 [math]\displaystyle{ \leq }[/math] 是一个全序

琐事

记号来源

字母 Q 来自意大利语 quoziente(同英语 quotient ,商)[2][3]