以表示值域为R的函数组成的集合，表示具有如下性质的函数组成的集合：对于函数，存在一个正数，使得函数的值域包含于区间。例如，当，时，，.现有如下命题：
①设函数的定义域为，则“”的充要条件是“，，”；
②若学科网函数，则有最大值和最小值；
③若函数，的定义域相同，且，，则；
④若函数（，）有最大值，则.
其中的真命题有      .（写出所有真命题的序号）

以表示值域为R的函数组成的集合，表示具有如下性质的函数组成的集合：对于函数，存在一个正数，使得函数的值域包含于区间.例如，当，时，，.现有如下命题：
①设函数的定义域为，则“”的充要条件是“，，”；
②学科网函数的充要条件是有最大值和最小值；
③若函数，的定义域相同，且，，则；
④若函数（，）有最大值，则.
其中的真命题有      .（写出所有真命题的序号）