Non-standard Calculus - Compactness

Compactness

A set A is compact if and only if its natural extension A* has the following property: every point in A* is infinitely close to a point of A. Thus, the open interval (0,1) is not compact because its natural extension contains positive infinitesimals which are not infinitely close to any positive real number.

Read more about this topic:  Non-standard Calculus