Up (a) = a(xy) 作成: 2011-04-16
更新: 2017-10-26


    つぎが成り立つ:
         (a) = a(xy)

    証明は,「数」の定義に立ち返った直接証明になる。
    即ち,つぎのように進む:
       「x,yが自然数の場合に成り立つ」
      →「x,yが有理数の場合に成り立つ」
      →「x,yが実数の場合に成り立つ」
    特に,有理数から実数に進むときには,実数の定義 (Cauchy列 を用いた定義) を直接使うことになる。