"Logic sometimes makes monsters. Since half a century we have seen a crowd of bizarre functions which seem to try to resemble as little as possible the honest functions which serve some purpose. No longer continuity, or perhaps continuity, but no derivatives, etc. Nay more, from the logical point of view, it is these strange functions which are the most general, those one meets without seeking no longer appear except as particular cases. There remains for them only a small corner.
Heretofore when a new function was invented, it was for some practical end; to-day they are invented expressly to put at fault the reasonings of our fathers, and one never will get from them anything more than that." -- Henri Poincaré (1908, as quoted in Lakatos 1976, pp. 22-23).
Mainstream economists these days seem unwilling to accept claims about economics that are not backed up by mathematical models. (I think that views on mathematical formalism are pluralistic among non-mainstream economists. Mathematical models are just one of several approaches to acceptable claims about economics, and some non-mainstream economists are quite good at producing mathematical models.) Generally speaking, mainstream economists seem to me to reject norms common among mathematicians.
Anybody taking a standard undergraduate sequence in mathematics at a reasonably good university has an opportunity to be introduced to real analysis. Often, such a class is where the mathematician is introduced to a certain style of definitions and proofs, particularly epsilon-delta proofs. Besides this style, these classes teach a certain content, that is, the theory of limits, the differential calculus, and the integral calculus, from a rigorous standpoint. (I also draw on measure theory below, which, for me, was not taught at the undergraduate level.) In such a class, one should see various examples and purported counter-examples. The examples help the student to understand the range of behavior consistent with certain axioms. The supposed counter-examples help the student understand why theorems contain certain assumptions and why certain concepts useful for stating these assumptions were introduced into mathematics. Given an example inconsistent with the conclusion of a theorem, the student should identify a clause in the assumptions of the theorem that rules out the example.
To make my point, I'll list some examples. For my amusement, I'm not (initially) looking up anything for this post. Just as when someone criticizes somebody else's grammar, the probability approaches unity that they will make a typographic error, so I'll almost certainly be mistaken somewhere below. Does anybody have suggestions for additions to the following list of examples from real analysis?
- Define a function that is discontinuous at some point.
- Define a function that is continuous everywhere, but differentiable nowhere.
- Define a sequence of functions that converges pointwise, but is not uniformly convergent. (Or is it the other way 'round?)
- Define a function that is Lebesque integrable, but not Riemann integrable.
- Provide an example of a non-(Lebesque) measurable set.
The style of reasoning introduced in courses on real analysis has been important in economics since, at least, Debreu (1959). And economics provides many examples analogous to the answers to the above problems. Lexicographic preferences can provide an example of a complete order on a commodity space - that is, rational preferences - that cannot be represented by an utility function. Such preferences highlight the need for an assumption on the continuity of preferences, given that the commodity space is a continuum; "rationality" is not sufficient. Menu-dependent preferences suggest the possibility of specifying deeper structures that do and do not allow the construction of binary preference relation providing an order for a commodity space. I suppose the concept of hemi-continuity is proof generated in economics.
Sraffians have also provided many examples not consistent with outdated mainstream teaching. Ian Steedman's work, over the last quarter century, is particularly good on examples illustrating that the Cambridge critique is not exhausted by the possibilities highlighted by reswitching and capital-reversing. As of yet, economists have not specified any general assumption on production processes that rules out these sort of Sraffian examples and yields neoclassical conclusions. Yet many economists - who, I guess, treat their training in mathematics as a hazing ceremony for induction into the brotherhood of economists - proceed as if they have some such theorem.
Obviously, despite my generalization, some economists, both mainstream and non-mainstream understand and accept mathematical analysis. Maybe more mainstream economists understand than my generalization would suggest. The refusal I have seen of economists to accept their own logic may be the manifestation of anti-intellectualism and boundary-patrolling that I think is so common among properly socialized economists. The general public must not come to understand how vulnerable the conclusions of mainstream economists are to slight perturbations in model assumptions. Demonstrations of the failure of the logic in the teaching and public pronouncements of economists must be distracted in blather about credentials or (false?) irrelevancies about empirical results. What economists say in public and what they say in professional seminars need not be consistent. (This is not quite the right link from Dani Rodrik making his point.) I can easily be led to believe that explanation for some behavior I have seen is more a matter of the sociology of economics and less a lack of understanding of mathematics. So, in general, are economists still exhibiting a century-outdated attitude to mathematics?Answers
- This is an easy question. For amusement, I'll name a function that exhibits a discontinuity of the second kind, if I correctly remember the terminology. Consider the limit of the following function of the reals as x approaches zero: f(x) = sin(1/x), if x ≠ 0; 0, if x = 0.
- Various space filling curves provide examples. I think both Hilbert and Sierpinski provide examples.
- I'm vague on this one, but consider the Fourier series for a square wave, where the value of the square wave at points of discontinuity is the midpoint of the left-hand and right-hand limits. I think mathematicians greeted Fourier's work on functions that were only piecewise continuous with some degree of incredulity.
- f(x) = 0, for x rational; 1 for x irrational.
- Consider a decomposition of the real numbers between zero and unity, inclusive, into equivalence classes. For this example, two real numbers in the range are considered equivalent if the difference between them, modulo one, more or less, is a rational number. The axiom of choice allows one to select a real number in each equivalence class. Take the union, with the index set for the union formed by the choice from each equivalence class. The index set contains an infinite number of elements, and the union is the desired closed interval. Furthermore, each equivalence class can be put into a one-to-one correspondence with any other equivalence class. Thus, the measure of each equivalence class must be the same. And these measures must add up to one, since that is the Lebesque measure of the closed interval. But assigning a measure of zero to each equivalence class will not do, and the sum over equivalence claess for any finite measure would be positive infinity. So any equivalence class formed in this way in non-measurable.
- Gerard Debreu (1959). Theory of Value: An Axiomatic Analysis of Economic Equilibrium. John Wiley & Sons.
- Imre Lakatos (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.
- Walter Rudin (1976). Principles of Mathematical Analysis, Third edition. McGraw-Hill.