実数aをパラメータとする微分方程式xy'=ayを考える。
S(a)={y∈C^1(R):xy'=ay}を求めよ。ただしC^1(R)は実数全体で定義された
連続微分可能な関数全体を表す。

S(a)を求めるってのは何しろってことですか？