BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Szymon Dolecki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Convergence theory is an extension of general topology. In contrast with topology, it is closed under some important operations, like exponentiation. With all its advantages, convergence theory remains rather unknown. It is an aim of this paper to make it more familiar to the mathematical community.
Inversion of various inclusions, that characterize continuity in topological spaces, results in numerous variants of quotient and perfect maps. In the framework of convergences, the said inclusions are no longer equivalent, and each of them characterizes continuity in a different concretely reflective subcategory of convergences. On the other hand, it turns out that the mentioned variants of quotient and perfect maps are quotient and perfect maps with respect to these subcategories. This perspective enables use of convergence-theoretic tools in quests related to quotient and perfect maps, considerably simplifying the traditional approach. Similar techniques would be unconceivable in the framework of topologies.
Peano defined 'differentiability' of functions and 'lower tangent cones' in 1887, and 'upper tangent cones' in 1903, but uses the latter concept already in 1887 without giving a formal definition. Both cones were defined for arbitrary sets, as certain limits of appropriate homothetic relations. Around 1930 Severi and Guareschi, in a series of mutually fecundating individual papers, characterized differentiability in terms of 'lower tangent cones' and strict differentiability in terms of 'lower paratangent cones', a notion introduced, independently, by Severi and Bouligand in 1928. Severi and Guareschi graduated about 1900 from the University of Turin, where Peano taught till his demise in 1932.
At the end of 19th century Peano discerned vector spaces, differentiability, convex sets, limits of families of sets, tangent cones, and many other concepts, in a modern perfect form. He applied these notions to solve numerous problems. The theorem on necessary conditions of optimality (Regula) is one of these. The formal language of logic that he developed, enabled him to perceive mathematics with great precision and depth. Actually he built mathematics axiomatically based exclusively on logical and set-theoretic primitive terms and properties, which was a revolutionary turning point in the development of mathematics.