Both terms in the graph norm are finite and nonnegative. Moreover, forces , hence ; conversely gives . This proves definiteness of a norm.
The linearity of and absolute homogeneity of a norm give, for each real ,
Applying the triangle inequality in both normed spaces gives
Thus

Articles by others on the same topic (0)

There are currently no matching articles.