Banach space
Overview page. Subjects: Mathematics.
A complete normed vector space on the real or complex numbers.
COMPUTABILITY ON NON-SEPARABLE BANACH SPACES AND LANDAU'S THEOREM
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