METRIC SPACES AND SDG

被引：0
|
作者：
Kock, Anders [1 ]
机构：
[1] Univ Aarhus, Dept Math, DK-8000 Aarhus C, Denmark
来源：
THEORY AND APPLICATIONS OF CATEGORIES | 2017年 / 32卷
关键词：
metric spaces; synthetic differential geometry;
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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).
引用
收藏
页码：803 / 822
页数：20
相关论文
共 50 条
12345