(ii) idRn ∈ G, recall idRnT = T = T idRn for any T ∈ G (iii) If T ∈ G, then T is bijective and T−1 ∈ G Proof. (i) and (ii) are fairly easy exercises. For (iii), we have that T ∈ G is surjective by definition, so only need to check one to one. For x,y ∈ R, Tx = Ty =⇒ 0 = ‖Tx−Ty‖ = ‖x−y‖ =⇒ x = y. So T is bijective, and T−1 is surjective. T−1 is an isometry since for x,y ∈ R, ‖T−1x− T−1y‖ = ‖TT−1...

and Applied Analysis 3 It is obvious that for any t > 0 > swe have f ( x ty ) − f x t ≥ ∇ f x ( y ) inf t>0 [ f ( x ty ) − f x t ] ≥ sup s<0 [ f ( x sy ) − f x s ] ∇−f x ( y ) ≥ f ( x sy ) − f x s , 2.2 for any x, y ∈ X and, in particular, ∇−f u u − v ≥ f u − f v ≥ ∇ f v u − v , 2.3 for any u, v ∈ X. We call this the gradient inequality for the convex function f . It will be used frequently in ...

The entha lpy AH of general d isplacement react ions A B + C D A D + C B is der ived w i t h the a id of the ion ic app rox ima t i on to chemica l bond ing . T h i s entha lpy compares favourab ly w e l l w i t h Pau l ing 's cor responding equat ion AH—— 46 (%B— ̂ d ) (%A — XC)These expressions are used as a basis to discuss var ious aspects of chemical r eac t i v i t y : reversals i n react ...

and Applied Analysis 3 Lemma 2.2 cf., 4 . Let D be a nonempty subset of a reflexive, strictly convex, and smooth Banach space E. Let R be a retraction from E onto D. Then R is sunny and generalized nonexpansive if and only if 〈 x − Rx, JRx − Jy ≥ 0, 2.2 for all x ∈ E and y ∈ D. A generalized resolvent Jr of a maximal monotone operator B ⊂ E∗ × E is defined by Jr I rBJ −1 for any real number r >...

(1) For every sup-semilattice L and for all elements x, y of L holds d−eL(↑x∩↑y) = xt y. (2) For every semilattice L and for all elements x, y of L holds ⊔ L(↓x∩↓y) = xu y. (3) Let L be a non empty relational structure and x, y be elements of L. If x is maximal in (the carrier of L)\↑y, then ↑x\{x}= ↑x∩↑y. (4) Let L be a non empty relational structure and x, y be elements of L. If x is minimal ...

Let X → Y → Z be a discrete memoryless degraded broadcast channel (DBC) with marginal transition probability matrices TY X and TZX . Denote q as the distribution of the channel input X . For any given q, and H(Y |X) ≤ s ≤ H(Y ), where H(Y |X) is the conditional entropy of Y given X and H(Y ) is the entropy of Y , define the function F ∗ TY X ,TZX (q, s) as the infimum of H(Z|U), the conditional...

Let (X, d) be a complete convex metric space, and C be a nonempty, closed and convex subset of X. We consider Ćirić type contractive self-mappings T of C satisfying: d(Tx, Tx) ≤ a max {d(x, y), c[d(x, Ty) + d(y, Tx)]} + b max {d(x, Tx), d(y, Ty)}, for all x, y ∈ C, where 0 < a < 1, a + b = 1, and c ≥ 0. We give a simple proof to an extension of Ćirić’s fixed point theorem [4] and Gregus’ fixed ...

LetK be a nonempty, closed convex subset of a real Banach space E. Amapping T : K → K is said to be nonexpansive if ‖Tx−Ty‖ ≤ ‖x− y‖ for all x, y ∈ K . T is said to be affine if for each x, y ∈ K and 0 < λ < 1, T(λx+ (1− λ)y)= λTx+ (1− λ)Ty. In the main theorem of the above-referenced paper [2, Theorem 2.4], the author proves that when K is a nonempty, closed convex and bounded subset of E and ...