Cell complex and de Rham cohomology over riemann manifold

あけましておめでとうございます!!

なかなか忙しくしてました。更新せず、反省もしません。

今学習している圏論は、(一般には代数構造を持った)集合間の操作の可換性であるとか、構造そのものの性質を、射の性質と有向グラフで記述する表現論(すいません、この時あまり表現論に正しい認識がなかったもので、敢えて言えば代数)に分類される分野で、かなり面白いのです。

例えばモノイドMが二つの射 \mu: 1\rightarrow M\eta: M\times M\rightarrow Mに付随して定まる以下の図式を可換にするものとして定義されるのは興味深いものがあって

Rendered by QuickLaTeX.com

が結合律と代数的閉性((xy)z=x(yz)\in M)を記述し、

Rendered by QuickLaTeX.com

が左(右)恒等元の存在px=xp=x\in M (\exists p\in M)を記述しています。

個人的には、かなり真新しい観点です。まさに突風。嵐のように吹き荒れてます。いよいよホモロジーぃぃって感じがしてきました。

今回の内容に特に面白い発見というのはないのですが、命題によっては少し変わった証明を試みてます。特異複体・胞体分割の計算がようやく、本当にようやくですが馴染んできました.

————————————————–

命題: 連続写像f:X\rightarrow S^nが全射で無いなら, fは定値写像にホモトープである

証明: 仮定からS^n-f(X)=Y\neq \emptysetとなるYがあるので, いまこれをコンパクトと仮定しましょう. するとYは有界閉集合であってS^n-Y\cong R^nは可縮ですから, 定値写像q=i\circ r:R^n\rightarrow qとホモトープな恒等射id=id_{R^n}があります. f(X)\subset S^n-Yなのでこれらをfで引き戻したf^*id=\xi:X\rightarrow R^nf^*q=\rho:X\rightarrow qについて, G_t = t\xi+(1-t)\rhoは目的のホモトピーを与えます. Yがコンパクトでなくとも, Yに含まれるコンパクト集合Y'S^n-Y'\cong R^nとなるものが存在するので, 上と同様の議論が通用します■

命題: |x|^p\quad (0<p<1)r上一様連続である. 証明:=”” x,="" y少なくともいずれかが0であれば0<\delta="\epsilon^{1/p}とおいて|x|^p<\epsilonが示される.” 今|x|,|y|="">1|x-y|<\delta\leq 1を仮定する. このときy-1\leq y-\delta < x < y+\delta \leq y+1に注意すると,

    \[\begin{array}{lcl} G(x,y) &=& ||x|^p-|y|^p| \\ &\leq& |(|y|\pm \delta)^p-|y|^p| \\ &\leq& \sum_{k=1}^\infty [p, k] |y^{p-k}\delta^k| \end{array}\]

[p, k]は実数に拡張した二項係数[p, k]=\frac{p(p-1)\cdots (p-k+1)}{k!}を表す. ※2行目の符号はyの符号に応じる. a_k=[p, k]|y|^{p-k}とおけば, 0<\delta^k\leq 1は正の広義単調減少列で, しかも|a_{k+1}/a_k|=|p-k|/|y(k+1)|=|p/k-1|/|y(1+1/k)|\longrightarrow 1/|y|<1であるから\sum a_kは収束するので, アーベルの判定条件を満たす. 1<c\leq |y|なる実数cをとって=””

*** QuickLaTeX cannot compile formula:
\[="" g(x,y)\leq="" c\delta="" \quad="" \cdots="" (i)="" となるので,="" 与えられた$\epsilon="">0$に対して$\delta=min\{\epsilon/C,1\}$とおけば, 仮定の元一様連続条件$G<\epsilon$を満たす. $0<|y|\leq 1$の場合, $\sum a_k$の収束性は保証されないので, 有界性を示す. この条件において, $1/(n+1)\leq |y| \leq 1/n \quad (n\geq 1)$なる自然数が取れるので, 固定しておく. $\sum a_k \leq \sum [p, k] n^{k-p} = (1+1/n)^p \leq 2^p$であるから有界. そこで$\delta<1$と取れば$\delta^k$は0に収束するからディリクレの判定条件を満たし, (i)を満たす. 今$0<|y|\leq 1$を仮定したが, これで実数上一様連続であることが示された■ compact housdorffな位相空間$X$のn次元有限H-胞分割$\mathcal{K}$に対し,\]

*** Error message:
Package inputenc Error: Unicode character と (U+3068)
leading text: ..." c\delta="" \quad="" \cdots="" (i)="" と
Package inputenc Error: Unicode character な (U+306A)
leading text: ...\delta="" \quad="" \cdots="" (i)="" とな
Package inputenc Error: Unicode character る (U+308B)
leading text: ...lta="" \quad="" \cdots="" (i)="" となる
Package inputenc Error: Unicode character の (U+306E)
leading text: ...="" \quad="" \cdots="" (i)="" となるの
Package inputenc Error: Unicode character で (U+3067)
leading text: ... \quad="" \cdots="" (i)="" となるので
Package inputenc Error: Unicode character 与 (U+4E0E)
leading text: ..." \cdots="" (i)="" となるので,="" 与
Package inputenc Error: Unicode character え (U+3048)
leading text: ...cdots="" (i)="" となるので,="" 与え

\begin{array}{l} C_m(\mathcal{K})=H_m(X^{(m)},X^{(m-1)}) \quad (m\in Z) \\ C_m(\mathcal{K})=\{0\} \quad (m\leq -1, m\geq n+1) \end{array}

*** QuickLaTeX cannot compile formula:
\[とする. 3対$(X^{(m)},X^{(m-1)},X^{(m-2)})$の homology exact sequence <img src="http://blog.icefog.work/wp-content/ql-cache/quicklatex.com-caee67d11609ee298f42e85b6af35455_l3.png" height="90" width="633" class="ql-img-picture quicklatex-auto-format" alt="Rendered by QuickLaTeX.com" title="Rendered by QuickLaTeX.com"/> における境界準同型$\delta_m : C_m(\mathcal{K})\rightarrow C_{m-1}(\mathcal{K})$は, 別の3対$(X^{(m+1)},X^{(m)},X^{(m-2)})$との結合によって, H-胞分割$\mathcal{K}$の定める鎖複体$(C_m(\mathcal{K}),\delta_m)_{m\in Z}$が定義される. 一般に, $X$がH胞分割を持つような位相空間であれば, そのk次ホモロジー群は$H_k(C(\mathcal{K}))$を計算して求まる. 確認のため, クラインの壷を等化複体における単体的同一視を使ったホモロジー群の求め方と, 胞体分割によるやりかたを比較してみた. クラインの壷は, 等化図$aa\bar{b}\bar{b}$を持つ. 単体分割$K$で切り開きやすくするために基本変形を施して$a\bar{b}\bar{a}\bar{b}$と取っておく. つまり次のような感じ. <a href="http://blog.yolcoyama.org/wp-content/uploads/2013/12/hom2.png"><img class="aligncenter size-full wp-image-2511" src="http://blog.yolcoyama.org/wp-content/uploads/2013/12/hom2.png" alt="hom2" width="204" height="149" /></a></c\leq></p<1)$は$r$上一様連続である.>
各単体について関係$ab\equiv dc, cb\equiv ad, a\equiv d, b\equiv c, a\equiv c, b\equiv d$を与えると,\]

*** Error message:
Package inputenc Error: Unicode character と (U+3068)
leading text: \[と
Package inputenc Error: Unicode character す (U+3059)
leading text: \[とす
Package inputenc Error: Unicode character る (U+308B)
leading text: \[とする
Package inputenc Error: Unicode character 対 (U+5BFE)
leading text: \[とする. 3対
Display math should end with $$.
leading text: \[とする. 3対$(
Missing $ inserted.
leading text: \[とする. 3対$(X^
Package inputenc Error: Unicode character の (U+306E)
leading text: .... 3対$(X^{(m)},X^{(m-1)},X^{(m-2)})$の
Missing $ inserted.
leading text: ...atex.com-caee67d11609ee298f42e85b6af35455_
Package inputenc Error: Unicode character に (U+306B)
leading text: ..." title="Rendered by QuickLaTeX.com"/> に

\begin{array}{l}
C_0(K/\equiv)=Z, \\
C_1(K/\equiv)=Z+Z(cb)+Z, \\
C_2(K/\equiv)=Z+Z(acd)
\end{array}

    \[</a>\]

\begin{array}{l}
\partial(abc)=Z+Z+Z \\
\partial(acd)=Z+Z+Z=Z-Z-Z
\end{array}

*** QuickLaTeX cannot compile formula:
\[がそれぞれ得られる. そこで$abc, acd$に対する係数を$k, l$とすると,
$\partial C_2=(k+l)bc+(k-l)(ca+ab)\neq 0$であって, $H_2(K/\equiv)=Z_2(K/\equiv)=0.$
$\partial(C_1)=<b-a,b-c,c-a>=0$.</b-a,b-c,c-a>
から, $C_1=Z_1$が分かるので, $bc=\beta, ca+ab=\gamma$と置けば$B_1=<\beta+\gamma,\beta-\gamma>$と書け,
$H_1(K/\equiv)=Z_1/B_1=[\alpha,\beta,\gamma:\beta+\gamma=\beta-\gamma=0]\cong Z\oplus Z_2$ (ここで$\alpha,\beta,\gamma$は一次元鎖複体の基を表すが, 具体的にどの辺に対応しているか, この段階では問題ではない).
$H_0=C_0/\partial(C_1)=[a,b:b-a=0]=Z$は明らか.
以上からクラインの壷のホモロジー群は$(H_0,H_1,H_2)=(Z,Z\oplus Z_2,0)$である.
上の等化図を元に胞体分割を考えよう.
等化射$q:D^2\rightarrow M$の, 同値類に属す各単体への制限を特性写像として構成する. 即ち
[0胞体]
$q|_a:(a,\emptyset)\rightarrow (e_0,\emptyset)$
[1胞体]
$q|_{ab}:(D^1\cong ab, \{a\}\cup\{b\}\cong S^0)\rightarrow (\bar{e_1}, e_0)$
$q|_{ad}:(D^1\cong ad, \{a\}\cup\{d\}\cong S^0)\rightarrow (\bar{e_2}, e_0)$
[2胞体]
$q:(D^2, S^1)\rightarrow (M, q(S^1))$
ととる. 各単体に対する同値関係が, その単体から導き出される各胞体に移るので, 特性写像で見ると1胞体で書いた$S^0$は二つの異なる点であるのに, 一点$e_0$で等化している二つの1胞体になる. 実際には$\partial e_1=\partial e_2=e_0$ということに注意.
そのとき胞体分割$\mathcal{K}$によって定まる鎖複体$C_k(\mathcal{K}(M))$は\]

*** Error message:
Package inputenc Error: Unicode character が (U+304C)
leading text: \[が
Package inputenc Error: Unicode character そ (U+305D)
leading text: \[がそ
Package inputenc Error: Unicode character れ (U+308C)
leading text: \[がそれ
Package inputenc Error: Unicode character ぞ (U+305E)
leading text: \[がそれぞ
Package inputenc Error: Unicode character れ (U+308C)
leading text: \[がそれぞれ
Package inputenc Error: Unicode character 得 (U+5F97)
leading text: \[がそれぞれ得
Package inputenc Error: Unicode character ら (U+3089)
leading text: \[がそれぞれ得ら
Package inputenc Error: Unicode character れ (U+308C)
leading text: \[がそれぞれ得られ
Package inputenc Error: Unicode character る (U+308B)
leading text: \[がそれぞれ得られる

\begin{array}{l}
C_2(\mathcal{K}(M))=Z<[M]> \\
C_1(\mathcal{K}(M))=Z<[e_1]>\oplus Z<[e_2]> \\
C_0(\mathcal{K}(M))=Z<[e_0]>
\end{array}

*** QuickLaTeX cannot compile formula:
\[となる. 元となった等化図の四角形($\cong D^2$)は, 等化図として$aabb$と書き表されたが, これは反時計回りを正とした$D^2$の定める自然な向き$A=[A]$を決めた上での表現だから, この結合を加法的に書き表したもの, 即ち$a+a+b+b$が, 単体的同一視も含めたMの境界の基を記述している.
今$a=e_1, b=e_2$と書いて, $\partial[M]=2(Z<[e_1]>+Z<[e_2]>)$だから, $H_2(M)\cong H_2(\mathcal{K}(M))=Z_2(\mathcal{K}(M))=0$.
1次元境界は一点$e_0$で等化されるので, $\partial([e_1])=\partial([e_2])=[e_0]-[e_0]=0.$ 即ち$Z_1(\mathcal{K}(M))=C_1(\mathcal{K}(M)).$
この結果から\]

*** Error message:
Package inputenc Error: Unicode character と (U+3068)
leading text: \[と
Package inputenc Error: Unicode character な (U+306A)
leading text: \[とな
Package inputenc Error: Unicode character る (U+308B)
leading text: \[となる
Package inputenc Error: Unicode character 元 (U+5143)
leading text: \[となる. 元
Package inputenc Error: Unicode character と (U+3068)
leading text: \[となる. 元と
Package inputenc Error: Unicode character な (U+306A)
leading text: \[となる. 元とな
Package inputenc Error: Unicode character っ (U+3063)
leading text: \[となる. 元となっ
Package inputenc Error: Unicode character た (U+305F)
leading text: \[となる. 元となった
Package inputenc Error: Unicode character 等 (U+7B49)
leading text: \[となる. 元となった等

H_1(M)=Z<[e_1]>\oplus Z<[e_2]>/2(Z<[e_1]>+Z<[e_2]>)\cong Z\oplus Z_2

    \[$H_0(M)=C_0(M)=Z<[e_0]>$は明らか. 以上で上記と同様の結果になりました■ ---------------------------------------------- 記憶の整理のため, 外微分の導出をし, クラインの壷のde Rham cohomology groupを求めておきます. 命題: 交代k, l, m次形式から$\omega\in\bigwedge^k V^*, \eta\in\bigwedge^l V^*, \zeta\in\bigwedge^m V^*$をとっておく. (反変換法則) $\omega\wedge\eta=(-1)^{kl}\eta\wedge\omega$ (結合法則) $(\omega\wedge \eta)\wedge\zeta=\omega\wedge (\eta\wedge\zeta)$ が成立する. 証明: 外積の定義から, $\{X_i\}_{i\leq k+l}\in V$に対し,\]

\begin{array}{lcl}
&& \omega\wedge\eta(X_1,\ldots,X_{k+l}) \\
&=& \frac{1}{k!l!}\sum_{\sigma\in S_{k+l}} \epsilon(\sigma) \omega(X_{\sigma(1)}\ldots,X_{\sigma(k)})\eta(X_{\sigma(k+1)},\ldots,X_{\sigma(k+l)}) \\
&=& \frac{1}{k!l!}\sum_{\sigma\in S_{k+l}} \epsilon(\sigma) \eta(X_{\sigma(k+1)},\ldots,X_{\sigma(k+l)})\omega(X_{\sigma(1)}\ldots,X_{\sigma(k)})
\end{array}

    \[が成り立つ. 置換$\tau=\begin{pmatrix} \sigma(k+1) & \sigma(k+2) & \cdots & \sigma(k+l) & \sigma(1) & \cdots & \sigma(k) \\ \sigma(1) & \sigma(2) & \cdots & \sigma(l) & \sigma(l+1) & \cdots & \sigma(k+l) \end{pmatrix}$を固定すると, $\iota=\tau\sigma (\sigma\in S_{k+l})$は$S_{k+l}$の全ての元を漏れなく動くので, 上式における$\sigma$の代わりにとってやると, 最後の式は\]

\begin{array}{lcl}
&& \frac{1}{k!l!}\sum_{\iota\in S_{k+l}} \epsilon(\iota) \eta(X_{\iota(1)},\ldots,X_{\iota(l)})\omega(X_{\iota(l+1)}\ldots,X_{\iota(k+l)}) \\
&=& \epsilon(\tau) \eta\wedge \omega(X_1,\ldots,X_{k+l})

    \[と書ける($\epsilon(\iota)=\epsilon(\tau)\epsilon(\sigma)$による). あとは符号$\epsilon(\tau)=(-1)^{kl}$を示せば良い この置換が全単射であることに注意すれば, 正則線型変換, すなわち(k+l)型正則行列として次のように書ける(右下の添え字は, 第何行であるかを示す)\]

\tau = \begin{pmatrix}
& & & & 1_1 & & & & \\
& & & & & 1_2 & & & \\
& & & & & & \ddots & & \\
& & & & & & & 1_l \\
1_{l+1} & & & & & & & \\
& 1_{l+2} & & & & & & \\
& & \ddots & & & & & \\
& & & 1_{l+k} & & & & \\
\end{pmatrix}

*** QuickLaTeX cannot compile formula:
\[先ほどの符号は, 行列式としての$\tau$の, 左下のk個の要素を各行が上に$l$行飛び越える置換の積であるから, $\epsilon(\tau)=(-1)^{kl}$を得る■
・・・de Rhamコホモロジーは次回。時間が足りません;
----------------------------------------------
2次複素射影空間$CP_2$を商射$\pi:C^3-\{0\}\rightarrow CP_2; \pi(z_1,z_2,z_3)=(z_1:z_2:z_3)$で定義し, 5次球面$S^5=\{(z_1,z_2,z_3)||z_1|^2+|z_2|^2+|z_3|^2=1\}$への制限$\pi|_{S^5}=h$を考える. 任意の点$[p]\in CP_m$を$\pi$で引き戻した空間は, $C$上$p$で生成される空間$C
\subset C^3-\{0\}$と考えられるので, ある$\lambda\in C$で$|\lambda p|=1$を満たすようなものがとれる. このとき$\lambda p\in S^5$と思えるので, $h:S^5\rightarrow CP_2$は上への写像である.
・・・これももう少し詰めた内容があって, 私なりの計算の簡略などを思いついたのですが, 書く時間あらず. 次回のお楽しみ!
---------------------------------------------
単なる備忘:
等化複体における単体的同一視の要請
<a>$\text{(i) }(A,A)\in R \Longrightarrow \iota_{AA}=1_A$ 同一点は元々同一視
$\text{(ii) }(A,B)\in R \wedge (B,A) \notin R \Longrightarrow \iota_{AB}=(\iota_{BA})^{-1}$ どちらか一方向により同一視されれば代数操作(逆像をとる)で両方から同一視
$\begin{multiline}\text{(iii) }A=A_1RA_2R\cdots RA_rA=B \wedge (A,B)\notin R \\ \Longrightarrow \iota_{BA}=\iota_{A_rA_{r-1}}\circ \cdots \circ \iota_{A_2A_1}\end{multiline}$
$\text{(iv) }(A,B)\in R, A'</a><a>1$上正則で, $\zeta^{(k)}(s)=(-1)^k\sum_{n=1}^\infty(\log{n})^kn^{-s}$</a>
Proof: $D=\{z\in\mathbb{C}|\Re{z}>1 \}\ni s=a+bi$とおくと, 有限和$\mu_m(s)=\sum_{n=1}^m n^{-s}$は$D$上極を持たない有理関数であって正則. $\mathbb{R}\ni a>1$のとき実正数値関数$g(x)=x^{-a}$は単調減少関数で$n<x<n+1 \quad="" (n\in="" \mathbb{n})$なる$x$に対し$g(n)="">g(x)>g(n+1)$を区間$[n.n+1]$上$x$について積分し,</x<n+1>\]

*** Error message:
Package inputenc Error: Unicode character 先 (U+5148)
leading text: \[先
Package inputenc Error: Unicode character ほ (U+307B)
leading text: \[先ほ
Package inputenc Error: Unicode character ど (U+3069)
leading text: \[先ほど
Package inputenc Error: Unicode character の (U+306E)
leading text: \[先ほどの
Package inputenc Error: Unicode character 符 (U+7B26)
leading text: \[先ほどの符
Package inputenc Error: Unicode character 号 (U+53F7)
leading text: \[先ほどの符号
Package inputenc Error: Unicode character は (U+306F)
leading text: \[先ほどの符号は
Package inputenc Error: Unicode character 行 (U+884C)
leading text: \[先ほどの符号は, 行
Package inputenc Error: Unicode character 列 (U+5217)
leading text: \[先ほどの符号は, 行列

g(n)>\int_n^{n+1}g(x)dx>g(n+1)

    \[この有限和から\]

\sum_{n=1}^ng(n)>\int_1^{n+1}g(x)dx=\frac{n^{-\epsilon}}{1-a}|^{n+1}_1\quad (\epsilon\in(1,\infty))>\sum_{n=1}^ng(n+1)

    \[であって, 中辺の極限において$\frac{1}{a-1}$に収束するから, 右辺の無限和も上に有界. 従って正項級数としての和の極限は収束する(euler-maclaurin). 今\]

|\zeta(s)|\leq \sum|n^{-a-bi}|=\sum|n^{-a}|<\infty \quad (a>1)

*** QuickLaTeX cannot compile formula:
\[が成立しており, 上の収束判定の議論を$D$上に$a=\Re{z}>1$の条件で適用できる. このとき$D$に含まれるコンパクト集合$K$上$\zeta$が一様収束するので($\|\zeta-\mu_m\|_{K\subset D}\rightarrow 0 \quad (m\rightarrow \infty)$), $\zeta(s)$は$D$上正則である(Weierstras). 正則関数の正則域$D$に含まれる小円板での整級数展開が一様収束することから, 項別可積分で和と微分が交換できる. すなわち題意が成り立つ■
Proposition: $f(z)=\frac{z}{1-z^2}+\frac{z^2}{1-z^4}+\frac{z^4}{1-z^8}+\cdots$は, $D=\{z| |z|<1\}, E=\{z| |z|>1\}$でそれぞれ正則で, $f(z)=\frac{z}{1-z}\quad (z\in D),\quad f(z)=\frac{1}{1-z}\quad (z\in E)$となる.
Proof: まず$\frac{1}{1-h_n(z)}=\sum_{k=0}^\infty h_n(z)^k \quad (|h_n(z)|<1)$は一様収束し, 従って正則であることは証明なしに使う. 式変形から,\]

*** Error message:
Package inputenc Error: Unicode character が (U+304C)
leading text: \[が
Package inputenc Error: Unicode character 成 (U+6210)
leading text: \[が成
Package inputenc Error: Unicode character 立 (U+7ACB)
leading text: \[が成立
Package inputenc Error: Unicode character し (U+3057)
leading text: \[が成立し
Package inputenc Error: Unicode character て (U+3066)
leading text: \[が成立して
Package inputenc Error: Unicode character お (U+304A)
leading text: \[が成立してお
Package inputenc Error: Unicode character り (U+308A)
leading text: \[が成立しており
Package inputenc Error: Unicode character 上 (U+4E0A)
leading text: \[が成立しており, 上
Package inputenc Error: Unicode character の (U+306E)
leading text: \[が成立しており, 上の

\begin{array}{lcl} f(z) &=& \sum_{k=0}\frac{z^{2^k}}{1-z^{2^{k+1}}} \\ &=& \sum_{k=0}z^{2^k}\sum_{l=0}z^{l2^{k+1}} \\ &=& \sum_{k,l}z^{2^k(2l+1)} \end{array}

*** QuickLaTeX cannot compile formula:
\[が$D$上正則. あと証明すべきことは$\frac{z}{1-z}$に一様収束することである. 次のように考えればスッキリする. $\iota(k,l)=2^k(2l+1)$を正整数(0以上の整数)の直積空間から自然数への関数$\iota:\mathbb{Z}^+\times\mathbb{Z}^+\rightarrow \mathbb{N}$と考えるとき, これが全単射であることを示し, 結果$\sum_{k,l}z^{\iota}=z+z^2+\cdots = \frac{z}{1-z}$となるので, 可算列での一致の定理から同じ関数であることが示せる. まず$\iota$の定義域を$\{0,1\}\times \mathbb{Z}^+$に制限したものは明らかに$\mathbb{N}$の上へ写すので, 単射であることを示すのに自然数の部分集合族$\mathcal{J}_{n\in \mathbb{N}}=\{2^n/2^{n+1}\mathbb{Z}^+ \}$を定義する. このとき, $\mathcal{J}_1\cap \mathcal{J}_{n\geq 2}=\emptyset$. 実際$2+4s=2^n+2^{n+1}t$なる$s,t\in \mathbb{Z}^+$は, $1+2s\neq 2^{n-1}(2t+1)\quad (n\geq 2)$だから存在しない. そして同様の計算で, $\mathcal{J}_k\cap \mathcal{J}_{n\geq 3}=\emptyset\quad (1\leq k\leq n-1)$が成立する ($\because 2^{n-1}+2^ns=2^n+2^{n+1}t \Longrightarrow s,t\notin \mathbb{Z}^+$). これで$\iota$が単射であることも示され, $f(z)=\frac{z}{1-z}\quad (z\in D)$が成立する. 一方別の式変形で,\]

*** Error message:
Package inputenc Error: Unicode character が (U+304C)
leading text: \[が
Display math should end with $$.
leading text: \[が$D
Package inputenc Error: Unicode character 上 (U+4E0A)
leading text: \[が$D$上
Package inputenc Error: Unicode character 正 (U+6B63)
leading text: \[が$D$上正
Package inputenc Error: Unicode character 則 (U+5247)
leading text: \[が$D$上正則
Package inputenc Error: Unicode character あ (U+3042)
leading text: \[が$D$上正則. あ
Package inputenc Error: Unicode character と (U+3068)
leading text: \[が$D$上正則. あと
Package inputenc Error: Unicode character 証 (U+8A3C)
leading text: \[が$D$上正則. あと証
Package inputenc Error: Unicode character 明 (U+660E)
leading text: \[が$D$上正則. あと証明

\begin{array}{lcl} f(z) &=& \sum_{k=0}\frac{z^{2^k}}{1-z^{2^{k+1}}} \\ &=& \sum_{k=0} \frac{1}{\frac{1}{z^{2^k}} – z^{2^k}} \\ &=& -\sum_{k=0} \frac{1}{z^{2^k}} \frac{1}{1-z^{-2^{k+1}}} \\ &=& -\sum_{k=0} \frac{1}{z^{2^k}} \sum_{l=0} z^{-2^{k+1}l} \\ &=& -\sum_{k,l} z^{-\iota} \end{array} がE上一様収束し正則だが, \iotaの全単射性より直ちにf(z)=\frac{1}{1-z}\quad (z\in E)を得る■ これ, 書いてるだけで時間が経つものですね.

サポートする

コメントする