Related papers: Arithmetic on Moran sets
In this paper, we prove that for any bounded set of finite perimeter $\Omega \subset \mathbb{R}^n$, we can choose smooth sets $E_k \Subset \Omega$ such that $E_k \rightarrow \Omega$ in $L^1$ and \begin{align}…
Let $A,B\subset\mathbb{R}$. Define $$A\cdot B=\{x\cdot y:x\in A, y\in B\}.$$ In this paper, we consider the following class of self-similar sets with overlaps. Let $K$ be the attractor of the IFS $\{f_1(x)=\lambda x, f_2(x)=\lambda…
Inspired by some iterative algorithms useful for proving the real analyticity (or the Gevrey regularity) of a solution of a linear partial differential equation with real-analytic coefficients, we consider the following question. Given a…
In this note, we continue to highlight some applications of Theorem 1 of [3]. Here is a sample: Let $X$ be an open set in ${\bf C}^n$, $\Omega$ an open convex set in ${\bf C}$ and $f, g : X\to {\bf C}$ two holomorphic functions such that…
We study the problem of estimating the convex hull of the image $f(X)\subset\mathbb{R}^n$ of a compact set $X\subset\mathbb{R}^m$ with smooth boundary through a smooth function $f:\mathbb{R}^m\to\mathbb{R}^n$. Assuming that $f$ is a…
More than a century ago, G. Kowalewski stated that for each n continuous functions on a compact interval [a,b], there exists an n-point quadrature rule (with respect to Lebesgue measure on [a,b]), which is exact for given functions. Here we…
The class of $\mu$-compact sets can be considered as a natural extension of the class of compact metrizable subsets of locally convex spaces, to which the particular results well known for compact sets can be generalized. This class…
Let $X$ and $M$ be a topological space and metric space, respectively. If $C(X,M)$ denotes the set of all continuous functions from X to M, we say that a subset $Y$ of $X$ is an \emph{$M$-interpolation set} if given any function $g\in M^Y$…
Let $M$ be a smooth connected orientable compact surface. Denote by $F(M,S^1)$ the space of all Morse functions $f:M\to S^1$ having no critical points on the boundary of $M$ and such that for every boundary component $V$ of $M$ the…
This paper extends the Kadison duality between compact convex sets and function systems to the setting of partial convexity. A partially convex set is a set that is convex in a designated set of convex variables when the others are held…
Motivated by previous efforts toward mathematically analyzing the treatment of monomials in spatial branch-and-bound, we study the convex hull of the graph of a simple monomial on a nonnegative box domain in arbitrary dimension, where at…
This paper analyzes the convex hull of the parametric curve $\left(t, t^2, \cdots, t^N\right)$, where $t$ is in a closed interval. It finds that every point in the convex hull is representable as a convex combination of $\frac{N+1}{2}$…
Suppose that $f_1,\ldots ,f_m : S(V)\to R$ are $m$ ($\geq 1$) continuous functions defined on the unit sphere in a Euclidean vector space $V$ of dimension $m+1$ satisfying $f_i(-v)=-f_i(v)$ for all $v\in S(V)$. The classical Borsuk-Ulam…
We study the convex hull of the graph of a quadratic function $f(\mathbf{x})=\sum_{ij\in E}x_ix_j$, where the sum is over the edge set of a graph $G$ with vertex set $\{1,\dots,n\}$. Using an approach proposed by Gupte et al. (Discrete…
Valuations on the space of finite-valued convex functions on $\mathbb{C}^n$ that are continuous, dually epi-translation invariant, as well as $\mathrm{U}(n)$-invariant are completely classified. It is shown that the space of these…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
We show that, for any prime power p^k and any convex body K (i.e., a compact convex set with interior) in Rd, there exists a partition of K into p^k convex sets with equal volume and equal surface area. We derive this result from a more…
We construct and study the space C(\R^d,n) of all partitions of \R^d into n non-empty open convex regions (n-partitions). A representation on the upper hemisphere of an n-sphere is used to obtain a metric and thus a topology on this space.…
Let $Top_c$ be the category of compact spaces and continuous maps and $Top_f\subset Top_c$ be the full subcategory of finite spaces. Consider the covariant functor $Mor:Top_f^{op}\times Top_c\to Top_c$ that associates any pair $(X,Y)$ with…
We show that the closed convex hull of any one-dimensional semi-algebraic subset of R^n has a semidefinite representation, meaning that it can be written as a linear projection of the solution set of some linear matrix inequality. This is…