A new constructive version of Baire's theorem
BRIDGES, Douglas ; ISHIHARA, Hajime ; V\^{I}\C{T}\U{A}, Lumini\c{t}a
Hokkaido Math. J., Tome 35 (2006) no. 1, p. 107-118 / Harvested from Project Euclid
A new constructive version of Baire's theorem is given and then applied to two problems in functional analysis. The second of these applications provides a new proof that compactly generated Banach spaces are finite dimensional.
Publié le : 2006-02-15
Classification:  Constructive,  Baire,  open mapping,  compactly generated,  46S30
@article{1285766300,
     author = {BRIDGES, Douglas and ISHIHARA, Hajime and V\^{I}\C{T}\U{A}, Lumini\c{t}a},
     title = {A new constructive version of Baire's theorem},
     journal = {Hokkaido Math. J.},
     volume = {35},
     number = {1},
     year = {2006},
     pages = { 107-118},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1285766300}
}
BRIDGES, Douglas; ISHIHARA, Hajime; V\^{I}\C{T}\U{A}, Lumini\c{t}a. A new constructive version of Baire's theorem. Hokkaido Math. J., Tome 35 (2006) no. 1, pp.  107-118. http://gdmltest.u-ga.fr/item/1285766300/