Related papers: Conditionally Evenly Convex Sets and Evenly Quasi-…
We present a concise proof for the supporting hyperplane theorem. We then observe that the proof not only establishes the supporting hyperplane theorem but also extends it to a hyperplane separation theorem for certain non-convex sets. The…
Quasi-vertex-transitive maps are the homogeneous maps on the plane with finitely many vertex orbits under the action of their automorphism groups. We show that there exist quasi-vertex-transitive maps of types $[p^3, 3]$ for $p \equiv 1$…
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…
A matrix convex set is a set of the form $\mathcal{S} = \cup_{n\geq 1}\mathcal{S}_n$ (where each $\mathcal{S}_n$ is a set of $d$-tuples of $n \times n$ matrices) that is invariant under UCP maps from $M_n$ to $M_k$ and under formation of…
The present paper is concerned with Lipschitz properties of convex mappings. One considers the general context of mappings defined on an open convex subset $\Omega$ of a locally convex space $X$ and taking values in a locally convex space…
We consider the method of alternating projections for finding a point in the intersection of two closed sets, possibly nonconvex. Assuming only the standard transversality condition (or a weaker version thereof), we prove local linear…
A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…
On R^n endowed with a riemannian metric of bounded nonpositive curvature, the weakly convex closed subsets are topologically trivial. The stability of such subsets under intersection characterizes the euclidean spaces.
In this study, after given the definition of soft sets and their basic operations we define convex soft sets which is an important concept for operation research, optimization and related problems. Then, we define concave soft sets and give…
This paper aims at providing further studies of the notion of quasi-relative interior for convex sets introduced by Borwein and Lewis. We obtain new formulas for representing quasi-relative interiors of convex graphs of set-valued mappings…
Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case…
We introduce several classes of set-valued maps with generalized convexity. We obtain minimax theorems for set-valued maps which satisfy the introduced properties and are not continuous, by using a fixed point theorem for weakly naturally…
If the complement of a closed convex set in a closed convex cone is bounded, then this complement minus the apex of the cone is called a coconvex set. Coconvex sets appear in singularity theory (they are closely related to Newton diagrams)…
This article shows the existence of a class of closed bounded matrix convex sets which do not have absolute extreme points. The sets we consider are noncommutative sets, $K_X$, formed by taking matrix convex combinations of a single tuple…
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…
The class of coarsely convex spaces is a coarse geometric analogue of the class of nonpositively curved Riemannian manifolds. It includes Gromov hyperbolic spaces, CAT(0) spaces, proper injective metric spaces and systolic complexes. It is…
In this paper, three topics in bipolar fuzzy soft hypervector spaces are investigated. At first, four equivalent conditions to definition of a bipolar fuzzy soft hypervector space are presented, from different point of views. Then some new…
We have studied the concept of bipolarity of information in the soft sets. We have defined bipolar soft sets and basic operations of union, intersection and complementation for bipolar soft sets. Examples of bipolar soft sets and an…
Given two arbitrary closed sets in Euclidean space, a simple transversality condition guarantees that the method of alternating projections converges locally, at linear rate, to a point in the intersection. Exact projection onto nonconvex…
We prove two results on convex subsets of Euclidean spaces invariant under an orthogonal group action. First, we show that invariant spectrahedra admit an equivariant spectrahedral description, i.e., can be described by an equivariant…