TheoremBase

Elementary Properties of Sequentially Strict Extrema

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.

Statement

In the setting of The Real Numbers: Standing Notation and Background, let (X,d)(X,d) be a metric space, let A⊆XA\subseteq X, let u,v:A→Ru,v:A\to\mathbb{R}, let xˉ∈A\bar{x}\in A, let c∈Rc\in\mathbb{R} and let λ∈R\lambda\in\mathbb{R} with 0<λ0<\lambda. Sequentially strict maxima and minima are as defined there. Write −u-u, u+cu+c, λu\lambda u and u+vu+v for the functions from AA to R\mathbb{R} whose values at x∈Ax\in A are −u(x)-u(x), u(x)+cu(x)+c, λ u(x)\lambda\,u(x) and u(x)+v(x)u(x)+v(x). Then the following hold.

1. (Negation) The function uu attains a sequentially strict maximum on AA at xˉ\bar{x} if and only if −u-u attains a sequentially strict minimum on AA at xˉ\bar{x}.

2. (Strictness and uniqueness) Suppose uu attains a sequentially strict maximum on AA at xˉ\bar{x}. Then u(x)<u(xˉ)u(x)<u(\bar{x}) for every x∈Ax\in A with x≠xˉx\ne\bar{x}. Consequently xˉ\bar{x} is the only point of AA at which uu attains its maximum value, and in particular the only point of AA at which uu attains a sequentially strict maximum.

3. (Affine changes) If uu attains a sequentially strict maximum on AA at xˉ\bar{x}, then so do u+cu+c and λu\lambda u.

4. (Addition of a function maximised at the same point) Suppose uu attains a sequentially strict maximum on AA at xˉ\bar{x} and that v(x)≤v(xˉ)v(x)\le v(\bar{x}) for every x∈Ax\in A. Then u+vu+v attains a sequentially strict maximum on AA at xˉ\bar{x}.

5. (Restriction) Suppose uu attains a sequentially strict maximum on AA at xˉ\bar{x}, let B⊆AB\subseteq A with xˉ∈B\bar{x}\in B, and let u∣Bu|_{B} denote the restriction of uu to BB. Then u∣Bu|_{B} attains a sequentially strict maximum on BB at xˉ\bar{x}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…