A criterion for the uniform distribution of sequences in compact metric spaces

LetX be a compact metric space, le μ be a non-negative normalized Borel measure onX and letf be a measurable bounded real-valued function defined onX such thatf is μ-almost everywhere continuous and different from zero. It is proved that a sequence (x _n ),n=1,2, … of points inX is μ-uniformly distributed if and only if for every Borel setE?X with μ(Bd(E))=0 we have \(\mathop {\lim }\limits_{N \to \infty } \frac{1}{N}\sum\limits_{n = 1}^N {f(x_n )} 1_E (x_n ) = \int\limits_E {f(x)d\mu (x)} ,\) where 1 _E denotes the characteristic function ofE andbdE the boundary ofE. Furthermore some quantitative aspects and generalizations of this theorem are discussed.     

Isometric factorization of weakly compact operators and the approximation property

Using an isometric version of the Davis, Figiel, Johnson, and Pe?czyński factorization of weakly compact operators, we prove that a Banach spaceX has the approximation property if and only if, for every Banach spaceY, the finite rank operators of norm ≤1 are dense in the unit ball ofW(Y,X), the space of weakly compact operators fromY toX, in the strong operator topology. We also show that, for every finite dimensional subspaceF ofW(Y,X), there are a reflexive spaceZ, a norm one operatorJ:Y→Z, and an isometry Φ :F →W(Y,X) which preserves finite rank and compact operators so thatT=Φ(T) oJ for allT∈F. This enables us to prove thatX has the approximation property if and only if the finite rank operators form an ideal inW(Y,X) for all Banach spacesY.     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

Multivalued contractions

LetE be a Banach space,C a closed convex subset ofE, F a multivalued contraction fromC to itself with closed values. Ifx ₀ is a fixed point and ifF(x ₀) is not a singleton, then there exists a fixed pointx ₁ ofF which is different fromx ₀. We prove also that there is in the Euclidean space ?² a multivalued contraction with compact connected values having a nonconnected set of fixed points.     

Characterization and properties of extreme operators intoC(Y)

LetE be a real (or complex) Banach space,Y a compact Hausdorff space, andC(Y) the space of real (or complex) valued continuous functions onY. IfT is an extreme point in the unit ball of bounded linear operators fromE intoC(Y), then it is shown thatT ^* maps (the natural imbedding inC(Y) ^* of)Y into the weak ^*-closure of extS(E ^*), provided thatY is extremally disconnected, orE=C(X), whereX is a dispersed compact Hausdorff space.     

Extending an operator from a Hilbert space to a larger Hilbert space,so as to reduce its spectrum

In our earlier paper [1] we showed that given any elementx of a commutative unital Banach algebraA, there is an extensionA′ ofA such that the spectrum ofx inA′ is precisely the essential spectrum ofx inA. In [2], we showed further that ifT is a continuous linear operator on a Banach spaceX, then there is an extensionY ofX such thatT extends continuously to an operatorT ⁻ onY, and the spectrum ofT ⁻ is precisely the approximate point spectrum ofT. In this paper we take the second of these results, and show further that ifX is a Hilbert space then we can ensure thatY is also a Hilbert space; so any operatorT on a Hilbert spaceX is the restriction to one copy ofX of an operatorT ⁻ onX ⊕X, whose spectrum is precisely the approximate point spectrum ofT. This result is “best possible” in the sense that if isany extension to a larger Banach space of an operatorT, it is a standard exercise that the approximate point spectrum ofT is contained in the spectrum of .     

Extensions of positive projections

The main purpose of this paper is the following Theorem: letE be a Dedekind complete Riesz space (vector lattice), letA be a vector subspace of it which majorizesE and letx ₀ be an element ofE−A. IfT ₀ is a positive projection onA, then there existsy ₀∈E such thatT ₀ can be extended to a positive projection onA+ℝx ₀+ℝy ₀.     

The double centralizer theorem for division algebras

AssumeV is a finite-dimensional vector space over a division ringD having centerF. It is shown that ifT∈ End _D (V) is algebraic overF then the double centralizerC(C(T)) ofT is the setF[T] of all polynomials inT with coefficients fromF. Consequently, eachn×n matrix ring overD is an algebraicF-algebra if and only ifC(C(T))=F[T] for allT and all finite-dimensionalV.     

A characterization of the Wishart exponential families by an invariance property

E is the space of real symmetric (d, d) matrices, andS and \(\bar S\) are the subsets ofE of positive definite and semipositive-definite matrices. Let there be ap in $$\Lambda = \left\{ {\frac{1}{2},1,\frac{3}{2}, \ldots \frac{{d - 1}}{2}} \right\} \cup \left] {\frac{{d - 1}}{2}, + \infty } \right[$$ The Wishart natural exponential family with parameterp is a set of probability distributions on \(\bar S\) defined by $$F_p = \{ \exp [ - \tfrac{1}{2}Tr(\Gamma x)](det\Gamma )^p \mu _p (dx);\Gamma \in S\} $$ where μ_p is a suitable measure on \(\bar S\) . LetGL(?^d) be the subset ofE of invertible matrices. Fora inGL(?^d), define the automorphismg _a ofE byg _a(x)=^t axa, where ^t a is the transpose ofa. The aim of this paper is to show that a natural exponential familyF onE is invariant byg _a for alla inGL(?^d) if and only if there existsp in Λ such that eitherF=F _p, orF is the image ofF _p byx??x. (Theorem).     

The Choquet integral representation in the affine vector-valued case

LetX be any compact convex subset of a locally convex Hausdorff space andE be a complex Banach space. We denote byA(X, E) the space of all continuous and affineE-valued functions defined onX. In this paper we prove thatX is a Choquet simplex if and only if the dual ofA(X, E) is isometrically isomorphic by a selection map toM _m (X, E*), the space ofE*-valued,w*-regular boundary measures onX. This extends and strengthens a result of G. M. Ustinov. To do this we show that for any compact convex setX, each element of the dual ofA(X, E) can be represented by a measure inM _m (X, E*) with the same norm, and this representation is unique if and only ifX is a Choquet simplex. We also prove that ifX is metrizable andE is separable then there exists a selection map from the unit ball of the dual ofA(X, E) into the unit ball ofM _m (X, E*) which is weak* to weak*-Borel measurable.This work will constitute a portion of the author's Ph.D. Thesis at the University of Illinois.     

Extension theorems for linear lattices with positive algebraic basis

An ordered linear spaceV with positive wedgeK is said to satisfy extension property (E1) if for every subspaceL ₀ ofV such thatL ₀ ∩K is reproducing inL ₀, and every monotone linear functionalf ₀ defined onL ₀,f ₀ has a monotone linear extension to all ofV. A linear latticeX is said to satisfy extension property (E2) if for every sublatticeL ofX, and every linear functionalf defined onL which is a lattice homomorphism,f has an extensionf′ to all ofX which is also a linear functional and a lattice homomorphism. In this paper it is shown that a linear lattice with a positive algebraic basis has both extension property (E1) and (E2). In obtaining this result it is shown that the linear span of a lattice idealL and an extremal element not inL is again a lattice ideal. (HereX does not have to have a positive algebraic basis.) It is also shown that a linear lattice which possesses property (E2) must be linearly and lattice isomorphic to a functional lattice. An example is given of a function lattice which has property (E2) but does not have a positive algebraic basis. Yudin [12] has shown a reproducing cone in ann-dimensional linear lattice to be the intersection of exactlyn half-spaces. Here it is shown that the positive wedge in ann-dimensional archimedean ordered linear space satisfying the Riesz decomposition property must be the intersection ofn half-spaces, and hence the space must be a linear lattice with a positive algebraic basis. The proof differs from those given for the linear lattice case in that it uses no special techniques, only well known results from the theory of ordered linear space.     

Compact and strictly singular operators on Orlicz spaces

If 0 < p < 1 andT: L_p(0,1) →E is a continuous linear operator into a topological vector space, there is an infinite-dimensional subspaceX ofL _p on whichT is an isomorphism; thus there are no compact operators onL _p . Results of this type are proved for general non-locally convex Orlicz spaces.     

p-Pseudomeasures and closed subgroups

LetPM _p (G) be the space of allp-pseudomeasures on a locally compact groupG. We show the existence of a conditional expectation fromPM _p (G) ontoPM _p (H) whereH is a closed normal subgroup ofG. As an application we give a new proof of the fact thatH is a set ofp-synthesis inG; we also get an inequality involving the operator norm of bounded measures onG. Moreover, in analogy with a theorem of Reiter, we obtain a result concerning the closed ideals of the Figà-Talamanca Herz algebra ofG.     

A multipoint method of third order

LetF be a mapping of the Banach spaceX into itself. A convergence theorem for the iterative solution ofF(x)=0 is proved for the multipoint algorithmx _n+1=x _n ?ø(x _n ), where $$\phi (x) = F\prime_x^{ - 1} \left[ {F(x) + F\lgroup {x - F\prime_x^{ - 1} F(x)} \rgroup} \right]$$ andF′x is the Frechet derivative ofF. The theorem guarantees that, under appropriate conditions onF, the multipoint sequence {x _n } generated by ø converges cubically to a zero ofF. The algorithm is applied to the nonlinear Chandrasekhar integral equation $$\frac{1}{2}\omega _0 x(t)\int_0^1 {\frac{{tx(s)}}{{s + t}}ds - x(t) + 1 = 0}$$ where ω₀>0. A discretization of the equations of iteration is discussed, and some numerical results are given.     

On the structure of cluster point sets of iteratively generated sequences

LetX be a closed subset of a topological spaceF; leta(·) be a continuous map fromX intoX; let {x _i} be a sequence generated iteratively bya(·) fromx ₀ inX, i.e.,x _i+1 =a(x _i),i=0, 1, 2, ...; and letQ(x ₀) be the cluster point set of {x _i}. In this paper, we prove that, if there exists a pointz inQ(x ₀) such that (i)z is isolated with respect toQ(x ₀), (ii)z is a periodic point ofa(·) of periodp, and (iii)z possesses a sequentially compact neighborhood, then (iv)Q(x ₀) containsp points, (v) the sequence {x _i} is contained in a sequentially compact set, and (vi) every point inQ(x ₀) possesses properties (i) and (ii). The application of the preceding results to the caseF=E ⁿ leads to the following: (vii) ifQ(x ₀) contains one and only one point, then {x _i} converges; (viii) ifQ(x ₀) contains a finite number of points, then {x _i} is bounded; and (ix) ifQ(x ₀) containsp points, then every point inQ(x ₀) is a periodic point ofa(·) of periodp.     

Function algebras on which homomorphisms are point evaluations on sequences

In the study of the spectrum of a subalgebraA ofC(X), whereX is a completely regular Hausdorff space, a key question is, whether each homomorphism ?:A→R has the point evaluation property for sequences inA, that is whether, for each sequence (f _n ) inA, there exists a pointa inX such that ?(f _n )=f _n (a) for alln. In this paper it is proved that all algebras, which are closed under composition with functions inC ^∞ (R) and have a certain local property, have the point evaluation property for sequences. Such algebras are, for instance, the spaceC ^m (E) (m=0,1,...,∞) ofC ^m -functions on any real locally convex spaceE. This result yields in a trivial manner that each homomorphism ? onA is a point evaluation, ifX is Lindelöf or ifA contains a sequence which separates points inX. Further, also a well known result as well as some new ones are obtained as a consequence of the main theorem.     

Another Note on Polynomial vs Rational Approximation

LetEbe a subspace ofC(X) and letR(E)=g/h : g, hE; h>0}. We make a simple, yet intriguing observation: if zero is a best approximation toffromE, then zero is a best approximation toffromR(E). We also prove that if {E_n} is dense inC(X) then for almost allf(in the sense of category)[formula]That extends the results of P. Borwein and S. Zhou who proved it for the case whenE_nis the space of algebraic or trigonometric polynomials of degreen.     

Lower semicontinuity and the theorem of Datko and Pazy

Let {T(t)} _t≥0 be aC ₀-semigroup on a real or complex Banach spaceX and letJ:C ⁺[0,∞)→[0,∞] be a lower semicontinuous and nondecreasing functional onC ⁺[0,∞), the positive cone ofC[0,∞), satisfyingJ(c 1)=∞ for allc>0. We prove the following result: if {T(t)} _t≥0 is not uniformly exponentially stable, then the set $\{ x \in X: J(||T( \cdot )x||) = \infty \}$ is residual inX.     

Two-gate formula

The two gate formula for a diffusionX _t inR ⁿ is considered. The formula gives an expression of the density function ofX _t in terms of the path integral of the Brownian bridge starting fromx and ending ony at timet.     

A note on reflexivity in Banach spaces

For any normed spaceX, the unit ball ofX is weak *-dense in the unit ball ofX ^**. This says that for any ε>0, for anyF in the unit ball ofX ^**, and for anyf ₁,…,f _n inX ^*, the system of inequalities |f _i(x)?F(f _i)|≤ε can be solved for somex in the unit ball ofX. The author shows that the requirement that ε be strictly positive can be dropped only ifX is reflexive.