The Hahn-Banach Theorem for real vector spaces (2001)
by
Gertrud Bauer
| Venue: | PART OF THE ISABELLE99-2 DISTRIBUTION, LIBRARY/HOL/HOL-REAL/HAHNBANACH/DOCUMENT.PDF |
| Citations: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Bauer01thehahn-banach,
author = {Gertrud Bauer},
title = {The Hahn-Banach Theorem for real vector spaces },
booktitle = {PART OF THE ISABELLE99-2 DISTRIBUTION, LIBRARY/HOL/HOL-REAL/HAHNBANACH/DOCUMENT.PDF},
year = {2001},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The Hahn-Banach Theorem is one of the most fundamental results in functional analysis. We present a fully formal proof of two versions of the theorem, one for general linear spaces and another for normed spaces. This development is based on simply-typed classical set-theory,
Citations
| 4 | Hahn-Banach theorem - Nowak, Trybulec - 1993 |
| 3 | Funktionalanalysis: Theorie und Anwendung - Heuser - 1986 |
| 3 | The Hahn-Banach Theorem: The life and times - Narici, Beckenstein - 1996 |
