Oxford Index Search Results

You are looking at 1-1 of 1 items for:

Banach space x Logic x clear all

Refine by type

Refine by product

 

Banach space

Overview page. Subjects: Mathematics.

A complete normed vector space on the real or complex numbers.

See overview in Oxford Index

COMPUTABILITY ON NON-SEPARABLE BANACH SPACES AND LANDAU'S THEOREM

Vasco Brattka.

in From Sets and Types to Topology and Analysis

October 2005; p ublished online September 2007 .

Chapter. Subjects: Logic. 10755 words.

In computable analysis, a computable normed space turns out to be necessarily separable. In classical functional analysis, non-separable spaces occur naturally, for example as dual spaces...

Go to »  abstract