Related papers: On spaces of arc-smooth maps

By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb R^d$ is smooth ($\mathcal C^\infty$) if and only if it is arc-smooth, i.e., $f\circ c$ is smooth for every smooth curve $c : \mathbb R \to U$. In this paper…

A function $f$ is arc-smooth if the composite $f\circ c$ with every smooth curve $c$ in its domain of definition is smooth. On open sets in smooth manifolds the arc-smooth functions are precisely the smooth functions by a classical theorem…

There are several notions of a smooth map from a convex set to a cartesian space. Some of these notions coincide, but not all of them do. We construct a real-valued function on a convex subset of the plane that does not extend to a smooth…

Previously, we have investigated a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane converging to a same value or diverges to $+\infty$ or $-\infty$ simultaneously, at each…

A topological space $X$ is called $\Cal A$-real compact, if every algebra homomorphism from $\Cal A$ to the reals is an evaluation at some point of $X$, where $\Cal A$ is an algebra of continuous functions. Our main interest lies on…

This is a note on the graphs of two smooth real-valued functions in the plane with no intersection and the natural map onto the region surrounded by them with the canonical projection to the line composed, yielding its Reeb space. The Reeb…

We consider a space of infinitely smooth functions on an unbounded closed convex set in ${\mathbb R}^n$. It is shown that each function of this space can be extended to an entire function in ${\mathbb C}^n$ satisfying some prescribed growth…

Reeb spaces of (continuous) real-valued functions on (nice) topological spaces are the spaces whose underlying sets consist of all connected components (contours) of their level sets and seen naturally as quotient spaces of the spaces. They…

Suppose that $F$ is a smooth and connected complex surface (not necessarily compact) containing a smooth rational curve with positive self-intersection. We prove that if there exists a non-constant meromorphic function on $F$, then the…

The Reeb space of a smooth function is a topological and combinatoric object and fundamental and important in understanding topological and geometric properties of the manifold of the domain. It is the graph and a topological space endowed…

We consider the class of smooth convex functions defined over an open convex set. We show that this class is essentially different than the class of smooth convex functions defined over the entire linear space by exhibiting a function that…

We show that several spaces of holomorphic functions on a Riemann domain over a Banach space, including the nuclear and Hilbert-Schmidt bounded type, are locally $m$-convex Fr\'echet algebras. We prove that the spectrum of these algebras…

Motivated by the definition of the smooth manifold structure on a suitable mapping space, we consider the general problem of how to transfer local properties from a smooth space to an associated mapping space. This leads to the notion of…

In this paper we analyse the structure of the spaces of smooth type functions, generated by elements of arbitrary Hilbert spaces, as a continuation of the research in our previous papers in this series. We prove that these spaces are…

We show that a fairly arbitrary Frechet space topology on the space of holomorphic functions on a domain controls the topology of uniform convergence on compact sets. In fact it turns out that the result we present can be proved more simply…

We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse. The Reeb graph of a smooth function is the space of all connected components of preimages of…

This is the first of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we define the maps in the more general context of orbispaces, and establish several basic results concerning the…

We show that the topology of uniform convergence on bounded sets is compatible with the group law of the automorphism group of a large class of spaces that are endowed with both a uniform structure and a bornology, thus yielding numerous…

In this paper, we show that some fundamental results for smooth mappings (e.g., the Brouwer degree formula, the implicit function and inverse function theorems, the mean value theorem, Sard's theorem, Hadamard's global invertibility…

Under a plausible geometric hypothesis, we show that a biholomorphic mapping of smoothly bounded, pseudoconvex domains extends to a diffeomorphism of the closures.