A Proof of Constructive Version of Brouwer's Fixed Point Theorem with Uniform Sequential Continuity
المؤلف
المصدر
العدد
المجلد 2011، العدد 2011 (31 ديسمبر/كانون الأول 2011)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2011-07-09
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
الملخص EN
It is often said that Brouwer's fixed point theorem cannot be constructively proved.
On the other hand, Sperner's lemma, which is used to prove Brouwer's theorem, can be constructively proved.
Some authors have presented a constructive (or an approximate) version of Brouwer's fixed point theorem using Sperner's lemma.
They, however, assume uniform continuity of functions.
We consider uniform sequential continuity of functions.
In classical mathematics, uniform continuity and uniform sequential continuity are equivalent.
In constructive mathematics a la Bishop, however, uniform sequential continuity is weaker than uniform continuity.
We will prove a constructive version of Brouwer's fixed point theorem in an n-dimensional simplex for uniformly sequentially continuous functions.
We follow the Bishop style constructive mathematics.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Tanaka, Yasuhito. 2011. A Proof of Constructive Version of Brouwer's Fixed Point Theorem with Uniform Sequential Continuity. ISRN Applied Mathematics،Vol. 2011, no. 2011, pp.1-9.
https://search.emarefa.net/detail/BIM-459613
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Tanaka, Yasuhito. A Proof of Constructive Version of Brouwer's Fixed Point Theorem with Uniform Sequential Continuity. ISRN Applied Mathematics No. 2011 (2011), pp.1-9.
https://search.emarefa.net/detail/BIM-459613
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Tanaka, Yasuhito. A Proof of Constructive Version of Brouwer's Fixed Point Theorem with Uniform Sequential Continuity. ISRN Applied Mathematics. 2011. Vol. 2011, no. 2011, pp.1-9.
https://search.emarefa.net/detail/BIM-459613
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-459613
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر