Related papers: Continuous nowhere differentiable multivariate fun…

If $f:[a,b]\to \mathbb{R}$, with $a<b$, is continuous and such that $a$ and $b$ are mapped in opposite directions by $f$, then $f$ has a fixed point in $I$. Suppose that $f:\mathbb{C}\to\mathbb{C}$ is map and $X$ is a continuum. We extend…

We will give an elementary nonstandard proof that the family of generalized blancmange functions are nowhere differentiable. The proof follows from the intuitive characterization of differentiability at a point as almost $\delta$ affine…

Let $A$, $B$ be Banach $D$-algebras. The map $f:A\rightarrow B$ is called differentiable on the set $U\subset A$, if at every point $x\in U$ the increment of map $f$ can be represented as $$f(x+dx)-f(x) =\frac{d f(x)}{d x}\circ dx +o(dx)$$…

We study various proofs of the caracterization of constant functions, more precisely of the theorem: a derivable function, defined on a real interval, is constant if, and only if, its derivative is null. Our aim is to study the…

We show that there exists an entire function which has neither fixed points nor invariant Baker domains. The question whether such a function exists was raised by Buff.

A differentiable function is pseudoconvex if and only if its restrictions over straight lines are pseudoconvex. A differentiable function depending on one variable, defined on some closed interval $[a,b]$ is pseudoconvex if and only if…

A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel…

We characterize the class of separable Banach spaces $X$ such that for every continuous function $f:X\to\mathbb{R}$ and for every continuous function $\epsilon:X\to\mathbb(0,+\infty)$ there exists a $C^1$ smooth function $g:X\to\mathbb{R}$…

For the importance of differentiation theorems in metric spaces (starting with Pansu Rademacher type theorem in Carnot groups) and relations with rigidity of embeddings see the section 1.2 in Cheeger and Kleiner paper arXiv:math/0611954 and…

We construct a differentiable locally Lipschitz function $f$ in $\mathbb{R}^{N}$ with the property that for every convex body $K\subset \mathbb{R}^N$ there exists $\bar x \in \mathbb{R}^N$ such that $K$ coincides with the set $\partial_L…

Let $X$ and $Y$ be separable Banach spaces. Suppose $Y$ either has a shrinking basis or $Y$ is isomorphic to $C(2^\mathbb{N})$ and $A$ is a subset of weakly compact operators from $X$ to $Y$ which is analytic in the strong operator…

We investigate the Baire classification of mappings $f:X\times Y\to Z$, where $X$ belongs to a wide class of spaces, which includes all metrizable spaces, $Y$ is a topological space, $Z$ is an equiconnected space, which are continuous in…

We call a function $f$ in $C(X)$ to be hard-bounded if $f$ is bounded on every hard subset, a special kind of closed subset, of $X$. We call a subset $T$ of $X$ to be $S$-embedded if every hard-bounded continuous function of $T$ can be…

Let U be the open unit disc in C. Given a continuous function g: bU --> C-{0} denote by W(g) the winding number of g around the origin. We prove that a continuous function f: bU --> C extends meromorphically through U if and only if there…

This is a follow up to a paper by the author where the disjointness relation for (the graphs of) definable functions from ${^\omega \omega}$ to ${^\omega \omega}$ is analyzed. In that paper, for each $a \in {^\omega \omega}$ we defined a…

A remarkable theorem of Joris states that a function $f$ is $C^\infty$ if two relatively prime powers of $f$ are $C^\infty$. Recently, Thilliez showed that an analogous theorem holds in Denjoy--Carleman classes of Roumieu type. We prove…

For separable metrizable spaces $X,Y$ and a metrizable topological group $Z$ by $S(X\times Y,Z)$ we denote the space of all separately continuous functions $f:X\times Y\to Z$ endowed with the topology of layer-wise uniform convergence,…

The uniform continuity theorem (UCT) states that every pointwise continuous real-valued function on the unit interval is uniformly continuous. In constructive mathematics, UCT is stronger than the decidable fan theorem (DFT); however, Loeb…

We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum…

We show that if $X$ is a Banach space whose dual $X^{*}$ has an equivalent locally uniformly rotund (LUR) norm, then for every open convex $U\subseteq X$, for every $\varepsilon >0$, and for every continuous and convex function $f:U…