Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userTopological structure of non-separable sigma-locally compact convex sets
163
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
For an infinite cardinal $kappa$ let $ell_2(kappa)$ be the linear hull of the standard othonormal base of the Hilbert space $ell_2(kappa)$ of density $kappa$. We prove that a non-separable convex subset $X$ of density $kappa$ in a locally convex linear metric space if homeomorphic to the space (i) $ell_2^f(kappa)$ if and only if $X$ can be written as countable union of finite-dimensional locally compact subspaces, (ii) $[0,1]^omegatimes ell_2^f(kappa)$ if and only if $X$ contains a topological copy of the Hilbert cube and $X$ can be written as a countable union of locally compact subspaces.
rate research
Read More
We consider the problem of the semidefinite representation of a class of non-compact basic semialgebraic sets. We introduce the conditions of pointedness and closedness at infinity of a semialgebraic set and show that under these conditions our modified hierarchies of nested theta bodies and Lasserres relaxations converge to the closure of the convex hull of $S$. Moreover, if the PP-BDR property is satisfied, our theta body and Lasserres relaxation are exact when the order is large enough; if the PP-BDR property does not hold, our hierarchies convergent uniformly to the closure of the convex hull of $S$ restricted to every fixed ball centered at the origin. We illustrate through a set of examples that the conditions of pointedness and closedness are essential to ensure the convergence. Finally, we provide some strategies to deal with cases where the conditions of pointedness and closedness are violated.
Convex geometry has recently attracted great attention as a framework to formulate general probabilistic theories. In this framework, convex sets and affine maps represent the state spaces of physical systems and the possible dynamics, respectively. In the first part of this paper, we present a result on separation of simplices and balls (up to affine equivalence) among all compact convex sets in two- and three-dimensional Euclidean spaces, which focuses on the set of extreme points and the action of affine transformations on it. Regarding the above-mentioned axiomatization of quantum physics, our result corresponds to the case of simplest (2-level) quantum system. We also discuss a possible extension to higher dimensions. In the second part, towards generalizations of the framework of general probabilistic theories and several existing results including ones in the first part from the case of compact and finite-dimensional physical systems as in most of the literatures to more general cases, we study some fundamental properties of convex sets and affine maps that are relevant to the above subject.
For a non-compact n-manifold M let H(M) denote the group of homeomorphisms of M endowed with the Whitney topology and H_c(M) the subgroup of H(M) consisting of homeomorphisms with compact support. It is shown that the group H_c(M) is locally contractible and the identity component H_0(M) of H(M) is an open normal subgroup in H_c(M). This induces the topological factorization H_c(M) approx H_0(M) times M_c(M) for the mapping class group M_c(M) = H_c(M)/H_0(M) with the discrete topology. Furthermore, for any non-compact surface M, the pair (H(M), H_c(M)) is locally homeomorphic to (square^w l_2,cbox^w l_2) at the identity id_M of M. Thus the group H_c(M) is an (l_2 times R^infty)-manifold. We also study topological properties of the group D(M) of diffeomorphisms of a non-compact smooth n-manifold M endowed with the Whitney C^infty-topology and the subgroup D_c(M) of D(M) consisting of all diffeomorphisms with compact support. It is shown that the pair (D(M),D_c(M)) is locally homeomorphic to (square^w l_2, cbox^w l_2) at the identity id_M of M. Hence the group D_c(M) is a topological (l_2 times R^infty)-manifold for any dimension n.
We provide some properties and characterizations of homologically $UV^n$-maps and $lc^n_G$-spaces. We show that there is a parallel between recently introduced by Cauty algebraic $ANR$s and homologically $lc^n_G$-metric spaces, and this parallel is similar to the parallel between ordinary $ANR$s and $LC^n$-metric spaces. We also show that there is a similarity between the properties of $LC^n$-spaces and $lc^n_G$-spaces. Some open questions are raised.
Suppose that $X=G/K$ is the quotient of a locally compact group by a closed subgroup. If $X$ is locally contractible and connected, we prove that $X$ is a manifold. If the $G$-action is faithful, then $G$ is a Lie group.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
