Balanced set

Summary

A subset of a real or complex vector space is balanced, or circled, if it is stable under scaling. Here scaling means multiplication by any scalar of absolute value at most $1$. In a topological vector space the balanced neighbourhoods of $0$ form a neighbourhood base at $0$. A set that is convex, balanced and absorbing gives a seminorm, through the Minkowski functional.