有理数全体の集合
有理数全体の集合
\(\left\lfloor x\right\rfloor \)を床関数、\(\left\{ x\right\} \)を分数部分(少数部分)として、
\[ f\left(x\right)=\frac{1}{\left\lfloor x\right\rfloor +1-\left\{ x\right\} } \] とおくと、有理数全体の集合は
\[ \mathbb{Q}=\left\{ 0,\pm f\left(0\right),\pm f^{2\circ}\left(0\right),\pm f^{3\circ}\left(0\right),\cdots\right\} \] で表される。
\(\left\lfloor x\right\rfloor \)を床関数、\(\left\{ x\right\} \)を分数部分(少数部分)として、
\[ f\left(x\right)=\frac{1}{\left\lfloor x\right\rfloor +1-\left\{ x\right\} } \] とおくと、有理数全体の集合は
\[ \mathbb{Q}=\left\{ 0,\pm f\left(0\right),\pm f^{2\circ}\left(0\right),\pm f^{3\circ}\left(0\right),\cdots\right\} \] で表される。
\begin{align*}
f\left(x\right) & =\frac{1}{\left\lfloor x\right\rfloor +1-\left\{ x\right\} }\\
& =\frac{1}{\left\lfloor x\right\rfloor +1-\left(x-\left\lfloor x\right\rfloor \right)}\\
& =\frac{1}{2\left\lfloor x\right\rfloor +1-x}
\end{align*}
となるので、
\[ f\left(0\right)=1 \] \begin{align*} f^{2\circ}\left(0\right) & =f\left(f\left(0\right)\right)\\ & =f\left(1\right)\\ & =\frac{1}{2\left\lfloor 1\right\rfloor +1-1}\\ & =\frac{1}{2} \end{align*} \begin{align*} f^{3\circ}\left(0\right) & =f\left(f^{2\circ}\left(0\right)\right)\\ & =f\left(\frac{1}{2}\right)\\ & =\frac{1}{2\left\lfloor \frac{1}{2}\right\rfloor +1-\frac{1}{2}}\\ & =2 \end{align*} \begin{align*} f^{4\circ}\left(0\right) & =f\left(f^{3\circ}\left(0\right)\right)\\ & =f\left(2\right)\\ & =\frac{1}{2\left\lfloor 2\right\rfloor +1-2}\\ & =\frac{1}{3} \end{align*} \begin{align*} f^{5\circ}\left(0\right) & =f\left(f^{4\circ}\left(0\right)\right)\\ & =f\left(\frac{1}{3}\right)\\ & =\frac{1}{2\left\lfloor \frac{1}{3}\right\rfloor +1-\frac{1}{3}}\\ & =\frac{3}{2} \end{align*} となっていき、更に計算をすると、
\[ \left(f^{i\circ}\left(0\right)\right)_{i\in\mathbb{N}_{0}}=\left(0,1,\frac{1}{2},2,\frac{1}{3},\frac{3}{2},\frac{2}{3},3,\frac{1}{4},\frac{4}{3},\frac{3}{5},\frac{5}{2},\frac{2}{5},\frac{5}{3},\frac{3}{4},4,\frac{1}{5},\frac{5}{4},\frac{4}{7},\frac{7}{3},\frac{3}{8},\frac{8}{5},\frac{5}{7},\frac{7}{2},\frac{2}{7},\frac{7}{5},\frac{5}{8},\frac{8}{3},\frac{3}{7},\frac{7}{4},\frac{4}{5},5\right) \] となる。
\[ f\left(0\right)=1 \] \begin{align*} f^{2\circ}\left(0\right) & =f\left(f\left(0\right)\right)\\ & =f\left(1\right)\\ & =\frac{1}{2\left\lfloor 1\right\rfloor +1-1}\\ & =\frac{1}{2} \end{align*} \begin{align*} f^{3\circ}\left(0\right) & =f\left(f^{2\circ}\left(0\right)\right)\\ & =f\left(\frac{1}{2}\right)\\ & =\frac{1}{2\left\lfloor \frac{1}{2}\right\rfloor +1-\frac{1}{2}}\\ & =2 \end{align*} \begin{align*} f^{4\circ}\left(0\right) & =f\left(f^{3\circ}\left(0\right)\right)\\ & =f\left(2\right)\\ & =\frac{1}{2\left\lfloor 2\right\rfloor +1-2}\\ & =\frac{1}{3} \end{align*} \begin{align*} f^{5\circ}\left(0\right) & =f\left(f^{4\circ}\left(0\right)\right)\\ & =f\left(\frac{1}{3}\right)\\ & =\frac{1}{2\left\lfloor \frac{1}{3}\right\rfloor +1-\frac{1}{3}}\\ & =\frac{3}{2} \end{align*} となっていき、更に計算をすると、
\[ \left(f^{i\circ}\left(0\right)\right)_{i\in\mathbb{N}_{0}}=\left(0,1,\frac{1}{2},2,\frac{1}{3},\frac{3}{2},\frac{2}{3},3,\frac{1}{4},\frac{4}{3},\frac{3}{5},\frac{5}{2},\frac{2}{5},\frac{5}{3},\frac{3}{4},4,\frac{1}{5},\frac{5}{4},\frac{4}{7},\frac{7}{3},\frac{3}{8},\frac{8}{5},\frac{5}{7},\frac{7}{2},\frac{2}{7},\frac{7}{5},\frac{5}{8},\frac{8}{3},\frac{3}{7},\frac{7}{4},\frac{4}{5},5\right) \] となる。
ページ情報
タイトル | 有理数全体の集合 |
URL | https://www.nomuramath.com/pv1sat27/ |
SNSボタン |
エジプト式分数表示
任意の正の真分数はエジプト式分数で表せる。
凸関数・狭義凸関数・準凸関数・凹関数・狭義凹関数・準凹関数の定義
\[
\forall x_{1},x_{2}\in X,\forall t\in\left[0,1\right],f\left(tx_{1}+\left(1-t\right)x_{2}\right)\leq tf\left(x_{1}\right)+\left(1-t\right)f\left(x_{2}\right)
\]
エジプト式分数の個数
エジプト式分数は無数に存在する。
凸関数・狭義凸関数・凹関数・狭義凹関数の基本性質
関数$f$が2回微分可能であるとき、$f''>0$ならば$f$が狭義凸関数となるが、逆は一般的に成り立たない。