>>231
> (Ⅱ)特別な元0∈Uが存在し,任意の元a∈Uに対してa+0=aを満たすことを示せ
> についても、任意の元a∈Uに対してa+0=aって言われても何かに0を足して

Uの元aに加えている0は実数じゃないよ。
集合Uの元（RからRへの微分可能関数）に対して定義された和に関しての0元
つまり、同じ記号　0　で表しているのがまあ、まずいと言えばまずいのだが、
要求されているのはUで定義された加法に関する零元、つまり微分可能関数であって
任意のa∈Uに対して　a+Z＝a　をみたす関数。（数字の0だと混乱するのでアルファベットのZで表すことにする）
定義に戻れば、任意のx∈Rにたいして(a+Z)(x)＝a(x)　が成立するような　Z　だ。
左辺は定義により　a(x)+Z(x) だから、a(x)+Z(x)＝a(x)　により　Z(x)＝0　である。
つまり　任意のx∈Rに対して常に　0　という値をとる関数　Z　が
Uの加法での　0　になる。