Let XX be a over K∈{R,C}K\in\{\mathbb{R},\mathbb{C}\}, and let M⊂XM\subset X.

  • MM is balanced if λM⊂M\lambda M\subset M whenever λ∈K\lambda\in K and ∣λ∣≤1|\lambda|\le 1. (Equivalently: scaling vectors in MM down by a factor of modulus ≤1\le 1 keeps you inside MM.)
  • MM is absorbing if for every x∈Xx\in X there exists λ>0\lambda>0 such that
    x∈αMwhenever α∈K and ∣α∣≥λ.x\in \alpha M \quad\text{whenever }\alpha\in K\text{ and }|\alpha|\ge \lambda.

(In particular, taking α=λ\alpha=\lambda shows: for each xx there exists some scalar t>0t>0 with x∈tMx\in tM.)

Remarks

Balanced and absorbing sets are the natural hypotheses for defining the and relating it to algebraic interior notions.

Examples
  • In a normed space, the closed unit ball {x:∥x∥≤1}\{x:\|x\|\le 1\} is balanced.
  • In Rn\mathbb{R}^n, any neighborhood of the origin that contains a ball around 00 is absorbing.
  • A proper linear subspace L⊊XL\subsetneq X is balanced, but not absorbing in XX (it cannot "reach" vectors outside LL by scaling).