WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Maximum and minimum

Revision #858 → #1397 · back to history

addedGlobal maximum/minimum point549fc04e9974
addedLocal maximum/minimum point8dbd30f91773
addedStrict extremumbc546ce5ca37
addedStrict global maximum iff uniqueaafb16ff1fc5
addedExtrema on compact domainad337fb772e4
addedExtreme value theoreme61fe68b63d4
addedLocation of global extrema3976d29600d7
addedFermat's theorem on critical pointsb824a300aeae
addedMaximum of piecewise function73b940c0638e
addedRectangular enclosure fencing3b67da42ef74
addedNecessary conditions for local maximum (multivariable)148c46282f10
addedSingle critical point implies global minimum (1D)8e1e801f5441
addedLocal but not global minimum in 2D0376b4010eee
addedExtremum of a functional via calculus of variations43902739b2e5
addedMaximal element of a set1792568f13f8
addedLeast upper bound in a supersetb185412ee364
addedLeast vs minimal element in a partial orderc59a69bff606
addedGreatest and maximal element of a poset59e706a5eaec
addedUniqueness of least/greatest in a poset1fc26e0ce48a
addedExtrema in a totally ordered set50054e1281a1
addedFinite chains have max and min10e2d8231c55
addedNatural numbers have no maximumc54ce29b1af1
addedArgument of the maximum (argmax/argmin)4b740696d855