Linear functional with closed kernel
ID: linear-functional-with-closed-kernel
A linear functional on a normed vector space is continuous exactly when its kernel is closed. The forward direction follows because zero is closed in the scalar field. Conversely, if , choose with and write . Closedness gives . Since when , . The zero functional is continuous separately. Thus the criterion does not require completeness or the closed graph theorem.
New to topics? Read the docs here!