5: 2016-03-03 (木) 22:08:36 osinko |
6: 2016-03-04 (金) 03:05:56 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 )))\) |
- | 極限1/nの\(\alpha\)への収束を論理で主張、\(\delta\)の存在を問うている。以下の図のように\(\delta\)の存在を確認し、存在量化子が1になることで、この主張は真になる | + | //極限1/nの\(\alpha\)への収束を論理で主張、\(\delta\)の存在を問うている。以下の図のように\(\delta\)の存在を確認し、存在量化子が1になることで、この主張は真になる |
| + | //(これは絶対値による挟み撃ち、距離の考えを抜かしてシンプルにわかりやすく説明したもので厳密には、ちょっと乱暴な説明になっている) |
| | | |
- | &ref(absepsilondelta2.png); | + | //&ref(absepsilondelta2.png); |