Baire Category and Nowhere Differentiability for Feasible Real Functions
نویسندگان
چکیده
A notion of resource-bounded Baire category is developed for the class PC[0,1] of all polynomial-time computable real-valued functions on the unit interval. The meager subsets of PC[0,1] are characterized in terms of resource-bounded Banach-Mazur games. This characterization is used to prove that, in the sense of Baire category, almost every function in PC[0,1] is nowhere differentiable. This is a complexity-theoretic extension of the analogous classical result that Banach proved for the class C[0, 1] in 1931.
منابع مشابه
The Baire Theory of Category
The Baire theory of category, which classifies sets into two distinct categories, is an important topic in the study of metric spaces. Many results in topology arise from category theory; in particular, the Baire categories are related to a topological property. Because the Baire Category Theorem involves nowhere dense sets in a complete metric space, this paper first develops the concepts of n...
متن کاملDensity Continuity Versus Continuity
Real-valued functions of a real variable which are continuous with respect to the density topology on both the domain and the range are called density continuous. A typical continuous function is nowhere density continuous. The same is true of a typical homeomorphism of the real line. A subset of the real line is the set of points of discontinuity of a density continuous function if and only if...
متن کاملControl and Cybernetics Paraconvex Analysis
In the theory of optimization an essential role is played by the differentiability of convex functions. In this paper we shall try to extend the results concerning differentiability to a larger class of functions called strongly α(·)-paraconvex. Let (X, ‖.‖) be a real Banach space. Let f(x) be a real valued strongly α(·)-paraconvex function defined on an open convex subset Ω ⊂ X , i.e. f ( tx+(...
متن کاملA Generalization of Baire Category in a Continuous Set
The following discusses a generalization of Baire category in a continuous set. The objective is to provide a meaningful classification of subsets of a continuous set as “large” or “small” sets in linearly ordered continuous sets. In particular, for cardinal number κ, the continuous ordered set 2∗ a subset of the set of dyadic sequences of length κ is discussed. We establish that this space, an...
متن کاملOn the Uniform Computational Content of the Baire Category Theorem
We study the uniform computational content of different versions of the Baire Category Theorem in the Weihrauch lattice. The Baire Category Theorem can be seen as a pigeonhole principle that states that a complete (i.e., “large”) metric space cannot be decomposed into countably many nowhere dense (i.e., “small”) pieces. The Baire Category Theorem is an illuminating example of a theorem that can...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 50 شماره
صفحات -
تاریخ انتشار 2001