Proposition 21.11.46`93CDDD09D6B0`

Proposition 21.11.46.93CDDD09D6B0 For any $F\in \mathcal{P}(N,P)$, we have

\[ \max _{N}(F-\operatorname{Supp}_ P)=F(0). \]

Proof. It follows from (21.11.39) that

\[ \sup _{N}(F-\operatorname{Supp}_ P)\leq F(0). \]

The equality is clearly obtained at $0\in N$. $\square$

Cite this page

BibTeX citation

@misc{pome-tag-93CDDD09D6B0,
  author = {{Pome contributors}},
  title = {Proposition 21.11.46},
  howpublished = {Pome},
  url = {https://mingchenxia.github.io/Pome/tag/93CDDD09D6B0/}
}

Comments

Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.

Read this page’s discussion on GitHub Post a comment on GitHub

Proposition 21.11.4693CDDD09D6B0

Comments

Proposition 21.11.46`93CDDD09D6B0`