کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9517010 | 1633128 | 2005 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Computability of a function with jumps
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
هندسه و توپولوژی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Computability of a function with jumps Computability of a function with jumps](/preview/png/9517010.png)
چکیده انگلیسی
Given a strictly increasing computable sequence (called a base sequence) of real numbers (with respect to the Euclidean topology), one can induce an effective uniformity for the real line, where the elements in the base sequence are regarded as isolated. The relation between two extended notions of computability of real sequences, one with respect to the Euclidean space with a limiting recursive modulus of convergence and one with respect to the induced uniform space, is discussed. As a consequence, we prove the equivalence of two extended notions of sequential computability (called L- and A- sequential computability) of a real function. This indicates that the two extended notions of sequential computability provide computational mechanisms of the same power. We will then characterize a piecewise continuous function to be computable (called para-computable here) as being L- (hence A-) sequentially computable and piecewise effectively continuous.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Topology and its Applications - Volumes 146â147, 1 January 2005, Pages 563-582
Journal: Topology and its Applications - Volumes 146â147, 1 January 2005, Pages 563-582
نویسندگان
Mariko Yasugi, Yoshiki Tsujii,