Related papers: How strong are single fixed points of normal funct…

If, in some problems, one has to deal with the ``product'' of distributions $\rm f_i$ (also called generalized functions) $\rm\bar T = \Pi^m_{i=1} f_i$, this product has a priori no definite meaning as a functional $(\rm \bar T, \phi) $ for…

Taking as model the attractor of an iterated function system consisting of phi-contractions on a complete and bounded metric space, we introduce the set-theoretic concept of family of functions having attractor. We prove that, given such a…

We characterize the uniform convergence points set of a pointwisely convergent sequence of real-valued functions defined on a perfectly normal space. We prove that if $X$ is a perfectly normal space which can be covered by a disjoint…

We give a local characterization of the class of functions having positive distributional derivative with respect to $\bar{z}$ that are almost everywhere equal to one of finitely many analytic functions and satisfy some mild non-degeneracy…

We prove that the Lehmer mean function of two or three positive numbers has always one and only one inflection point. We further show that in case of two numbers, the inflection point is $p^\star = 1$, and we discuss the location of the…

We consider an $\alpha$-relaxed projection $P_A^\alpha:H\to H$ given by $P_A^\alpha(x)=\alpha P_A(x)+(1-\alpha)x$ where $\alpha\in[0,1]$ and $P_A$ is the projection onto a non-empty, convex and closed subset $A$ of the real Hilbert space…

We prove an inversion theorem for the Fourier transform defined for normal functions, in the case when such functions are of moderate decrease, and in dimensions 2 and 3. This improves on Carleson's general almost everywhere convergence…

We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…

In this paper using Sperner's lemma for modified partition of a simplex we will constructively prove Brouwer's fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions.

We consider the untyped lambda calculus with constructors and recursively defined constants. We construct a domain-theoretic model such that any term not denoting bottom is strongly normalising provided all its `stratified approximations'…

We show that, under an additional mild assumption, on the class of generic frontals, any involution whose fixed point set is exactly the same as the fixed point set of the Legendre involution must be the Legendre involution (Theorem 2 in \S…

We are interested in fixed points in Boolean networks, {\em i.e.} functions $f$ from $\{0,1\}^n$ to itself. We define the subnetworks of $f$ as the restrictions of $f$ to the subcubes of $\{0,1\}^n$, and we characterizes a class…

We give examples of $L^{1}$-functions that are essentially unbounded on every nonempty open subset of their domains of definition. We obtain such functions as limits of weighted sums of functions with the unboundedly increasing number of…

Given a finite and non-empty set $X$ and randomly selected specific functions and relations on $X$, we investigate the existence and non-existence of fixed points and reflexive points, respectively. First, we consider the class of…

We define the infinite dimensional simplex to be the closure of the convex hull of the standard basis vectors in R^infinity, and prove that this space has the 'fixed point property': any continuous function from the space into itself has a…

This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…

We study a relationship between rational proper maps of balls in different dimensions and strongly plurisubharmonic exhaustion functions of the unit ball induced by such maps. Putting the unique critical point of this exhaustion function at…

The purpose of this paper is to show that functions that derivate the two-variable product function and one of the exponential, trigonometric or hyperbolic functions are also standard derivations. The more general problem considered is to…

We say that a random vector $X=(X_1,...,X_n)$ in $R^n$ is an $n$-dimensional version of a random variable $Y$ if for any $a\in R^n$ the random variables $\sum a_iX_i$ and $\gamma(a) Y$ are identically distributed, where $\gamma:R^n\to…

Peter Aczel has given a categorical construction for fixed points of normal functors, i.e. dilators which preserve initial segments. For a general dilator $X\mapsto T_X$ we cannot expect to obtain a well-founded fixed point, as the order…