Saturday, March 21, 2015

On Mainstream Economists' Ignorance Of Real Analysis

"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?

  1. Define a function that is discontinuous at some point.
  2. Define a function that is continuous everywhere, but differentiable nowhere.
  3. Define a sequence of functions that converges pointwise, but is not uniformly convergent. (Or is it the other way 'round?)
  4. Define a function that is Lebesque integrable, but not Riemann integrable.
  5. 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
  1. 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.
  2. Various space filling curves provide examples. I think both Hilbert and Sierpinski provide examples.
  3. 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.
  4. f(x) = 0, for x rational; 1 for x irrational.
  5. 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.
References
  • 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.

Thursday, March 12, 2015

Purge of Heterodox Economists Underway at Manitoba?

I stumbled across an article published yesterday in "The students' newspaper of the University of Manitoba". Apparently, the Canadian Association of University Teachers (CAUT) published a report, Report of the Ad Hoc Investigatory Committee into the Department of Economics at the University of Manitoba. They are concerned with the violation, in the economics department, of the academic freedom of professors of economics.

Monday, March 09, 2015

Newton Method, Re-Iterated

Figure 1: Cube Roots Of Unity, Rotated, Newton's Method

I have been re-visiting my program for drawing fractals with Newton's method. Newton's method is an iterative method for finding the roots of non-linear systems of equations. That is, it is used to find zeros of functions. For my purposes, Newton's method can be used to draw fractals, although I was pleased to learn a bit more about methods in numerical analysis. I made various improvements to my program, including the the implementation of:

  • More polynomial functions whose zeros are desired.
  • Rotations and reflections.
  • Two additional iterative methods for root finding.

I was pleased that I had thought to define a Java interface for functions whose zeros were sought. (When one looks at one's own code from a couple years ago, one might as well as be looking at code by somebody else.) Each new function could be added by defining a class implementing this interface. Besides specific functions, I defined a general polynomial, with complex coefficients, that maps complex numbers into complex numbers. I defined rotations and reflections by the transformations to the zeros of this general polynomial. A different strategy would need to be specified if one wanted to create a program for drawing fractals for functions that are not limited to being polynomials.

Halley's method is derived from a second-order Taylor approximation. (Newton's method is derived from a first order approximation.) As nearly, as I can see, Halley's method does not produce as interesting fractals. In implementing the method, I had to review a bit about tensors, since the second derivative of a function mapping the real plane into the real plane is a tensor.

Figure 2: Cube Roots Of Unity, Rotated, Halley's Method

I do not have much of an understanding of the rationale for the Chun-Neta method. I can see that it takes less iterations than Newton or Halley's method, although more calculations per iteration than either of those two methods. (The visual result of less iterations is a lighter color around the roots in the image below, as compared with above.) As I understand it, the black lines in the figure are an artifact of my implementation, probably resulting from dividing by zero.

Figure 3: Cube Roots Of Unity, Rotated, Chun-Neta Method

I conclude with an example from a general polynomial, where I defined roots so that the resulting figures would have no obvious symmetries.

Figure 4: A Fourth Degree Polynomial, Halley's Method
Figure 5: A Fourth Degree Polynomial, Chun-Neta Method
References
  • Chun, C. and B. Neta (2011). A new sixth-order scheme for nonlinear equations. Applied Mathematics Letters.
  • Scott, Melvin, B. Neta, and C. Chun (2011). Basin attractors for various methods. Applied Mathematics and Computation, V. 218: pp. 2584-2599.
  • Yau, Lily and A. Ben-Israel (1998). The Newton and Halley methods for complex roots. American Mathematical Monthly, V. 105: pp. 806-818