Severi-Bouligand tangents, Frenet frames and Riesz spaces
Rings and Algebras
2014-01-21 v2
Abstract
It was recently proved that a compact set has an outgoing Severi-Bouligand tangent vector at iff some principal ideal of the Riesz space of piecewise linear functions on is not an intersection of maximal ideals. "Outgoing" means . Suppose now and some principal ideal of is not an intersection of maximal ideals. We prove that this is equivalent to saying that contains a sequence whose Frenet -frame is an outgoing Severi-Bouligand tangent of . When the are taken as sample points of a smooth curve the Frenet -frames of and of coincide. The computation of Frenet frames via sample sequences does not require the knowledge of any higher-order derivative of .
Keywords
Cite
@article{arxiv.1308.0662,
title = {Severi-Bouligand tangents, Frenet frames and Riesz spaces},
author = {Leonardo Manuel Cabrer and Daniele Mundici},
journal= {arXiv preprint arXiv:1308.0662},
year = {2014}
}