質問: lim[x→+∞]f(x) --- ここまで ---
回答: >加法の単位元は 0 であるが、ω の逆元は存在しない。 と >減法は -ω=ω と定義し、次のように計算する。 は互いに矛盾していないでしょうか。 通常の群では群の元aに対し、逆元(今回の例では加法の逆元)を-aで表し、 群の任意の元xに対し、x+(-a)=x-aと書き減法といいます。 減法は逆元が存在して初めて意味を持つものかと思います。 ωの逆元は存在しないと言っておきながら、-ω=ωとして減法を定義するという主張が理解できません。