Infinite-dimensional linear groups with restrictions on subgroups that are not soluble <Emphasis Type="Italic">A</Emphasis><Subscript>3</Subscript>-groups

We are concerned with infinite-dimensional locally soluble linear groups of infinite central dimension that are not soluble A₃-groups and all of whose proper subgroups, which are not soluble A₃-groups, have finite central dimension. The structure of groups in this class is described. The case of infinite-dimensional locally nilpotent linear groups satisfying the specified conditions is treated separately. A similar problem is solved for infinite-dimensional locally soluble linear groups of infinite fundamental dimension that are not soluble A₃-groups and all of whose proper subgroups, which are not soluble A₃-groups, have finite fundamental dimension. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 548–559, September–October, 2007.     

Reflexive operators with domain in Köthe spaces

It is proved that if a K?the space λ₁(A) is distinguished and E is an arbitrary Fréchet space then every reflexive map T: λ₁(A)→E (i.e., T maps bounded sets into relatively weakly compact ones) factorizes through a reflexive Fréchet space. An analogous result is proved for Montel maps (i.e., which map bounded sets into relatively compact ones). The result is a consequence of the fact proved also in this paper that, for a distinguished λ₁(A) space, the spaces of reflexive maps R(λ₁(A), C(K)) and of Montel maps M(λ₁(A), C(K)) are the Mackey completions of the spaces of weakly compact and compact maps, respectively. Consequences for spaces of vector-valued (weakly) continuous functions are also obtained. Received: 24 November 1997 / Revised version: 14 May 1998     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Certain classes of weakly infinite-dimensional spaces and topological games

In [V.V. Fedorchuk, Questions on weakly infinite-dimensional spaces, in: E.M. Pearl (Ed.), Open Problems in Topology II, Elsevier, Amsterdam, 2007, pp. 637-645; V.V. Fedorchuk, Weakly infinite-dimensional spaces, Russian Math. Surveys 42 (2) (2007) 1-52] classes w-m-C of weakly infinite-dimensional spaces, 2?m?∞, were introduced. We prove that all of them coincide with the class wid of all weakly infinite-dimensional spaces in the Alexandroff sense. We show also that transfinite dimensions dimwm, introduced in [V.V. Fedorchuk, Questions on weakly infinite-dimensional spaces, in: E.M. Pearl (Ed.), Open Problems in Topology II, Elsevier, Amsterdam, 2007, pp. 637-645; V.V. Fedorchuk, Weakly infinite-dimensional spaces, Russian Math. Surveys 42 (2) (2007) 1-52], coincide with dimension dimw2=dim, where dim is the transfinite dimension invented by Borst [P. Borst, Classification of weakly infinite-dimensional spaces. I. A transfinite extension of the covering dimension, Fund. Math. 130 (1) (1988) 1-25]. Some topological games which are related to countable-dimensional spaces, to C-spaces, and some other subclasses of weakly infinite-dimensional spaces are discussed.     

Transfinite Hausdorff dimension

Making extensive use of small transfinite topological dimension trind, we ascribe to every metric space X an ordinal number (or −1 or Ω) tHD(X), and we call it the transfinite Hausdorff dimension of X. This ordinal number shares many common features with Hausdorff dimension. It is monotone with respect to subspaces, it is invariant under bi-Lipschitz maps (but in general not under homeomorphisms), in fact like Hausdorff dimension, it does not increase under Lipschitz maps, and it also satisfies the intermediate dimension property (Theorem 2.7). The primary goal of transfinite Hausdorff dimension is to classify metric spaces with infinite Hausdorff dimension. Indeed, if tHD(X)?ω₀, then HD(X)=+∞. We prove that tHD(X)?ω₁ for every separable metric space X, and, as our main theorem, we show that for every ordinal number α<ω₁ there exists a compact metric space Xα (a subspace of the Hilbert space l₂) with tHD(Xα)=α and which is a topological Cantor set, thus of topological dimension 0. In our proof we develop a metric version of Smirnov topological spaces and we establish several properties of transfinite Hausdorff dimension, including its relations with classical Hausdorff dimension.     

A symmetrized metric ramsey theorem

For every finite metric space A there exists a finite metric space B and a real number r > 0 such that for every coloring of B by two colors there exists a monochromatic A′ ⊆ B such that every isometry between two subsets of A′ extends to a full autoisometry of B and A′ is either isometric to A or is r-homothetic to A.     

Approximation in L 1 -Norm by Elements of a Uniform Algebra

In this paper we deal with the following situation (for the terminology see [G]). Let A be a uniform algebra on the metric compact space Γ and let be a complex homomorphism of A . Suppose the set of representing measures of has finite dimension. Let be a core measure and let us assume that any real annihilating measure for A has the form S d μ , where S $\in$ L ^∞ _R (μ) . March 4, 1996.     

Brownian bridge on hyperbolic spaces and on homogeneous trees

Let B be the Brownian motion on a noncompact non Euclidean rank one symmetric space H. A typical examples is an hyperbolic space H _n , n > 2. For ν > 0, the Brownian bridge B ^(ν) of length ν on H is the process B _t , 0 ≤t≤ν, conditioned by B ₀ = B _ν = o, where o is an origin in H. It is proved that the process converges weakly to the Brownian excursion when ν→ + ∞ (the Brownian excursion is the radial part of the Brownian Bridge on ℝ³). The same result holds for the simple random walk on an homogeneous tree. Received: 4 December 1998 / Revised version: 22 January 1999     

On Symmetric Schauder Bases in Non-Archimedean Fréchet Spaces

 It is proved that any infinite-dimensional non-archimedean Fréchet space with a symmetric basis is isomorphic to c ₀ or ?^ℕ. A similar result is shown for homogeneous bases. It is also proved that any infinite-dimensional nuclear non-archimedean Fréchet space with a subsymmetric basis is isomorphic to ?^ℕ. In fact, much stronger results are obtained.     

Diagonalization of compact operators on Hilbert modules overC *-algebras of real rank zero

The classical Hilbert-Schmidt theorem can be extended to compact operators on HilbertA-modules overW ^*-algebras of finite type; i.e., with minor restrictions, compact operators onH* _A can be diagonalized overA. We show that ifB is a weakly denseC ^*-subalgebra ofA with real rank zero and if some additional condition holds, then the natural extension fromH _B toH* _A ⊃H _B of a compact operator can be diagonalized so that the diagonal elements belong to the originalC ^*-algebraB. Translated fromMatematicheskie Zametki, Vol. 62, No. 6, pp. 865–870, December, 1997. Translated by O. V. Sipacheva     

A Problem in Linear Matrix Approximation

Let A be a normal operator in ??(H), H a complex Hilbert space, and let ? _A = ? {AX - XA:X ∈ ??(H)} be the commutator subspace of ??(H) associated with A. If B in ??(H) commutes with A, then B is orthogonal to ?_A with respect to the spectral norm; i.e., the null operator is an element of best approximation of B in ? _A. This was proved by J. Anderson in 1973 and extended by P. J. Maher with respect to the Schatten p-norm recently. We take a look at their result from a more approximation theoretical point of view in the finite dimensional setting; in particular, we characterize all elements of best approximation of B in R_A and prove that the metric projection of H onto ?_A is continuous.     

On almost-divided domains

Let B be a domain, Q a maximal ideal of B, π: B → B/Q the canonical surjection, D a subring of B/Q, and A:=π ⁻¹(D). If both B and D are almost-divided domains (resp., n-divided domains), then A = B × _B/Q D is an almost-divided domain (resp., an n-divided domain); the converse holds if B is quasilocal. If 2 ≤ d ≤ ∞, an example is given of an almost-divided domain of Krull dimension d which is not a divided domain.      

Invariant measures for the linear stochastic Cauchy problem and R-boundedness of the resolvent

We study the asymptotic behaviour of solutions of the stochastic abstract Cauchy problem $$ \left\{ {\begin{array}{*{20}l} {dU\left( t \right) = AU\left( t \right)dt + BdW_H \left( t \right),\quad t \geqslant 0,} \hfill\ {U\left( 0 \right) = 0,} \hfill\ \end{array}} \right. $$ where A is the generator of a C₀-semigroup on a Banach space E, W_H is a cylindrical Brownian motion over a separable Hilbert space H, and $$ B \in \user1{\mathscr L}\left( {H,E} \right) $$ is a bounded operator. Assuming the existence of a solution U, we prove that a unique invariant measure exists if the resolvent R(λ, A) is R-bounded in the right half-plane {Reλ > 0}, and that conversely the existence of an invariant measure implies the R-boundedness of R(λ, A)B in every half-plane properly contained in {Re λ > 0}. We study various abscissae related to the above problem and show, among other things, that the abscissa of R-boundedness of the resolvent of A coincides with the abscissa corresponding to the existence of invariant measures for all γ -radonifying operators B provided the latter abscissa is finite. For Hilbert spaces E this result reduces to the Gearhart-Herbst-Prüss theorem. Dedicated to Giuseppe Da Prato on the occasion of his 70th birthday     

Three classes of smooth Banach submanifolds in B(E,F)

Let E, F be two Banach spaces, and B(E, F), Φ(E, F), SΦ(E, F) and R(E,F) be the bounded linear, Fredholm, semi-Frdholm and finite rank operators from E into F, respectively. In this paper, using the continuity characteristics of generalized inverses of operators under small perturbations, we prove the following result Let ∑ be any one of the following sets {T ∈ Φ(E, F) IndexT =const, and dim N(T) = const.}, {T ∈ SΦ(E, F) either dim N(T) = const. ＜ ∞ or codim R(T) = const.＜ ∞} and {T ∈ R(E, F) RankT =const.＜∞}. Then ∑ is a smooth submanifold of B(E, F) with the tangent space TA∑ = {B ∈ B(E,F) BN(A) (∪) R(A)} for any A ∈ ∑. The result is available for the further application to Thom's famous results on the transversility and the study of the infinite dimensional geometry.     

On Symmetric Schauder Bases in Non-Archimedean Fréchet Spaces

 It is proved that any infinite-dimensional non-archimedean Fréchet space with a symmetric basis is isomorphic to c ₀ or ?^ℕ. A similar result is shown for homogeneous bases. It is also proved that any infinite-dimensional nuclear non-archimedean Fréchet space with a subsymmetric basis is isomorphic to ?^ℕ. In fact, much stronger results are obtained. Received August 27, 2001; in revised form February 8, 2002     

Smooth and path connected Banach submanifold Σ r of B(E,F) and a dimension formula in B(ℝ n ,ℝ m )

Given two Banach spaces E,F, let B(E,F) be the set of all bounded linear operators from E into F, Σ _r the set of all operators of finite rank r in B(E,F), and Σ _r ^# the number of path connected components of Σ _r . It is known that Σ _r is a smooth Banach submanifold in B(E,F) with given expression of its tangent space at each A ∈ Σ _r . In this paper,the equality Σ _r ^# = 1 is proved. Consequently, the following theorem is obtained: for any nonnegative integer r, Σ _r is a smooth and path connected Banach submanifold in B(E,F) with the tangent space T _A Σ _r = {B ∈ B(E,F): BN(A) ⊂ R(A)} at each A ∈ Σ _r if dim F = ∞. Note that the routine method can hardly be applied here. So in addition to the nice topological and geometric property of Σ _r the method presented in this paper is also interesting. As an application of this result, it is proved that if E = ℝ ⁿ and F = ℝ ^m , then Σ _r is a smooth and path connected submanifold of B(ℝ ⁿ , ℝ ^m ) and its dimension is dimΣ _r = (m+n)r−r ² for each r, 0 <- r < min {n,m}. Supported by the National Science Foundation of China (Grant No.10671049 and 10771101).     

A Metric Space with Transfinite Asymptotic Dimension 2ω + 1*

The authors construct a metric space whose transfinite asymptotic dimension and complementary-finite asymptotic dimension are both 2ω + 1, where ω is the smallest infinite ordinal number. Therefore, an example of a metric space with asymptotic property C is obtained.     

Behavior of a functional in learning theory

Let H be a Hilbert space, A ∈ L(H), y ∈ , and y ∉ R(A). We study the behavior of the distance square between y and A(B _τ), defined as a functional F(τ), as the radius τ of the ball B _τ of H tends to ∞. This problem is important in estimating the approximation error in learning theory. Our main result is to estimate the asymptotic behavior of F(τ) without the compactness assumption on the operator A. We also consider the Peetre K-functional and its convergence rates.      

Beurling-Landau-type theorems for non-uniform sampling in shift invariant spline spaces

Under the appropriate definition of sampling density D_ϕ, a function f that belongs to a shift invariant space can be reconstructed in a stable way from its non-uniform samples only if D_ϕ≥1. This result is similar to Landau's result for the Paley-Wiener space B _1/2 . If the shift invariant space consists of polynomial splines, then we show that D_ϕ<1 is sufficient for the stable reconstruction of a function f from its samples, a result similar to Beurling's special case B _1/2 .