>>483
言いたいことはわかるし，そういう X は X = (R×C, R) とか書いておけばいい．
係数体が文脈から自明なら X = R×C でも十分．

……なんだけど，それは二次元の線型空間にはならない．

線型空間の次元ってのは，その空間からいくつ独立な元が取れるかによって
決まるんだけど，X = R×C の三つの元 (1, 0), (0, 1), (0, i) は R 上独立だから，
結局この空間は三次元の線型空間になる．