Let X be a real vector space
and let Ω⊂X.
The algebraic interior (or core) of Ω is
core(Ω):={x∈Ω ∀v∈X, ∃δ>0 s.t. x+tv∈Ω for all ∣t∣<δ}.Equivalently, x∈core(Ω) iff for every direction v∈X, one can move a small amount from x in the direction v and remain in Ω.
When X is a normed vector space
and Ω is convex
, we have
int(Ω)⊂core(Ω)⊂Ω,where int(Ω) is the usual interior
. See also linear closure
for the dual notion.
Examples:
- If Ω is an open ball in a normed space, then core(Ω)=Ω.
- If Ω is a linear subspace L, then core(L)=L.