2010年1月31日日曜日

GoogleドキュメントのTeXによる数式入力の練習。

Nを自然数とし、数列を

(a_{n})_{n\in N}(a_{i}\in R)

とする。この数列が

\alpha\in R

に収束する。

\forall\varepsilon\in R(\varepsilon>0)\exists n_{0}\in N\\<br />[n>n_{0}\Rightarrow|a_{n}-\alpha <\varepsilon|]

この\alphaを上記の数列の極限といい、

\lim_{n \rightarrow\infty}{a_{n}} =\alpha

あるいは、

\lim_{n\rightarrow\infty}{|a_{n}-\alpha|}=0

と記述する。また、上記の数列が、

\alpha,\beta \in R

に収束する、すなわち

\lim_{n\rightarrow\infty}{a_{n}=\alpha\wedge\lim_{n\rightarrow\infty}{a_{n}}=\beta

とするとき、

\forall\varepsilon\in R(\varepsilon>0)\exists n_{1},n_{2}\in N\\<br />[(n>n_{1}\Rightarrow|a_{n}-\alpha|<\frac{\varepsilon}{2})\wedge(n>n_{2}\Rightarrow|a_{n}-\beta|<\frac{\varepsilon}{2})]

となる。このとき、

n_{0}>max\left\{n_{1},n_{2}\right\}

とすれば、

\forall\varepsilon\in R(\varepsilon>0)\\<br />[(n>n_{0}\Rightarrow (|a_{n}-\alpha|<\frac{\varepsilon}{2}\wedge|a_{n}-\beta|<\frac{\varepsilon}{2})\\<br />\Rightarrow|\alpha-\beta|=|(a_{n}-\beta)-(a_{n}-\alpha)|
\leq|a_{n}-\beta|+|a_{n}-\alpha|<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon\\<br />\Rightarrow \alpha=\beta]

となる。よって、数列の極限が存在する場合、その極限は一意的に定まる。

0 コメント:

コメントを投稿