A pedagogical history of compactness

TL;DR

This paper reviews the historical development of the concept of compactness in topology, from its origins to modern generalizations involving nets and filters.

Contribution

It provides a comprehensive pedagogical overview of the evolution of compactness, highlighting key conceptual shifts and generalizations.

Findings

Historical perspective on compactness development

Introduction of nets and filters in generalizing compactness

Clarification of foundational concepts in topology

Abstract

This paper traces the history of compactness from the original motivating questions, through the development of the definition, to a generalization of sequential compactness in terms of nets and filters.