Most functions are not well-behaved: Difference between revisions

From Calculus
(Created page with "== Statement == This is a meta-principle of calculus, with different forms. ===Most functions are not well-behaved=== For any definition of "well-behaved", most functions o...")
(No difference)

Revision as of 18:29, 24 September 2021

Statement

This is a meta-principle of calculus, with different forms.

Most functions are not well-behaved

For any definition of "well-behaved", most functions on the reals, or on multiple real variables (or even on intervals within or ) that can take arbitrary real values do not satisfy that definition.

In particular:

  • Most functions do not have explicit expressions.
  • Most functions are not continuous.
  • Most functions are not integrable.

Two non-identical notions of well-behaved tend to be vastly different

If we have two function properties and that both capture some notion of "well-behaved", and there are functions satisfying but not , then most functions satisfying do not satisfy .

For instance:

  • Most continuous functions are not differentiable.
  • Most integrable functions are not continuous.
  • Most infinitely differentiable functions are not analytic.
  • Most analytic functions are not polynomials.

In most cases, the world of well-behaved functions is "closed" and the world of non-well-behaved functions is open

Well-behaved functions tend to be closed under various kinds of combination and composition. For instance, continuous functions are closed under addition, subtraction, multiplication, division (except for division by zero issues), and composition. In higher mathematics, we often study the vector space structure, ring structure, and near-ring structure of these well-behaved functions.

For non-well-behaved functions, in contrast, it's generally true that combining a non-well-behaved function and a well-behaved function tends to give another non-well-behaved function. This is most true of addition. It is sometimes less true of multiplication and composition (essentially due to potentially destructive effects on bad behaviors of irreversible operations like multiplication by zero).