A compact space in topology is a space in which every open cover has a finite subcover, which essentially means it is limited in extent and closed. Compactness is a crucial property because it allows for the extension of many properties of finite sets to infinite sets, facilitating analysis and problem-solving in mathematical contexts.