Baire Functions

An asymmetric norm is a positive definite sublinear functional p on a real vector space X. The topology generated by the asymmetric norm p is translation invariant so that the addition is continuous, but the asymmetry of the norm implies that the multiplication by scalars is continuous only when restricted to non-negative entries in the first argument. The asymmetric dual of X, meaning the set of all real-valued upper semi-continuous linear functionals on X, is merely a convex cone in the vector space of all linear functionals on X.