Conditional expectations and operator decompositions

For aC ^*-algebraA with a conditional expectation Φ:A → A onto a subalgebraB we have the linear decompositionA=B⊕H whereH=ker(Φ). Since Φ preserves adjoints, it is also clear that a similar decomposition holds for the selfadjoint parts:A ^s =B ^s ⊕H ^s (we useV ^s ={aεV;a ^*=a} for any subspaceV of A). Apply now the exponential function to each of the three termsA ^s ,B ^s , andH ^s . The results are: the setG ⁺ of positive invertible elements ofA, the setB ⁺ of positive invertible elements ofB, and the setC={e^h;h ^*=h, Φ(h)=0}, respectively. We consider here the question of lifting the decompositionA ^s =B ^s ⊕H ^s to the exponential sets. Concretely, is every element ofG ⁺ the product of elements ofB ⁺ andC, respectively, just as any selfadjoint element ofA is the sum of selfadjoint elements ofB andH? The answer is yes in the following sense: Eacha ε G ⁺ is the positive part of a productbe of elementsb ε B ⁺ and c εC, and bothb andc are uniquely determined and depend analytically ona. This can be rephrased as follows: The map (6, c) →(bc) ⁺ is an analytic diffeomorphism fromB ⁺ x C ontoG ⁺, where for any invertiblex ε A we denote with x⁺ the positive square root ofxx ^*. This result can be expressed equivalently as: The map (b, c) →bcb is a diffeomorphism between the same spaces. Notice that combining the polar decomposition with these results we can write every invertibleg ε A asg=bcu, whereb ε B ⁺,c ε C, andu is unitary. This decomposition is unique and the factorsb, c, u depend analytically ofg. In the case of matrix algebras with Φ=trace/dimension, the factorization corresponds tog=| det(g)|cu withc > 0,det(c)=1, andu unitary. This paper extends some results proved by G. Corach and the authors in [2]. Also, Theorem 2 states that the reductive homogeneous space resulting from a conditional expectation satisfies the regularity hypothesis introduced by L. Mata-Lorenzo and L. Recht in [5], Definition 11.1. The situation considered here is the ”general context” for regularity indicated in the introduction of the last mentioned paper.     

A property of strictly singular one-to-one operators

We prove that ifT is a strictly singular one-to-one operator defined on an infinite dimensional Banach spaceX, then for every infinite dimensional subspaceY ofX there exists an infinite dimensional subspaceZ ofX such thatZ∩Y is infinite dimensional,Z contains orbits ofT of every finite length and the restriction ofT toZ is a compact operator. The research was partially supported by NSF.     

On factors ofC([0, 1]) with non-separable dual

LetC denote the Banach space of scalar-valued continuous functions defined on the closed unit interval. It is proved that ifX is a Banach space andT:C→X is a bounded linear operator withT ^* X ^* non-separable, then there is a subspaceY ofC, isometric toC, such thatT|Y is an isomorphism. An immediate consequence of this and a result of A. Pelczynski, is that every complemented subspace ofC with non-separable dual is isomorphic (linearly homeomorphic) toC. The research for this paper was partially supported by NSF-GP-30798X. An erratum to this article is available at .     

Strong duality for infinite-dimensional vector-valued programming problems

LetX,Y andZ be locally convex real topological vector spaces,A?X a convex subset, and letC?Y,E?Z be cones. Letf:X→Z beE-concave andg:X→Y beC-concave functions. We consider a concave programming problem with respect to an abstract cone and its strong dual problem as follows: $$\begin{gathered} (P)maximize f(x), subject to x \in A, g(x) \in C, \hfill \\ (SD)minimize \left\{ {\mathop \cup \limits_{\varphi \in C^ + } \max \{ (f + \varphi \circ g)(A):E\} } \right\}, \hfill \\ \end{gathered} $$ , whereC ⁺ denotes the set of all nonnegative continuous linear operators fromY toZ and (SD) is the strong dual problem to (P). In this paper, the authors find a necessary condition of strong saddle point for Problem (P) and establish the strong duality relationships between Problems (P) and (SD).     

Hyperbolic imbedding and spaces of continuous extensions of holomorphic maps

LetX be a complex subspace of a complex spaceY. We show that hyperbolic imbeddedness ofX inY is characterized by relative compactness in the compact-open topology of certain spaces of continuous extensions of holomorphic maps from the punctured diskD* toX and fromM -A toX whereM is a complex manifold andA is a divisor onM with normal crossings. We apply these characterizations to obtain generalizations and extensions of theorems of Kobayashi, Kiernan, Kwack, Noguchi and Vitali forD and for higher dimensions. Relative compactness ofX inY is not assumed.     

A Dual Approach to Constrained Interpolationfrom a Convex Subset of Hilbert Space

Many interesting and important problems of best approximationare included in (or can be reduced to) one of the followingtype: in a Hilbert spaceX, find the best approximationP_K(x) to anyxXfrom the setKC∩A⁻¹(b),whereCis a closed convex subset ofX,Ais a bounded linearoperator fromXinto a finite-dimensional Hilbert spaceY, andbY. The main point of this paper is to show thatP_K(x)isidenticaltoP_C(x+A*y)—the best approximationto a certain perturbationx+A*yofx—from the convexsetCor from a certain convex extremal subsetC_bofC. Thelatter best approximation is generally much easier to computethan the former. Prior to this, the result had been known onlyin the case of a convex cone or forspecialdata sets associatedwith a closed convex set. In fact, we give anintrinsic characterizationof those pairs of setsCandA⁻¹(b) for which this canalways be done. Finally, in many cases, the best approximationP_C(x+A*y) can be obtained numerically from existingalgorithms or from modifications to existing algorithms. Wegive such an algorithm and prove its convergence     

Чебыщевские подпространства в пространстве ХардиH 1

A subspaceY of a Banach spaceX is called a Chebyshev one if for everyx∈X there exists a unique elementP _Y (x) inY of best approximation. In this paper, necessary and sufficient conditions are obtained in order that certain classes of subspacesY of the Hardy spaceH ¹=H ¹ (|z|<1) be Chebyshev ones, and also the properties of the operatorP _Y are studied. These results show that the theory of Chebyshev subspaces inH ¹ differs sharply from the corresponding theory inL ¹(C) of complex-valued functions defined and integrable on the unit circleC:|z|=1. For example, it is proved that inH ¹ there exist sufficiently many Chebyshev subspaces of finite dimension or co-dimension (while inL ¹(C) there are no Chebyshev subspaces of finite dimension or co-dimension). Besides, it turned out that the collection of the Chebyshev subspacesY with a linear operatorP _Y inH ¹ (in contrast toL ¹(C)) is exhausted by that minimum which is necessary for any Banach space.     

Wellposedness of abstract Cauchy problems for second order differential equations

This paper concerns the abstract Cauchy problem (ACP) for an evolution equation of second order in time. LetA be a closed linear operator with domainD(A) dense in a Banach spaceX. We first characterize the exponential wellposedness of ACP onD(A ^k+1),k teN. Next let {C(t);t teR} be a family of generalized solution operators, on [D(A ^k)] toX, associated with an exponentially wellposed ACP onD(A ^k+1). Then we define a new family {T(t); Ret>0} by the abstract Weierstrass formula. We show that {T(t)} forms a holomorphic semigroup of class (H _k) onX. Research of the second-named author was partially supported by Grant-in-Aid for Scientific Research (No. 63540139), Ministry of Education, Science and Culture.     

On the dimension of ordered sets with the 2-cutset property

An ordered setP is said to have 2-cutset property if, for every elementx ofP, there is a setS of elements ofP which are noncomparable tox, with |S|?2, such that every maximal chain inP meets {x}∪S. We consider the following question: Does there exist ordered sets with the 2-cutset property which have arbitrarily large dimension? We answer the question in the negative by establishing the following two results.Theorem: There are positive integersc andd such that every ordered setP with the 2-cutset property can be represented asP=X∪Y, whereX is an ordinal sum of intervals ofP having dimension ?d, andY is a subset ofP having width ?c. Corollary: There is a positive integern such that every ordered set with the 2-cutset property has dimension ?n.     

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.     

Invariant measures for certain expansive ℤ2-actions

Letp>1 be prime, and letY ⊂X=(ℤ/pℤ)^{ℤ 2}) be an infinite, closed, shift-invariant subgroup with the following properties: the restriction toY of the shift-actionσ of ℤ² onX is mixing with respect to the Haar measureλ _Y ofY, and every closed, shift-invariant subgroupZ ⊂Y is finite. We prove that every sufficiently mixing, non-atomic, shift-invariant probability measureμ onY is equal toλ _Y . The author would like to thank the Department of Mathematics, University of Vienna, for hospitality while this work was done.     

The minimal cardinality where the Reznichenko property fails

A topological spaceX has the Fréchet-Urysohn property if for each subsetA ofX and each elementx inĀ, there exists a countable sequence of elements ofA which converges tox. Reznichenko introduced a natural generalization of this property, where the converging sequence of elements is replaced by a sequence of disjoint finite sets which eventually intersect each neighborhood ofx. In [5], Kočinac and Scheepers conjecture: The minimal cardinality of a setX of real numbers such thatC _p(X) does not have the weak Fréchet-Urysohn property is equal to b. (b is the minimal cardinality of an unbounded family in the Baire space^Nℕ.) We prove the Kočinac-Scheepers conjecture by showing that ifC _p(X) has the Reznichenko property, then a continuous image ofX cannot be a subbase for a non-feeble filter on ℕ. The author is partially supported by the Golda Meir Fund and the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany).     

EmbeddingL 1 in a Banach lattice

We show that ifX is a Banach lattice containing no copy ofc ₀ and ifZ is a subspace ofX isomorphic toL ₁[0, 1] then (a)Z contains a subspaceZ ₀ isomorphic toL ₁ and complemented inX and (b)X contains a complemented sublattice isomorphic and lattice-isomorphic toL ₁.     

Odd cycles and matrices with integrality properties

A cycle of a bipartite graphG(V⁺, V^?; E) is odd if its length is 2 (mod 4), even otherwise. An odd cycleC is node minimal if there is no odd cycleC′ of cardinality less than that ofC′ such that one of the following holds:C′ ∩V ⁺ ?C ∩V ⁺ orC′ ∩V ^? ?C ∩V ^?. In this paper we prove the following theorem for bipartite graphs: For a bipartite graphG, one of the following alternatives holds:

-All the cycles ofG are even.

-G has an odd chordless cycle.

-For every node minimal odd cycleC, there exist four nodes inC inducing a cycle of length four.

-An edge (u, v) ofG has the property that the removal ofu, v and their adjacent nodes disconnects the graphG.

To every (0, 1) matrixA we can associate a bipartite graphG(V⁺, V^?; E), whereV ⁺ andV ^? represent respectively the row set and the column set ofA and an edge (i,j) belongs toE if and only ifa _ij = 1. The above theorem, applied to the graphG(V⁺, V^?; E) can be used to show several properties of some classes of balanced and perfect matrices. In particular it implies a decomposition theorem for balanced matrices containing a node minimal odd cycleC, having the property that no four nodes ofC induce a cycle of length 4. The above theorem also yields a proof of the validity of the Strong Perfect Graph Conjecture for graphs that do not containK ₄?e as an induced subgraph.     

Dual spaces of C∞ (X)

ForX a locally compact Stonian Space, letC _∞ (X) denote the universally complete Riesz space of all extended-real-valued continuous functionsf onX for which {x∈X| |f (x)|=∞} is nowhere dense. In this paper the dual spaces ofC _∞ (X) (i.e. the spaces of order bounded; of σ-order continuous; of order continuous linear forms onC _∞ (X), and the extended order dual ofC _∞ (X) denote here byC _∞ (X)^ρ (introduced by W.A.J. Luxemburg and J.J. Masterson)) are characterized. It is shown thatC _∞ (X)^ρ can be identified in a canonical way with the inductive limitM _q (X) of the Riesz spaces of all normal Radon measures defined on the dense open subsets ofX. More generally, ifY is a locally compact space thenM _q (Y) is the extended order dual of the inductive limit of the Riesz spaces of all real-valued continuous functions defined on the dense open subsets ofY. IfX is locally compact and hyperstonian, then it is proved thatC _∞ (X) andC _∞ (X)^ρ are isomorphic, and a criterion forC _∞ (X)^ρ to be the universal completion of the space of order continuous linear forms onC _∞ (X) is given.     

Automatic continuity and representation of group homomorphisms defined between groups of continuous functions

Let C(X,G) be the group of continuous functions from a topological space X into a topological group G with pointwise multiplication as the composition law, endowed with the uniform convergence topology. To what extent does the group structure of C(X,G) determine the topology of X? More generally, when does the existence of a group homomorphism H between the groups C(X,G) and C(Y,G) implies that there is a continuous map h of Y into X such that H is canonically represented by h? We prove that, for any topological group G and compact spaces X and Y, every non-vanishing C-isomorphism (defined below) H of C(X,G) into C(Y,G) is automatically continuous and can be canonically represented by a continuous map h of Y into X. Some applications to specific groups and examples are given in the paper.     

Any Banach space has an equivalent norm with trivial isometries

For any Banach spaceX there is a norm |||·||| onX, equivalent to the original one, such that (X, |||·|||) has only trivial isometries. For any groupG there is a Banach spaceX such that the group of isometries ofX is isomorphic toG × {− 1, 1}. For any countable groupG there is a norm ‖ · ‖ _G onC([0, 1]) equivalent to the original one such that the group of isometries of (C([0, 1]), ‖ · ‖ _G ) is isomorphic toG × {−1, + 1}.     

Chaos caused by a strong-mixing measure-preserving transformation

The chaos caused by a strong-mixing preserving transformation is discussed and it is shown that for a topological spaceX satisfying the second axiom of countability and for an outer measurem onX satisfying the conditions: (i) every non-empty open set ofX ism-measurable with positivem-measure; (ii) the restriction ofm on Borel σ-algebra ℬ(X) ofX is a probability measure, and (iii) for everyY⊂X there exists a Borel setB⊂ℬ(X) such thatB⊃Y andm(B) =m(Y), iff:X→X is a strong-mixing measure-preserving transformation of the probability space (X, ℬ(X),m), and if {m}, is a strictly increasing sequence of positive integers, then there exists a subsetC⊂X withm (C) = 1, finitely chaotic with respect to the sequence {m _i}, i.e. for any finite subsetA ofC and for any mapF:A→X there is a subsequencer _i such that lim_i→∞ f ^r i(a) =F(a) for anya ∈A. There are some applications to maps of one dimension. the National Natural Science Foundation of China.     

C-semigroups and strongly continuous semigroups

We show that, whenA generates aC-semigroup, then there existsY such that [M(C)] →Y →X, andA| _Y , the restriction ofA toY, generates a strongly continuous semigroup, where ↪ means “is continuously embedded in” and ‖x‖_[Im(C)]≡‖C ⁻¹ x‖. There also existsW such that [C(W)] →X →W, and an operatorB such thatA=B| _X andB generates a strongly continuous semigroup onW. If theC-semigroup is exponentially bounded, thenY andW may be chosen to be Banach spaces; in general,Y andW are Frechet spaces. If ρ(A) is nonempty, the converse is also true. We construct fractional powers of generators of boundedC-semigroups. We would like to thank R. Bürger for sending preprints, and the referee for pointing out reference [37]. This research was supported by an Ohio University Research Grant.     

Bands of invariantly extensible measures

Given two σ-algebrasU ⊂A, invariant under a fixed semigroupG of transformations, the following subsetC of the lattice coneM (U) _G ofG-invariant finite measures onU is shown to be (the positive part of) a band inM (U) _G : AG-invariant measure μ belongs toC iff the setexM Bμ) _G of extremalG-invariant extensions of μ toB is non-empty and eachG-invariant extensionv of μ admits a barycentric decompositionv=→v′ρ(dv′) with some representing probability ρ onexM U μ) _G .—Any band of extensible measures allows to study the corresponding extension problem locally.