英文维基 | 中文维基 | 日文维基 | 草榴社区
--Taro Terao(会話) 2013年4月24日 (水) 13:34 (UTC)
log x = ∫ 1 x d s s {\displaystyle \log x=\int _{1}^{x}{\frac {ds}{s}}}
4 π G = c = ε 0 = μ 0 = k = h / 2 π i = 1 {\displaystyle 4\pi G=c=\varepsilon _{0}=\mu _{0}=k=h/2\pi i=1}
a . b . c = a . b + 2 π i × 0. c {\displaystyle a.\!b.\!c=a.\!b+2\pi i\times 0.c}
x X = exp x {\displaystyle x\ \mathrm {X} =\exp x}
Q = lim → Z / s {\displaystyle \mathbb {Q} =\varinjlim \mathbb {Z} /s}
Z ^ = lim ← n ∖ Z = ∏ p Z p {\displaystyle {\widehat {\mathbb {Z} }}=\varprojlim n\backslash \mathbb {Z} =\prod _{p}\mathbb {Z} _{p}}
Z p = lim ← p ν ∖ Z {\displaystyle \mathbb {Z} _{p}=\varprojlim p^{\nu }\backslash \mathbb {Z} }
Q p = Z p ⊗ Q {\displaystyle \mathbb {Q} _{p}=\mathbb {Z} _{p}\otimes \mathbb {Q} }
A = Z ^ × R {\displaystyle \mathbb {A} ={\widehat {\mathbb {Z} }}\times \mathbb {R} }
A Q = A ⊗ Q {\displaystyle \mathbb {A_{Q}} =\mathbb {A} \otimes \mathbb {Q} }
n ∖ r / s = ( r / s ) ⊗ ∏ p | n Q p {\displaystyle n\backslash r/s=(r/s)\otimes \prod _{p\vert n}\mathbb {Q} _{p}}
x = sgn x ∏ p p ord p x = ( sgn p x ) ( exp p log p x ) p ord p x = ( sgn ∞ x ) ( exp ∞ ord ∞ x ) = exp ∞ log ∞ x {\displaystyle x=\operatorname {sgn} x\prod _{p}p^{\operatorname {ord} _{p}x}=(\operatorname {sgn} _{p}x)(\exp _{p}\log _{p}x)p^{\operatorname {ord} _{p}x}=(\operatorname {sgn} _{\infty }x)(\exp _{\infty }\operatorname {ord} _{\infty }x)=\exp _{\infty }\log _{\infty }x}