摘要

给出了无穷区间上一类抽象连续函数族相对紧性判断的一个充分必要条件,并应用它获得了抽象空间上一阶微分方程的终值问题和Fredholm型积分方程解的存在性。