设 $X$ 是一个有限集合,法则 $f$ 使得 $X$ 的每一个偶子集 $E$(偶数个元素组成的子集)都对应一个实数 $f(E)$,满足条件:
① 存在一个偶子集 $D$,使得 $f(D)>1990$;
② 对于 $X$ 的任意两个不相交的偶子集 $A,B$,有 $f(A\cup B)=f(A)+f(B)-1990$.
求证:存在 $X$ 的子集 $P,Q$,满足
① $P\cap Q=\varnothing$,$P\cup Q=X$;
② 对 $P$ 的任何非空偶子集 $S$,有 $f(S)>1990$;
③ 对 $Q$ 的任何偶子集 $T$,有 $f(T)\leqslant 1990$.
