Definable versions of theorems by Kirszbraun and Helly

Details Definable versions of theorems by Kirszbraun and Helly Definable versions of theorems by Kirszbraun and Helly

2009-06-05

arxiv.org/abs/0906.1168v2

Mathematics

Logic

to appear in Proceedings of the London Mathematical Society

Scientific paper

Kirszbraun's Theorem states that every Lipschitz map $S\to\mathbb R^n$, where $S\subseteq \mathbb R^m$, has an extension to a Lipschitz map $\mathbb R^m \to \mathbb R^n$ with the same Lipschitz constant. Its proof relies on Helly's Theorem: every family of compact subsets of $\mathbb R^n$, having the property that each of its subfamilies consisting of at most $n+1$ sets share a common point, has a non-empty intersection. We prove versions of these theorems valid for definable maps and sets in arbitrary definably complete expansions of ordered fields.

Affiliated with

Also associated with

No associations

Rating

Definable versions of theorems by Kirszbraun and Helly does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Definable versions of theorems by Kirszbraun and Helly, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Definable versions of theorems by Kirszbraun and Helly will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-522943