设 是一个具有 下界 的 非空集合 实数。如果一个数
满足以下性质,则称其为
的最大下界(或下确界,记为
) 当且仅当 它满足以下性质
1. 对于所有 ,
。
2. 对于所有实数 ,如果
是
的 下界,则
。
设 是一个具有 下界 的 非空集合 实数。如果一个数
满足以下性质,则称其为
的最大下界(或下确界,记为
) 当且仅当 它满足以下性质
1. 对于所有 ,
。
2. 对于所有实数 ,如果
是
的 下界,则
。
此条目的部分内容由 Lik Hang Nick Chan 贡献
Chan, Lik Hang Nick 和 Weisstein, Eric W. "最大下界。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/GreatestLowerBound.html