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

Fixed typo.

Browse Source
This commit is contained in:
Bokuan Li
2026-01-27 15:43:23 -05:00
parent 5ccfe39d3b
commit e7f7dfc8e3
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/fa/lc/hahn-banach.tex
View File

@@ -56,7 +56,7 @@
By Zorn's lemma, $\mathbf{F}$ admits a maximal element $\Phi$. If $\cd(\Phi) \subsetneq E$, then $\Phi$ is not maximal by the preceding discussion. Therefore $\cd(\Phi) = E$ and $\Phi$ is a desired extension. By Zorn's lemma, $\mathbf{F}$ admits a maximal element $\Phi$. If $\cd(\Phi) \subsetneq E$, then $\Phi$ is not maximal by the preceding discussion. Therefore $\cd(\Phi) = E$ and $\Phi$ is a desired extension.
(1): Given that $\rho$ is a seminorm, for any $u \in \hom(E; \real)$, $u \le \rho$ if and only if $\abs{u} \le \rho$. (2): Given that $\rho$ is a seminorm, for any $u \in \hom(E; \real)$, $u \le \rho$ if and only if $\abs{u} \le \rho$.
Let $u = \re{\phi}$, then $u \in \hom(E; \real)$ by \ref{proposition:polarisation-linear}. By (1), there exists $U \in \hom(E; \real)$ such that $\abs{U} \le \rho$ and $U|_F = u$. For each $x \in E$, let $\Phi(x) = U(x) - iU(ix)$, then $\Phi \in \hom(E; \complex)$ and $\Phi|_F = \phi$ by \ref{proposition:polarisation-linear}. In addition, for any $x \in E$, if $\alpha = \overline{\sgn(\Phi(x))}$, then Let $u = \re{\phi}$, then $u \in \hom(E; \real)$ by \ref{proposition:polarisation-linear}. By (1), there exists $U \in \hom(E; \real)$ such that $\abs{U} \le \rho$ and $U|_F = u$. For each $x \in E$, let $\Phi(x) = U(x) - iU(ix)$, then $\Phi \in \hom(E; \complex)$ and $\Phi|_F = \phi$ by \ref{proposition:polarisation-linear}. In addition, for any $x \in E$, if $\alpha = \overline{\sgn(\Phi(x))}$, then
\[ \[
@@ -82,7 +82,7 @@
For any $y \in A \cap (-A)$, For any $y \in A \cap (-A)$,
\[ \[
\dpb{y, \phi}{E} \le [y]_A \le 1 \quad -\dpb{y, \phi}{E} \le [-y]_A < 1 \dpb{y, \phi}{E} \le [y]_A < 1 \quad -\dpb{y, \phi}{E} \le [-y]_A < 1
\] \]
so $\phi \in E^*$. so $\phi \in E^*$.