A constructive proof of Kirszbraun's theorem

DOI10.1134/S000143460811014XzbMATH Open1221.47091OpenAlexW2086157527MaRDI QIDQ635637FDOQ635637

Alexey S. Tarasov, Arseniy Akopyan

Publication date: 20 August 2011

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s000143460811014x

Recommendations

• scientific article; zbMATH DE number 4198022
• A constructive proof of Vizing's theorem
• scientific article
• scientific article
• A constructive version of Birkhoff's theorem
• A proof of Kirillov's conjecture
• A constructive proof of the topological Kruskal theorem
• A Constructive Proof of the Poincare-Birkhoff Theorem
• scientific article; zbMATH DE number 802881
• An intuitionistic proof of Kruskal's theorem

zbMATH Keywords

extension of mapsseparable spaceHelly's theoremKirszbraun's theoremPL-isometryweakly contractive map

Mathematics Subject Classification ID

Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Polyhedra and polytopes; regular figures, division of spaces (51M20) Helly-type theorems and geometric transversal theory (52A35) Polytopes and polyhedra (52B99) PL-topology (57Q99)

Cites Work

• Title not available (Why is that?)
• A Lipschitz Condition Preserving Extension for a Vector Function
• Kirszbraun's theorem and metric spaces of bounded curvature
• Markov chains, Riesz transforms and Lipschitz maps
• A Generalization of Theorems of Kirszbraun and Minty

Cited In (22)

• Kirszbraun-type theorems for graphs
• A constructive proof of Ky Fan's coincidence theorem
• Proof-theoretic investigations on Kruskal's theorem
• A constructive proof of the Gohberg-Semencul formula
• Proof of Schur's conjecture in \(\mathbb R^D\)
• A constructive proof of the Gelfand--Kolmogorov theorem
• An intuitionistic proof of Kruskal's theorem
• A Simple Construction to Prove Mycielski’s Theorem
• On constructivity and the Rosser property: a closer look at some Gödelean proofs
• Graphs and spherical two-distance sets
• The central set and its application to the Kneser-Poulsen conjecture
• A constructive proof of the Chang-Marshall theorem
• Title not available (Why is that?)
• Continuity of extensions of Lipschitz maps and of monotone maps
• A new constructive version of Baire's theorem
• Title not available (Why is that?)
• Continuity of extensions of Lipschitz maps
• Kirszbraun’s Theorem via an Explicit Formula
• A constructive proof of Masser’s Theorem
• Title not available (Why is that?)
• On intrinsic isometries to Euclidean space
• Piecewise distance preserving maps

This page was built for publication: A constructive proof of Kirszbraun's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q635637)