Fuzzy addition in the L-fuzzy real line

Under the hypothesis L is a chain, we construct a binary operation ⊕ on the L-fuzzy real line $\text{R}$(L) which reduces to the usual addition on $\text{R}$ if ⊕ is restricted to the embedded image of $\text{R}$ in $\text{R}$(L), which yields a partially ordered, abelian cancellation semigroup with identity, and which is jointly fuzzy continuous on $\text{R}$(L). We show ⊕ is unique, i.e. it is the only extension of addition to $\text{R}$(L) which is consistent. We study the relationship between ⊕ and other fuzzy continuous extensions of the usual addition. We also show that fuzzy translation is a weak fuzzy homeomorphism and, under certain conditions, a fuzzy homeomorphism.     

A new fuzzy compactness defined by fuzzy nets

Let (Ω, $\text{A}$, μ) be a probability space and let $\text{B}$ be a subsigma algebra of $\text{A}$. Let A= L_∞Ω, $\text{A}$, μ , let A= L_∞Ω, $\text{B}$, μ, and let f?A. It is shown that best L_∞-approximations of f by elements of B comprise an interval in B; that is, there exists $\text{f}\text{,}\text{f}\text{?B}$ such that a function g?B is a best L_∞-approximation to f if and only if $\text{f}\text{? g ?}\text{f}$ a.e. on Ω. The difference, $\text{f}\text{? f}$, of $\text{f}$ and f is completely characterized in terms of special sets that have been developed in [2]. Then it is established that the best best L_∞-approximation, f_{$\text{B}$,∞}, to f by elements of B is the average of $\text{f}$ and $\text{f}$, where the function f_{$\text{B}$,∞} is defined by f_{$\text{B}$,∞}(ω) lim_{p → ∞}f_$\text{B}$,P(ξ) and f_$\text{B}$,P denotes the best L_p-approximation to f elements of L_p(Ω, $\text{B}$, μ).     

Approximation numbers of bounded operators

The theory of ideals of linear operators is well developed and has a lot of applications in theory and practise. The purpose of this paper is to give a first idea of a similar theory for bounded (nonlinear) operators. In view of applications we will not give an abstract (perhaps general nonsense) theory, but an example of a class λ_p of bounded operators with a structure similar to an $\text{L}$-module($\text{L}$ represents the class of all linear operators between Banach spaces), and applications to projection methods for solving equations with λ_p-type operators.     

nth order Stieltjes differential boundary operators and Stieltjes differential boundary systems

This article discusses linear differential boundary systems, which include nth-order differential boundary relations as a special case, in $\text{L}$_n^p[0,1] × $\text{L}$_n^p[0,1], 1 ? p < ∞. The adjoint relation in $\text{L}$_n^q[0,1] × $\text{L}$_n^q[0,1], $\text{1}\text{p}\text{+}\text{1}\text{q}\text{= 1}$, is derived. Green's formula is also found. Self-adjoint relations are found in $\text{L}$_n²[0,1] × $\text{L}$_n²[0,1], and their connection with Coddington's extensions of symmetric operators on subspaces of $\text{L}$_n^p[0,1] × $\text{L}$_n²[0,1] is established.     

Bounds for the Quality Parameter of Digital Shift Nets over Z2

Until now, the concept of digital (t,m,s)-nets is the most powerful concept for the construction of low-discrepancy point sets in the s-dimensional unit cube. In this paper we consider a special class of digital nets over $\text{Z}$₂, the so-called shift nets introduced by W. Ch. Schmid, and give bounds for the quality parameter t of such nets.     

Localizability of the embedding problem with symplectic kernel

In this paper we consider the question of how much information is supplied by local solutions to a global embedding problem for the special case in which the normal subgroup belonging to the given group extension is the projective symplectic group PSp(2m, q). It is proved that for suitable Galois extensions K of a given number field k (which constitute part of the data of the embedding problem), the local solutions in a sense determine whether or not an extension K ? K, Galois over k, with $\text{G(}\text{L}\text{K}\text{) ≈ PSp(2m, q)}$, represents a global solution to the embedding problem.     

A short elementary proof of Grothendieck's theorem on algebraic vectorbundles over the projective line

Let E be an algebraic (or holomorphic) vectorbundle over the Riemann sphere $\text{P}$¹($\text{C}$). Then Grothendieck proved that E splits into a sum of line bundles E = ⊕L_i and the isomorphism classes of the L_i are (up to order) uniquely determined by E. The L_i in turn are classified by an integer (their Chern numbers) so that m-dimensional vectorbundles over $\text{P}$¹$\text{C}$ are classified by an m-tuple of integers

$\text{κ(E) = (κ}{}_1\text{(E),…,κ}{}_{\mathrm{m}}\text{(E)), κ}{}_1\text{(E)≥?≥κ}{}_{\mathrm{m}}\text{(E), κ}{}_{\mathrm{i}}\text{(E)∈}\text{Z}$

.In this short note we present a completely elementary proof of these facts which, as it turns out, works over any field k.     

Measures of fuzzy sets and measures of fuzziness

The measures presented in this paper are defined by using Weber's concept of decomposable measures m of crisp sets, having in particular the Archimedean decomposable operations in view (Section 2). Measures $\text{m}$ of fuzzy sets are introduced as integrals with respect to m. For the Archimedean cases, Weber's integral will be used as alternative to Sugeno's and Choquet's concepts (Section 3). What ‘fuzziness’ means will be described by functions of fuzziness F (another name: entropy N-functions) with respect to a negation. In addition to the types of functions of fuzziness which are induced by concave functions, we discuss also the ones which are induced by fuzzy connectives (Section 4). Now, using m for measuring the ‘importance of items’ and F for the ‘fuzziness’ of the possible values of a fuzzy set ?, m?(F ° ?) serves us as a measure of the fuzziness $\text{F}$? of ?. The concepts of De Luca and Termini, Capocelli and De Luca, Kaufmann, Knopfmacher, Loo, Gottwald, Dombi and, under the restriction to the Archimedean cases, also the concepts of Trillas and Riera and Yager turn out to be special cases (Section 5).     

Pointwise convergence of eigenfunction expansions associated with ordinary differential operators

With an ordinary differential expression L = ∑ⁿ_k=0P_kD^k on an open interval I?$\text{r}$ is associated a selfadjoint operator H in a Hilbert space, possibly beyond $\text{K}$=L²(l). The set $\text{D}$H∩$\text{K}$ only depends on the generalized spectral family associated with H. It is shown that the (differentiated) eigenfunction expansion given by H converges uniformly on compact subintervals of l for functions in $\text{D}$(H)∩$\text{L}$ In case H is a semibounded selfadjoint operator in $\text{K}$=L²T, a similar result is proved for functions in $\text{D}$|H|, which is the set of all $\text{K}$∈$\text{K}$ for which there exists a sequence f_n∈(H) such that f_n→f in $\text{H}$ and (H(f_n ? f_m), f_n ? f_m → 0 as n, m → ∞.     

Solution of fuzzy equations with extended operations

Assuming that 1 is any operation defined on a product set X × Y and taking values on a set Z, it can be extended to fuzzy sets by means of Zadeh's extension principle. Given a fuzzy subset C of Z, it is here shown how to solve the equation $\text{A 1 B = C}$ (or $\text{A 1 B ? C}$) when a fuzzy subset A of X (or a fuzzy subset B of Y) is given. The methodology we provide includes, as a special case, the resolution of fuzzy arithmetical operations, i.e. when 1 stands for +, ?, × or ÷, extended to fuzzy numbers (fuzzy subsets of the real line). The paper is illustrated with several examples in fuzzy arithmetic.     

Duality between some linear preserver problems. II. Isometries with respect to c-special norms and matrices with fixed singular values

Let $\text{F}{}_{\mathrm{m\times n}}$ (m?n) denote the linear space of all m × n complex or real matrices according as $\text{F}$=$\text{C}$ or $\text{R}$. Let c=(c₁,…,c_m)≠0 be such that c₁???c_m?0. The c-spectral norm of a matrix A?$\text{F}$_m×n is the quantity

$\text{6A6}{}_{\mathrm{c}}\text{∑}\text{i=I}\text{m}\text{c}{}_{\mathrm{i}}\text{σ}{}_{\mathrm{i}}\text{(A)}$

. where σ₁(A)???σ_m(A) are the singular values of A. Let d=(d₁,…,d_m)≠0, where d₁???d_m?0. We consider the linear isometries between the normed spaces $\text{(}\text{F}{}_{\mathrm{m\times }}{}_{\mathrm{n}}\text{,∥·∥}{}_{\mathrm{<mtext>c</mtext>}}\text{)}$ and $\text{(}\text{F}{}_{\mathrm{m\times }}{}_{\mathrm{n}}\text{,∥·∥}{}_{\mathrm{d}}\text{)}$, and prove that they are dual transformations of the linear operators which map $\text{L}$(d) onto $\text{L}$(c), where

$\text{L}\text{(c)= {X?}\text{F}{}_{\mathrm{m\times n}}\text{:X}\text{has singular values}\text{c}{}_1\text{,…,c}{}_{\mathrm{m}}\text{}}$

.     

Invariant subspaces and cocycles in nonselfadjoint crossed products

Let G be a compact abelian group with the archimedean totally ordered dual Γ and let $\text{L}$ be the von Neumann algebra crossed product determined by a finite von Neumann algebra M and a one-parameter group {α_γ}_γ?Γ of trace preserving 1-automorphisms of M. In this paper, we investigate the structure of invariant subspaces and cocycles for the subalgebra $\text{L}$₊ of $\text{L}$ consisting of those operators whose spectrum with respect to the dual automorphism group {β_g}_g?G on $\text{L}$ is nonnegative. Our main result asserts that if M is a factor, then $\text{L}$₊ is maximal among the σ-weakly closed subalgebras of $\text{L}$.     

Le théorème ergodique pour les opérateurs positifs sur les espaces Lp (1<p<∞) revisitéErgodic theorem for positive operators on Lp-spaces Lp (1<p<∞) revisited

We consider positive linear operators on L_p-spaces (1<p<∞), (A(L_p⁺)?L_p⁺), satisfying the inequality A^m+n<A^m+Aⁿ for all $\text{m,n∈}\text{N}\text{.}$ We describe the structure of these operators (Theorem 1). As a consequence we obtain for all f∈L^p,Aⁿf converges a.e. The last statement contains the theorem of a.e. convergence of Cesaro averages for positive mean bounded operators. To cite this article: A. Brunel, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 205–207.     

Conditional expectations and weak and strong compactness in spaces of Bochner integrable functions

In [6, theorem IV.8.18], relatively norm compact sets K in L^p(μ) are characterized by means of strong convergence of conditional expectations, E_πf → f in L^p(μ), uniformly for f ∈ K, where (E_π) is the family of conditional expectations corresponding to the net of all finite measurable partitions.In this paper we extend the above result in several ways: we consider nets of not necessarily finite partitions; we consider spaces $\text{L}{}_{\mathrm{E}}{}^{\mathrm{p}}\text{(μ)}$ of vector valued pth power Bochner integrable functions (and spaces M(Σ, E) of vector valued measures with finite variation); we characterize relatively strong compact sets K in $\text{L}{}_{\mathrm{E}}{}^{\mathrm{p}}\text{(μ)}$ by means of uniform strong convergence E_πf → f, as well as relatively weak compact sets K by means of uniform weak convergence E_πf → f. Previously, in [4], uniform strong convergence (together with some other conditions) was proved to be sufficient (but not necessary) for relative weak compactness.     

Bound on integrals: Elimination of the dual and reduction of the number of equality constraints

Let L_j (j = 1, …, n + 1) be real linear functions on the convex set $\text{F}$ of probability distributions. We consider the problem of maximization of L_n+1(F) under the constraint F ? $\text{F}$ and the equality constraints L₁(F) = z₁ (i = 1, …, n). Incorporating some of the equality constraints into the basic set $\text{F}$, the problem is equivalent to a problem with less equality constraints. We also show how the dual problems can be eliminated from the statement of the main theorems and we give a new illuminating proof of the existence of particular solutions.The linearity of the functions L_j(j = 1, …, n + 1) can be dropped in several results.     

Number fields with class number congruent to 4 mod 8 and Hilbert's theorem 94

Let k be a number field with S_k, the Sylow 2-subgroup of its ideal class group, isomorphic to the four-group. Then either the class number of the Hilbert class field to k is odd, or there is a unique nonabelian unramified extension L of k of degree 8. The galois group $\text{g(}\text{L}\text{k}\text{)}$ is then the dihedral or quaternion group of order 8, and the occurrence of each is characterized in terms of Hilbert's theorem 94. In the case $\text{k = Q(?m)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$, m a positive square-free integer, we obtain this characterization in terms of arithmetic properties of the integer m.     

Isomorphisms between Lp-function spaces when p < 1

We prove a number of results concerning isomorphisms between spaces of the type L_p(X), where X is a separable p-Banach space and 0 < p < 1. Our results imply that the quotient of L_p([0, 1] × [0, 1]) by the subspace of functions depending only on the first variable is not isomorphic to L_p, answering a question of N. T. Peck. More generally if $\text{B}$₀ is a sub-σ-algebra of the Borel sets of [0, 1], then $\text{L}{}_{\mathrm{p}}\text{([0, 1])}\text{L}{}_{\mathrm{p}}\text{([0, 1]}$, $\text{B}$₀) is isomorphic to L_p if and only if L_p([0, 1], B₀) is complemented. We also show that L_p has, up to isomorphism, at most one complemented subspace non-isomorphic to L_p and classify completely those spaces X for which $\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}$. In particular if $\text{L(L}{}_{\mathrm{p}}\text{, X) = {0}}\text{and}\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}$ then $\text{X ? l}{}_{\mathrm{p}}$ or is finite-dimensional. If X has trivial dual and $\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}\text{then}\text{X ? L}{}_{\mathrm{p}}$.     

Principle of inclusion-exclusion on semilattices

We introduce an enumeration theorem under lattice action. Let L be a finite semilattice and Ω be a nonempty set. Let $\text{f: L → P(Ω)}$ be a map satisfying f(x ? y) ? f(x) ∩ f(y), where ? and $\text{P}$(Ω) mean “join” and the power set of Ω, respectively. Then

$\text{m}\text{∪}\text{x?L}\text{?(x)}\text{=}\text{Σ}\text{c?C}\text{(?1)}{}^{\mathrm{l(c)}}\text{m}\text{∩}\text{x?c}\text{?(x)}$

, where C is the set of all chains in L and l(c) denotes the length of a chain c. Also the theorem can be dualized. Furthermore, we describe two applications of the theorem to a Boolean lattice of sets and a partition lattice of a set.     

Automorphisms of the canonical anticommutation relations and index theory

Let H be a complex Hilbert space, P₊ an orthogonal projection on H, and P_? the complementary projection. If $\text{G}$ is any symmetrically normed ideal in the ring of bounded operators on H, then we consider the group of unitary operators on H such that P₊UP_?and P_?UP₊ lie in $\text{G}$. When $\text{G}$ is the Hilbert-Schmidt class, these unitaries define automorphisms of the C¹-algebra $\text{b}$ of the canonical anticommutation relations over H which are implementable in the representation of $\text{b}$ determined by P_?. We investigate the structure of the group $\text{U}$, proving in particular that it has infinitely many connected components, $\text{U}$_k, labelled by the Fredholm index of P₊UP₊. The connected component of the identity, $\text{U}$₀, is generated by unitaries of the form exp(iA), with A self-adjoint and P₊AP_? in $\text{G}$. Finally we consider an application of these results to two dimensional field theory, showing in particular that the charge and chiral charge quantum numbers arise as the Fredholm indices of P_±UP_± for certain unitary U on L²($\text{R}$, $\text{C}$²)     

Broken solutions of homogeneous variational problems

A real-valued function L on the tangent bundle of $\text{R}$ⁿ gives rise to variational problems as follows: for two points x₀, x₁ in $\text{R}$ⁿ and a time interval [0, T] to determine a curve γ: [O,T] → $\text{R}$ⁿ, connecting x₀ with x₁ which minimizes ∫₀^TL(γ(t), gg(t)) dt. We consider the associated Hamiltonian vectorfield on the cotangent bundle. If L is not convex on each fibre then the corresponding Hamiltonian vectorfield is not continuous. For homogeneous L and n = 2 restriction to an energy level gives an essentially three-dimensional vectorfield. In this case we list the possible discontinuities for generic L. Then we observe that there exits an open class of such variational problems, which admit no minimizing solution.