Spectral properties of zeroth-order pseudodifferential operators

Let Q be a self-adjoint, classical, zeroth order pseudodifferential operator on a compact manifold X with a fixed smooth measure dx. We use microlocal techniques to study the spectrum and spectral family, {E_S}_{S∈$\text{R}$} as a bounded operator on L²(X, dx).Using theorems of Weyl (Rend. Circ. Mat. Palermo, 27 (1909), 373–392) and Kato (“Perturbation Theory for Linear Operators,” Springer-Verlag, 1976) on spectra of perturbed operators we observe that the essential spectrum and the absolutely continuous spectrum of Q are determined by a finite number of terms in the symbol expansion. In particular Spec_ESSQ = range(q(x, ξ)) where q is the principal symbol of Q. Turning the attention to the spectral family {E_S}_{S∈$\text{R}$}, it is shown that if $\text{dE}\text{ds}$ is considered as a distribution on $\text{R}$×X×X it is in fact a Lagrangian distribution near the set $\text{{σ=0}?}\text{T}{}^1\text{(}\text{R}\text{×X×X)}\text{0}$ where (s, x, y, σ, ξ,η) are coordinates on T¹($\text{R}$×X×X) induced by the coordinates (s, x, y) on $\text{R}$×X×X. This leads to an easy proof that$\text{?(Q)}$ is a pseudodifferential operator if ?∈C^∞($\text{R}$) and to some results on the microlocal character of E_s. Finally, a look at the wavefront set of $\text{dE}\text{ds}$ leads to a conjecture about the existence of absolutely continuous spectrum in terms of a condition on q(x, ξ).     

Continuity in quantitative domains

Based on the notion of an $L$-fuzzy partially ordered set constructed in (An L-fuzzy approach to quantitative domain (I)—generalized ordered set valued in frame and adjunction theory, Fuzzy Systems and Mathematics 14 (2000) 6–7), and by introducing the concepts of an $L$-fuzzy directed set and the join of an $L$-fuzzy set w.r.t. the $L$-fuzzy partial order, $L$-fuzzy domains are defined and the generalized Scott topology on an $L$-fuzzy domain is built. This approach is similar to Flagg's logic approach to quantitative domain theory (A Logical Approach to Quantitative Domain Theory, Elsevier, Amsterdam, 1996, submitted for publication). In addition, the concepts of stratified approximation and a basis for an $L$-fuzzy domain are proposed, and a notion of a continuous $L$-fuzzy domain is developed. It is proved that if $L$ is a completely distributive lattice in which 1 is $\vee$-irreducible and the well below relation is multiplicative, then the stratified interpolation property holds in a continuous $L$-fuzzy domain $(X,e)$, and $\{{\Uparrow }_{a}x\mid 0\ne a⋘1,x\in X\}$ is a base for the generalized Scott topology on $(X,e)$.     

Compactness and collective compactness in spaces of compact operators

This is a study of compactness in (a) spaces K_b(X, Y) of compact linear operators, (b) injective tensor products $\text{X}\text{}\text{?}\text{bo}{}_{\mathrm{?}}\text{Y}$, and (c) spaces L_c(X, Y) of continuous linear operators, and its various relationships with equicontinuity and collective compactness. Among the applications is a result on factoring compact sets of compact operators compactly and uniformly through one and the same reflexive Banach space.     

On the consistency of some partition theorems for continuous colorings,and the structure of ℵ1-dense real order types

We present some techniques in c.c.c. forcing, and apply them to prove consistency results concerning the isomorphism and embeddability relations on the family of ?₁-dense sets of real numbers. In this direction we continue the work of Baumgartner [2] who proved the axiom BA stating that every two ?₁-dense subsets of $\text{R}$ are isomorphic, is consistent. We e.g. prove Con(BA+(2^?₀>?₂)). Let <K^H,<> be the set of order types of ?₁-dense homogeneous subsets of $\text{R}$ with the relation of embeddability. We prove that for every finite model <L, <->: Con(MA+ <K^H, <-> ? <L, <->) iff L is a distributive lattice. We prove that it is consistent that the Magidor-Malitz language is not countably compact. We deal with the consistency of certain topological partition theorems. E.g. We prove that MA is consistent with the axiom OCA which says: “If X is a second countable space of power ?₁, and {U₀,\h.;,U_n?1} is a cover of D(X)

XxX-}<x,x>¦x?X} consisting of symmetric open sets, then X can be partitioned into {X_i \brvbar; i ? ω} such that for every i ? ω there is l<n such that D(X_i)?U_l”. We also prove that MA+OCA [xrArr] 2 ?₀ = ?₂.     

The Banach–Saks index of rearrangement invariant spaces on [0,1]

The set of all rearrangement invariant function spaces on [0,1] having the p-Banach–Saks property has a unique maximal element for all p∈(1,2]. For p=2 this is L₂, for p∈(1,2) this is L_p,∞⁰. We compute the Banach–Saks index for the families of Lorentz spaces $\text{L}{}_{\mathrm{p,q}}\text{,}\text{1<p<∞}$, 1?q?∞, and Lorentz–Zygmund spaces L(p,α), $\text{1?p<∞,}\text{α∈}\text{R}$, extending the classical results of Banach–Saks and Kadec–Pelczynski for L_p-spaces. Our results show that the set of rearrangement invariant spaces with Banach–Saks index p∈(1,2] is not stable with respect to the real and complex interpoltaion methods. To cite this article: E.M. Semenov, F.A. Sukochev, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

L-fuzzy Q-convergence structures

In this paper, we construct a topological category of pretopological L-fuzzy Q-convergence spaces, which contains the category of topological L-fuzzy Q-convergence spaces as a bireflective full subcategory. Considering the connections with L-fuzzy topology, it is proved that the category of topological L-fuzzy Q-convergence spaces is isomorphic to the category of topological L-fuzzy quasi-coincident neighborhood spaces, and the latter is isomorphic to the category of L-fuzzy topological spaces. Moreover, we find that our pretopological L-fuzzy Q-convergence spaces can be characterized as a kind of L-fuzzy quasi-coincident neighborhood spaces, which is called strong L-fuzzy quasi-coincident neighborhood space.     

F-mixing and weak disjointness

A topological system (X,f) is $\text{F}$-transitive if for each pair of opene subsets U and V of X, $\text{N}{}_{\mathrm{f}}\text{(U,V)={n∈}\text{Z}{}_{\mathrm{+}}\text{:}\text{f}{}^{\mathrm{n}}\text{U∩V≠∅}∈}\text{F}$, where $\text{F}$ is a collection of subsets of $\text{Z}{}_{\mathrm{+}}$ which is hereditary upward. (X,f) is $\text{F}$-mixing if (X×X,f×f) is $\text{F}$-transitive. In this paper $\text{F}$-mixing systems are characterized in terms of the chaoticity of the systems. Moreover, weak disjointness is studied via family. We will give conditions such that a dual theorem of the Weiss–Akin–Glasner theorem holds. Examples with this dual theorem fails for some “good” families are obtained.     

Banach spaces whose duals are isomorphic to l1(Γ)

Banach spaces X whose duals are isomorphic or isometric to l₁(Γ) are characterized by certain classes of operators on X. It is proved that a separable, conjugate space isomorphic to a complemented subspace of an L₁(S, Σ, μ) space is isomorphic to l₁; a $\text{L}$₁ space contained in a separable, conjugate space is isomorphic to a subspace of l₁.     

Descriptions of equivalence of O-connectivity

We first study some properties of the subspace, and investigate into the relationship of separation between a fuzzy topological space (fts) and its subspace. Then we obtain the equivalence conditions for O-connectivity. The results on O-connectivity and separation are very similar to those in general topology. Finally we discuss the relationship of connectivity between an O-connected set A in the fts (X, ω ($\text{T}$)) induced by the crisp topological space (X, $\text{T}$) and the crisp set A₀ (=supp A) in (X, $\text{T}$).     

On the direct product of fuzzy topological groups

The connections between some countability properties of a topological space (X, $\text{T}$) and its generated fuzzy topological space (X, ω($\text{T}$)) are investigated.     

Compact G-Fuzzy topological spaces

Considering complete Boolean algebras $\text{G}$ as sets of truth values a new concept of compactness—so-called probabilistic compactness — is introduced to $\text{G}$-fuzzy topological spaces. The aim of this paper is to show that the most important theorems of the theory of ordinary compact spaces remain true; e.g. probabilistic compactness is preserved under projective limits, every probabilistic compact space has an unique $\text{G}$-fuzzy uniformity being compatible with the underlying $\text{G}$-fuzzy topology, etc. Finally using the selection theorem due to Kuratowski and Ryll-Nardzewski a non-trivial example of a probabilistic compact space is given.     

Random fixed points of K-set- and pseudo-contractive random maps

Let $\text{(Ω,Σ)}$ be a measurable space, X and Y separable Banach spaces, and C a weakly compact subset of X. Let $\text{f}\text{:}\text{Ω×C→Y}$ and $\text{T}\text{:}\text{Ω×C→Y}$ be continuous random operators. Then the deterministic solvability of the equation$\text{f(ω,x)−T(ω,x)=0}\text{(ω∈Ω,x∈C)}$implies the stochastic solvability of it provided that (f−T)(ω,.) is demiclosed at zero and T(ω,C) is bounded for each $\text{ω∈Ω}$. As applications, random fixed points of various types of pseudo-contractive and k-set-contractive random operators are obtained.     

An example of L-fuzzy join space

On a generalized deMorgan lattice (X, ≤, ∨, ∧,′) we introduce a family of join hyperoperations * _p , parametrized by a parameterp εX. As a result we obtain a family of join spaces (X, * _p ). We show that: for everya,b εX the family {a*_pb} _pεX can be considered as thep-cuts of aL-fuzzy seta*b; in this manner we synthesize aL-fuzzy hyperoperation * which takes pairs fromX toL-fuzzy subsets ofX. We then show that (X, * _p ) is aL-fuzzy hypergroup (in the sense of Corsini) and can be considered as aL-fuzzy join space. Furthermore,a*b is aL-fuzzy interval for alla,b εX.     

Lifting commuting pairs of C1 algebras

Given a commuting pair $\text{A}$₁, $\text{A}$₂ of abelian $\text{C}{}^1$ subalgebras of the Calkin algebra, we look for a commuting pair $\text{B}$₁,$\text{B}$₂ of $\text{C}{}^1$ subalgebras of $\text{B(H)}$ which project onto $\text{A}$₁ and $\text{A}$₂. We do not insist that $\text{B}$_i, be abelian, so $\text{B}$_i, may contain nontrivial compact operators. If X is the joint spectrum σ($\text{A}$₁, $\text{A}$₂), it is shown that the existence of a pair $\text{B}$₁, $\text{B}$₂ depends only on the element τ in Ext(X) determined by $\text{A}$₁, $\text{A}$₂. The set L(X) of those τ in Ext(X) which “lift” in this sense is shown to be a subgroup of Ext(X) when Ext(X) is Hausdorff, and also when $\text{A}$_i are singly generated. In this latter case, L(X) can be explicitly calculated for large classes of joint spectra. These results are applied to lift certain pairs of commuting elements of the Calkin algebra to pairs of commuting operators.