Proposition 22.1.26`E9E94041F68D`

Proposition 22.1.26.E9E94041F68D The operation $+$ is commutative and associative: For any $\Gamma \in \mathrm{PSH}^{\mathrm{NA}}(X,\theta )$, $\Gamma '\in \mathrm{PSH}^{\mathrm{NA}}(X,\theta ')$ and $\Gamma ''\in \mathrm{PSH}^{\mathrm{NA}}(X,\theta '')$, we have

\[ \Gamma +\Gamma '=\Gamma '+\Gamma ,\quad (\Gamma +\Gamma ')+\Gamma ''=\Gamma +(\Gamma '+\Gamma ''). \]

Proof. This is a direct consequence of proposition 17.15.7. $\square$

Cite this page

BibTeX citation

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

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 22.1.26E9E94041F68D

Comments

Proposition 22.1.26`E9E94041F68D`