A sequentially strict maximum is a strict maximum and is attained at only one point; the notion passes to negatives, to affine changes of the function, to the addition of a function already maximised at the same point, and to restriction.
In the setting of The Real Numbers: Standing Notation and Background, let be a metric space, let , let , let , let and let with . Sequentially strict maxima and minima are as defined there. Write , , and for the functions from to whose values at are , , and . Then the following hold.
1. (Negation) The function attains a sequentially strict maximum on at if and only if attains a sequentially strict minimum on at .
2. (Strictness and uniqueness) Suppose attains a sequentially strict maximum on at . Then for every with . Consequently is the only point of at which attains its maximum value, and in particular the only point of at which attains a sequentially strict maximum.
3. (Affine changes) If attains a sequentially strict maximum on at , then so do and .
4. (Addition of a function maximised at the same point) Suppose attains a sequentially strict maximum on at and that for every . Then attains a sequentially strict maximum on at .
5. (Restriction) Suppose attains a sequentially strict maximum on at , let with , and let denote the restriction of to . Then attains a sequentially strict maximum on at .
Loading…
No relations recorded yet.