✦ LIBER ✦

Computability of compact operators on computable Banach spaces with bases

✍ Scribed by Vasco Brattka; Ruth Dillhage

Publisher: John Wiley and Sons
Year: 2007
Tongue: English
Weight: 210 KB
Volume: 53
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200710004

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We develop some parts of the theory of compact operators from the point of view of computable analysis. While computable compact operators on Hilbert spaces are easy to understand, it turns out that these operators on Banach spaces are harder to handle. Classically, the theory of compact operators on Banach spaces is developed with the help of the non‐constructive tool of sequential compactness. We demonstrate that a substantial amount of this theory can be developed computably on Banach spaces with computable Schauder bases that are well‐behaved. The conditions imposed on the bases are such that they generalize the Hilbert space case. In particular, we prove that the space of compact operators on Banach spaces with monotone, computably shrinking, and computable bases is a computable Banach space itself and operations such as composition with bounded linear operators from left are computable. Moreover, we provide a computable version of the Theorem of Schauder on adjoints in this framework and we discuss a non‐uniform result on composition with bounded linear operators from right. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Spaces of Compact Operators on a Hilbert

Spaces of Compact Operators on a Hilbert Space with the Fixed Point Property

✍ Patrick N. Dowling; Narcisse Randrianantoanina 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 111 KB

Every non-reflexive subspace of K(H), the space of compact operators on a Hilbert space H, contains an asymptotically isometric copy of c 0 . This, along with a result of Besbes, shows that a subspace of K(H) has the fixed point property if and only if it is reflexive.

A benchmark study based on the parallel

A benchmark study based on the parallel computation of the vector outer-product A = uvT operation

✍ Da Cunha, Rudnei Dias 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 130 KB 👁 1 views

In this paper we benchmark the performance of the Cray T3D, IBM 9076 SP/1 and Intel Paragon XP/S parallel computers, using implementations of parallel algorithms for the computation of the vector outer-product A = uv T operation. The vector outer-product operation, although very simple in nature, re

Direct Computation of the Simultaneous S

Direct Computation of the Simultaneous Stone-Weierstrass Approximation of a Function and Its Partial Derivatives in Banach Spaces, and Combination with Hermite Interpolation

✍ J.C. Evard; F. Jafari 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 338 KB

We present a new variant of the simultaneous Stone-Weierstrass approximation of a function and its partial derivatives, when the function takes its values in a Banach space, and provide an explicit and direct computation of this approximation. In the particular case of approximation by means of poly

Some empirical insights on diagnostic pe

Some empirical insights on diagnostic performance of the operating crew in a computer-based advanced control room

✍ Jaewhan Kim; Jonghyun Kim; Jinkyun Park; Seung Cheol Jang; Yeong Cheol Shin 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 326 KB

## Abstract As computer‐based design features are adopted in main control rooms of nuclear power plants, a human reliability analysis (HRA) method dealing with the effects of these design features on human behavior is needed. This article provides experimental results of human diagnostic performanc

Computation of RCS of jet engine with co

Computation of RCS of jet engine with complex terminations based on multiplaten z-buffer algorithm

✍ Jin-Lin Hu; Chi Hou Chan; Shi-Ming Lin 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 144 KB

The analysis of electromagnetic scattering from a jet engine with complex termination is a ¨ery difficult task because the electrical size of the engine ca¨ity is ¨ery large and the geometry of the engine termination is ¨ery complex. In this paper, the shooting-and-bouncing ( ) rays SBR method is em

Evaluating the information quality of We

Evaluating the information quality of Web sites: A methodology based on fuzzy computing with words

✍ Enrique Herrera-Viedma; Gabriella Pasi; Antonio G. Lopez-Herrera; Carlos Porcel 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB 👁 3 views

## Abstract An evaluation methodology based on fuzzy computing with words aimed at measuring the information quality of Web sites containing documents is presented. This methodology is qualitative and user oriented because it generates linguistic recommendations on the information quality of the co