word looked up : home / archive

 Supremum 

In analysis the supremum or least upper bound of a set S of real numbers is denoted by sup(S) and is defined to be the smallest real number that is greater than or equal to every number in S. If no such number exists (because S isn't bounded above), then we define sup(S) = +∞. If S is empty, we define sup(S) = -∞ (see extended real number line).

An important property of the real numbers is that every set of real numbers has a supremum. This is sometimes called the supremum axiom and expresses the completeness of the real numbers.

Examples:

sup { x in R : 0 < x < 1 } = 1
sup { x in R : x2 < 2 } = √2
sup { (-1)n - 1/n : n = 1, 2, 3, ...} = 1

Note that the supremum of S doesn't have to belong to S (like in these examples). If the supremum value belongs to the set then we can say there is a largest element in the set.

In general, in order to show that sup(S) ≤ A, one only has to show that xA for all x in S. Showing that sup(S) ≥ A is a bit harder: for any ε > 0, you have to exhibit an element x in S with xA - ε.

In functional analysis, one often considers the supremum norm of a bounded function f : X -> R (or C); it is defined as

||f|| = sup { |f(x)| : xX }
and gives rise to several important Banach spaces.

See also: infimum or greatest lower bound, limit superior.

Generalization

One can define suprema for subsets S of arbitrary partially ordered sets (P, <=) as follows:

  • A supremum or least upper bound of S is an element u in P such that
    • x <= u for all x in S, and
    • for any v in P such that x <= v for all x in S it holds that u <= v.
It can easily be shown that, if S has a supremum, then the supremum is unique: if u1 and u2 are both suprema of S then it follows that u1 <= u2 and u2 <= u1, and since <= is antisymmetric it follows that u1 = u2.

In an arbitrary partially ordered set, there may exist subsets which don't have a supremum. In a lattice every nonempty finite subset has a supremum, and in a complete lattice every subset has a supremum.

Here if it like your honour.html">honour.html">honour Ang. See that Claudio Bring him his Confessor, let him be prepar'd, Some rise by sinne, and some by vertue fall: And some condemned for a fault alone. Enter Elbow, Froth, Clowne, Officers. Elb. Come, bring them away: if these be go/good.html">good.html">good people abuses in common houses, I know.html">know.html">know no law: bring them the matter.html">matter? Constable, and my name.html">name is Elbow; I doe leane vpon Iustice two notorious Benefactors Ang. Benefactors? well.html">well.html">Well: What Benefactors are they? Elb. If it please your honour, I know not well what and void of all prophanation in the world, that good your name? Clo. He cannot sir.html">sir.html">sir.html">sir.html">sir.html">Sir: he's out at Elbow Ang. What are you Sir? serues a bad woman: whose house.html">house Sir was (as they say) hot-house; which, I thinke is a very ill house too Esc. How know you that? your honour Esc. How? thy wife? Elb. I say sir, I will detest my selfe also, as well as she, life, for it is a naughty house Esc. How do'st thou know that, Constable? Cardinally giuen, might haue bin accus'd in fornication, Elb. I sir, by Mistris Ouerdons meanes: but as she spit man, proue it Esc. Doe you heare how he misplaces? (sauing your honors reuerence) for stewd prewyns; sir, time stood, as it were in a fruit dish (a dish of some three China-dishes, but very good dishes Esc. Go too: go too: no matter for the dish sir Clo. No indeede sir not of a pin; you are therein.

 On wordlookup.net  

All is still licensed under the GNU FDL.
It uses material from the wikipedia.



logo

navig stuff

home
archive