[Paper Review] Exponential-like function method in strong c-algebrability

Artur Bartoszewicz, Marek Bienias+2 more|arXiv (Cornell University)|Jul 1, 2013

Advanced Banach Space Theory19 references3 citations

TL;DR

This paper introduces the exponential-like function method to establish strong c-algebrability of various exceptional sets of real functions. By constructing a specific family of functions with controlled growth and algebraic independence, the method proves strong c-algebrability for sets including nowhere H"older, nowhere monotone differentiable, smooth but nowhere analytic, and other pathological function classes.

ABSTRACT

We present a method that has a numerous applications in proving strong c-algebrability. As an outcome we obtain the strong c-algebrability of the following sets of functions: strong Sierpi\'nski-Zygmund, nowhere H\older, Bruckner-Garg, nowhere monotone differentiable, a certain Baire class, smooth and nowhere analytic functions.

Motivation & Objective

• To develop a general method for proving strong c-algebrability of sets of real functions with exceptional differentiability or continuity properties.
• To address the challenge of constructing uncountable, algebraically independent families of functions within pathological function classes.
• To extend existing algebrability results to include functions that are nowhere H"older, nowhere monotone differentiable, and smooth but nowhere analytic.
• To provide a unified framework applicable across diverse function classes in real analysis and descriptive set theory.
• To demonstrate the method's effectiveness through concrete applications to well-known exceptional function sets.

Proposed method

• The method constructs a family of functions using exponential-like growth patterns to ensure algebraic independence.
• It relies on selecting functions with controlled, non-regular behavior to avoid standard smoothness or monotonicity properties.
• The construction ensures uncountable algebraic independence by leveraging functional independence over the reals.
• The method applies to various function classes by adjusting the growth and differentiability constraints in the construction.
• It uses the structure of free algebras over uncountable sets to establish strong c-algebrability.
• The approach is general enough to be applied to sets defined by non-differentiability, non-monotonicity, or non-analyticity.

Experimental results

Research questions

• RQ1 Can a unified method be developed to prove strong c-algebrability across diverse pathological function classes?
• RQ2 How can algebraic independence be systematically constructed in sets of functions with extreme regularity failures?
• RQ3 What functional forms enable both pathological behavior and uncountable algebraic independence?
• RQ4 To what extent can the exponential-like function method be generalized to other function classes?
• RQ5 Which classical function sets—such as Sierpiński-Zygmund or Bruckner-Garg—admit strong c-algebrability via this method?

Key findings

• The exponential-like function method successfully establishes strong c-algebrability for the set of strong Sierpiński-Zygmund functions.
• The method proves strong c-algebrability of the set of nowhere H"older continuous functions.
• It demonstrates strong c-algebrability for the class of Bruckner-Garg functions.
• The set of nowhere monotone differentiable functions is shown to be strongly c-algebrable using this method.
• The method confirms strong c-algebrability for a certain Baire class of functions with extreme oscillatory behavior.
• The construction yields strong c-algebrability for the class of smooth but nowhere analytic functions.