Infimum and supremum
In mathematics, the infimum or greatest lower bound of a set A, written as [math]\displaystyle{ \inf(A) }[/math], is the greatest element among all lower bounds of A. Similarly, the supremum or least upper bound of A, written as [math]\displaystyle{ \sup(A) }[/math], is the smallest element among all upper bounds of A.[1]
For example, if A is the set [math]\displaystyle{ \{ \tfrac{1}{1}, \tfrac{1}{2}, \tfrac{1}{3}, \ldots \} }[/math], then [math]\displaystyle{ \inf(A) = 0 }[/math] and [math]\displaystyle{ \sup(A) = 1 }[/math]. Infimum and supremum are unique, if they exist.[2][3] Infimum and supremum are key concepts in the field of mathematical analysis.
Related pages
References
- ↑ List of Calculus and Analysis Symbols (in en-US). Math Vault (2020-05-11). Retrieved 2020-10-14.
- ↑ Weisstein, Eric W.. Supremum (in en). mathworld.wolfram.com. Retrieved 2020-10-14.
- ↑
Infimum And Supremum Media
- Error creating thumbnail: About to transcode 1 SVG file(s)
Converting Infimum_illustration.svg to /var/www/html/w/images/temp/transform_9b9299cd294d.png ... org.apache.batik.transcoder.TranscoderException: null Enclosed Exception: file:/var/www/html/w/images/temp/svg_e0fc9443c3769fa17da50375/Infimum_illustration.svg:-1 The attribute "rx" of the element <ellipse> is required at org.apache.batik.transcoder.SVGAbstractTranscoder.transcode(SVGAbstractTranscoder.java:228) at org.apache.batik.transcoder.image.ImageTranscoder.transcode(ImageTranscoder.java:92) at org.apache.batik.transcoder.XMLAbstractTranscoder.transcode(XMLAbstractTranscoder.java:142) at org.apache.batik.transcoder.SVGAbstractTranscoder.transcode(SVGAbstractTranscoder.java:158) at org.apache.batik.apps.rasterizer.SVGConverter.transcode(SVGConverter.java:1008) at org.apache.batik.apps.rasterizer.SVGConverter.execute(SVGConverter.java:719) at org.apache.batik.apps.rasterizer.Main.execute(Main.java:956) at org.apache.batik.apps.rasterizer.Main.main(Main.java:1009) Caused by: org.apache.batik.bridge.BridgeException: file:/var/www/html/w/images/temp/svg_e0fc9443c3769fa17da50375/Infimum_illustration.svg:-1 The attribute "rx" of the element <ellipse> is required at org.apache.batik.bridge.SVGEllipseElementBridge.buildShape(SVGEllipseElementBridge.java:96) at org.apache.batik.bridge.SVGShapeElementBridge.createGraphicsNode(SVGShapeElementBridge.java:60) at org.apache.batik.bridge.GVTBuilder.buildGraphicsNode(GVTBuilder.java:213) at org.apache.batik.bridge.GVTBuilder.buildComposite(GVTBuilder.java:171) at org.apache.batik.bridge.GVTBuilder.buildGraphicsNode(GVTBuilder.java:219) at org.apache.batik.bridge.GVTBuilder.buildComposite(GVTBuilder.java:171) at org.apache.batik.bridge.GVTBuilder.build(GVTBuilder.java:82) at org.apache.batik.transcoder.SVGAbstractTranscoder.transcode(SVGAbstractTranscoder.java:210) ... 7 more ... error (SVGConverter.error.while.rasterizing.file)
A set P of real numbers (hollow and filled circles), a subset S of P (filled circles), and the infimum of S. Note that for totally ordered finite sets, the infimum and the minimum are equal.
A set A of real numbers (blue circles), a set of upper bounds of A (red diamond and circles), and the smallest such upper bound, that is, the supremum of A (red diamond).
supremum = least upper bound
Weisstein, Eric W.. Infimum (in en). mathworld.wolfram.com. Retrieved 2020-10-14.
