DOCSLIB.ORG

Local Boundedness Properties for Generalized Monotone Operators

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Local Boundedness Properties for Generalized Monotone Operators Journal of Convex Analysis Volume 19 (2012), No. 1, 49–61 Local Boundedness Properties for Generalized Monotone Operators Mohammad Hossein Alizadeh Department of Product and Systems Design Engineering, University of the Aegean, 84100 Hermoupolis, Syros, Greece [email protected] Nicolas Hadjisavvas∗ Department of Product and Systems Design Engineering, University of the Aegean, 84100 Hermoupolis, Syros, Greece [email protected] Mehdi Roohi Department of Mathematics, Faculty of Basic Sciences, University of Mazandaran, Babolsar, 47416 – 1468, Iran [email protected] Received: June 17, 2010 Revised manuscript received: January 23, 2011 We show that a well-known property of monotone operators, namely local boundedness in the interior of their domain, remains valid for the larger class of premonotone maps. This generalizes a similar result by Iusem, Kassay and Sosa (J. Convex Analysis 16 (2009) 807–826) to Banach spaces. Keywords: Monotone operator, generalized monotone operator, locally bounded operator 2010 Mathematics Subject Classification: 47H05, 49J53, 47H04 1. Introduction In recent years, operators which have some kind of generalized monotonocity prop- erty have received a lot of attention (see for example [7] and the references therein). Many papers considering generalized monotonicity were devoted to the investigation of its relation to generalized convexity; others studied the existence of solutions of generalized monotone variational inequalities and, in some cases, derived algorithms for finding such solutions. Monotone operators are known to have many very interesting properties. For in- stance, it is known that a monotone operator T defined on a Banach space is locally bounded in the interior of its domain. Actually by the Libor Vesel´ytheorem, when- ever T is maximal monotone and D(T ) is convex, interior points of the domain D(T ) are the only points of D(T ) where T is locally bounded. So the question nat- ∗Corresponding author ISSN 0944-6532 / $ 2.50 c Heldermann Verlag 50 M. H. Alizadeh, N. Hadjisavvas, M. Roohi / Local Boundedness Properties ... urally arises: are these properties shared by other operators which satisfy a more relaxed kind of monotonicity? In a recent paper, Iusem, Kassay and Sosa [8] introduced the class of the so-called premonotone operators. This class includes monotone operators, but contains many more: for example, if T is monotone and R is globally bounded, then T + R is premonotone. In fact, it includes ε-monotone operators which are related to the very useful ε-subdifferentials [9, 10]. In [8] it is shown that, in a finite dimensional space, premonotone operators are locally bounded in the interior of their domain. The proof was based on the finite dimensionality of the space. In this paper we will show that these results remain valid in infinite dimensional Banach spaces. We also show that some properties of monotone operators remain valid in a much more general context. More precisely, after some preliminary defini- tions and results in Section 2, we introduce in Section 3 the notion of a premonotone bifunction. We will show that such bifunctions are locally bounded in the interior of their domain and we will deduce local boundedness of premonotone operators. We will also show a generalization of the Libor Vesel´ytheorem. Let us fix some notation and recall some definitions. In what follows, X will be a ∗ Banach space. Given a multivalued operator T : X → 2X , we will set D(T ) = {x ∈ X : T (x) =6 ∅} and gr(T ) = {(x, x∗) ∈ X ×X∗ : x∗ ∈ T (x)} to be its domain and its graph, respectively. T is called norm×weak∗ closed (resp., sequentially norm×weak∗ closed) if gr(T ) is closed (resp., sequentially closed) in the norm×weak∗ topology ∗ ∗ of X × X . Given x0 ∈ X, T is called sequentially norm×weak closed at x0 if ∗ ∗ ∗ for every sequence (xn, xn) ∈ gr(T ) such that xn → x0 and xn weak -converges to ∗ ∗ ∗ ∗ ∗ some x0 ∈ X , one has x0 ∈ T (x0).T is called monotone if hx − y , x − yi ≥ 0 for all (x, x∗), (y, y∗) ∈ gr(T ). It is called maximal monotone if it is monotone, and for each monotone operator S such that gr(T ) ⊆ gr(S), one has T = S. The operator T is called locally bounded at x0 ∈ X if there exists some neighborhood V of x0 such that the set T (V ) := x∈V T (x) is bounded. Given a convex set C ⊆ XSand x ∈ C we will denote by NC (x) the normal cone of C at x: ∗ ∗ ∗ NC (x) = {x ∈ X : ∀y ∈ C, hx , y − xi ≤ 0}. 2. σ-Monotone operators Most definitions and many of the results of this section are essentially due to [8], the main difference being that in [8] one considers premonotone operators in Rn, without specifying a given σ. X∗ Definition 2.1. (i) Given an operator T : X → 2 and a map σ : D(T ) → R+, T is said to be σ-monotone if for every x, y ∈ D (T ) , x∗ ∈ T (x) and y∗ ∈ T (y), hx∗ − y∗, x − yi ≥ − min{σ(x), σ(y)}kx − yk. (1) (ii) An operator T is called premonotone if it is σ-monotone for some σ : D(T ) → R+. M. H. Alizadeh, N. Hadjisavvas, M. Roohi / Local Boundedness Properties ... 51 (iii) A σ-monotone operator T is called maximal σ-monotone, if for every operator T ′ which is σ′-monotone with gr(T ) ⊆ gr(T ′) and σ′ an extension of σ, one has T = T ′. The notion of premonotone operators for the finite-dimensional case is introduced in [8]. The same paper also contains examples of maximal σ-monotone operators. ∗ Remark 2.2. (i) It should be noticed that T : X → 2X is σ-monotone if and only if ∀x, y ∈ D (T ) , x∗ ∈ T (x) , y∗ ∈ T (y) , hx∗ − y∗, x − yi ≥ −σ(y)kx − yk. (2) (ii) If σ(y) = 2ε ≥ 0 for each y ∈ D(T ), then T is called ε-monotone [10]. (iii) Definition 2.1 does not allow negative values for σ, since this can only happen in very special cases. For instance, if T satisfies (1) and its domain contains any line segment [x0, y0] := {(1−t)x0 +ty0 : t ∈ [0, 1]}, then the set of points x ∈ [x0, y0] where σ(x) < 0 is at most countable. Indeed, if this is not the case, then there exists ∗ ε > 0 such that σ(x) < −ε for infinitely many x ∈ [x0, y0]. Choose x0 ∈ T (x0), ∗ N y0 ∈ T (y0). Given n ∈ , choose xk = x0 + tk(y0 − x0), k = 1, . n − 1, such that ∗ 0 < t1 < ··· < tn−1 < 1 and σ(xk) < −ε. Then choose xk ∈ T (xk). Set xn = y0 and ∗ ∗ xn = y0. Relation (2) gives for all k = 0, 1, . n − 1: ∗ ∗ xk+1 − xk, xk+1 − xk ≥ ε kxk+1 − xkk ⇒ ∗ ∗ xk+1 − xk, y0 − x0 ≥ ε ky0 − x0k . ∗ ∗ Adding these inequalities for k = 0, 1, . n−1 yields hy0 − x0, y0 − x0i ≥ nεky0 − x0k. This should hold for each n ∈ N, which is impossible. (iv) The notion of premonotonicity is not suited to linear operators, since every σ-monotone linear operator T : X → X∗ is in fact monotone. Indeed, in this case putting y = 0 in (2) we find ∀x ∈ X, hT x, xi ≥ −σ (0) ||x||. (3) Replacing x by x − y we deduce that ∀x, y ∈ X, hT x − T y, x − yi ≥ −σ (0) ||x − y||. Thus T is ε-monotone with ε = σ (0) /2. Then Proposition 3.2 in [10] shows that T is monotone. (v) A σ-monotone operator is maximal σ-monotone if and only if, for every operator T ′ which is σ′-monotone with gr(T ) ⊆ gr(T ′) and σ′(x) ≤ σ(x) for all x ∈ D(T ), one has T = T ′. The following proposition is an easy consequence of Zorn’s Lemma, as for monotone operators. 52 M. H. Alizadeh, N. Hadjisavvas, M. Roohi / Local Boundedness Properties ... Proposition 2.3. Every σ-monotone operator has a maximal σ-monotone exten- sion. Definition 2.4. Let A be a subset of X. Given a mapping σ : A → R+, two pairs (x, x∗), (y, y∗) ∈ A × X∗ are σ-monotonically related if hx∗ − y∗, x − yi ≥ − min{σ(x), σ(y)}kx − yk. The proof of the following proposition is obvious. ∗ Proposition 2.5. The σ-monotone operator T : X → 2X is maximal σ-monotone ∗ ∗ ′ if and only if, for every point (x0, x0) ∈ X × X and every extension σ of σ to ∗ ′ ∗ D(T )∪{x0} such that (x0, x0) is σ -monotonically related to all pairs (y, y ) ∈ gr(T ), ∗ we have (x0, x0) ∈ gr(T ). X∗ Given an operator T : X → 2 , we define the function σT : D(T ) → R+ ∪ {∞} by ∗ ∗ ∗ ∗ σT (y) = inf{a ∈ R+ : hx − y , x − yi ≥ −a kx − yk , ∀(x, x ) ∈ gr(T ), y ∈ T (y)}. Note that if the operator T is premonotone, then σT = inf{σ : T is σ-monotone} and thus σT is finite, and T is σT -monotone. Also in this case, it is obvious that hx∗ − y∗, y − xi σ (y) = max sup{ : x ∈ X\{y}, x∗ ∈ T (x), y∗ ∈ T (y)}, 0 (4) T ky − xk (see also [8]). The following result is due to [8]. Proposition 2.6. Let an operator T be given. (i) σT is finite and T is σT -monotone, if and only if T is σ-monotone for some σ. (ii) σT is finite and T is maximal σT -monotone, if and only if T is maximal σ-monotone for some σ. Proof. We have only to prove that whenever T is maximal σ-monotone for some X∗ ′ σ, then it is maximal σT -monotone. Assume that S : X → 2 is σ -monotone with ′ ′ gr(T ) ⊆ gr(S) and σ an extension of σT .
Load more

Recommended publications
  • Variants on the Berz Sublinearity Theorem
    Aequat. Math. 93 (2019), 351–369 c The Author(s) 2018 0001-9054/19/020351-19 published online November 16, 2018 Aequationes Mathematicae https://doi.org/10.1007/s00010-018-0618-8 Variants on the Berz sublinearity theorem N. H. Bingham and A. J. Ostaszewski To Roy O. Davies on his 90th birthday. Abstract. We consider variants on the classical Berz sublinearity theorem, using only DC, the Axiom of Dependent Choices, rather than AC, the Axiom of Choice, which Berz used. We consider thinned versions, in which conditions are imposed on only part of the domain of the function—results of quantifier-weakening type. There are connections with classical results on subadditivity. We close with a discussion of the extensive related literature. Mathematics Subject Classification. Primary 26A03, 39B62. Keywords. Dependent Choices, Homomorphism extension, Subadditivity, Sublinearity, Steinhaus–Weil property, Thinning, Quantifier weakening. 1. Introduction: sublinearity We are concerned here with two questions. The first is to prove, as directly as possible, a linearity result via an appropriate group-homomorphism analogue of the classical Hahn–Banach Extension Theorem HBE [5]—see [18]forasur- vey. Much of the HBE literature most naturally elects as its context real Riesz spaces (ordered linear spaces equipped with semigroup action, see Sect. 4.8), where some naive analogues can fail—see [19]. These do not cover our test- case of the additive reals R, with focus on the fact (e.g. [14]) that for A ⊆ R a dense subgroup, if f : A → R is additive (i.e. a partial homomorphism) and locally bounded (see Theorem R in Sect.
    [Show full text]
  • Pincherle's Theorem in Reverse Mathematics and Computability Theory
    PINCHERLE’S THEOREM IN REVERSE MATHEMATICS AND COMPUTABILITY THEORY DAG NORMANN AND SAM SANDERS Abstract. We study the logical and computational properties of basic theo- rems of uncountable mathematics, in particular Pincherle’s theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first ‘local-to-global’ principles. It is well-known that such principles in analysis are intimately connected to (open-cover) com- pactness, but we nonetheless exhibit fundamental differences between com- pactness and Pincherle’s theorem. For instance, the main question of Re- verse Mathematics, namely which set existence axioms are necessary to prove Pincherle’s theorem, does not have an unique or unambiguous answer, in con- trast to compactness. We establish similar differences for the computational properties of compactness and Pincherle’s theorem. We establish the same differences for other local-to-global principles, even going back to Weierstrass. We also greatly sharpen the known computational power of compactness, for the most shared with Pincherle’s theorem however. Finally, countable choice plays an important role in the previous, we therefore study this axiom together with the intimately related Lindel¨of lemma. 1. Introduction 1.1. Compactness by any other name. The importance of compactness cannot be overstated, as it allows one to treat uncountable sets like the unit interval as ‘almost finite’ while also connecting local properties to global ones. A famous example is Heine’s theorem, i.e. the local property of continuity implies the global property of uniform continuity on the unit interval.
    [Show full text]
  • Complex Analysis Qual Sheet
    Complex Analysis Qual Sheet Robert Won \Tricks and traps. Basically all complex analysis qualifying exams are collections of tricks and traps." - Jim Agler 1 Useful facts 1 X zn 1. ez = n! n=0 1 X z2n+1 1 2. sin z = (−1)n = (eiz − e−iz) (2n + 1)! 2i n=0 1 X z2n 1 3. cos z = (−1)n = (eiz + e−iz) 2n! 2 n=0 1 4. If g is a branch of f −1 on G, then for a 2 G, g0(a) = f 0(g(a)) 5. jz ± aj2 = jzj2 ± 2Reaz + jaj2 6. If f has a pole of order m at z = a and g(z) = (z − a)mf(z), then 1 Res(f; a) = g(m−1)(a): (m − 1)! 7. The elementary factors are defined as z2 zp E (z) = (1 − z) exp z + + ··· + : p 2 p Note that elementary factors are entire and Ep(z=a) has a simple zero at z = a. 8. The factorization of sin is given by 1 Y z2 sin πz = πz 1 − : n2 n=1 9. If f(z) = (z − a)mg(z) where g(a) 6= 0, then f 0(z) m g0(z) = + : f(z) z − a g(z) 1 2 Tricks 1. If f(z) nonzero, try dividing by f(z). Otherwise, if the region is simply connected, try writing f(z) = eg(z). 2. Remember that jezj = eRez and argez = Imz. If you see a Rez anywhere, try manipulating to get ez. 3. On a similar note, for a branch of the log, log reiθ = log jrj + iθ.
    [Show full text]
  • Separability and Local Boundedness of Orlicz Spaces of Functions with Values in Separable, Linear Topological Spaces
    ANNALES SOCIETATIS MATHEMATICAE POLONAE Series 1: COMMENTATIONES MATHEMATFCAE XXIV (1984) ROCZNIKI POLSKIEGO TOWARZYSTWA MATEMATYCZNEGO Séria I: PRACE MATEMATYCZNE XXIV (1984) M a r e k W i s l a (Poznan) Separability and local boundedness of Orlicz spaces of functions with values in separable, linear topological spaces Abstract. The paper deals with the theory of Orlicz spaces of functions with values in separable, linear topological spaces. In Section 1 we define Orlicz spaces Jf(T, X) and a subspace ЕФ(Т, X ) of the space I?(T, X). Section 2 contains a theorem on separability of the space ЕФ(Т, X). In Section 3 we prove a theorem on local boundedness of the space i f (T, X). 1. Preliminaries. 1.1. We assume henceforth that (T, Z, /1) is a measure space, where Z is a <T-algebra of subsets of T, ц is a positive, tr-finite, atomless and complete measure on Z. 1.2. (X, t) will denote a separable, linear topological space. & will be always a base of neighbourhoods of в, where в is the origin of X. Moreover, A will denote the smallest a algebra of subsets of X containing t . 1.3. Let e/#(T, X) be the set of all functions f : T-+X such that for every UeA, f ~ 1(U)eZ. <Ж0(Т,Х) will be a linear subspace of the set M (T, X). 1.4. Let со: R+ -> R + be a homeomorphism such that co(l) = 1 and co(u • v) ^ œ(u) co(v) for every u ,veR +, (R+ = [0, +эс)).
    [Show full text]
  • Regularity of Weakly Subquadratic Functions 1
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of Debrecen Electronic Archive REGULARITY OF WEAKLY SUBQUADRATIC FUNCTIONS ATTILA GILANYI´ AND KATARZYNA TROCZKA{PAWELEC Abstract. Related to the theory of convex and subadditive functions, we investigate weakly subquadratic mappings, that is, solutions of the inequality f(x + y) + f(x − y) ≤ 2f(x) + 2f(y)(x; y 2 G) for real valued functions defined on a topological group G = (G; +). Especially, we study the lower and upper hulls of such functions and we prove Bernstein{Doetsch type theorems for them. 1. Introduction In the present paper, we investigate weakly subquadratic functions, that is, solutions of the inequality f(x + y) + f(x − y) ≤ 2f(x) + 2f(y)(x; y 2 G); (1) in the case when f is a real valued function defined on a group G = (G; +). Our aim is to prove regularity theorems for functions of this type. Our studies have been motivated by classical results of the regularity theory of convex and subadditive functions. A fundamental result of the regularity theory of convex functions is the theorem of F. Bern- stein and G. Doetsch [13] which states that if a real valued Jensen-convex function defined on an open interval is locally bounded from above at one point in its domain, then it is continuous (cf. also [16] and [17]). It is easy to prove and is well-known that, in the case of subadditive functions, local boundedness does not imply continuity. However, as R. A. Rosenbaum proved in [19], if a subadditive function defined on Rn is locally bounded from above at one point in Rn then it is locally bounded everywhere in Rn.
    [Show full text]
  • T Forms a Linear F Space Under
    76 D. H. HYERS [February A NOTE ON LINEAR TOPOLOGICAL SPACES* D. H. HYERS A space T is called a linear topological space if (1) T forms a linear f space under operations x+y and ax, where x,yeT and a is a real number, (2) T is a Hausdorff topological space,J (3) the fundamental operations x+y and ax are continuous with respect to the Hausdorff topology. The study § of such spaces was begun by A. Kolmogoroff (cf. [4]. Kolmogoroff's definition of a linear topological space is equivalent to that just given). Kolmogoroff calls a set 5 c T bounded, if for any sequence xveS and any real sequence av converging to 0 we have lim,,.^ avxv = 0, where 6 is the zero element of T. He then shows that a linear topological space T reduces to a linear normed space|| if and only if there exists in T an open set which is both convex^ and bounded. In this note, the characterization of other types of spaces among the class of linear topological spaces is studied. Spaces which are locally bounded, that is spaces containing a bounded open set, are found to be "pseudo-normed" on the one hand, and metrizable on the other, but not in general normed. Fréchet «paces, or spaces of type (F), are characterized. The main result of the paper is that a linear topological space T is finite dimensional, and hence linearly homeomorphic to a finite dimensional euclidean space, if and only if T contains a compact, open set. This of course is a generaliza­ tion to linear topological spaces of the well known theorem of F.
    [Show full text]
  • THE MINIMAL CONTEXT for LOCAL BOUNDEDNESS in TOPOLOGICAL VECTOR SPACES* 1. Introduction the Local Boundedness of a Monotone Oper
    ANALELE S¸TIINT¸IFICE ALE UNIVERSITAT¸II˘ \AL.I. CUZA" DIN IAS¸I (S.N.) MATEMATICA,˘ Tomul LIX, 2013, f.2 DOI: 10.2478/v10157-012-0041-8 THE MINIMAL CONTEXT FOR LOCAL BOUNDEDNESS IN TOPOLOGICAL VECTOR SPACES* BY M.D. VOISEI Abstract. The local boundedness of classes of operators is analyzed on different subsets directly related to the Fitzpatrick function associated to an operator. Characte- rizations of the topological vector spaces for which that local boundedness holds is given in terms of the uniform boundedness principle. For example the local boundedness of a maximal monotone operator on the algebraic interior of its domain convex hull is a characteristic of barreled locally convex spaces. Mathematics Subject Classification 2010: 47H05, 46A08, 52A41. Key words: local boundedness, monotone operator, Banach-Steinhaus property, Fitzpatrick function. 1. Introduction The local boundedness of a monotone operator defined in an open set of a Banach space was first intuited by Kato in [6] while performing a com- parison of sequential demicontinuity and hemicontinuity. Under a Banach space settings, the first result concerning the local boundedness of mono- tone operators appears in 1969 and is due to Rockafellar [9, Theorem 1, p. 398]. In 1972 in [4], the local boundedness of monotone-type operators is proved under a Fr´echet space context. In 1988 the local boundedness of a monotone operator defined in a barreled normed space is proved in [1] on the algebraic interior of the domain. The authors of [1] call their assum- ptions \minimal" but they present no argument about the minimality of their hypotheses or in what sense that minimality is to be understood.
    [Show full text]
  • On Lengths on Semisimple Groups
    On lengths on semisimple groups Yves de Cornulier May 21, 2009 Abstract We prove that every length on a simple group over a locally compact field, is either bounded or proper. 1 Introduction Let G be a locally compact group. We call here a semigroup length on G a function L : G → R+ = [0, ∞[ such that • (Local boundedness) L is bounded on compact subsets of G. • (Subadditivity) L(xy) ≤ L(x)+ L(y) for all x, y. We call it a length if moreover it satisfies • (Symmetricalness) L(x)= L(x−1) for all x ∈ G. We do not require L(1) = 1. Note also that local boundedness weakens the more usual assumption of continuity, but also include important examples like the word length with respect to a compact generating subset. See Section 2 for further discussion. Besides, a length is called proper if L−1([0, n]) has compact closure for all n< ∞. arXiv:1612.01001v1 [math.GR] 3 Dec 2016 Definition 1.1. A locally compact group G has Property PL (respectively strong Property PL) if every length (resp. semigroup length) on G is either bounded or proper. We say that an action of a locally compact group G on a metric space is locally bounded if Kx is bounded for every compact subset K of G and x ∈ X. This relaxes the assumption of being continuous. The action is bounded if the orbits are bounded. If G is locally compact, the action is called metrically proper if for every bounded subset B of X, the set {g ∈ G|B ∩ gB =6 ∅} has compact closure.
    [Show full text]
  • Local Boundedness of Monotone Operators Under Minimal Hypotheses Jon Borwein and Simon Fitzpatrick
    BULL. AUSTRAL. MATH. SOC. 46AO7 VOL. 39 (1988) [439-441] LOCAL BOUNDEDNESS OF MONOTONE OPERATORS UNDER MINIMAL HYPOTHESES JON BORWEIN AND SIMON FITZPATRICK We give a short proof the local boundedness of a monotone operator as an easy consequence of the continuity of an associated convex function. Let X be a real normed space with normed dual X*. Recall that a set-valued mapping T: X —y X* is monotone if (x* -y*,x-y)>Q for any pairs x* £ T(x), y* £ T{y). The domain of T, D(T), is defined by D(T) := {x £ X: T(x) ^ 0}. The mapping is locally bounded at x £ D{T) if for some e > 0 the set T({y El: \\y — x\\ < e}) is bounded. For any set 5 in X, the cone generated by S at x is Sx = {y £ X \ y = t(s — x), s £ S, t > 0}. We will (a little non-standardly) call a point x of 5 an absorbing point of 5 if Sx — X. Clearly every interior point is an absorbing point. If S is convex then absorbing points and core points coincide. A function /: X —»• ] — oo, oo ] is convex if epi(/) = {(x, r) £ X x R \ f(x) ^ r} is a convex set, and lower semicontinuous if {x £ X \ f(x) ^ r} is closed for each real r. [Here X may be any real topological vector space.] The essential domain of / is dom(/) = {x £ X: f(x) < oo}. Finally, recall that a real locally convex space X is barrelled if each closed convex set C in X for which 0 is an absorbing point [that is C'o — X] is a neighbourhood of zero.
    [Show full text]
  • Product Metrics and Boundedness
    Applied General Topology c Universidad Polit´ecnica de Valencia @ Volume 9, No. 1, 2008 pp. 133-142 Product metrics and boundedness Gerald Beer∗ Abstract. This paper looks at some possible ways of equipping a countable product of unbounded metric spaces with a metric that acknowledges the boundedness characteristics of the factors. 2000 AMS Classification: Primary 54E35; Secondary 46A17. Keywords: product metric, metric of uniform convergence, bornology, convergence to infinity. 1. Introduction Let hX, di be an unbounded metric space. A net hxλiλ∈Λ in X based on a directed set Λ is called convergent to infinity in distance if eventually hxλi stays outside of each d-bounded set: whenever B is contained in some d-ball, there exists λ0 ∈ Λ such that λ > λ0 ⇒ xλ ∈/ B. With Sα(x) representing the open ball of radius α and center x, this condition can be reformulated in any of these equivalent ways: (1) ∀x ∈ X and α> 0, hxλi is eventually outside of Sα(x); (2) ∀x ∈ X we have limλd(xλ, x)= ∞; (3) ∃x0 ∈ X with limλd(xλ, x0)= ∞. Now if {hXn, dni : n 6 n0} is a finite family of metric spaces, there are a n0 number of standard ways to give the product n=1 Xn a metric compatible with the product topology, the most familiar of which are these [11, pg. 111]: Q (1) ρ1(x, w) = max {dn(πn(x), πn(w)) : n 6 n0}; n0 (2) ρ2(x, w)= n=1 dn(πn(x), πn(w)); n0 2 (3) ρ3(x, w)= d (π (x), π (w)) .
    [Show full text]
  • 11Txil = T Lixll, T > 0; (4) Llxi + X211 < Llxlx1 + L1x211
    VOL. 27, 1941 MA THEMA TICS: D. G. BOURGIN 539 be a fixed chain in A"(K, G). In the direct sumZ,, + 1(K, I) + G, the ele- ments of the form 5d, - z-d., for all chains d., constitute a subgroup S iso- morphic with i + 1(K, 1). The difference group (E. +1 + G) - S = E(xf) is a group extension of G by the cohomology group I + 1(K, I) = a+1 - i+. 1 Zassenhaus, H., Lehrbuch der Gruppentheorie, Berlin, 1937, pp. 89-98. 2 Pontrjagin, L., Topological Groups, Princeton, 1939, Ch. V; v. Kampen, E. R., Ann. Math., 36, 448-463 (1935). ' Whitney, H., Duke Math. Jour., 4, 495-528 (1938). 4 Steenrod, N. E., Amer. Jour. Math., 58, 661-701 (1936). 5 Tucker, A. W., Ann. Math., 34, 191-243 (1933). 6 This topology will be a Hausdorf topology if G is a division closure group (Steenrod, loc. cit., p. 676). 7 tech, E., Fund. Math., 25, 33-44 (1935). 8 Lefschetz, S., Topology, New York, 1930, p. 325. * Steenrod, N. E., Ann. Math., 41, 833-851 (1940). 10 This is essentially the Steenrod universal coefficient theorem for compact metric spaces. SOME PROPERTIES OF REAL LINEAR TOPOLOGICAL SPACES BY D. G. BOURGIN DEPARTMENT OF MATHEMATICS, UNIVERSITY OF ILLINOIS Communicated September 26, 1941 We denote a real linear topological space, 1. t. s., by the symbol L and adopt Hyers" slight modification of the von Neumann axioms2 for the characterization of such a space. If 9 = {N) is a neighborhood basis of the origin,0I, in the1.
    [Show full text]
  • Global and Local Boundedness of Polish Groups
    GLOBAL AND LOCAL BOUNDEDNESS OF POLISH GROUPS CHRISTIAN ROSENDAL ABSTRACT. We present a comprehensive theory of boundedness properties for Pol- ish groups developed with a main focus on Roelcke precompactness (precompactness of the lower uniformity) and Property (OB) (boundedness of all isometric actions on separable metric spaces). In particular, these properties are characterised by the or- bit structure of isometric or continuous affine representations on separable Banach spaces. We further study local versions of boundedness properties and the microscopic structure of Polish groups and show how the latter relates to the local dynamics of isometric and affine actions. CONTENTS 1. Global boundedness properties in Polish groups 2 1.1. Uniformities and compatible metrics 5 1.2. Constructions of linear and affine actions on Banach spaces 8 1.3. Topologies on transformation groups 10 1.4. Property (OB) 11 1.5. Bounded uniformities 13 1.6. Roelcke precompactness 16 1.7. The Roelcke uniformity on homeomorphism groups 18 1.8. Fixed point properties 23 1.9. Property (OBk) and SIN groups 24 1.10. Non-Archimedean Polish groups 25 1.11. Locally compact groups 29 2. Local boundedness properties 33 2.1. A question of Solecki 33 2.2. Construction 34 3. Microscopic structure 36 3.1. Narrow sequences and completeness 36 3.2. Narrow sequences and conjugacy classes 39 3.3. Narrow sequences in oligomorphic groups 40 3.4. Narrow sequences in Roelcke precompact groups 42 3.5. Isometric actions defined from narrow sequences 45 2000 Mathematics Subject Classification. Primary: 22A25, Secondary: 03E15, 46B04. Key words and phrases. Property (OB), Roelcke precompactness, Strongly non-locally compact groups, Affine actions on Banach spaces.
    [Show full text]