Related papers: Composite Differentiable Functions

We prove that certain quotients of entire functions are characteristic functions. Under some conditions, the probability measure corresponding to a characteristic function of that type has a density which can be expressed as a generalized…

We show that if $X$ is an $m$-dimensional definable set in $\mathbb{R}^\text{pow}_\text{an}$, the structure of real subanalytic sets with real power maps added, then for any positive integer r there exists a $C^r$-parameterization of X…

We define a basis property that an inclusion of C*-algebras $\mathcal O_\infty\subset A$ may have, and give various conditions for the property to hold. Some applications are considered. We also give a characterization of open projections…

In the theory of complex valued functions of a complex variable arguably the first striking theorem is that pointwise differentiability implies $C^{\infty}$ regularity. As mentioned in Ahlfors's standard textbook there have been a number of…

A subset $B \subset Y$ is constructible if it is an element of the smallest family that contains all open sets and is stable under finite intersections and complements. A function $f : X \to Y$ is said to be piece-wise closed if $X$ can be…

We prove that if S is a set of functions from a set A to itself, S is closed under composition, and S contains all transpositions of A, then the action of S on Acan be recovered from the semigroup consisting of S together with its…

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

A notion of rigidity with respect to an arbitrary semidualizing complex C over a commutative noetherian ring R is introduced and studied. One of the main result characterizes C-rigid complexes. Specialized to the case when C is the relative…

For any complex number $c$, let $\sigma_c\colon\mathbb N\rightarrow\mathbb C$ denote the divisor function defined by $\sigma_c(n)=\displaystyle{\sum_{d|n}d^c}$ for all $n\in\mathbb N$, and define $R(c)=\{\sigma_c(n)\in\mathbb C\colon…

In this paper we generalize Poletsky's classical theorem to a situation where the kernel of Poisson functional is not upper semicontinuous. We give a characterization of thinness of a subset at a point in $\C^n$ in term of analytic discs.

We construct a certain completion $C^\infty_\mathfrak{g}$ of the universal enveloping algebra of a triangular real Lie algebra $\mathfrak{g}$. It is a Fr\'echet-Arens-Michael algebra that consists of elements of polynomial growth and…

We prove an analogue of Sadullaev's theorem concerning the size of the set where a maximal totally real manifold can meet a pluripolar set. The manifold has to be of class C-1 only. This readily leads to a version of Shcherbina's theorem…

A rational function $f(x)$ is rationally summable if there exists a rational function $g(x)$ such that $f(x)=g(x+1)-g(x)$. Detecting whether a given rational function is summable is an important and basic computational subproblem that…

We know that for a finite field $F$, every function on $F$ can be given by a polynomial with coefficients in $F$. What about the converse? i.e. if $R$ is a ring (not necessarily commutative or with unity) such that every function on $R$ can…

In 1957 Cartan proved his celebrated Theorem B and deduced that if $\Omega\subset{\mathbb R}^n$ is an open set and $X$ is a coherent real analytic subset of $\Omega$, then $X$ has the analytic extension property: Each real analytic function…

We prove a noncommutative variant of Saskin's classical theorem -- on the connection between Choquet boundaries for function spaces and Korovkin sets -- for operator systems generating separable Type I C*-algebras. The main result implies…

Let $X$ denote a Hilbert space. Given a compact subset $K$ of $X$ and two continuous functions $f:K\to\mathbb{R}$, $G:K\to X$, we show that a necessary and sufficient condition for the existence of a convex function $F\in C^1(X)$ such that…

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function, namely, that it cannot be covered by countably many sets, each of which is closed and purely…

In this note we show that there exist a $2^\mathfrak{c}$-generated free algebra $\mathcal{S} \subset \mathbb{R}^\mathbb{R}$ of Riemann integrable functions and a free algebra $\mathcal{C} \subset \mathbb{R}^{[0,1]}$ of continuous functions,…

Let G be a reductive connected linear algebraic group over an algebraically closed field of positive characteristic and let g be its Lie algebra. First we extend a well-known result about the Picard group of a semisimple group to reductive…