Imperial College London
Portrait Picture

ProfessorAbbasEdalat

Faculty of Engineering, Department of Computing

Professor in Computer Science & Maths
 
 
 
//

Contact

 

+44 (0)20 7594 8245a.edalat Website

 
 
//

Location

 

420Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Edalat:2015:10.1109/LICS.2015.47,
author = {Edalat, A},
doi = {10.1109/LICS.2015.47},
pages = {426--437},
publisher = {IEEE},
title = {Extensions of domain maps in differential and integral calculus},
url = {http://dx.doi.org/10.1109/LICS.2015.47},
year = {2015}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We introduce in the context of differential and integral calculus several key extensions of higher order maps from a dense subset of a topological space into a continuous Scott domain. These higher order maps include the classical derivative operator and the Riemann integration operator. Using a sequence of test functions, we prove that the subspace of real-valued continuously differentiable functions on a finite dimensional Euclidean space is dense in the space of Lipschitz maps equipped with the Ltopology. This provides a new result in basic mathematical analysis, which characterises the L-topology in terms of the limsup of the sequence of derivatives of a sequence of C1 maps that converges to a Lipschitz map. Using this result, it is also shown that the generalised (Clarke) gradient on Lipschitz maps is the extension of the derivative operator on C1 maps. We show that the generalised Riemann integral (R-integral) of a real-valued continuous function on a compact metric space with respect to a Borel measure can be extended to the integral of interval-valued functions on the metric space with respect to valuations on the probabilistic power domain of the space of non-empty and compact sets of the metric space. We also prove that the Lebesgue integral operator on integrable functions is the extension of the R-integral operator on continuous functions. We finally illustrate an application of these results by deriving a simple proof of Green’s theorem for interval-valued vector fields.
AU  - Edalat,A
DO  - 10.1109/LICS.2015.47
EP  - 437
PB  - IEEE
PY  - 2015///
SN  - 1043-6871
SP  - 426
TI  - Extensions of domain maps in differential and integral calculus
UR  - http://dx.doi.org/10.1109/LICS.2015.47
UR  - http://hdl.handle.net/10044/1/22193
ER  -
Download