Do que por mim passa... - Análise (Não - Standard)

Critério de Compacidade de Robinson: Seja (X,d) um espaço métrico separável e K um subespaço de X. K é compacto sse o seu alargamento não-standard *K está contido na imagem inversa de K pela função “shadow”, sh: *X → X.