Let be a character of . Put . Sincewe have , so the restriction of to is nonzero. Part e gives a point such that this restriction is . For , multiplicativity givesand hence .
If is continuous, thenbelongs to . Applying to yieldsso . Every complex-valued continuous function is a complex linear combination of nonnegative continuous functions, obtained from the positive and negative parts of its real and imaginary components. Therefore , and
Articles by others on the same topic
There are currently no matching articles.