已知定义域为（0，+∞）的函数f（x）满足：对任意x∈（0，+∞），恒有f（2x）=2f（x）成立；当x∈（1，2]时，

∵x∈（1，2]时，f（x）=2-x．∴f（2）=0．f（1）=[1/2f(2)＝0．
∵f（2x）=2f（x），∴f（2^kx）=2^kf（x）．
①f（2^m）=f（2•2^m-1）=2f（2^m-1）=…=2^m-1f（2）=0，∴①正确．
②设x∈（2，4]时，则
1
2x∈(1，2]，∴f（x）=2f（
x
2]）=4-x≥0．
若x∈（4，8]时，则[1/2x∈（2，4]，∴f（x）=2f（
x
2]）=8-x≥0．
…
一般地当x∈（2^m，2^m+1），
则
x
2m∈（1，2]，f（x）=2^m+1-x≥0，
从而f（x）∈[0，+∞），∴②正确
③由②知当x∈（2^m，2^m+1），f（x）=2^m+1-x≥0，
∴f（2ⁿ+1）=2ⁿ⁺¹-2ⁿ-1=2ⁿ-1，假设存在n使f（2ⁿ+1）=9，
即2ⁿ-1=9，∴2ⁿ=10，
∵n∈Z，∴2ⁿ=10不成立，∴③错误；
④由②知当x⊆（2^k，2^k+1）时，f（x）=2^k+1-x单调递减，为减函数，
∴若（a，b）⊆（2^k，2^k+1）”，则“函数f（x）在区间（a，b）上单调递减”．
∴④正确．
故答案为：①②④．

点评：
本题考点： 命题的真假判断与应用．

考点点评： 本题主要考查抽象函数的性质，考查了函数的单调性，以及学生的综合分析能力．