The “epsilon-delta” nature of analysis can be daunting and unintuitive to students, as the heavy reliance on inequalities rather than equalities. But it occurred to me recently that one might be able to leverage the intuition one already has from “deals” – of the type one often sees advertised by corporations – to get at least some informal understanding of these concepts.
Take for instance the concept of an upper bound or a lower bound on some quantity . From an economic perspective, one could think of the upper bound as an assertion that can be “bought” for units of currency, and the lower bound can similarly be viewed as an assertion that can be “sold” for units of currency. Thus for instance, a system of inequalities and equations like
could be viewed as analogous to a currency rate exchange board, of the type one sees for instance in airports:
Currency | We buy at | We sell at |
– | ||
– |
Someone with an eye for spotting “deals” might now realize that one can actually buy for units of currency rather than , by purchasing one copy each of and for units of currency, then selling off to recover units of currency back. In more traditional mathematical language, one can improve the upper bound to by taking the appropriate linear combination of the inequalities , , and . More generally, this way of thinking is useful when faced with a linear programming situation (and of course linear programming is a key foundation for operations research), although this analogy begins to break down when one wants to use inequalities in a more non-linear fashion.
Asymptotic estimates such as (also often written or ) can be viewed as some sort of liquid market in which can be used to purchase , though depending on market rates, one may need a large number of units of in order to buy a single unit of . An asymptotic estimate like represents an economic situation in which is so much more highly desired than that, if one is a patient enough haggler, one can eventually convince someone to give up a unit of for even just a tiny amount of .
When it comes to the basic analysis concepts of convergence and continuity, one can similarly view these concepts as various economic transactions involving the buying and selling of accuracy. One could for instance imagine the following hypothetical range of products in which one would need to spend more money to obtain higher accuracy to measure weight in grams:
Object | Accuracy | Price |
Low-end kitchen scale | gram | |
High-end bathroom scale | grams | |
Low-end lab scale | grams | |
High-end lab scale | grams |
The concept of convergence of a sequence to a limit could then be viewed as somewhat analogous to a rewards program, of the type offered for instance by airlines, in which various tiers of perks are offered when one hits a certain level of “currency” (e.g., frequent flyer miles). For instance, the convergence of the sequence to its limit offers the following accuracy “perks” depending on one’s level in the sequence:
Status | Accuracy benefit | Eligibility |
Basic status | ||
Bronze status | ||
Silver status | ||
Gold status | ||
With this conceptual model, convergence means that any status level of accuracy can be unlocked if one’s number of “points earned” is high enough.
In a similar vein, continuity becomes analogous to a conversion program, in which accuracy benefits from one company can be traded in for new accuracy benefits in another company. For instance, the continuity of the function at the point can be viewed in terms of the following conversion chart:
Accuracy benefit of to trade in | Accuracy benefit of obtained |
Again, the point is that one can purchase any desired level of accuracy of provided one trades in a suitably high level of accuracy of .
At present, the above conversion chart is only available at the single location . The concept of uniform continuity can then be viewed as an advertising copy that “offer prices are valid in all store locations”. In a similar vein, the concept of equicontinuity for a class of functions is a guarantee that “offer applies to all functions in the class , without any price discrimination. The combined notion of uniform equicontinuity is then of course the claim that the offer is valid in all locations and for all functions.
In a similar vein, differentiability can be viewed as a deal in which one can trade in accuracy of the input for approximately linear behavior of the output; to oversimplify slightly, smoothness can similarly be viewed as a deal in which one trades in accuracy of the input for high-accuracy polynomial approximability of the output. Measurability of a set or function can be viewed as a deal in which one trades in a level of resolution for an accurate approximation of that set or function at the given resolution. And so forth.
Perhaps readers can propose some other examples of mathematical concepts being re-interpreted as some sort of economic transaction?
36 comments
Comments feed for this article
4 June, 2023 at 11:30 am
porton
The simplest example is that implication is an allowance to exchange somebody’s for .
4 June, 2023 at 12:59 pm
b_epstein
Is that true? A => B, A => C. Exchange A for B and lose something.
4 June, 2023 at 1:11 pm
porton
@b_epstein When writing this, I had in mind that we have an unlimited supply of copies of A.
4 June, 2023 at 3:05 pm
Anonymous
It seems that all the above examples can be formulated in terms of semi-algebraic geometry. Integration is not a semi-algebraic operation, So it would be interesting to find also similar examples which involve integration.
4 June, 2023 at 6:20 pm
Anonymous
I find “economic intuition” and “economic transaction” hard to understand and inequalities per se are much easier to understand, because I have never had a chance to take an Economics 101. So one can read this article the other way around: one can use the formal math, particularly, inequalities, to gain a better understanding of concepts in economics?
4 June, 2023 at 10:22 pm
Mathur Maynard Amadi
Quantities are the distributive factors of classified integers; thus, an inevitability must depend on the definitions of their Mathematical entries.
5 June, 2023 at 2:12 am
Anonymous
I am a big fan of these types of posts, of making math more accessible! Thank you!
5 June, 2023 at 3:01 am
Alexander Shamov
I don’t have anything to say about the pedagogical merits of this, but this looks related to game semantics. It could very well be the case that under a game interpretation of type theory a proof of an inequality is literally a strategy in some complicated game with some of its moves resembling currency exchanges.
5 June, 2023 at 8:11 am
Terence Tao
I just remembered an ancient comment on my blog (from my old friend Allen Knutson) that currency exchange can be viewed as a connection on a line bundle over the space of international currencies. Thus for instance the bundle would contain a line over the US dollar, another line over the Euro, and so forth. If one currency is convertible to another, the conversion rate gives the connection over the path from the former currency to the latter. As a first approximation (ignoring commissions and other friction costs), this connection is linear. If one performs a loop of currency exchanges, one does not necessarily return to one’s initial amount of currency due to market inefficiencies; so this connection has curvature! But one can arbitrage away this curvature by appropriate trades (including “short” sales if the sign of the curvature is unfavorable), so in an efficient market the connection should be effectively flat.
5 June, 2023 at 9:05 am
awkward person
Interesting….. Why didn’t he write a paper on this? He could have created a new topic. Also happy to see the ‘pres(s)i(ng)dent’ has given you some time to do your math homework!
5 June, 2023 at 11:01 am
Anonymous
An interesting cosmological interpretation of such conversion rate is usually used to model the (large scale) expansion of the universe by a (cosmic) scale factor (which induce curvature and contains information on several cosmological parameters), see
https://en.wikipedia.org/wiki/Scale_factor_(cosmology)
5 June, 2023 at 11:07 pm
Leonid V
Great analogy! Just in case someone looks for an elementary level reference, I recommend checking “Physics from Finance – A gentle introduction to gauge theories, fundamental interactions and fiber bundles” by Jakob Schwichtenberg.
11 June, 2023 at 3:45 am
Anonymous
For posterity, the comment of Knutson that you reference has a now-defunct link to Kirill Ilinski’s thought-provoking 1997 paper “Physics of Finance”. It can be accessed from https://arxiv.org/abs/hep-th/9710148
14 November, 2023 at 7:54 am
Anonymous
Juan Maldacena has a paper on this analogy (aimed at the general public): https://arxiv.org/abs/1410.6753
In a footnote: “The analogy between foreign exchange and lattice gauge theory was noted in K. Young, “Foreign
exchange market as a lattice gauge theory”, American Journal of Physics 67, 862 (1999). Here we will
extend that discussion, with the physics goal in mind. See also K. Illinski, http://arxiv.org/abs/hep-
th/9705086 and P. Malaney, Harvard Ph.D. thesis.”
6 June, 2023 at 12:32 pm
Natananel
Probability may also be interpreted in terms of prices of contingent contracts. In this case, one can show that a simple desideratum (people don’t want to loose money for sure) leads to the basic rules of probability calculus (excep. for sigma-additivity).
6 June, 2023 at 2:01 pm
Ben Johnsrude
I suppose, in this analogy, “small” losses like or could be viewed as a sort of “sales tax;” one can safely disregard them for rough budgeting, but any scheme which involves a lengthy sequence of trades needs to involve a more careful accounting.
7 June, 2023 at 8:38 am
Wednesday assorted links - Marginal REVOLUTION
[…] 4. Terence Tao on convergence and “spotting deals.” […]
7 June, 2023 at 9:05 am
Mark Lewko
One colorful example of mathematical concept being formulated in economic language is the characterization of amenable groups as precisely those groups for which there doesn’t exist a profitable/sustainable Ponzi scheme on its Cayley graph.
See, for example, page 21 of https://arxiv.org/pdf/1210.3671.pdf for a more formal definition of what this means.
7 June, 2023 at 9:16 am
Wednesday assorted links | Factuel News | News that is Facts
[…] 4. Terence Tao on convergence and “spotting deals.” […]
7 June, 2023 at 9:24 am
Wednesday assorted links – IMT Fair
[…] 4. Terence Tao on convergence and “spotting deals.” […]
7 June, 2023 at 9:47 am
Wednesday assorted links – Life Style Box
[…] 4. Terence Tao on convergence and “spotting deals.” […]
7 June, 2023 at 11:38 am
jack morava
Conway’s `On Numbers and Games’ (Ch I) has a beautiful interpretation of numbers (which are totally ordered) as a special class of games (which are not).
11 June, 2023 at 4:17 pm
jack morava
Maybe I should say that in Conway’s system, the value of a game (in von Neumann & Morgenstern’s sense when it applies, \eg classical 2-person zero-sum games) is the number it defines in that case. His numbers are equivalence classes of Dedekind cuts defined by dominating positions among strategies.
I think we should be told. ( : + { ) }
8 June, 2023 at 3:24 am
"不等式、收敛与连续性作为“特别优惠”" - 偏执的码农
[…] 详情参考 […]
8 June, 2023 at 9:57 am
Gabe Khan
It is possible to consider the Sobolev embedding theorems for being an exchange in which one can trade in weak differentiability for some additional integrability. Similarly, Morrey’s inequality gives a way to trade sufficient weak differentiability for some classical derivatives. In general, this process is irreversible and there is almost a second law of thermodynamics preventing trades in the other direction. However, one way to interpret Schauder theory and elliptic regularity is that the equation gives a mechanism to make deals going in the opposite direction.
9 June, 2023 at 6:09 am
Alex Kontorovich
I like this! I often say it in terms of engineering rather than economics, but basically the same thing… https://twitter.com/AlexKontorovich/status/1648790922497523712?s=20
9 June, 2023 at 7:19 am
Mathur Maynard Amadi
The dissertation of any truth depends on the cosmic distance of ones knowledge.
9 June, 2023 at 4:00 pm
Dan Asimov
In my opinion, it is very important to teach the epsilon-delta definition of limit as one of the early pinnacles of modern mathematics. And as calculus students are constantly dealing with limits, they really should know how a limit is defined. I am strongly opposed to a recent tendency to omit this chapter in calculus courses.
But I think that trying to teach limits by teaching something else (like “deals”) will be mainly distracting and not helpful.
Rather, I would carefully and slowly go over the meaning of each of the four clauses of Cauchy’s definition of limit before stitching them together for the full definition, with plenty of examples and exercises at each stage.
(A small thing that I believe helps is to use only *one* of < and >, or of ≥ and ≤, if at al possible during a single discussion. And I would not expect students to prove a limit exists in a case where the inequalities get tricky.)
9 June, 2023 at 10:13 pm
Anonymous
I thought the confusing aspects of limits and continuity to beginning calculus students was the workings of nested quantifiers (forall epsilon, there exists delta…) which at that time are new to them, at least as mathematical formalism. Also, continuity vs uniform continuity amounts to changing the order of quantifiers. Maybe some of that can be handled by comparisons to everyday experience: “you can fool all of the people some of the time (forall p:person, exists t:time, canfool(person p at time t), and some of the people all of the time (exists p, forall t, canfool(p,t)), but not all of the people all of the time (¬ (forall p, forall t, canfool(…)).
9 June, 2023 at 10:17 pm
Anonymous
And I would add the “uniform” version of the first part of that saying: there might be a specific instant during which you can fool everyone simultaneously: exists t, forall p, canfool(p,t). In the US, this usually happens when whoever is president decides to start a war, and goes on tv to get support for it ;).
11 June, 2023 at 6:07 pm
Tim
When you say: “From an economic perspective, one could think of the upper bound as an assertion that {X} can be “bought” for {A} units of currency, and the lower bound can similarly be viewed as an assertion that {X} can be “sold” for {B} units of currency” is this from the perspective of another buyer/seller as later you say that Currency We buy at We sell at
{Y} {2} {5}. Should it be the other way around or am I mistaken about something?
[Currency exchangers usually display their buy/sell prices from their perspective rather than the customer. If you wish, you can replace “We buy at” and “We sell at” to “You sell at” and “You buy at”, if this is clearer for you. -T]
14 June, 2023 at 1:29 pm
Tim
Thanks that is helpful.
11 June, 2023 at 9:54 pm
Mathur Maynard Amadi
Time is the difference between light and darkness but work is the distance between them.
14 June, 2023 at 2:17 am
Arman
PROF wounderful post thanks please more MATH like THIS😊
7 July, 2023 at 6:46 pm
Spearman
From the outset I don’t really follow what X <= A is supposed to represent. A is units of some currency, let's say USD. What is X? Is it assumed to be some fixed quantity of another currency? Why is it an inequality and not an equality, e.g. and exchange rate 1 GBP = 1.2 USD is not expressed as an inequality
10 July, 2023 at 2:17 pm
Terence Tao
would represent something that one could buy with units of currency, though possibly the particular offer is overpriced and that one could also buy for cheaper elsewhere (which mathematically corresponds to improving the upper bound for with some superior bound).
When trading large amounts of extremely liquid currencies or commodities, such as GBP and USD, the markets are efficient enough to essentially match the bid and ask prices for one currency in the units of the other, so that one effectively has equality instead of inequality (though even here there is occasionally a small spread between the two prices). But this is actually the exception rather than the rule: most items do not trade in a way that their bid and ask prices coincide exactly, especially when working with small amounts where friction costs such as transaction fees also become relevant. For instance, if one can purchase a car from a dealer for say 30,000 USD, this does not mean that one can immediately resell that same car for exactly the same price; the best sale price will typically be significantly less than 30,000 USD. The example of rate exchange boards that one might see for instance at an airport currency exchange are another example. Similarly, in mathematics we are fortunate in some cases to have exact expressions for an unknown, but in many cases all we can achieve are upper and lower bounds that have some gap between them.