用 表示非空实数集 的全部上界。已知 、。对每个 都要求 ,求参数 的全部可能值。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先求所有上界形成的集合,注意原集没有最大值,上界集仍可能有最小值。
有 和 :任意小于2或3的数,分别都能在原开区间内找到更大的元素。题设等价于 ,当且仅当 。故 。
b=2虽不属于C,却属于C的上界集,正是必要性所需的临界值。a=1时最小平移上界为3,仍合法。
上界与最大元素是不同概念;含任意量词的平移条件由最小上界控制。
先求所有上界形成的集合,注意原集没有最大值,上界集仍可能有最小值。
已记下,谢谢!