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.     

Classifying Hilbert bundles

A Hilbert bundle (p, B, X) is a type of fibre space p:B → X such that each fibre p^?1(x) is a Hilbert space. However, p^?1(x) may vary in dimension as x varies in X. We generalize the classical homotopy classification theory of vector bundles to a “homotopy” classification of certain Hilbert bundles. An (m, n)-bundle over the pair (X, A) is a Hilbert bundle (p, B, X) such that the dimension of p^?1(x) is m for x in A and n otherwise. The main result here is that if A is a compact set lying in the “edge” of the metric space X (e.g. if X is a topological manifold and A is a compact subset of the boundary of X), then the problem of classifying (m, n)-bundles over (X, A) reduces to a problem in the classical theory of vector bundles. In particular, we show there is a one-to-one correspondence between the members of the orbit set, [A, G_m($\text{C}$ⁿ)]/[X, U(n)] ¦ A, and the isomorphism classes of (m, n)-bundles over (X, A) which are trivial over X, A.     

Classifying Hilbert bundles. II

A Hilbert bundle (p, B, X) is a type of fibre space p: B → X such that each fibre p^?1(x) is a Hilbert space. However, p^?1(x) may vary in dimension as x varies in X, even when X is connected. We give two “homotopy” type classification theorems for Hilbert bundles having primarily finite dimensional fibres. An (m, n)-bundle over the pair (X, A) is a Hilbert bundle over (p, B, X) such that the dimension of p^?1(x) is m for x in A and n otherwise. As a special case, we show that if X is a compact metric space, C₊X the upper cone of the suspension SX, then the isomorphism classes of (m, n)-bundles over (SX, C₊X) are in one-to-one correspondence with the members of [X, V_m($\text{C}$ⁿ)] where V_m($\text{C}$ⁿ) is the Stiefel manifold. The results are all applicable to the classification of separable, continuous trace C¹-algebras, with specific results given to illustrate.     

Rate of stability of solutions of matrix polynomial and quadratic equations

In this paper the rate of stability of solutions of matrix polynomial equations of the typeA ₀+A ₁ X+A ₂ X ²+...+A _m X ^m =0 is studied. Particular attention is given to the case where the matrix polynomialL(λ):=A ₀+A ₁ λ+A ₂ λ ²+...+A _m λ ^m is weakly hyperbolic, i.e., for every non-zero vectorx the scalar polynomial 〈L(λ)x, x〉 has only real roots. Also the rate of stability of solutions of matrix quadratic equations of the typeXBX+XA-DX-C=0 is studied. Here the special case that is of interest to continuous-time optimal control theory, that is, the case whereB=B ^* is positive semidefinite andC=C ^*,A=?D ^*, is discussed in detail. The analogous theory for the discrete-time optimal control leads to the equation $$X = A^* XA + Q - (B^* XA)^* (R + B^* XB)^{ - 1} B^* XA,$$ and the rate of stability of solutions of this equation is also studied. Most of the problems are discussed in both real and complex settings.     

On the Fell topology

Let 2 ^X denote the closed subsets of a Hausdorff topological space <X, {gt}>. The Fell topology τ_F on 2 ^X has as a subbase all sets of the form {A ∈ 2 ^X :A ∩V ≠ 0}, whereV is an open subset ofX, plus all sets of the form {A ∈ 2 ^X :A ?W}, whereW has compact complement. The purpose of this article is two-fold. First, we characterize first and second countability for τ_F in terms of topological properties for τ. Second, we show that convergence of nets of closed sets with respect to the Fell topology parallels Attouch-Wets convergence for nets of closed subsets in a metric space. This approach to set convergence is highly tractable and is well-suited for applications. In particular, we characterize Fell convergence of nets of lower semicontinuous functions as identified with their epigraphs in terms of the convergence of sublevel sets.     

A note on compact Kähler manifolds with nef tangent bundles

In this paper, we study the compact Kähler manifolds whose tangent bundles are numerically effective and whose anti-Kodaira dimensions are equal to one. LetX be a compact Kähler manifold with nef tangent bundle and semiample anti-canonical bundle. We prove that κ(?K _X )=1 if and only if there exists a finite étale coverY→X such thatY??¹×A, whereA is a complex torus. As a consequence, we are able to improve upon a result of T. Fujiwara [3, 4].     

Symmetric social choices and collective rationality

A social choice function C defined on the m-element subsets of a set X for n voters assigns a non-empty subset C(A,R) of A to each pair (A,R) in which ¦A¦ = m,A X, and R is an n-tuple of voter preference orders on X. When n > 2, 3 m < ¦X¦, and C satisfies natural conditions of independence, symmetry among voters and alternatives, and collective rationality, it is proved that C is completely indecisive in the sense that C(A,R) = A for all (A,R). This non-binary result complements a binary (m = 2) result proved by Hanson. It suggests that there is a fundamental incompatibility between collective rationality and conditions designed to assure equitable treatment of voters and of alternatives.     

A conforming decomposition theorem,a piecewise linear theorem of the alternative,and scalings of matrices satisfying lower and upper bounds

A scaling of a nonnegative matrixA is a matrixXAY ^?1, whereX andY are nonsingular, nonnegative diagonal matrices. Some condition may be imposed on the scaling, for example, whenA is square,X=Y or detX=detY. We characterize matrices for which there exists a scaling that satisfies predetermined upper and lower bound. Our principal tools are a piecewise linear theorem of the alternative and a theorem decomposing a solution of a system of equations as a sum of minimal support solutions which conform with the given solutions.     

Local selections and local dendrites

Let X be a Peano continuum, C(X) its space of subcontinua, and C(X, ε) the space of subcontinua of diameter less than ε. A selection on some subspace of C(X) is a continuous choice function; the selection σ is rigid if σ(A) ? B ? A implies σ(A) = σ(B). It is shown that X is a local dendrite (contains at most one simple closed curve) if and only if there exists ε > 0 such that C(X, ε) admits a selection (rigid selection). Further, C(X) admits a local selection at the subcontinuum A if and only if A has a neighborhood (relative to the space C(X)) which contains no cyclic local dendrite; moreover, that local selection may be chosen to be a constant.     

Nearest southeast submatrix that makes multiple a prescribed eigenvalue. Part 1

Given four complex matrices A,B,C and D, where A∈C^n×n and D∈C^m×m, and given a complex number z₀: What is the (spectral norm) distance from D to the set of matrices X∈C^m×m such that z₀ is a multiple eigenvalue of the matrix

     

Compactifications whose remainders are zero dimensional and retract

LetX be a locally compact non compact space. Necessary and sufficient conditions forfX/X to be a retract offX are given wherefX is the Freudenthal compactification ofX. LetX be a locally compact and zero dimensional space,m be any cardinal number andJ be a set with cardinalitym. It is proved thatX has a dyadic family of powerm if and only if there exist and compactificationY ofX such thatY/X=2 ^J andY/X is a retract ofY.     

Proper actions, fixed-point algebras and naturality in nonabelian duality

Suppose a locally compact group G acts freely and properly on a locally compact Hausdorff space X, and let γ be the induced action on C₀(X). We consider a category in which the objects are C^∗-dynamical systems (A,G,α) for which there is an equivariant homomorphism of (C₀(X),γ) into the multiplier algebra M(A). Rieffel has shown that such systems are proper and saturated, and hence have a generalized fixed-point algebra Aα which is Morita equivalent to A_×α,rG. We show that the assignment (A,α)?Aα is functorial, and that Rieffel's Morita equivalence is natural in a suitable sense. We then use our results to prove a categorical version of Landstad duality which characterizes crossed products by coactions, and to prove that Mansfield imprimitivity for crossed products by homogeneous spaces is natural.     

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.     

Procrustes problems and associated approximation problems for matrices with k-involutory symmetries

We say that a matrix R∈C^n×n is k-involutary if its minimal polynomial is x^k-1 for some k?2, so R^k-1=R^-1 and the eigenvalues of R are 1,ζ,ζ²,…,ζ^k-1, where ζ=e^2πi/k. Let α,μ∈{0,1,…,k-1}. If R∈C^m×m, A∈C^m×n, S∈C^n×n and R and S are k-involutory, we say that A is (R,S,μ)-symmetric if RAS^-1=ζ^μA, and A is (R,S,α,μ)-symmetric if RAS^-α=ζ^μA.Let L be the class of m×n(R,S,μ)-symmetric matrices or the class of m×n(R,S,α,μ)-symmetric matrices. Given X∈C^n×t and B∈C^m×t, we characterize the matrices A in L that minimize ‖AX-B‖ (Frobenius norm), and, given an arbitrary W∈C^m×n, we find the unique matrix A∈L that minimizes both ‖AX-B‖ and ‖A-W‖. We also obtain necessary and sufficient conditions for existence of A∈L such that AX=B, and, assuming that the conditions are satisfied, characterize the set of all such A.     

The crossed product by a partial endomorphism and the covariance algebra

Given a local homeomorphism where U⊆X is clopen and X is a compact and Hausdorff topological space, we obtain the possible transfer operators Lρ which may occur for given by α(f)=f○σ. We obtain examples of partial dynamical systems (XA,σA) such that the construction of the covariance algebra C^∗(XA,σA), proposed by B.K. Kwasniewski, and the crossed product by a partial endomorphism O(XA,α,L), recently introduced by the author and R. Exel, associated to this system are not equivalent, in the sense that there does not exist an invertible function ρ∈C(U) such that O(XA,α,Lρ)≅C^∗(XA,σA).     

Retractions and contractibility in hyperspaces

Given a metric continuum X, let X² denote the hyperspace of all nonempty closed subsets of X. For each positive integer k let Ck(X) stand for the hyperspace of members of X² having at most k components. Consider mappings (where B∈Cm(X)) and both defined by A?A∪B. We give necessary and sufficient conditions under which these mappings are deformation retractions (under a special convention for φB). The conditions are related to the contractibility of the corresponding hyperspaces.     

On the root closedness of continuous function algebras

For a compact Hausdorff space X, C(X) denotes the algebra of all complex-valued continuous functions on X. For a positive integer n, we say that C(X) is n-th root closed if, for each f∈C(X), there exists g∈C(X) such that f=gn. It is shown that, for each integer m?2, there exists a compact Hausdorff space Xm such that C(Xm) is m-th root closed, but not n-th root closed for each integer n relatively prime to m. This answers a question posed by Countryman Jr. [R.S. Countryman Jr., On the characterization of compact Hausdorff X for which C(X) is algebraically closed, Pacific J. Math. 20 (1967) 433-438] et al.     

The Terwilliger algebra of a distance-regular graph of negative type

Let Γ denote a distance-regular graph with diameter D?3. Assume Γ has classical parameters (D,b,α,β) with b<-1. Let X denote the vertex set of Γ and let A∈Mat_X(C) denote the adjacency matrix of Γ. Fix x∈X and let A^∗∈Mat_X(C) denote the corresponding dual adjacency matrix. Let T denote the subalgebra of Mat_X(C) generated by A,A^∗. We call T the Terwilliger algebra of Γ with respect to x. We show that up to isomorphism there exist exactly two irreducible T-modules with endpoint 1; their dimensions are D and 2D-2. For these T-modules we display a basis consisting of eigenvectors for A^∗, and for each basis we give the action of A.     

Dirichlet problems for the quasilinear second order subelliptic equations

In this paper, we study the Dirichlet problems for the following quasilinear second order sub-elliptic equation, $$\left\{ {\begin{array}{*{20}c} {\sum\limits_{i,j = 1}^m {X_i^* (A_{i,j} (x,u)X_j u) + \sum\limits_{j = 1}^m {B_j (x,u)X_j u + C(x,u) = 0in\Omega ,} } } \\ {u = \varphi on\partial \Omega ,} \\ \end{array} } \right.$$ whereX={X ₁, ...,X _m } is a system of real smooth vector fields which satisfies the Hörmander's condition,A _i,j ,B _j ,C ∈C ^∞( $\bar \Omega$ ×R) and (A _i,j (x,z)) is a positive definite matrix. We have proved the existence and the maximal regularity of solutions in the “non-isotropic” Hölder space associated with the system of vector fieldsX.