Elementary Differential Calculus on Discrete and Hybrid Structures

  • Authors:

  • Howard A. Blair;David W. Jakel;Robert J. Irwin;Angel Rivera

  • Affiliations:

  • Syracuse University, Syracuse NY 13244-4100, USA;Syracuse University, Syracuse NY 13244-4100, USA;Syracuse University, Syracuse NY 13244-4100, USA;Utica College, Utica, NY 13502, USA

  • Venue:
  • LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We set up differential calculi in the Cartesian-closed category CONV of convergence spaces. The central idea is to uniformly define the 3-place relation __ is a differential of __ at __for each pair of convergence spaces X,Yin the category, where the first and second arguments are elements of Hom(X,Y) and the third argument is an element of X, in such a way as to (1) obtain the chain rule, (2) have the relation be in agreement with standard definitions from real and complex analysis, and (3) depend only on the convergence structures native to the spaces Xand Y. All topological spaces and all reflexive directed graphs (i.e. discrete structures) are included in CONV. Accordingly, ramified hybridizations of discrete and continuous spaces occur in CONV. Moreover, the convergence structure within each space local to each point, individually, can be discrete, continuous, or hybrid.