On Banach spaces whose norm-open sets are -sets in the weak topology

We investigate non-separable Banach spaces whose norm-open sets are countable unions of sets closed in the weak topology and a narrower class of Banach spaces with a network for the norm topology which is σ-discrete in the weak topology. In particular, we answer a question of Arhangel'skii exhibiting various examples of non-separable function spaces C(K) with a σ-discrete network for the pointwise topology and (consistently) we answer some questions of Edgar and Oncina concerning Borel structures and Kadec renormings in Banach spaces.     

The topological structure of fuzzy sets with endograph metric

For a non-degenerate convex subset Y of the n-dimensional Euclidean space Rⁿ, let be the family of all fuzzy sets ofRⁿ, which are upper-semicontinuous, fuzzy convex and normal with compact supports contained in Y. We show that the space with the topology of endograph metric is homeomorphic to the Hilbert cube Q=[-1,1]^ω iff Y is compact; and the space is homeomorphic to {(x_n)Q:sup|x_n|<1} iff Y is non-compact and locally compact.     

Operation properties and -equalities of complex fuzzy sets

A complex fuzzy set is a fuzzy set whose membership function takes values in the unit circle in the complex plane. This paper investigates various operation properties and proposes a distance measure for complex fuzzy sets. The distance of two complex fuzzy sets measures the difference between the grades of two complex fuzzy sets as well as that between the phases of the two complex fuzzy sets. This distance measure is then used to define δ-equalities of complex fuzzy sets which coincide with those of fuzzy sets already defined in the literature if complex fuzzy sets reduce to real-valued fuzzy sets. Two complex fuzzy sets are said to be δ-equal if the distance between them is less than 1-δ. This paper shows how various operations between complex fuzzy sets affect given δ-equalities of complex fuzzy sets. An example application of signal detection demonstrates the utility of the concept of δ-equalities of complex fuzzy sets in practice.     

-adic refinable functions and MRA-based wavelets

The main goal of this paper is the development of the MRA theory in . We described a wide class of p-adic refinement equations generating p-adic multiresolution analyses. A method for the construction of p-adic orthogonal wavelet bases within the framework of the MRA theory is suggested. A realization of this method is illustrated by an example which gives a new 3-adic wavelet basis. Another realization leads to the p-adic Haar bases which were known before.     

Christoffel-type functions for -orthogonal polynomials for Freud weights

This paper gives upper and lower bounds of the Christoffel-type functions , for the m-orthogonal polynomials for a Freud weight W=e^-Q, which are given as follows. Let a_n=a_n(Q) be the nth Mhaskar–Rahmanov–Saff number, φ_n(x)=max{n^-2/3,1-|x|/a_n}, and d>0. Assume that QC(R) is even, , and for some A,B>1

Then for xR

and for |x|a_n(1+dn^-2/3)

     

Strong and uniform mean stability of cosine and sine operator functions

It is first observed that a uniformly bounded cosine operator function C() and the associated sine function S() are totally non-stable. Then, using a zero-one law for the Abel limit of a closed linear operator, we prove some results concerning strong mean stability and uniform mean stability of C(). Among them are: (1) C() is strongly (C,1)-mean stable (or (C,2)-mean stable, or Abel-mean stable) if and only if 0ρ(A)σ_c(A); (2) C() is uniformly (C,2)-mean stable if and only if S() is uniformly (C,1)-mean stable, if and only if , if and only if , if and only if C() is uniformly Abel-mean stable, if and only if S() is uniformly Abel-mean stable, if and only if 0ρ(A).     

The fixed point property in -triples and preduals of -triples

We prove that for every member X in the class of real or complex JB^*-triples or preduals of JBW^*-triples, the following assertions are equivalent:

(1) X has the fixed point property.

(2) X has the super fixed point property.

(3) X has normal structure.

(4) X has uniform normal structure.

(5) The Banach space of X is reflexive.

As a consequence, a real or complex C^*-algebra or the predual of a real or complex W^*-algebra having the fixed point property must be finite-dimensional.

On partial sums of certain meromophic -valent functions

In this paper, we study the ratio of meromorphic p-valent functions in the punctured disk U^*={z:0<|z|<1} of the form to its sequence of partial sums of the form . Also, we determine sharp lower bounds for and .     

Finitely additive representation of spaces

Let be any atomless and countably additive probability measure on the product space with the usual σ-algebra. Then there is a purely finitely additive probability measure λ on the power set of a countable subset such that can be isometrically isomorphically embedded as a closed subspace of L^p(λ). The embedding is strict. It is also ‘canonical,’ in the sense that it maps simple and continuous functions on to their restrictions to T.     

Uniformly Gâteaux smooth approximations on

Every Lipschitz mapping from c₀(Γ) into a Banach space Y can be uniformly approximated by Lipschitz mappings that are simultaneously uniformly Gâteaux smooth and C^∞-Fréchet smooth.     

-Linked planar graphs

A graph G is (m,n)-linked if for any two disjoint subsets R,BV(G) with |R|m and |B|n, G has two disjoint connected subgraphs containing R and B, respectively. We shall prove that a planar graph with at least six vertices is (3,3)-linked if and only if G is 4-connected and maximal.     

Norm of weighted composition operators from -Bloch spaces to weighted-type spaces

We calculate in an elegant way operator norm of the weighted composition operator from the α-Bloch space, with α(0,∞){1}, to a weighted-type space on the unit ball. This result can be regarded as a complement to our recent result regarding the same problem for the case α=1.     

A short proof of the Approximation Conjecture for amenable groups

We give a short proof of the Approximation Conjecture with complex coefficients for amenable groups [G. Elek, The Strong Approximation Conjecture holds for amenable groups, J. Funct. Anal. 239 (1) (2006) 345–355].     

Cone-valued Lyapunov functions and stability for impulsive functional differential equations

The stability criteria in terms of two measures for impulsive functional differential equations are established via cone-valued Lyapunov functions and Razumikhin technique. The stability can be deduced from the (Q₀,Q)-stability of comparison impulsive differential equations. An example is given to illustrate the advantages of the results obtained.     

Accelerating gradient projection methods for -constrained signal recovery by steplength selection rules

We propose a new gradient projection algorithm that compares favorably with the fastest algorithms available to date for ℓ₁-constrained sparse recovery from noisy data, both in the compressed sensing and inverse problem frameworks. The method exploits a line-search along the feasible direction and an adaptive steplength selection based on recent strategies for the alternation of the well-known Barzilai–Borwein rules. The convergence of the proposed approach is discussed and a computational study on both well conditioned and ill-conditioned problems is carried out for performance evaluations in comparison with five other algorithms proposed in the literature.     

Equivalence relation groupoids associated with certain linearly ordered dimension groups

We consider linearly ordered, Archimedean dimension groups (G,G⁺,u) for which the group G/u is torsion-free. It will be shown that if, in addition, G/u is generated by a single element (i.e., ), then (G,G⁺,u) is isomorphic to for some irrational number τ(0,1). This amounts to an extension of related results where dimension groups for which G/u is torsion were considered. We will prove, in the case of the Fibonacci dimension group, that these results can be used to directly construct an equivalence relation groupoid whose C^*-algebra is the Fibonacci C^*-algebra.     

Uniform Kazhdan constant for some families of linear groups

Let R be a ring generated by l elements with stable range r. Assume that the group EL_d(R) has Kazhdan constant ₀>0 for some dr+1. We prove that there exist (₀,l)>0 and , s.t. for every nd, EL_n(R) has a generating set of order k and a Kazhdan constant larger than . As a consequence, we obtain for where n3, a Kazhdan constant which is independent of n w.r.t. generating set of a fixed size.     

Combinatorial congruences and -operators

The ψ-operator for (,Γ)-modules plays an important role in the study of Iwasawa theory via Fontaine's big rings. In this note, we prove several sharp estimates for the ψ-operator in the cyclotomic case. These estimates immediately imply a number of sharp p-adic combinatorial congruences, one of which extends the classical congruences of Fleck (1913) and Weisman [Some congruences for binomial coefficients, Michigan Math. J. 24 (1977) 141–151].     

Reduction of the Gibbs phenomenon for smooth functions with jumps by the -algorithm

Recently, Brezinski has proposed to use Wynn's ε-algorithm in order to reduce the Gibbs phenomenon for partial Fourier sums of smooth functions with jumps, by displaying very convincing numerical experiments. In the present paper we derive analytic estimates for the error corresponding to a particular class of hypergeometric functions, and obtain the rate of column convergence for such functions, possibly perturbed by another sufficiently differentiable function. We also analyze the connection to Padé–Fourier and Padé–Chebyshev approximants, including those recently studied by Kaber and Maday.     

A completeness result for the simply typed -calculus

In this paper, we define a realizability semantics for the simply typed λμ-calculus. We show that, if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the computational behavior of some closed typed terms. We also prove a completeness result of our realizability semantics using a particular term model.