Related papers: A Note on Minimal Separating Function Sets

Let $X$ be a zero-dimensional space and $C_c(X)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K(X)$ (resp., $C_{c}^{\psi}(X)$) the set of all functions in $C_c(X)$ with…

We establish formulas for the number of all downsets (or equivalently, of all antichains) of a finite poset P. Then, using these numbers, we determine recursively and explicitly the number of all posets having a fixed set of minimal points…

Given an initial family of sets, we may take unions, intersections and complements of the sets contained in this family in order to form a new collection of sets; our construction process is done recursively until we obtain the last family.…

A remarkable theorem of R. C. James is the following: suppose that $X$ is a Banach space and $C \subseteq X$ is a norm bounded, closed and convex set such that every linear functional $x^* \in X^*$ attains its supremum on $C$; then $C$ is a…

We study the class of compact convex subsets of a topological vector space which admits a strictly convex and lower semicontinuous function. We prove that such a compact set is embeddable in a strictly convex dual Banach space endowed with…

We prove that for any topological space $X$ of countable tightness, each \sigma-convex subspace $\F$ of the space $SC_p(X)$ of scatteredly continuous real-valued functions on $X$ has network weight $nw(\F)\le nw(X)$. This implies that for a…

A subset $B \subset Y$ is constructible if it is an element of the smallest family that contains all open sets and is stable under finite intersections and complements. A function $f : X \to Y$ is said to be piece-wise closed if $X$ can be…

We investigate finite sets of rational functions $\{ f_{1},f_{2}, \dots, f_{r} \}$ defined over some number field $K$ satisfying that any $t_{0} \in K$ is a $K_{p}$-value of one of the functions $f_{i}$ for almost all primes $p$ of $K$. We…

Given a continuous function $f:[a,b]\to\mathbb{R}$ such that $f(a)=f(b)$, we investigate the set of distances $|x-y|$ where $f(x)=f(y)$. In particular, we show that the only distances this set must contain are ones which evenly divide…

This article addresses structure-preserving smooth approximation of semiconcave functions. semiconcave functions are of particular interest because they naturally arise in a variety of variational problems, including {optimal feedback…

Finding the minimum and the minimizers of convex functions has been of primary concern in convex analysis since its conception. It is well-known that if a convex function has a minimum, then that minimum is global. The minimizers, however,…

One approach to monitoring a dynamic system relies on decomposition of the system into weakly interacting subsystems. An earlier paper introduced a notion of weak interaction called separability, and showed that it leads to exact…

The aim of this paper is to give an algebraic characterization of the rings $C(X,\mathbb{Q}_p)$ of all continuous $\mathbb{Q}_p$-valued functions on a compact space $X$. The characterization is similar to that of M. Stone from 1940 for the…

We discuss a special class of solutions to the minimal surface system. These are vector-valued functions that "decrease area" and are natural generalization of scalar functions. After defining area-decreasing maps, we show several classical…

The main purpose of this paper is to study \emph{$e$-separable spaces}, originally introduced by Kurepa as $K_0'$ spaces; we call a space $X$ $e$-separable iff $X$ has a dense set which is the union of countably many closed discrete sets.…

Within Bishop Set Theory, a reconstruction of Bishop's theory of sets, we study the so-called completely separated sets, that is sets equipped with a positive notion of an inequality, induced by a given set of real-valued functions. We…

The study of separating invariants is a recent trend in invariant theory. For a finite group acting linearly on a vector space, a separating set is a set of invariants whose elements separate the orbits of G. In some ways, separating sets…

Denote by $\mathbf C_p[\mathfrak M_0]$ the $C_p$-stable closure of the class $\mathfrak M_0$ of all separable metrizable spaces, i.e., $\mathbf C_p[\mathfrak M_0]$ is the smallest class of topological spaces that contains $\mathfrak M_0$…

We study the arity gap of functions of several variables defined on an arbitrary set A and valued in another set B. The arity gap of such a function is the minimum decrease in the number of essential variables when variables are identified.…

For a Tychonoff space $X$, we denote by $(C(X), \tau_k, \tau_p)$ the bitopological space of all real-valued continuous functions on $X$ where $\tau_k$ is the compact-open topology and $\tau_p$ is the topology of pointwise convergence. In…