Up 「速さ」(比例関数) の分解 作成: 2017-12-17
更新: 2017-12-18


    速さ「2m/秒」は,「比例関数:時間 → 距離 で,秒に2mを対応させるもの」である。
    この比例関係は,つぎの3つの関数の合成になる:
      秒*時間xにこれを秒で測ったときの値を返す関数
      \(m^+\)スカラーsに距離smを返す関数
      2距離yを2倍する関数
        \[ \begin{array}{c} \\ 時間 \\ t秒 \\ \end{array} \begin{array}{c} 秒^* \\ \longrightarrow \\ \\ \end{array} \begin{array}{c} \\ 数 \\ t \\ \end{array} \begin{array}{c} m^+ \\ \longrightarrow \\ \\ \end{array} \begin{array}{c} \\ 距離 \\ tm \\ \end{array} \begin{array}{c} 2 \\ \longrightarrow \\ \\ \end{array} \begin{array}{c} \\ 距離 \\ (t×2)m \\ \end{array} \\ \]

    こうなることを,つぎの図で確認せよ: