7: 2016-03-06 (日) 12:33:02 osinko |
8: 2016-03-06 (日) 18:48:05 osinko |
| 命題変数 | | 命題変数 |
| | | |
| + | |
| + | <極限を理解するためのキーワード、ロードマップ> |
| + | -論理学 |
| + | -距離関数(絶対値が誘導する距離関数)イプシロンデルタ論法の一般性はこれで確保されている |
| + | -無限 |
| + | -数学的帰納(極限の収束に至る理由。イプシロンデルタの漸化式的行動はこれを使ってる) |
| + | -上限、下限、上界、下界、マックス、ミン |
| + | -デデキント切断、連続 |
| + | -無限等比級数の収束(ゼノンのアキレスと亀) |
| + | -無限小(アルキメデスの積分) |
| + | -数学的帰納(微積分が数学的帰納の「性質」を利用している為、極限が利用できる) |
| + | //-という事は「性質の変わらないものは予測できる」という事を表している |
| + | //-性質が特定できないものは予測できない(量子?) |
| | | |
| \(\forall \varepsilon >0\quad (\quad \exists \delta >0\quad (\quad \forall n\in \mathbb{N}\quad (\quad n>\delta \quad \Rightarrow \quad \left| { a }_{ n }-\alpha \right| <\varepsilon \quad )))\) | | \(\forall \varepsilon >0\quad (\quad \exists \delta >0\quad (\quad \forall n\in \mathbb{N}\quad (\quad n>\delta \quad \Rightarrow \quad \left| { a }_{ n }-\alpha \right| <\varepsilon \quad )))\) |