کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
424422 | 685443 | 2007 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Computable Riesz Representation for the Dual of C[0;1]C[0;1]
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
By the Riesz representation theorem for the dual of C[0;1]C[0;1], for every continuous linear operator F:C[0;1]→RF:C[0;1]→R there is a function g:[0;1]→Rg:[0;1]→R of bounded variation such thatF(f)=∫fdg(f∈C[0;1]). The function g can be normalized such that V(g)=‖F‖V(g)=‖F‖. In this paper we prove a computable version of this theorem. We use the framework of TTE, the representation approach to computable analysis, which allows to define natural computability for a variety of operators. We show that there are a computable operator S mapping g and an upper bound of its variation to F and a computable operator S′S′ mapping F and its norm to some appropriate g.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 167, 24 January 2007, Pages 157–177
Journal: Electronic Notes in Theoretical Computer Science - Volume 167, 24 January 2007, Pages 157–177
نویسندگان
Hong Lu, Klaus Weihrauch,