Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userCutting sets of continuous functions on the unit interval
78
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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)$.
rate research
Read More
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 systems 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 answer 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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
