For , , giving an upper bound for the operator norm. By Urysohn lemma, there is with . Then has uniform norm and . Thus every distinct pair has operator norm , andThe stated hypotheses also permit a singleton . Then there are no distinct pairs, so the infimum is under the extended-real convention, or undefined as a real number. This edge case cannot be assigned the value .
Articles by others on the same topic
There are currently no matching articles.