Metric spaces and SDG

Anders Kock*

*Corresponding author af dette arbejde

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

Abstract

We present an axiomatic theory, based on the notions of metric space and space with a (first order) neighbour relation. The axiomatics implies a synthetic proof of Huygens’ principle of wave fronts, as envelopes of a family of spheres. A model of the axiomatics is presented in terms of synthetic differential geometry (SDG)1.

OriginalsprogEngelsk
TidsskriftTheory and Applications of Categories
Vol/bind32
Nummer24
Sider (fra-til)803-822
Antal sider20
ISSN1201-561X
StatusUdgivet - 28 jul. 2017

Fingeraftryk

Dyk ned i forskningsemnerne om 'Metric spaces and SDG'. Sammen danner de et unikt fingeraftryk.

Citationsformater