TheoremBase

Sequentially Strict Maxima and Minima on a Subset of a Metric Space

A maximum (or minimum) point at which every maximising (minimising) sequence converges to the point itself, the substitute for a strict extremum when bounded closed sets need not be compact.

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:A→Ru:A\to\mathbb{R}, and let xˉ∈A\bar{x}\in A. A sequence in XX is said to converge when it converges in (X,d)(X,d).

1. (Sequentially strict maximum) The function uu attains a sequentially strict maximum on AA at xˉ\bar{x} if

u(x)≤u(xˉ)for every x∈A,u(x)\le u(\bar{x})\qquad\text{for every }x\in A,

and every sequence (xm)m∈N(x_{m})_{m\in\mathbb{N}} in AA for which the sequence (u(xm))m∈N(u(x_{m}))_{m\in\mathbb{N}} of real numbers converges to u(xˉ)u(\bar{x}) converges to xˉ\bar{x}.

2. (Sequentially strict minimum) The function uu attains a sequentially strict minimum on AA at xˉ\bar{x} if

u(xˉ)≤u(x)for every x∈A,u(\bar{x})\le u(x)\qquad\text{for every }x\in A,

and every sequence (xm)m∈N(x_{m})_{m\in\mathbb{N}} in AA for which the sequence (u(xm))m∈N(u(x_{m}))_{m\in\mathbb{N}} of real numbers converges to u(xˉ)u(\bar{x}) converges to xˉ\bar{x}.

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…