Extension of positive functionals on certain ordered spaces

An ordered linear spaceL is said to satisfy extension property (E1) if for every directed subspaceM ofL and positive linear functional ϕ onM, ϕ can be extended toL. A Riesz spaceL is said to satisfy extension property (E2) if for every sub-Riesz spaceM ofL and every real valued Riesz homomorphism ϕ onM, ϕ can be extended toL as a Riesz homomorphism. These properties were introduced by Schmidt in [5]. In this paper, it is shown that an ordered linear space has extension property (E1) if and only if it is order isomorphic to a function spaceL′ defined on a setX′ such that iff andg belong toL′ there exists a finite disjoint subsetM of the set of functions onX′ such that each off andg is a linear combination of the points ofM. An analogous theorem is derived for Riesz spaces with extension property (E2).     

Pointwise Best Approximation in the Space of Strongly Measurable Functions with Applications to Best Approximation in L(μ,X)

The object of this paper is to prove the following theorem: Let Y be a closed subspace of the Banach space X, (S,Σ,μ) a σ-finite measure space, L(S,Y) (respectively, L(S, X)) the space of all strongly measurable functions from S to Y (respectively, X), and p a positive number. Then L(S,Y) is pointwise proximinal in L(S,X) if and only if L^p(μ,Y) is proximinal in L^p(μ,X). As an application of the theorem stated above, we prove that if Y is a separable closed subspace of the Banach space X, p is a positive number, then L^p(μ,Y) is proximinal in L^p(μ,X) if and only if Y is proximinal in X. Finally, several other interesting results on pointwise best approximation are also obtained.     

SOME ASPECTS OF THE LIFTING PROPERTY OF THE SPACE £∞ (μ, X)

Abstract

Using a lifting of £_∞ (μ, X) ([5],[6]), we construct a lifting ρ x of the seminormed vector space £_∞ (μ, X) of measurable, essentially bounded X-valued functions. We show that in a certain sense such a lifting always exists. If μ is Lebesgue measure on (0, 1) we show that ρ x exists as map from £_∞ ((O, 1), X) → £_∞,((0, l), X) if and only if X is reflexive. In general the lifted function takes its values in X **. Therefore we investigate the question, when f ε £_∞ (μ, X) is strictly liftable in the sense that the lifted function is a map with values even in X.

As an application we introduce the space £_∞ ^strong (μ, L (X, Y**)), a subspace of the space of strongly measurable, essentially bounded L (X, Y, **)-valued functions, and the associated quotient space £_∞ ^strong (μ, L (X,Y**)). We show that this space is a Banach space because there is a kind of a Dunford-Pettis Theorem for a subspace of L (X, £_∞(μ Y**)). Finally we investigate the measurability property of functions in £_∞(μ Y**)) und see that there exists a connection to the Radon-Nikodym property of the space L (X, Y).     

Densely two-valued metric projections in uniformly convex Banach spaces

For every uniformly convex Banach spaceX with dimX2 there is a residual setU in the Hausdorff metric spaceB(X) of bounded and closed sets inX such that the metric projection generated by a set fromU is two-valued and upper semicontinuous on a dense and everywhere continual subset ofX. For any two closed and separated subsetsM ₁ andM ₂ ofX the points on the equidistant hypersurface which have best approximations both inM ₁ andM ₂ form a dense G set in the induced topology.The author is partially supported by the National Fund for Scientific Research at the Bulgarian Ministry of Science and Education under contract MM 408/94.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-Cohomology and Normal Solvability

We consider some problems concerning the L _p,q -cohomology of Riemannian manifolds. In the first part, we study the question of the normal solvability of the operator of exterior derivation on a surface of revolution M considered as an unbounded linear operator acting from L_p^k (M) into L^k+1_q (M). In the second part, we prove that the first L _p,q-cohomology of the general Heisenberg group is nontrivial, provided that p < q. Received: 17 January 2006 Supported by INTAS (Grant 03–51–3251) and the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grants NSh 311.2003.1, NSh 8526.2006.1).     

Splines (with optimal knots) are better

Let S^M _k be the Polynominal splines of degree n-1, and with K segments. If f∈ C ⁿ [a,b],then the distance in the L^p-norm form(0< p ≦ ∞)of from S ^M _k is boundedby M/K ⁿ , with a much smaller M than in similar estimates for other processes of approximation.     

Hypersurfaces through higher-codimensional submanifolds of ℂ n with preserved Levi-kernelwith preserved Levi-kernel

For a “generic” submanifoldS of a complex manifoldX, we show that there exists a hypersurfaceM⊃S which has the same number of negative (or positive) Levi-eigenvalues asS at one prescribed conormal (cf. also [9]). When ranksL _S is constant, thenM may be found such thatL _M andL _S have the same number of negative eigenvalues at any common conormal. Assuming the existence of a hypersurfaceM with the above property, we then discuss the link between complex submanifolds ofS whose tangent plane belongs to the null-space of the Levi-formL _S ofS (of all complex submanifolds whenL _S is semi-definite), and complex submanifolds ofT _S ^* X. As an application we give a simple result on propagation of microanalyticity for CR-hyperfunctions along complex,L _S -null, curves (cf. [3]).     

On multivalued topologies on <Emphasis Type="Italic">L</Emphasis>-powersets of multivalued sets

Given an M-valued equality E: X×X → M on a set X, we extend it to the M-valued equality ε: L ^X × L ^X → M on the L-powerset L ^X of X, where L is a complete sublattice of a GL-monoid M. As a result, we come to a category SET(M,L) whose objects are quadruples (X,E,L ^X , ε). This category serves as a ground category for the category L-TOP(M) of (L,M)-valued topological spaces and some of its subcategories, which are the main subject of this paper. In particular, as special cases, we obtain here Chang-Goguen, Lowen, Kubiak-Šostak, and some other known categories related to fuzzy topology. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 4, pp. 237–247, 2005.     

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.     

Derivations on the Algebra of τ-Compact Operators Affiliated with a Type I von Neumann Algebra

Let M be a type I von Neumann algebra with the center Z, and a faithful normal semi-finite trace τ. Consider the algebra L(M, τ) of all τ-measurable operators with respect to M and let S ₀(M, τ) be the subalgebra of τ-compact operators in L(M, τ). We prove that any Z-linear derivation of S ₀(M, τ) is spatial and generated by an element from L(M, τ).      

Orthogonality of matrices

Let X be a real finite-dimensional normed space with unit sphere S_X and let L(X) be the space of linear operators from X into itself. It is proved that X is an inner product space if and only if for A,C∈L(X)

     

On Two Variable Jordan Block (II)

On the Hardy space over the bidisk H²(D²), the Toeplitz operators and are unilateral shifts of infinite multiplicity. A closed subspace M is called a submodule if it is invariant for both and . The two variable Jordan block (S₁, S₂) is the compression of the pair to the quotient H²(D²) ⊖M. This paper defines and studies its defect operators. A number of examples are given, and the Hilbert-Schmidtness is proved with good generality. Applications include an extension of a Douglas-Foias uniqueness theorem to general domains, and a study of the essential Taylor spectrum of the pair (S₁, S₂). The paper also estabishes a clean numerical estimate for the commutator [S₁*, S₂] by some spectral data of S₁ or S₂. The newly-discovered core operator plays a key role in this study.     

Type III factors with unique Cartan decomposition

We prove that for any free ergodic nonsingular nonamenable action Γ?(X,μ)$\Gamma ?(X,\mu )$ of all Γ   in a large class of groups including all hyperbolic groups, the associated group measure space von Neumann algebra L^∞(X)?Γ${\mathrm{L}}^{\infty }(X)?\Gamma$ has L^∞(X)${\mathrm{L}}^{\infty }(X)$ as its unique Cartan subalgebra, up to unitary conjugacy. This generalizes the probability measure preserving case that was established in Popa and Vaes (in press) [38]. We also prove primeness and indecomposability results for such crossed products, for the corresponding orbit equivalence relations and for arbitrary amalgamated free products _M1?BM2$M_1{?}_B{M}_2$ over a subalgebra B of type I.     

Arens multiplication on Banach algebras related to locally compact semigroups

Let S be a locally compact semigroup, let ω be a weight function on S, and let M_a (S, ω) be the weighted semigroup algebra of S. Let L^∞₀ (S;M_a (S, ω)) be the C^*‐algebra of allM_a (S, ω)‐measurable functions g on S such that g /ω vanishes at infinity. We introduce and study an Arens multiplication on L^∞₀ (S;M_a (S, ω))^* under which M_a (S, ω) is a closed ideal. We show that the weighted measure algebra M (S, ω) plays an important role in the structure of L^∞₀ (S;M_a (S, ω))^*. We then study Arens regularity of L^∞₀ (S;M_a (S, ω))^* and ist relation with Arens regularity of M_a (S, ω), M (S, ω) and the discrete convolution algebra ℓ¹(S, ω). As the main result, we prove that L^∞₀ (S;M_a (S, ω))^* is Arens regular if and only if S is finite, or S is discrete and Ω is zero cluster. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Pointfree prime representation of real Riesz maps

In classical topology it is proved, nonconstructively, that for a topological space X, every bounded Riesz map ϕ in C(X) is of the form for a point x ∈ X. In this paper our main objective is to give the pointfree version of this result. In fact, we constructively represent each real Riesz map on a compact frame M by prime elements. Received March 23, 2004; accepted in final form May 14, 2005.     

Banach function subspaces of L of a vector measure and related Orlicz spaces

Given a vector measure ν with values in a Banach space X, we consider the space L¹(ν) of real functions which are integrable with respect to ν. We prove that every order continuous Banach function space Y continuously contained in L¹(ν) is generated via a certain positive map related to ν and defined on X* x M, where X* is the dual space of X and M the space of measurable functions. This procedure provides a way of defining Orlicz spaces with respect to the vector measure ν.     

Compactness in Vector-valued Banach Function Spaces

We give a new proof of a recent characterization by Diaz and Mayoral of compactness in the Lebesgue-Bochner spaces L_X^p, where X is a Banach space and 1≤ p<∞, and extend the result to vector-valued Banach function spaces E_X, where E is a Banach function space with order continuous norm. The author is supported by the ‘VIDI subsidie’ 639.032.201 in the ‘Vernieuwingsimpuls’ programme of the Netherlands Organization for Scientific Research (NWO) and by the Research Training Network HPRN-CT-2002-00281.     

On moduli of vector bundles on surfaces with negative Kodaira dimension

Summary Here we prove the following result. Fix integersq, τ,a’, b’, a’ _i, 1≤i≤τ,a’, b’, a’ _i, 1≤i≤τ; then there is an integerew such that for every integert≥w, for every algebraically closed fieldK for every smooth complete surfaceX with negative Kodaira dimension, irregularityq andK _X ² =8(1−q)−τ, the following condition holds; ifX→S is a sequence fo τ blowing-downs which gives a relatively minimal model with ruling ρ:S→C, take as basis of the Neron Severi groupNS(X) a smooth rational curve which is the total transform of a fiber ofC, the total transform of a minimal section of ρ and the total transformD _i, 1≤i≤τ, of the exceptional curver; then for everyH andL∈Pic (X) withH ample,H (resp.L) represented by the integersa’, b’, a’ _i, (resp.a’, b’, a’ _i), 1≤i≤τ, in the chosen basis ofNS(X) the moduli spaceM(ZX, 2,H, L, t) of rank 2H-stable vector bundles onX with determinantL andc ₂=t is generically smooth and the number, dimension and ?birational structure? of the irreducible components ofM(X, 2,H, L, t)_red do not depend on the choice ofK andX. Furthermore the birational structure of these irreducible components can be loosely described in terms of the birational structure of the components of suitableM(S, 2,H’, L’, t’)_red withS a relatively minimal model ofX.

---

Sunto SiaX una superficie algebrica liscia completa con dimensione di Kodaira negativa e definita su un campo algebricamente chiusoK; fissiamoH eL∈Pic (X),t∈Z; siaq l’irregolarità diX e τ≔8(1−q)−K _X ^Emphasis>2 ; siaM(X, 2,H, L, t) to schema dei moduli dei fibrati vettorialiH-stabili di rango 2 suX con determinateL ec ₂=t. Si dimostra che esiste una costantew che dipende solo daq, da τ e dalla classe numerica diH e diL (ma non da char (K) o dalla classe di isomorphismo diX) tale che per ognit≥w il numero, la dimensione e ?la struttura birazionale? delle componenti irriducibili diM(X, 2,H, L, t)_red non dipende dalla scelta di char (K),K eX ma solo daq, τ e dalle classi diH eL inNS(X). Inoltre la ?struttura birazionale? di queste componenti irriducibili può essere grossolanamente descritta in termini delle componenti di opportuni spazi di moduliM(S, 2,H’, L’, t’) (doveS è un modello minimale diX).

     

On the Spectrum of Frobenius–Perron Operators

We prove more results on the spectrum of the Frobenius–Perron operator P: L¹ → L¹ associated with a nonsingular transformation S: X → X on a σ-finite measure space (X, Σ, μ).     

Sequences in the range of a vector measure and Banach spaces satisfying Π1(X,l 1) = Π2(X,l 1)

If X is a Banach space such that Π₁(X,l ₁) = Π₂ (X, l ₁), we prove the following results: 1) A bounded sequence (x _n ) lies inside the range of some X-valued measure if and only if the operator (α _n ) ? l ₁ → Σ _n α _n x _n ? X is 1-summing, and 2) If A is a bounded subset of X lying in the range of some X ^??-valued measure, then A is necessarily contained in the range of some X-valued measure.