Searcharxiv⌕ Search

arXiv subjects

Mikhail G. Katz

Publications and source records attributed to Mikhail G. Katz.

At least 55 records · Page 3Linked to original sources

Continuity between Cauchy and Bolzano: Issues of antecedents and priority

In a paper published in 1970, Grattan-Guinness argued that Cauchy, in his 1821 book Cours d'Analyse, may have plagiarized Bolzano's book Rein analytischer Beweis (RB), first published in 1817. That paper was subsequently discredited in several works, but some of its assumptions still prevail today. In particular, it is usually considered that Cauchy did not develop his notion of the continuity of a function before Bolzano developed his in RB, and that both notions are essentially the same. We argue that both assumptions are incorrect, and that it is implausible that Cauchy's initial insight into that notion, which eventually evolved to an approach using infinitesimals, could have been borrowed from Bolzano's work. Furthermore, we account for Bolzano's interest in that notion and focus on his discussion of a definition by Kästner (in Section 183 of his 1766 book), which the former seems to have misrepresented at least partially. Cauchy's treatment of continuity goes back at least to his 1817 course summaries, refuting a key component of Grattan-Guinness' plagiarism hypothesis (that Cauchy may have lifted continuity from RB after reading it in a Paris library in 1818). We explore antecedents of Cauchy and Bolzano continuity in the writings of Kästner and earlier authors.

math.HO↗

Torus cannot collapse to a segment

In earlier work, we analyzed the impossibility of codimension-one collapse for surfaces of negative Euler characteristic under the condition of a lower bound for the Gaussian curvature. Here we show that, under similar conditions, the torus cannot collapse to a segment. Unlike the torus, the Klein bottle can collapse to a segment; we show that in such a situation, the loops in a short basis for homology must stay a uniform distance apart.

math.DG↗

Metric completions, the Heine-Borel property, and approachability

We show that the metric universal cover of a plane with a puncture yields an example of a nonstandard hull properly containing the metric completion of a metric space. As mentioned by do Carmo, a nonextendible Riemannian manifold can be noncomplete, but in the broader category of metric spaces it becomes extendible. We give a short proof of a characterisation of the Heine-Borel property of the metric completion of a metric space M in terms of the absence of inapproachable finite points in *M.

math.DG↗

Cauchy's work on integral geometry, centers of curvature, and other applications of infinitesimals

Like his colleagues de Prony, Petit, and Poisson at the Ecole Polytechnique, Cauchy used infinitesimals in the Leibniz-Euler tradition both in his research and teaching. Cauchy applied infinitesimals in an 1826 work in differential geometry where infinitesimals are used neither as variable quantities nor as sequences but rather as numbers. He also applied infinitesimals in an 1832 article on integral geometry, similarly as numbers. We explore these and other applications of Cauchy's infinitesimals as used in his textbooks and research articles. An attentive reading of Cauchy's work challenges received views on Cauchy's role in the history of analysis and geometry. We demonstrate the viability of Cauchy's infinitesimal techniques in fields as diverse as geometric probability, differential geometry, elasticity, Dirac delta functions, continuity and convergence. Keywords: Cauchy--Crofton formula; center of curvature; continuity; infinitesimals; integral geometry; limite; standard part; de Prony; Poisson

math.HO↗

Mathematical conquerors, Unguru polarity, and the task of history

We compare several approaches to the history of mathematics recently proposed by Blasjo, Fraser--Schroter, Fried, and others. We argue that tools from both mathematics and history are essential for a meaningful history of the discipline. In an extension of the Unguru-Weil controversy over the concept of geometric algebra, Michael Fried presents a case against both Andre Weil the "privileged observer" and Pierre de Fermat the "mathematical conqueror." We analyze Fried's version of Unguru's alleged polarity between a historian's and a mathematician's history. We identify some axioms of Friedian historiographic ideology, and propose a thought experiment to gauge its pertinence. Unguru and his disciples Corry, Fried, and Rowe have described Freudenthal, van der Waerden, and Weil as Platonists but provided no evidence; we provide evidence to the contrary. We analyze how the various historiographic approaches play themselves out in the study of the pioneers of mathematical analysis including Fermat, Leibniz, Euler, and Cauchy.

math.HO↗

Convexity, critical points, and connectivity radius

We study the level sets of the distance function from a boundary point of a convex set in Euclidean space. We provide a lower bound for the range of connectivity of the level sets, in terms of the critical points of the distance function in the sense of Grove-Shiohama-Gromov-Cheeger.

math.DG↗

A quantitative obstruction to collapsing surfaces

We provide a quantitative obstruction to collapsing surfaces of genus at least 2 under a lower curvature bound and an upper diameter bound. Keywords: curvature; diameter; volume; filling radius; systole; Gromov-Hausdorff distance

math.DG↗

On mathematical realism and the applicability of hyperreals

We argue that Robinson's hyperreals have just as much claim to applicability as the garden variety reals. In a recent text, Easwaran and Towsner (ET) analyze the applicability of mathematical techniques in the sciences, and introduce a distinction between techniques that are applicable and those that are merely instrumental. Unfortunately the authors have not shown that their distinction is a clear and fruitful one, as the examples they provide are superficial and unconvincing. Moreover, their analysis is vitiated by a reliance on a naive version of object realism which has long been abandoned by most philosophical realists in favor of truth-value realism. ET's argument against the applicability of hyperreals based on automorphisms of hyperreal models involves massaging the evidence and is similarly unconvincing. The purpose of the ET text is to argue that Robinson's infinitesimal analysis is merely instrumental rather than applicable. Yet in spite of Robinson's techniques being applied in physics, probability, and economics, ET don't bother to provide a meaningful analysis of even a single case in which these techniques are used. Instead, ET produce page after page of speculations mainly imitating Connesian chimera-type arguments `from first principles' against Robinson. In an earlier paper Easwaran endorsed real applicability of the sigma-additivity of measures, whereas the ET text rejects real applicability of the axiom of choice, voicing a preference for ZF. Since it is consistent with ZF that the Lebesgue measure is not sigma-additive, Easwaran is thereby walking back his earlier endorsement. We note a related inaccuracy in the textbook Measure Theory by Paul Halmos.

math.HO↗

19th century real analysis, forward and backward

19th century real analysis received a major impetus from Cauchy's work. Cauchy mentions variable quantities, limits, and infinitesimals, but the meaning he attached to these terms is not identical to their modern meaning. Some Cauchy historians work in a conceptual scheme dominated by an assumption of a teleological nature of the evolution of real analysis toward a preordained outcome. Thus, Gilain and Siegmund-Schultze assume that references to limite in Cauchy's work necessarily imply that Cauchy was working with an Archi-medean continuum, whereas infinitesimals were merely a convenient figure of speech, for which Cauchy had in mind a complete justification in terms of Archimedean limits. However, there is another formalisation of Cauchy's procedures exploiting his limite, more consistent with Cauchy's ubiquitous use of infinitesimals, in terms of the standard part principle of modern infinitesimal analysis. We challenge a misconception according to which Cauchy was allegedly forced to teach infinitesimals at the Ecole Polytechnique. We show that the debate there concerned mainly the issue of rigor, a separate one from infinitesimals. A critique of Cauchy's approach by his contemporary de Prony sheds light on the meaning of rigor to Cauchy and his contemporaries. An attentive reading of Cauchy's work challenges received views on Cauchy's role in the history of analysis, and indicates that he was a pioneer of infinitesimal techniques as much as a harbinger of the Epsilontik.

math.HO↗

Leibniz's well-founded fictions and their interpretations

Leibniz used the term fiction in conjunction with infinitesimals. What kind of fictions they were exactly is a subject of scholarly dispute. The position of Bos and Mancosu contrasts with that of Ishiguro and Arthur. Leibniz's own views, expressed in his published articles and correspondence, led Bos to distinguish between two methods in Leibniz's work: (A) one exploiting classical `exhaustion' arguments, and (B) one exploiting inassignable infinitesimals together with a law of continuity. Of particular interest is evidence stemming from Leibniz's work Nouveaux Essais sur l'Entendement Humain as well as from his correspondence with Arnauld, Bignon, Dagincourt, Des Bosses, and Varignon. A careful examination of the evidence leads us to the opposite conclusion from Arthur's. We analyze a hitherto unnoticed objection of Rolle's concerning the lack of justification for extending axioms and operations in geometry and analysis from the ordinary domain to that of infinitesimal calculus, and reactions to it by Saurin and Leibniz. A newly released 1705 manuscript by Leibniz (Puisque des personnes...) currently in the process of digitalisation, sheds light on the nature of Leibnizian inassignable infinitesimals. In a pair of 1695 texts Leibniz made it clear that his incomparable magnitudes violate Euclid's Definition V.4, a.k.a. the Archimedean property, corroborating the non-Archimedean construal of the Leibnizian calculus. Keywords: Archimedean property; assignable vs inassignable quantity; Euclid's Definition V.4; infinitesimal; law of continuity; law of homogeneity; logical fiction; Nouveaux Essais; pure fiction; quantifier-assisted paraphrase; syncategorematic; transfer principle; Arnauld; Bignon; Des Bosses; Rolle; Saurin; Varignon

math.HO↗

A footnote to The crisis in contemporary mathematics

We examine the preparation and context of the paper "The Crisis in Contemporary Mathematics" by Errett Bishop, published 1975 in Historia Mathematica. Bishop tried to moderate the differences between Hilbert and Brouwer with respect to the interpretation of logical connectives and quantifiers. He also commented on Robinson's Non-standard Analysis, fearing that it might lead to what he referred to as 'a debasement of meaning.' The 'debasement' comment can already be found in a draft version of Bishop's lecture, but not in the audio file of the actual lecture of 1974. We elucidate the context of the 'debasement' comment and its relation to Bishop's position vis-a-vis the Law of Excluded Middle. Keywords: Constructive mathematics; Robinson's framework; infinitesimal analysis.

math.HO↗

Klein vs Mehrtens: restoring the reputation of a great modern

Historian Herbert Mehrtens sought to portray the history of turn-of-the-century mathematics as a struggle of modern vs countermodern, led respectively by David Hilbert and Felix Klein. Some of Mehrtens' conclusions have been picked up by both historians (Jeremy Gray) and mathematicians (Frank Quinn). We argue that Klein and Hilbert, both at Goettingen, were not adversaries but rather modernist allies in a bid to broaden the scope of mathematics beyond a narrow focus on arithmetized analysis as practiced by the Berlin school. Klein's Goettingen lecture and other texts shed light on Klein's modernism. Hilbert's views on intuition are closer to Klein's views than Mehrtens is willing to allow. Klein and Hilbert were equally interested in the axiomatisation of physics. Among Klein's credits is helping launch the career of Abraham Fraenkel, and advancing the careers of Sophus Lie, Emmy Noether, and Ernst Zermelo, all four surely of impeccable modernist credentials. Mehrtens' unsourced claim that Hilbert was interested in production rather than meaning appears to stem from Mehrtens' marxist leanings. Mehrtens' claim that [the future SS-Brigadefuehrer] "Theodor Vahlen ... cited Klein's racist distinctions within mathematics, and sharpened them into open antisemitism" fabricates a spurious continuity between the two figures mentioned and is thus an odious misrepresentation of Klein's position. Keywords: arithmetized analysis; axiomatisation of geometry; axiomatisation of physics; formalism; intuition; mathematical realism; modernism; Felix Klein; David Hilbert; Karl Weierstrass

math.HO↗

Monotone subsequence via ultrapower

An ultraproduct can be a helpful organizing principle in presenting solutions of problems at many levels, as argued by Terence Tao. We apply it here to the solution of a calculus problem: every infinite sequence has a monotone infinite subsequence, and give other applications. Keywords: ordered structures; monotone subsequence; ultrapower; saturation; compactness

math.CA↗

What makes a theory of infinitesimals useful? A view by Klein and Fraenkel

Felix Klein and Abraham Fraenkel each formulated a criterion for a theory of infinitesimals to be successful, in terms of the feasibility of implementation of the Mean Value Theorem. We explore the evolution of the idea over the past century, and the role of Abraham Robinson's framework therein.

math.HO↗

Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context

The first half of the 17th century was a time of intellectual ferment when wars of natural philosophy were echoes of religious wars, as we illustrate by a case study of an apparently innocuous mathematical technique called adequality pioneered by the honorable judge Pierre de Fermat, its relation to indivisibles, as well as to other hocus-pocus. Andre Weil noted that simple applications of adequality involving polynomials can be treated purely algebraically but more general problems like the cycloid curve cannot be so treated and involve additional tools--leading the mathematician Fermat potentially into troubled waters. Breger attacks Tannery for tampering with Fermat's manuscript but it is Breger who tampers with Fermat's procedure by moving all terms to the left-hand side so as to accord better with Breger's own interpretation emphasizing the double root idea. We provide modern proxies for Fermat's procedures in terms of relations of infinite proximity as well as the standard part function. Keywords: adequality; atomism; cycloid; hylomorphism; indivisibles; infinitesimal; jesuat; jesuit; Edict of Nantes; Council of Trent 13.2

math.HO↗

Cauchy, infinitesimals and ghosts of departed quantifiers

Procedures relying on infinitesimals in Leibniz, Euler and Cauchy have been interpreted in both a Weierstrassian and Robinson's frameworks. The latter provides closer proxies for the procedures of the classical masters. Thus, Leibniz's distinction between assignable and inassignable numbers finds a proxy in the distinction between standard and nonstandard numbers in Robinson's framework, while Leibniz's law of homogeneity with the implied notion of equality up to negligible terms finds a mathematical formalisation in terms of standard part. It is hard to provide parallel formalisations in a Weierstrassian framework but scholars since Ishiguro have engaged in a quest for ghosts of departed quantifiers to provide a Weierstrassian account for Leibniz's infinitesimals. Euler similarly had notions of equality up to negligible terms, of which he distinguished two types: geometric and arithmetic. Euler routinely used product decompositions into a specific infinite number of factors, and used the binomial formula with an infinite exponent. Such procedures have immediate hyperfinite analogues in Robinson's framework, while in a Weierstrassian framework they can only be reinterpreted by means of paraphrases departing significantly from Euler's own presentation. Cauchy gives lucid definitions of continuity in terms of infinitesimals that find ready formalisations in Robinson's framework but scholars working in a Weierstrassian framework bend over backwards either to claim that Cauchy was vague or to engage in a quest for ghosts of departed quantifiers in his work. Cauchy's procedures in the context of his 1853 sum theorem (for series of continuous functions) are more readily understood from the viewpoint of Robinson's framework, where one can exploit tools such as the pointwise definition of the concept of uniform convergence. Keywords: historiography; infinitesimal; Latin model; butterfly model

math.HO↗

Minimal axiomatic frameworks for definable hyperreals with transfer

We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a ZF-definable extension of the continuum with transfer provable using countable choice only, with an additional mild hypothesis on well-ordering implying properness. Under the same assumptions, we also prove the existence of a definable, proper elementary extension of the standard superstructure over the reals. Keywords: definability; hyperreal; superstructure; elementary embedding.

math.LO↗

Analyzing Benardete's comment on decimal notation

Philosopher Benardete challenged both the conventional wisdom and the received mathematical treatment of zero, dot, nine recurring. An initially puzzling passage in Benardete on the intelligibility of the continuum reveals challenging insights into number systems, the foundations of modern analysis, and mathematics education. A key concept here is, in Terry Tao's terminology, that of an ultralimit. Keywords: real analysis; infinitesimals; decimal notation; procedures vs ontology

math.CA↗