The isometric extension of the into mapping from the unit sphere S 1( E ) to S 1( l ∞(Γ))

This paper considers the isometric extension problem concerning the mapping from the unit sphere S ₁(E) of the normed space E into the unit sphere S ₁(l ^∞(Γ)). We find a condition under which an isometry from S ₁(E) into S ₁(l ^∞(Γ)) can be linearly and isometrically extended to the whole space. Since l ^∞(Γ) is universal with respect to isometry for normed spaces, isometric extension problems on a class of normed spaces are solved. More precisely, if E and F are two normed spaces, and if V ₀: S ₁(E) → S ₁(F) is a surjective isometry, where c ₀₀(Γ) ⊆ F ⊆ l ^∞(Γ), then V ₀ can be extended to be an isometric operator defined on the whole space. This work is supported by Natural Science Foundation of Guangdong Province, China (Grant No. 7300614)     

On the Extension of Isometries between Unit Spheres of E and C（Ω）

In this paper,we study the extension of isometries between the unit spheres of some Banach spaces E and the spaces C(Ω). We obtain that if the set sm.S1(E) of all smooth points of the unit sphere S1(E) is dense in S1(E),then under some condition,every surjective isometry V0 from S1(E) onto S1(C(Ω)) can be extended to be a real linearly isometric map V of E onto C(Ω).From this resultwe also obtain some corollaries. This is the first time we study this problem on different typical spaces,and the method of proof is also very different too.     

Isometries of JB-algebras

A bijective linear mapping between two JB-algebrasA andB is an isometry if and only if it commutes with the Jordan triple products ofA andB. Other algebraic characterizations of isometries between JB-algebras are given. Derivations on a JB-algebraA are those bounded linear operators onA with zero numerical range. For JB-algebras of selfadjoint operators we have: IfH andK are left Hilbert spaces of dimension ≥3 over the same fieldF (the real, complex, or quaternion numbers), then every surjective real linear isometryf fromS(H) ontoS(K) is of the formf(x)=UoxoU ⁻¹ forx inS(H), whereτ is a real-linear automorphism ofF andU is a real linear isometry fromH ontoK withU(λh)=τ(λ)U(h) for λ inF andh inH. Supported by Acción Integrada Hispano-Alemana HA 94 066 B     

On Linearly Isometric Extensions for 1-Lipschitz Mappings Between Unit Spheres of ALP-spaces （p 〉 2）

In this paper, we show that if Vo is a 1-Lipschitz mapping between unit spheres of two ALP-spaces with p 〉 2 and -Vo（S1（LP）） C Vo（S1（LP））, then V0 can be extended to a linear isometry defined on the whole space. If 1 〈 p 〈 2 and Vo is an ＂anti-l-Lipschitz＂ mapping, then Vo can also be linearly and isometrically extended.     

A remark on extension of into isometries

In this paper, we prove that an into isometry form S（l（n）^∞） to S（E）, which under some conditions, can be extended to be a linear isometry defined on the whole space. Therefore we improve the results of [Ding, G. G.： The isometric extension of an into mapping from the unit sphere S（l（2）^∞） to S（Lμ^1）. Acta Mathematica Sinica, English Series, 22（6）, 1721-1724 （2006）].     

The range of a projection of small norm inl 1 n

It is proved that there exists a positive function Φ(∈) defined for sufficiently small ∈ 〉 0 and satisfying lim_t→0 Φ(∈) =0 such that for any integersn 〉>0, ifQ is a projection ofl ₁ ⁿ onto ak-dimensional subspaceE with ‖|Q‖|≦1+∈ then there is an integerh〉=k(1−Φ(∈)) and anh-dimensional subspaceF ofE withd(F,l ₁ ^h ) 〈= 1+Φ (∈) whered(X, Y) denotes the Banach-Mazur distance between the Banach spacesX andY. Moreover, there is a projectionP ofl ₁ ⁿ ontoF with ‖|P‖| ≦1+Φ(∈). Author was partially supported by the N.S.F. Grant MCS 79-03042.     

L（Ω, μ） CANNOT ISOMETRICALLY CONTAIN SOME THREE-DIMENSIONAL SUBSPACES OF AM-SPACES

This article presents a novel method to prove that: let E be an AM-space and if dim E≥3, then there does not exist any odd subtractive isometric mapping from the unit sphere S(E) into S[L(Ω,μ)]. In particular, there does not exist any real linear isometry from E into L(Ω,μ).     

Containment of c<Subscript>0</Subscript> and ℓ<Subscript>1</Subscript> in π<Subscript>1</Subscript>(<Emphasis Type="Italic">E,F</Emphasis>)

Suppose π₁(E, F) is the space of all absolutely 1-summing operators between two Banach spacesE andF. We show that ifF has a copy of c₀, then π₁ (E, F) will have a copy of c₀, and under some conditions ifE has a copy of ℓ₁ then π₁ (E, F) would have a complemented copy of ℓ₁.     

B-convexity of the space of 2-summing operators

If π₂ (E, F), the class of 2-summing operators fromE intoF, isB-convex, then bothE andF have cotypeq for allq>2. On the other hand, ifE is super-reflexive and has cotype 2, then π₂(l ₂,E) is super-reflexive.     

On inferring the probability of misclassification by the linear discriminant function

Summary Let the two alternative populationsP ₁ andP ₂ from which the individual with measurements χ may have come beN(μ(1), Σ) andN(μ(2), Σ). Then the classification rule with minimum risk is to assign the individual toP ₁ orP ₂ according as (μ(2)-μ(1))′Σ^-1 x≶(1/2)(μ(2)-μ(1))′Σ^-1(μ(1)+μ(2))+c wherec is a constant depending on the prior probabilities ofP ₁ andP ₂ and the costs of the two kinds of misclassification. The probability of misclassifying an individual fromP ₂ by this rule is π₂₁=Φ(-δ/2+cδ^-1), where Φ(.) is the distribution function of anN(0, 1) and . (Since we are free to choose which population we shall callP ₂, it is not necessary to consider separately the probability of misclassifying an individual fromP ₁.) LetP ₂₁ denote the probability of misclassification of an individual fromP ₂ by the rule derived from the one mentioned by fixing μ(1), μ(2) and Σ at estimates andV and letP ₂₁ ^* be the probability of misclassification of an individual fromP ₂ when the classification rule is the one with minimum risk among those based on . The fiducial distributions of π₂₁,P ₂₁ andP ₂₁ ^* are determined. Point estimates and confidence intervals for π₂₁,P ₂₁ andP ₂₁ ^* are derived. Only easily available tables are needed to make fiducial inferences. An incidental result of some interest elsewhere as well is the distribution of a linear combination of a chi and an independent normal variable.     

The isometric extension of “into” mappings on unit spheres of AL -spaces

In this paper, we show that if V ₀ is an isometric mapping from the unit sphere of an AL-space onto the unit sphere of a Banach space E, then V ₀ can be extended to a linear isometry defined on the whole space. This work was supported by the Research Foundation for Doctor Programme (Grant No. 20060055010) and the National Natural Science Foundation of China (Grant No. 10571090)     

Remarks on the descriptive metric characterization of singular sets of analytic functions

This work presents two remarks on the structure of singular boundary sets of functions analytic in the unit diskD: |z|<1. The first remark concerns the conversion of the Plessner theorem. We prove that three pairwise disjoint subsetsE ₁,E ₂, andE ₃ of the unit circle Γ: |z|=1, = Γ, are the setsI(ƒ) of all Plessner points,F(ƒ) of all Fatou points, andE(ƒ) of all exceptional boundary points, respectively, for a function ƒ holomorphic inD if and only ifE ₁ is aG _δ-set andE ₃ is a -set of linear measure zero. In the second part of the paper it is shown that for any -subsetE of the unit circle Γ with a zero logarithmic capacity there exists a one-sheeted function onD whose angular limits do not exist at the points ofE and do exist at all the other points of Γ. Translated fromMatematicheskie Zametki, Vol. 63, No. 1, pp. 56–61, January, 1998.     

Differentiation in the branges spaces and embedding theorems

The boundedness conditions for the differentiation operator in Hilbert spaces of entire functions (Branges spaces) and conditions under which the embedding K_и⊂L₂(μ) holds in spaces K_и associated with the Branges spacesH(E) are studied. Measure μ such that the above embedding is isometric are of special interest. It turns out that the condition E'/E∈H^∞(C⁺) is sufficient for the boundedness of the differentiation operator inH(E). Under certain restrictions on E, this condition is also necessary. However, this fact fails in the general case, which is demonstrated by the counterexamples constructed in this paper. The convex structure of the set of measures μ such that the embedding K_E ^* _/E⊂L²(μ) is isometric (the set of such measures was described by de Brages) is considered. Some classes of measures that are extreme points in the set of Branges measures are distinguished. Examples of measures that are not extreme points are also given. Bibliography: 7 titles. Translated fromProblemy Matematicheskogo Analiza, No. 19, 1999, pp. 27–68.     

An analysis of the solution set to a homotopy equation between polynomials with real coefficients

We investigate the structure of the solution setS to a homotopy equationH(Z,t)=0 between two polynomialsF andG with real coefficients in one complex variableZ. The mapH is represented asH(x+iy, t)=h ₁(x, y, t)+ih ₂(x, y, t), whereh ₁ andh ₂ are polynomials from ℝ² × [0,1] into ℝ and i is the imaginary unit. Since all the coefficients ofF andG are real, there is a polynomialh ₃ such thath ₂(x, y, t)=yh₃(x, y, t). Then the solution setS is divided into two sets {(x, t)∶h ₁(x, 0, t)=0} and {(x+iy, t)∶h ₁(x, y, t)=0,h ₃(x, y, t)=0}. Using this division, we make the structure ofS clear. Finally we briefly explain the structure of the solution set to a homotopy equation between polynomial systems with real coefficients in several variables.     

Mordell-Weil groups and Selmer groups of twin- prime elliptic curves

Let E = Eσ : y2 = x(x + σp)(x + σq) be elliptic curves, where σ = ±1, p and q are primenumbers with p+2 = q. (i) Selmer groups S(2)(E/Q), S(φ)(E/Q), and S(φ)(E/Q) are explicitly determined,e.g. S(2)(E+1/Q)= (Z/2Z)2, (Z/2Z)3, and (Z/2Z)4 when p ≡ 5, 1 (or 3), and 7(mod 8), respectively. (ii)When p ≡ 5 (3, 5 for σ = -1) (mod 8), it is proved that the Mordell-Weil group E(Q) ≌ Z/2Z Z/2Z,symbol, the torsion subgroup E(K)tors for any number field K, etc. are also obtained.     

Connexité des sous-niveaux des fonctionnelles intégrales

Let (T, ℐ, μ) be a σ-finite atomless measure space,p∈[1,∞),E a real Banach space andf a measurable function:E xT→ℝ. We denote byF the functionalF: and byDom(F) its domain, it is the set {uεL ^p(T,E):ū(t)=f(u),t)εL ¹(T)}, and we prove that the sublevelsS(λ)={u:F(u)≤λ} are all connected in the subspaceDom(F) of the Banach spaceL ^p(T, E).     

Finite metric spaces needing high dimension for lipschitz embeddings in banach spaces

We construct a sequence of metric spaces (M _n) with cardM _n=3n satisfying that for everyc<2, there exists a real numbera(c)>0 such that, if the Lipschitz distance fromM _n to a subset of a Banach spaceE is less thanc, then dim(E) ≥a(c)n. We also prove several results about embeddings of metric spaces whose non-zero distance values are in the interval [1,2].     

Thompson＇s Group F and the Linear Group GL∞（Z）

The authors study the finite decomposition complexity of metric spaces of H, equipped with different metrics, where H is a subgroup of the linear group GL_∞(ℤ). It is proved that there is an injective Lipschitz map φ: (F, d _S ) → (H, d), where F is the Thompson’s group, dS the word-metric of F with respect to the finite generating set S and d a metric of H. But it is not a proper map. Meanwhile, it is proved that φ: (F, d _S ) → (H, d ₁) is not a Lipschitz map, where d ₁ is another metric of H.     

Universal coextensions within a variety

A category is universal if it contains a full subcategory isomorphic to the category Γ of all directed graphs without loops and isolated points. LetV be a universal semigroup variety,S a semigroup inV, andV _S = {T εV;S is a homomorphic image ofT} the full subcategory ofV of all coextensions ofS withinV. We establish the universality ofV _S in two cases:(a) ifV is the varietyS of all semigroups andS has an idempotent, and(b) ifV is an arbitrary universal semigroup variety andS has a kernel. The results of this paper had been presented at the Colloquium on Semigroups, Szeged (Hungary), August 1994. Support of the Grant Agency of the Czech Republic under Grant 201/93/950 is gratefully acknowledged.     

Uniform harmonic approximation with continuous extension to the boundary

Let Ω be an open set in ℝ ⁿ andE be a relatively closed subset of Ω. Further, letC _e(E) be the collection of real-valued continuous functions onE which extend continuously to the closure ofE in ℝ ⁿ . We characterize those pairs (Ω,E) which have the following property: every function inC _e(E) which is harmonic onE ⁰ can be uniformly approximated onE by functions which are harmonic on Ω and whose restrictions toE belong toC _e(E).