Approximating Integrable Sets by Compacts Constructively

ثبت نشده
چکیده

In locally compact spaces, (Borel-)measurable sets can be approximated by compact sets. Ulam extended this result to complete separable metric spaces. We give a constructive proof of Ulam’s theorem. It is first proved intuitionistically and then, using a logical ‘trick’ due to Ishihara, a proof acceptable in Bishop-style mathematics is obtained. We feel this proof provides some insight into Ishihara’s trick. Finally, we show how several intuitionistic measure theoretic theorems can be extended to regular integration spaces, that is integration spaces where integrable sets can be approximated by compacts. These results may help to understand Bishop’s choice of definitions.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Approximating Integrable Sets by Compacts Constructively

In locally compact spaces, (Borel-)measurable sets can be approximated by compact sets. Ulam extended this result to complete separable metric spaces. We give a constructive proof of Ulam’s theorem. It is first proved intuitionistically and then, using a logical ‘trick’ due to Ishihara, a proof acceptable in Bishop-style mathematics is obtained. We feel this proof provides some insight into Ish...

متن کامل

Approximating Integrable Sets by Compacts Constructively

In locally compact spaces, (Borel-)measurable sets can be approximated by compact sets. Ulam extended this result to complete separable metric spaces. We give a constructive proof of Ulam’s theorem. It is first proved intuitionistically and then, using a logical ‘trick’ due to Ishihara, a proof acceptable in Bishop-style mathematics is obtained. We feel this proof provides some insight into Ish...

متن کامل

Uniform Approximation of Topological Spaces

We sharpen the notion of a quasi-uniform space to spaces which carry with them functional means of approximating points, opens and compacts. Assuming nothing but sobriety, the requirement of uniform approximation ensures that such spaces are compact ordered (in the sense of Nachbin). We study uniformly approximated spaces with the means of topology, uniform topology, order theory and locale the...

متن کامل

ON CONVERGENCE THEOREMS FOR FUZZY HENSTOCK INTEGRALS

The main purpose of this paper is to establish different types of convergence theorems for fuzzy Henstock integrable functions, introduced by  Wu and Gong cite{wu:hiff}. In fact, we have proved fuzzy uniform convergence theorem, convergence theorem for fuzzy uniform Henstock integrable functions and fuzzy monotone convergence theorem. Finally, a necessary and sufficient condition under which th...

متن کامل

Vector Fields and Nilpotent Lie Algebras

In other words, we want to write the corresponding trajectory t → x(t) in closed form. Of course, since this cannot be done for most differential equations, it is important to find a means of approximating a general flow by a flow which is explicitly integrable in closed form. In this paper we describe an infinite dimensional family of explicitly integrable flows E; in a companion paper [6] we ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017