主題
Search

下確界


下確界是集合 S的最大下界,定義為一個量 m,使得集合中沒有成員小於 m,但是如果 epsilon 是任何量,無論多麼小,總有一個成員小於 m+epsilon (Jeffreys and Jeffreys 1988)。當它存在時(這個定義不要求它一定存在,例如,infR 不存在),下確界表示為 infSinf_(x in S)x。下確界在 Wolfram 語言 中實現為MinValue[f, constr, vars].

考慮具有通常順序的實數。那麼對於任何集合 M subset= R,下確界 infM 存在(在 R 中)當且僅當 M有下界且非空的時候。

更正式地,仿射擴充套件實數 R^_=R union {+/-infty} 的(非空)子集 S 的下確界 infS 是最大的值 y in R^_,使得對於所有 x in S,我們有 x>=y。使用這個定義,infS 總是 存在,特別地,infR=-infty

只要下確界存在,其值就是唯一的。


另請參閱

下確界極限, 下界, 上確界

此條目的部分內容由 Jerome R. Breitenbach 貢獻。

使用 探索

參考文獻

Croft, H. T.; Falconer, K. J.; 和 Guy, R. K. Unsolved Problems in Geometry. New York: Springer-Verlag, p. 2, 1991.Jeffreys, H. 和 Jeffreys, B. S. "Upper and Lower Bounds." §1.044 in Methods of Mathematical Physics, 3rd ed. Cambridge, England: Cambridge University Press, p. 13, 1988.Knopp, K. Theory of Functions Parts I and II, Two Volumes Bound as One, Part I. New York: Dover, p. 6, 1996.Royden, H. L. Real Analysis, 3rd ed. New York: Macmillan, p. 31, 1988.Rudin, W. Real and Complex Analysis, 3rd ed. New York: McGraw-Hill, p. 7, 1987.

在 上被引用

下確界

請按如下方式引用

Breitenbach, Jerome R.Weisstein, Eric W. "Infimum." 來自 Web 資源。 https://mathworld.tw/Infimum.html

學科分類