𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Banach-Steinhaus theorem for the space (ℝ) in constructive analysis

✍ Scribed by Satoru Yoshida

Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
197 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We prove the Banach‐Steinhaus theorem for distributions on the space 𝒟(ℝ) within Bishop's constructive mathematics. To this end, we investigate the constructive sequential completion $ \tilde {\cal D} $(ℝ) of 𝒟(ℝ).

📜 SIMILAR VOLUMES

The abstract cauchy-kovalevskaya theorem
The abstract cauchy-kovalevskaya theorem in a weighted banach space
✍ M. V. Safonov 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 335 KB 👁 1 views

A scale of Banach spaces is considered as a single weighted Banach space. A variant of the Cauchy-Kovalevskaya theorem is proved, including the results of Nirenberg and Nishida for the abstract nonlinear Cauchy problem. @ 1995 John Wiley & Sons, Inc.

The Failure of Rolle's Theorem in Infini
The Failure of Rolle's Theorem in Infinite-Dimensional Banach Spaces
✍ Daniel Azagra; Mar Jiménez-Sevilla 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 171 KB

We prove the following new characterization of C p (Lipschitz) smoothness in Banach spaces. An infinite-dimensional Banach space X has a C p smooth (Lipschitz) bump function if and only if it has another C p smooth (Lipschitz) bump function f such that its derivative does not vanish at any point in

The Denjoy–Wolff Theorem in the Open Uni
The Denjoy–Wolff Theorem in the Open Unit Ball of a Strictly Convex Banach Space
✍ Jaroslaw Kapeluszny; Tadeusz Kuczumow; Simeon Reich 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 122 KB

Let X be a complex strictly convex Banach space with an open unit ball B. For each compact, holomorphic and fixed-point-free mapping f: B Ä B there exists ! # B such that the sequence [ f n ] of iterates of f converges locally uniformly on B to the constant map taking the value !.