16: 2016-09-04 (日) 01:10:43 osinko |
17: 2016-09-04 (日) 09:38:09 osinko |
| \({ x }_{ n+1 }>{ x }_{ n+1 }\quad \quad \quad 反射性NG\\ { x }_{ n+1 }>{ x }_{ n+2 }\quad \rightarrow \quad { x }_{ n+2 }>{ x }_{ n+1 }\quad \quad \quad 対称性NG\\ { x }_{ n+1 }>{ x }_{ n+2 }\quad \wedge \quad { x }_{ n+2 }>{ x }_{ n+3 }\quad \rightarrow \quad { x }_{ n+1 }>{ x }_{ n+3 }\quad \quad \quad 推移性OK\) | | \({ x }_{ n+1 }>{ x }_{ n+1 }\quad \quad \quad 反射性NG\\ { x }_{ n+1 }>{ x }_{ n+2 }\quad \rightarrow \quad { x }_{ n+2 }>{ x }_{ n+1 }\quad \quad \quad 対称性NG\\ { x }_{ n+1 }>{ x }_{ n+2 }\quad \wedge \quad { x }_{ n+2 }>{ x }_{ n+3 }\quad \rightarrow \quad { x }_{ n+1 }>{ x }_{ n+3 }\quad \quad \quad 推移性OK\) |
| | | |
- | 従って同値性は持たず推移性を持つ事になる。この推移性はεδ論法によって確保されていると考えられる。\(\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 ))))\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 ))))\quad\) |
| | | |
| また、恒等や反転にあたる\(\iota \)(イオタ)や\(\tau \)(タウ)、つまり単位元、逆元のような存在は見つけられない | | また、恒等や反転にあたる\(\iota \)(イオタ)や\(\tau \)(タウ)、つまり単位元、逆元のような存在は見つけられない |