Verifying Bounded Subset-Closed Hyperproperties

Author(s):  
Isabella Mastroeni ◽  
Michele Pasqua
Keyword(s):  
2011 ◽  
Vol 2011 ◽  
pp. 1-10
Author(s):  
Sh. Al-Sharif ◽  
M. Rawashdeh

Let be a Banach space and let be a closed bounded subset of . For , we set  . The set is called simultaneously remotal if, for any , there exists such that  . In this paper, we show that if is separable simultaneously remotal in , then the set of -Bochner integrable functions, , is simultaneously remotal in . Some other results are presented.


1979 ◽  
Vol 20 (2) ◽  
pp. 193-198 ◽  
Author(s):  
Ivan Singer

We prove that sup(f-h)(E) = sup(h*-f*)(E*), where f is a proper lower semi-continuous convex functional on a real locally convex space E, h: E → = [-∞, +∞] is an arbitrary-functional and, f*, h* are their convex conjugates respectively. When h = δG, the indicator of a bounded subset G of E, this yields a formula for sup f(G).


Author(s):  
Zukhra T. Zhukovskaya ◽  
Sergey E. Zhukovskiy

We consider the problem of a double fixed point of pairs of continuous mappings defined on a convex closed bounded subset of a Banach space. It is shown that if one of the mappings is completely continuous and the other is continuous, then the property of the existence of fixed points is stable under contracting perturbations of the mappings. We obtain estimates for the distance from a given pair of points to double fixed points of perturbed mappings. We consider the problem of a fixed point of a completely continuous mapping on a convex closed bounded subset of a Banach space. It is shown that the property of the existence of a fixed point of a completely continuous map is stable under contracting perturbations. Estimates of the distance from a given point to a fixed point are obtained. As an application of the obtained results, the solvability of a difference equation of a special type is proved.


Author(s):  
Oleg Reinov ◽  
Asfand Fahad

The notions of V-dentability, V-s-dentability and V-f-dentability are introduced. It is shown, in particular, that if B is a bounded sequentially complete convex metrizable subset of a locally convex vector space E and V is a neighborhood of zero in E, then the following are equivalent: 1). B is subset V-dentable; 2). B is subset V-s-dentable; 3). B is subset V-f-dentable. It follows from this that for a wide class of locally convex vector spaces E, which strictly contains the class of (BM) spaces (introduced by Elias Saab in 1978), the following is true: every closed bounded subset of E is dentable if and only if every closed bounded subset of E is f-dentable. Also, we get a positive answer to the Saab's question (1978) of whether the subset dentability and the subset s-dentability are the same forthe bounded complete convex metrizable subsets of any l.c.v. space.


2012 ◽  
Vol 2012 ◽  
pp. 1-16
Author(s):  
Hong Luo

By using an iteration procedure, regularity estimates for the linear semigroups, and a classical existence theorem of global attractor, we prove that the reaction-diffusion equation possesses a global attractor in Sobolev spaceHkfor allk>0, which attracts any bounded subset ofHk(Ω) in theHk-norm.


2005 ◽  
Vol 17 (07) ◽  
pp. 793-857 ◽  
Author(s):  
DMITRY PANCHENKO

In [11], Talagrand gave a rigorous proof of the Parisi formula in the classical Sherrington–Kirkpatrick (SK) model. In this paper, we build upon the methodology developed in [11] and extend Talagrand's result to the class of SK type models in which the spins have arbitrary prior distribution on a bounded subset of the real line.


2016 ◽  
Vol 102 (3) ◽  
pp. 392-404
Author(s):  
V. RAGHAVENDRA ◽  
RASMITA KAR

We study the existence of a weak solution of a nonlocal problem$$\begin{eqnarray}\displaystyle & \displaystyle -{\mathcal{L}}_{K}u-\unicode[STIX]{x1D707}ug_{1}+h(u)g_{2}=f\quad \text{in }\unicode[STIX]{x1D6FA}, & \displaystyle \nonumber\\ \displaystyle & \displaystyle u=0\quad \text{in }\mathbb{R}^{n}\setminus \unicode[STIX]{x1D6FA}, & \displaystyle \nonumber\end{eqnarray}$$where${\mathcal{L}}_{k}$is a general nonlocal integrodifferential operator of fractional type,$\unicode[STIX]{x1D707}$is a real parameter and$\unicode[STIX]{x1D6FA}$is an open bounded subset of$\mathbb{R}^{n}$($n>2s$, where$s\in (0,1)$is fixed) with Lipschitz boundary$\unicode[STIX]{x2202}\unicode[STIX]{x1D6FA}$. Here$f,g_{1},g_{2}:\unicode[STIX]{x1D6FA}\rightarrow \mathbb{R}$and$h:\mathbb{R}\rightarrow \mathbb{R}$are functions satisfying suitable hypotheses.


1980 ◽  
Vol 32 (2) ◽  
pp. 421-430 ◽  
Author(s):  
Teck-Cheong Lim

Let X be a Banach space and B a bounded subset of X. For each x ∈ X, define R(x) = sup{‖x – y‖ : y ∈ B}. If C is a nonempty subset of X, we call the number R = inƒ{R(x) : x ∈ C} the Chebyshev radius of B in C and the set the Chebyshev center of B in C. It is well known that if C is weakly compact and convex, then and if, in addition, X is uniformly convex, then the Chebyshev center is unique; see e.g., [9].Let {Bα : α ∈ ∧} be a decreasing net of bounded subsets of X. For each x ∈ X and each α ∈ ∧, define


1977 ◽  
Vol 29 (5) ◽  
pp. 963-970 ◽  
Author(s):  
Mark A. Smith

In a Banach space, the directional modulus of rotundity, δ (ϵ, z), measures the minimum depth at which the midpoints of all chords of the unit ball which are parallel to z and of length at least ϵ are buried beneath the surface. A Banach space is uniformly rotund in every direction (URED) if δ (ϵ, z) is positive for every positive ϵ and every nonzero element z. This concept of directionalized uniform rotundity was introduced by Garkavi [6] to characterize those Banach spaces in which every bounded subset has at most one Čebyšev center.


Sign in / Sign up

Export Citation Format

Share Document