Showing 1–2 of 2 results for author: Bucicovschi, O

Expansive maps are isometries

Authors: Orest Bucicovschi, David A. Meyer

Abstract: We show that expansive maps from a dense subset of a compact metric space into the metric space itself are isometries We show that expansive maps from a dense subset of a compact metric space into the metric space itself are isometries △ Less

Submitted 7 July, 2015; originally announced July 2015.

Comments: 2 pages

MSC Class: 51K05

On the continuity and regularity of convex extensions

Authors: Orest Bucicovschi, Jiri Lebl

Abstract: We study continuity and regularity of convex extensions of functions from a compact set $C$ to its convex hull $K$. We show that if $C$ contains the relative boundary of $K$, and $f$ is a continuous convex function on $C$, then $f$ extends to a continuous convex function on $K$ using the standard convex roof construction. In fact, a necessary and sufficient condition for $f$ to extend from any set… ▽ More We study continuity and regularity of convex extensions of functions from a compact set $C$ to its convex hull $K$. We show that if $C$ contains the relative boundary of $K$, and $f$ is a continuous convex function on $C$, then $f$ extends to a continuous convex function on $K$ using the standard convex roof construction. In fact, a necessary and sufficient condition for $f$ to extend from any set to a continuous convex function on the convex hull is that $f$ extends to a continuous convex function on the relative boundary of the convex hull. We give examples showing that the hypotheses in the results are necessary. In particular, if $C$ does not contain the entire relative boundary of $K$, then there may not exist any continuous convex extension of $f$. Finally, when the boundary of $K$ and $f$ are $C^1$ we give a necessary and sufficient condition for the convex roof construction to be $C^1$ on all of $K$. We also discuss an application of the convex roof construction in quantum computation. △ Less

Submitted 12 September, 2013; v1 submitted 28 December, 2010; originally announced December 2010.

Comments: 13 pages, 2 figures; fix typo in proof of Lemma 3.2

MSC Class: 52A41; 81P68

Journal ref: J. Convex Anal., 20 (2013), no. 4, 1113-1126