
We formulate a formal language in which it is meaningful to say that an object almost satisfies a property. We then show that any object which almost satisfies a property is near an object which exactly satisfies the property. We show how this principle can be used to prove existence theorems. We give an example showing how one may strengthen the statement to give information about the relationship between the amount by which the object fails to satisfy the property and the distance to the nearest object which satisfies the property. Examples are given concerning commuting matrices, additive sequences, Brouwer fixed points, competitive equilibria, and differential equations.
Nonstandard models in mathematics, General equilibrium theory, almost satisfaction, nonstandard analysis, Nonstandard analysis
Nonstandard models in mathematics, General equilibrium theory, almost satisfaction, nonstandard analysis, Nonstandard analysis
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 11 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
