Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 4 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context ยท Original author HTML
Example 1
Let X = ๐ 1 = S โ p โ e โ c โ ( K โก [ x ] ) X={\bf A}^{1}=Spec(K[x]) be the affine line.
The analytic space X a โ n X^{an} contains, among others,
points of the following types:
โข
X โก ( K ) โช X โก ( K ยฏ ) / G โ a โ l โ ( K ยฏ / K ) โช X a โ n X(K)\hookrightarrow X(\overline{K})/Gal(\overline{K}/K)\hookrightarrow X^{an} ;
โข
for r โ ๐ โฅ 0 r\in{{\bf R}}_{\geq 0} define
| โ j = 0 d c j โ z j | r := max j โก ( | c j | โ r j ) . |\sum_{j=0}^{d}c_{j}z^{j}|_{r}:=\max_{j}(|{c_{j}}|r^{j})\,\,.
This gives an embedding ๐ โฅ 0 โช X a โ n {\bf R}_{\geq 0}\hookrightarrow X^{an} .
We see that X a โ n X^{an} contains, in a sense, both p p -adic and real
points.