Linear Functional

A linear functional on a real vector space is a function , which satisfies the following properties.

1. , and

2. .

When is a complex vector space, then is a linear map into the complex numbers.

Generalized functions are a special case of linear functionals, and have a rich theory surrounding them.