Question

求问关于数学分析中实数理论的问题，麻烦数学系的前辈高人们帮忙看下~

在看北大版数学分析时，找到了一份关于实数理论和戴德金分划的资料。其中有个引理是关于定义实数加法的。由于自己能力有限，所以想请教各位，在下面的截图中被红色圆圈圈上的集合A={a1+a2| a1∈Ax，a2∈Ay}是具体表示什么意思呢？ 特别是a1+a2是不是指两个分别属于下类Ax，Ay的有理数的和呢？还有，有关这个引理是不是要表明，对于以两个有理数的和的形式也可以进行有理分划，以及实数的构造呢？

先谢谢各位了~
}

Answer 1

这个就是个定义啊，就是
A中的元素就是这种形式，可以写成两个字母的和，凡能满足这样的形式就可以

追问

谢谢，那a1和a2时有理数呗？

追答

这个题目中好像没说 ，x y是实数

Answer 2

A显然是个实数集；表示两个分别属于下类Ax，Ay的有理数的和呢