COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Synthetic Differential Geometry Seminar > Smooth Infinitesimal Analysis II

## Smooth Infinitesimal Analysis IIAdd to your list(s) Download to your calendar using vCal - Filip Bár (University of Cambridge)
- Wednesday 15 February 2012, 16:00-17:00
- Centre for Mathematical Sciences, MR4.
If you have a question about this talk, please contact Filip Bár. We continue where we left off last time and proof the second derivative factoring through the R-module of symmetric bilinear maps. We finish the section on derivatives in arbitrary dimensions with a Taylor theorem and with exhibiting that homogeneity of a map implies its linearity in K-L R-modules. Our final chapter on SIA concerns the integration axiom and its implications. The elementary integral calculus will be obtained as easily as the elementary differential calculus. Higherdimensional integrals will be constructed via Fubini’s theorem as iterated integrals. As applications we will discuss the Fermat-Reyes axiom and a proof of the reflexivity of R^n. The corresponding sections in Lavendhomme’s book are the second half of 1.2.3, 1.3 and p. 84/85 of section 3.3.2 This talk is part of the Synthetic Differential Geometry Seminar series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsCafe Scientifique Cambridge University Longevity Society Talks Robinson College## Other talks'Honouring Giulio Regeni: a plea for research in risky environments' Nonlinear nonmodal stability theory Genes against beans: favism, malaria and nationalism in the Middle East National crises, viewed in the light of personal crises Cohomology of the moduli space of curves Dynamics of Phenotypic and Genomic Evolution in a Long-Term Experiment with E. coli Cambridge - Corporate Finance Theory Symposium September 2017 - Day 1 Computing High Resolution Health(care) Graded linearisations for linear algebraic group actions Single Cell Seminars (August) Panel comparisons: Challenor, Ginsbourger, Nobile, Teckentrup and Beck |