>>556
あと、>>580の
>任意のε＞0に対して定まる、ハメル基底 H(ε)⊂I(ε) の族Hを
>H＝{H(ε)|ε＞0、H(ε)は開区間 I(ε)＝(-ε,ε) に含まれるハメル基底}
>とする。
の部分は
>任意のε＞0に対して定まる、ハメル基底 H(ε)⊂I(ε) の族Hを
>H＝{H(ε)|ε＞0は変数、H(ε)は、或るε＞0に対して定まるような、開区間 I(ε)＝(-ε,ε) に含まれるハメル基底}
>とする。
に訂正。>>583の
>ε＞0に対して定まる、実数体Rの有理数体Q上の超越基底 S(ε)⊂(-ε,ε) の族Sを
>S＝{S(ε)|ε＞0、S(ε)は開区間 I(ε)＝(-ε,ε) に含まれる、RのQ上の超越基底}
>とする。
の部分は、
>任意のε＞0に対して定まる、超越基底 S(ε)⊂(-ε,ε) の族Sを
>S＝{S(ε)|ε＞0は変数、S(ε)は、或るε＞0に対して定まるような、開区間 I(ε)＝(-ε,ε) に含まれる超越基底}
>とする。
に訂正。