(2015秋•滕州市校级月考)若函数f(x)对其定义域内的任意x
1,x
2,当f(x
1)=f(x
2)时总有x
1=x
2,则称f(x)为紧密函数,例如函数f(x)=lnx(x>0)是紧密函数,下列命题:
①紧密函数必是单调函数;②函数f(x)=

(x>0)在a<0时是紧密函数;
③函数f(x)=

是紧密函数;
④若函数f(x)为定义域内的紧密函数,x
1≠x
2,则f(x
1)≠f(x
2);
⑤若函数f(x)是紧密函数且在定义域内存在导数,则其导函数f′(x)在定义域内的值一定不为零.
其中的真命题是
.