اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدCutting sets of continuous functions on the unit interval
78
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
For a function $fcolon [0,1]tomathbb R$, we consider the set $E(f)$ of points at which $f$ cuts the real axis. Given $fcolon [0,1]tomathbb R$ and a Cantor set $Dsubset [0,1]$ with ${0,1}subset D$, we obtain conditions equivalent to the conjunction $fin C[0,1]$ (or $fin C^infty [0,1]$) and $Dsubset E(f)$. This generalizes some ideas of Zabeti. We observe that, if $f$ is continuous, then $E(f)$ is a closed nowhere dense subset of $f^{-1}[{ 0}]$ where each $xin {0,1}cap E(f)$ is an accumulation point of $E(f)$. Our main result states that, for a closed nowhere dense set $Fsubset [0,1]$ with each $xin {0,1}cap E(f)$ being an accumulation point of $F$, there exists $fin C^infty [0,1]$ such that $F=E(f)$.
قيم البحث
اقرأ أيضاً
We present a quantization scheme of an arbitrary measure space based on overcomplete families of states and generalizing the Klauder and the Berezin-Toeplitz approaches. This scheme could reveal itself as an efficient tool for quantizing physical sys
tems for which more traditional methods like geometric quantization are uneasy to implement. The procedure is illustrated by (mostly two-dimensional) elementary examples in which the measure space is a $N$-element set and the unit interval. Spaces of states for the $N$-element set and the unit interval are the 2-dimensional euclidean $R^2$ and hermitian $C^2$ planes.
In The factorization of the Giry monad (arXiv:1707.00488v2) the author considers two $sigma$-algebras on convex spaces of functions to the unit interval. One of them is generated by the Boolean subobjects and the other is the $sigma$-algebra induced
by the evaluation maps. The author asserts that, under the assumptions given in the paper, the two $sigma$-algebras coincide. We give examples contradicting this statement.
Let $I=[0,1)$ and $mathcal{PC}(I)$ [resp. $mathcal{PC}^+(I)$] be the quotient group of the group of all piecewise continuous [resp. piecewise continuous and orientation preserving] bijections of $I$ by its normal subgroup consisting in elements with
finite support (i.e. that are trivial except at possibly finitely many points). Unpublished Theorems of Arnoux ([Arn81b]) state that $mathcal{PC}^+(I)$ and certain groups of interval exchanges are simple, their proofs are the purpose of the Appendix. Dealing with piecewise direct affine maps, we prove the simplicity of the group $mathcal A^+(I)$ (see Definition 1.6). These results can be improved. Indeed, a group $G$ is uniformly simple if there exists a positive integer $N$ such that for any $f,phi in Gsetminus{Id}$, the element $phi$ can be written as a product of at most $N$ conjugates of $f$ or $f^{-1}$. We provide conditions which guarantee that a subgroup $G$ of $mathcal{PC}(I)$ is uniformly simple. As Corollaries, we obtain that $mathcal{PC}(I)$, $mathcal{PC}^+(I)$, $PL^+ (mathbb S^1)$, $mathcal A(I)$, $mathcal A^+(I)$ and some Thompson like groups included the Thompson group $T$ are uniformly simple.
The LULU operators, well known in the nonlinear multiresolution analysis of sequences, are extended to functions defined on a continuous domain, namely, a real interval. We show that the extended operators replicate the essential properties of their
discrete counterparts. More precisely, they form a fully ordered semi-group of four elements, preserve the local trend and the total variation.
We construct, under the assumption that union of less than continuum many meager subsets of R is meager in R, an additive connectivity function f:R-->R with Cantor intermediate value property which is not almost continuous. This gives a partial answe
r to a question of D. Banaszewski. We also show that every extendable function g:R-->R with a dense graph satisfies the following stronger version of the SCIVP property: for every a<b and every perfect set K between g(a) and g(b) there is a perfect subset C of (a,b) such that g[C] subset K and g|C is continuous strictly increasing. This property is used to construct a ZFC example of an additive almost continuous function f:R-->R which has the strong Cantor intermediate value property but is not extendable. This answers a question of H. Rosen. This also generalizes Rosens result that a similar (but not additive) function exists under the assumption of the continuum hypothesis.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
