compact operator

compact operator ( ریاضی )
واژه مصوب: عملگر فشرده
تعریف: تبدیلی خطی بین دو فضای بُرداری نُرم دار، با این ویژگی که نگارۀ هر مجموعۀ کران دار بستار فشرده داشته باشد