Core Characterized by Absorbing Translations

A point lies in core(Ω) iff translating Ω by that point makes it absorbing
Core Characterized by Absorbing Translations

Let XX be a and ΩX\Omega\subset X be nonempty. For xXx\in X, consider the translate Ωx:={wxwΩ}\Omega-x:=\{w-x\mid w\in\Omega\} (using ).

Proposition: A point xXx\in X lies in if and only if Ωx\Omega-x is an , i.e., for every vXv\in X there exists λ>0\lambda>0 such that vα(Ωx)v\in \alpha(\Omega-x) for all scalars α\alpha with αλ|\alpha|\ge \lambda.

Context: This characterization turns the “two-sided line” definition of the core into a scaling condition that is often easier to check in practice.