jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed sign error.
Compile Project / Compile (push) Successful in 56s
Details

Browse Source
This commit is contained in:
Bokuan Li
2026-10-18 19:57:47 -04:00
parent d09736a42e
commit 6dbdd2396d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/op/system/os.tex
+1 -1
View File
@@ -33,7 +33,7 @@
Assume without loss of generality that $\seq{x_n} \subset S_{sa}$, so that $\sigma_A(x_n) \subset \real$ for all $n \in \natp$. By \hyperref[upper semicontinuity of the spectrum]{proposition:spectrum-continuous}, $\lim_{n \to \infty}\inf(\sigma_A(x_n)) \ge 0$. Therefore
\[
x = \limv{n}x_n = \limv{n}[x_n + \inf(\sigma_A(x_n)) \wedge 0] \in \ol{S_+}
x = \limv{n}x_n = \limv{n}[x_n - \inf(\sigma_A(x_n)) \wedge 0] \in \ol{S_+}
\]
by \autoref{corollary:spectrum-characterisation-iff}.