قضایای نقطه ثابت روی عملگرها محدّب, بست و کراندار اثبات می شوند که این قضایا را روی عملگرهای چگال بررسی می کنیم.