Pome

Corollary 17.10.5193BC4D45D9EF

Corollary 17.10.51.93BC4D45D9EF Let $\varphi ,\psi \in \mathcal{E}^1(X,\theta ;\phi )$. Then

9D4858FD76E4 17.10.52
\begin{equation} d_1(\varphi \lor \psi ,\varphi )\leq C_ n d_1(\varphi ,\psi ), \end{equation}

where $C_ n$ is the constant in theorem 17.10.48.

Proof. By theorem 17.10.48 and 17.10.47, we have

\[ d_1(\varphi \lor \psi ,\varphi )\leq I_{\theta }(\varphi \lor \psi ,\varphi )\leq I_{\theta }(\varphi ,\psi )\leq C_ n d_1(\varphi ,\psi ). \]

This completes the proof. $\square$

Cite this page

Comments

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

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