Topic: Advanced Analysis

Proof Architecture for Hahn-Banach

Hahn-Banach Theorem

Statement of Hahn-Banach

Open Mapping Theorem

Closed Graph Theorem

Meager and Comeager Sets

Nowhere Dense Sets

Applications of Baire Category

Proof of Baire Category Theorem

Complete Metric Spaces and Category