Related papers: [0,1] is not a Minimality Detector for [0,1]^2

We give necessary and sufficient conditions on a function $f:[0,1]\to {0,1,2,...,\omega,\continuum}$ under which there exists a continuous function $F:[0,1]\to [0,1]$ such that for every $y\in[0,1]$ we have $|F^{-1}(y)|=f(y)$.

Theorem 1 of [14], a minimax result for functions $f:X\times Y\to {\bf R}$, where $Y$ is a real interval, was partially extended to the case where $Y$ is a convex set in a Hausdorff topological vector space ([15], Theorem 3.2). In doing…

No functions class for general measurable sets classes are known whose functions have the property of differentiability of integrals associated to such sets classes. In this paper,we give some subspaces of $L^s$ with $1<s<\infty$, whose…

A double sequence $\textbf{x}=\{x_{k,l}\}$ of points in $\textbf{R}$ is slowly oscillating if for any given $\varepsilon>0$, there exist $\alpha=\alpha(\varepsilon)>0$, $\delta=\delta (\varepsilon) >0$, and $N=N(\varepsilon)$ such that…

We prove that the maximal infinite step pro-nilfactor $X_\infty$ of a minimal dynamical system $(X,T)$ is the topological characteristic factor in a certain sense. Namely, we show that by an almost one to one modification of $\pi:X…

It is proved the existence of large algebraic structures \break --including large vector subspaces or infinitely generated free algebras-- inside, among others, the family of Lebesgue measurable functions that are surjective in a strong…

In this note we prove that in a metric measure space $(X, d, m)$ verifying the measure contraction property with parameters $K \in \mathbb{R}$ and $1< N< \infty$, any optimal transference plan between two marginal measures is induced by an…

We establish the higher fractional differentiability for the minimizers of non-autonomous integral functionals of the form \begin{equation} \mathcal{F}(u,\Omega):=\int_\Omega \left[ f(x,Du)- g \cdot u \right] dx , \notag \end{equation}…

For a scale of spaces $X$ of functions analytic in the unit disc, including the Korenblum space, and for some natural families $\mathcal E$ of uniqueness subsets for $X$, we describe minorants for $(X,\mathcal E)$, that is non-decreasing…

The Haraux function is an important tool in monotone operator theory and its applications. One of its salient properties for a maximally monotone operator is to be valued in $[0,+\infty]$ and to vanish only on the graph of the operator.…

In this note we construct minimax observers for linear stationary DAEs with bounded uncertain inputs, given noisy measurements. We prove a new duality principle and show that a finite (infinite) horizon minimax observer exists if and only…

In this article, we prove two new versions of a theorem proven by Efron in [Efr65]. Efron's theorem says that if a function $\phi : \mathbb{R}^2 \rightarrow \mathbb{R}$ is non-decreasing in each argument then we have that the function $s…

Given a compact metric space (X; \varrho) and a continuous function f:X\rightarrow X, we study the dynamics of the induced map \bar{f} on the hyperspace of the compact subsets of X. We show how the chain recurrent set of f and its…

Sanchez, Viader, Paradis and Carrillo (2016) proved that there exists an increasing continuous singular function $f$ on $[0,1]$ such that the set $A_f$ of points where $f$ has a nonzero finite derivative has Hausdorff dimension 1 in each…

For a continuous function $f : [0,1] \to [0,1]$ we define a splitting sequence admitted by $f$ and show that the inverse limit of $f$ is an arc if and only if $f$ does not admit a splitting sequence.

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

The minimal and maximal operators generated by the Bessel differential expression on the finite interval and a half-line are studied. All non-negative self-adjoint extensions of the minimal operator are described. Also we obtain a…

Let $X = [0,1]$, and let $T:X\to X$ be an expanding piecewise linear map sending each interval of linearity to $[0,1]$. For $\psi:\mathbb N\to\mathbb R_{\geq 0}$, $x\in X$, and $N\in\mathbb N$ we consider the recurrence counting function \[…

We discuss some surprising phenomena from basic calculus related to oscillating functions and to the theorem on the differentiability of inverse functions. Among other things, we see that a continuously differentiable function with a strict…

In homogenization theory and multiscale modeling, typical functions satisfy the scaling law $f^{\epsilon}(x) = f(x,x/\epsilon)$, where $f$ is periodic in the second variable and $\epsilon$ is the smallest relevant wavelength,…