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 , and
The 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 (0)

There are currently no matching articles.