On linear isometries on nonarchimedean power series spaces


 Erick Lane
 1 years ago
 Views:
Transcription
1 On linear isometries on nonarchimedean power series spaces Wies law Śliwa and Agnieszka Ziemkowska Abstract. The nonarchimedean power series spaces A p (a, t) are the most known and important examples of nonarchimedean nuclear Fréchet spaces. We study when the spaces A p (a, t) and A q (b, s) are isometrically isomorphic. Next we determine all linear isometries on the space A p (a, t) and show that all these maps are surjective. 1 Introduction In this paper all linear spaces are over a nonarchimedean nontrivially valued field K which is complete under the metric induced by the valuation : K [0, ). For fundamentals of locally convex Hausdorff spaces (lcs) and normed spaces we refer to [2], [4] and [6]. Let Γ be the family of all nondecreasing unbounded sequences of positive real numbers. Let a = (a n ), b = (b n ) Γ. The power series spaces of finite type A 1 (a) and infinite type A (b) were studied in [1] and [7] [9]. In [7] it has been proved that A p (a) has the quasiequivalence property i.e. any two Schauder bases in A p (a) are quasiequivalent ([7], Corollary 6). The problem when A p (a) has a subspace (or quotient) isomorphic to A q (b) was studied in [8]. In particular, the spaces A p (a) and A q (b) are isomorphic if and only if p = q and the sequences a, b are equivalent i.e. 0 < inf n (a n /b n ) sup n (a n /b n ) < ([8], Corollary 6) Mathematics Subject Classification: 46S10, 47S10, 46A45. Key words: Nonarchimedean power series space, linear isometry, Schauder basis. The first author was supported by the National Center of Science, Poland, grant no. N N
2 For p (0, ] we denote by Λ p the family of all strictly increasing sequences t = (t k ) of real numbers such that lim k t k = ln p (if p =, then ln p := ). Let p (0, ], a = (a n ) Γ and t = (t k ) Λ p. Then the following linear space A p (a, t) = {(x n ) K : lim n x n e t ka n = 0 for all k N} with the base ( k ) of the norms (x n ) k = max n x n e t ka n, k N, is a Fréchet space with a Schauder basis. Clearly, A 1 (a) = A 1 (a, t) for a = (a n ) Γ, t = (t k ) = (ln k k+1 ), and A (b) = A (b, s) for b = (b n ) Γ, s = (s k ) = (ln k). Let q(p) = 1 for p (0, ) and q( ) =. It is not hard to show that for every p (0, ], a = (a n ) Γ and t = (t k ) Λ p the space A p (a, t) is isomorphic to A q(p) (b) for some b Γ. Thus we can consider the spaces A p (a, t) as power series spaces. In this paper we study linear isometries on power series spaces. First we show that the spaces A p (a, t) and A q (b, s), for p, q (0, ], t = (t k ) Λ p, s = (s k ) Λ q and a = (a n ), b = (b n ) Γ, are isometrically isomorphic if and only if there exist C, D R such that s k = Ct k + D and a k = Cb k for all k N, and for every k N there is ψ k K with ψ k = e (D/C)a k (Theorem 1). Let p (0, ], t = (t k ) Λ p and a = (a n ) Γ. Let (N s ) be a partition of N into nonempty finite subsets such that (1) a i = a j for all i, j N s, s N; (2) a i < a j for all i N s, j N s+1, s N. We prove that a linear map T : A p (a, t) A p (a, t) with T e j = t i,je i, j N, is an isometry if and only if (1) t i,j e (a j a i )t 1 when a i < a j ; (2) t i,j e (a j a i ) ln p when a i > a j (e := 0); (3) max (i,j) Ns N s t i,j = 1 and det[t i,j ] (i,j) Ns N s = 1 for s N; (Theorem 5 and Proposition 7). In particular, if the sequence (a n ) is strictly increasing, then a linear map T : A p (a, t) A p (a, t) with T e j = t i,je i, j N, is an isometry if and only if (1) t i,j e (a j a i )t 1 when i < j; (2) t i,j e (a j a i ) ln p when i > j; (3) t i,i = 1 for i N. Finally we show that every linear isometry on A p (a, t) is surjective (Corollary 10 and Theorem 12). Thus the family I p (a, t) of all linear isometries on A p (a, t) forms a group by composition of maps. 2 Preliminaries The linear span of a subset A of a linear space E is denoted by lin A. By a seminorm on a linear space E we mean a function p : E [0, ) such that p(αx) = α p(x) for all α K, x E and p(x + y) max{p(x), p(y)} for all x, y E. A seminorm p on E is a norm if {x E : p(x) = 0} = {0}. 2
3 If p is a seminorm on a linear space E and x, y E with p(x) p(y), then p(x + y) = max{p(x), p(y)}. The set of all continuous seminorms on a lcs E is denoted by P(E). A nondecreasing sequence (p k ) of continuous seminorms on a metrizable lcs E is a base in P(E) if for any p P(E) there are C > 0 and k N such that p Cp k. A complete metrizable lcs is called a Fréchet space. Let E and F be locally convex spaces. A map T : E F is called an isomorphism if it is linear, injective, surjective and the maps T, T 1 are continuous. If there exists an isomorphism T : E F, then we say that E is isomorphic to F. The family of all continuous linear maps from E to F we denote by L(E, F ). Let E and F be Fréchet spaces with fixed bases ( k ) and ( k ) in P(E) and P(F ), respectively. A map T : E F is an isometry if T x T y k = x y k for all x, y E and k N; clearly, a linear map T : E F is an isometry if and only if T x k = x k for all x E and k N. A linear map T : E F is a contraction if T x k x k for all x E and k N. A rotation on E is a surjective isometry T : E E with T (0) = 0. By [3], Corollary 1.7, we have the following Proposition A. Let m N. Equip the linear space K m with the maximum norm. Let T : K m K m be a linear map with T e j = m t i,je i for 1 j m. Then T is an isometry if and only if max i,j t i,j = 1 and det[t i,j ] = 1. A sequence (x n ) in a lcs E is a Schauder basis in E if each x E can be written uniquely as x = n=1 α nx n with (α n ) K, and the coefficient functionals f n : E K, x α n (n N) are continuous. The coordinate sequence (e n ) is an unconditional Schauder basis in A p (a, t). 3 Results First we show when the power series spaces A p (a, t) and A q (b, s) are isometrically isomorphic. Theorem 1. Let p, q (0, ], t = (t k ) Λ p, s = (s k ) Λ q and a = (a n ), b = (b n ) Γ. Then the spaces A p (a, t) and A q (b, s) are isometrically isomorphic if and only if (1) there exist C, D R such that s k = Ct k + D and a k = Cb k for all k N; 3
4 (2) for every k N there is ψ k K with ψ k = e (D/C)a k. In this case the linear map P : A p (a, t) A q (b, s), (x n ) (ψ n x n ) is an isometric isomorphism. Proof. Let T : A p (a, t) A q (b, s) be an isometric isomorphism and let T e j = t i,je i for j N. Then max i t i,j e s kb i = e t ka j for all j, k N; so max i t i,j e s kb i t k a j = 1 for j, k N. Let j, k N with k > 1. Then for some i N we have t i,j = e t ka j s k b i, t i,j e t k+1a j s k+1 b i and t i,j e t k 1a j s k 1 b i. Hence we get (s k+1 s k )b i (t k+1 t k )a j and (t k t k 1 )a j (s k s k 1 )b i ; so s k+1 s k t k+1 t k a j b i s k s k 1 t k t k 1. Thus the sequence ( s k+1 s k t k+1 t k ) is nonincreasing. Similarly we infer that the sequence ( t k+1 t k s k+1 s k ) is nonincreasing, since the map T 1 : A q (b, s) A p (a, t) is an isometric isomorphism, too. It follows that the sequence ( s k+1 s k t k+1 t k ) is constant, so there is C > 0 such that s k+1 s k t k+1 t k = C for all k N. Moreover, for every j N there is i N with a j /b i = C and for every i N there is j N with b i /a j = 1/C. Thus {a j : j N} = {Cb i : i N}. For l > 1 we have s l Ct l = s 1 Ct 1, since l 1 l 1 s l s 1 = (s k+1 s k ) = C (t k+1 t k ) = C(t l t 1 ). k=1 k=1 Put D = s 1 Ct 1, then s k = Ct k + D for k N. Let (j k ) N, (i k ) N be strictly increasing sequences such that {a jk : k N} = {a j : j N}, {b ik : k N} = {b i : i N} and a jk < a jk +1, b ik < b ik +1 for k N. Hence we get a jk = Cb ik for k N, since {a j : j N} = {Cb i : i N}. Put j 0 = i 0 = 0 and M r = {j N : j r 1 < j j r }, W r = {i N : i r 1 < i i r } for r N; clearly W r = {i N : Cb i = a jr }. Let r N and (φ j ) j Mr max φ j e t ka jr K with max j Mr φ j > 0. Then we have = max φ j e t ka j = φ j e j k = T ( φ j e j ) k = Thus φ j t i,j e i k = ( t i,j φ j )e i k = max t i,j φ j e skbi. i max t i,j φ j e skbi tkajr i 4 = max φ j.
5 and Let k > 1. For some i N we have t i,j φ j = max φ j e t ka jr s k b i, t i,j φ j max φ j e t k+1a jr s k+1 b i t i,j φ j max φ j e t k 1a jr s k 1 b i. Hence we get (s k+1 s k )b i (t k+1 t k )a jr and (t k t k 1 )a jr (s k s k 1 )b i ; so Cb i a jr and a jr Cb i. Thus a jr = Cb i, so i W r. It follows that max t i,j φ j e skbi tkajr i W r = max φ j. We have s k b i t k a jr = (Ct k + D)a jr /C t k a jr = (D/C)a jr for i W r ; so max t i,j φ j e (D/C)ajr i W r = max φ j. Thus e (D/C)a jr = γ r for some γ r K. Put ψ j = γ r for every j M r. Then ψ j = e (D/C)a j for j M r. Since max i Wr t i,j φ j ψ 1 j = max j Mr φ j, the linear map U : K Mr K Wr, (φ j ) j Mr ( t i,j ψ 1 j φ j ) i Wr is an isometry, so M r W r. We have shown that j r j r 1 i r i r 1 for every r N. Similarly we get i r i r 1 j r j r 1 for every r N, since T 1 is an isometric isomorphism. Thus j r j r 1 = i r i r 1 for every r N; so j r = i r for r N. It follows that a j = Cb j for j N. Now we assume that (1) and (2) hold. Then the linear map P : A p (a, t) A q (b, s), (x j ) (ψ j x j ) is an isometric isomorphism. Indeed, P is surjective since for any y = (y j ) A q (b, s) we have x = (ψ 1 j y j ) A p (a, t) and P x = y. For x A p (a, t) and k N we have P x k = max j ψ j x j e s kb j = max j x j e (D/C)a j+s k b j = max x j e t ka j = x k. j By obvious modifications of the proof of Theorem 1 we get the following two propositions. 5
6 Proposition 2. Let p (0, ], t Λ p and a = (a n ), b = (b n ) Γ. Then A p (b, t) contains a linear isometric copy of A p (a, t) if and only if a is a subsequence of b. If (n j ) N is a strictly increasing sequence with a j = b nj, j N, then the map T : A p (a, t) A p (b, t), (x j ) (y j ), where y j = x k if j = n k for some k N, and y j = 0 for all other j N, is a linear isometry. Proposition 3. Let p, q (0, ], t Λ p, s Λ q and a, b Γ. If there exist linear isometries T : A p (a, t) A q (b, s) and S : A q (b, s) A p (a, t), then A p (a, t) and A q (b, s) are isometrically isomorphic. Remark 4. Let p, q (0, ], t Λ p, s Λ q and a, b Γ. If P : A p (a, t) A q (b, s) is an isometric isomorphism, then every isometric isomorphism T : A p (a, t) A q (b, s) is of the form P S where S is an isometric automorphism of A p (a, t). Now we determine all linear isometries on the space A p (a, t). Recall that (N s ) is a partition of N into nonempty finite subsets such that (1) a i = a j for all i, j N s, s N; (2) a i < a j for all i N s, j N s+1, s N. Theorem 5. Let p (0, ], t = (t k ) Λ p and a = (a n ) Γ. Let T : A p (a, t) A p (a, t) be a continuous linear map and let T e j = t i,je i for j N. Then T is an isometry if and only if (1) t i,j e (a j a i )t 1 when a i < a j, and t i,j e (a j a i ) ln p when a i > a j ; (2) max (i,j) Ns N s t i,j = 1 and det[t i,j ] (i,j) Ns N s = 1 for all s N. Proof. ( ) For k, j N we have T e j k = max i t i,j e t ka i and e j k = e t ka j. Thus max i t i,j e t k(a i a j ) = 1 for all j, k N. Hence t i,j e t k(a j a i ) for all i, j, k N; so t i,j inf k e t k(a j a i ) for all i, j N. It follows (1); moreover t i,j 1 when a i = a j. Let s N, j s = min N s and (β j ) j Ns K with max j Ns β j > 0. Then we have T ( j N s β j e j k = j N s β j t i,j e i k = ( j N s β j t i,j )e i k = max i j N s β j t i,j e t ka i and j N s β j e j k = max j Ns β j e t ka j = (max j Ns β j )e t ka js for all k N. Thus max β j t i,j e t k(a i a js ) = max β j, k N; i j N s j N s hence max i Ns j N s β j t i,j max j Ns β j. 6
7 Let k > 1. For some i k N we have If a ik < a js, then j N s β j t ik,j e t k(a ik a js ) = max j N s β j. max β j β j t ik,j e t k 1(a ik a js ) > β j t ik,j e t k(a ik a js ) = max β j ; j N s j N s j N s j N s if a ik > a js, then max β j β j t ik,j e t k+1(a ik a js ) > β j t ik,j e t k(a ik a js ) = max β j. j N s j N s j N s j N s It follows that a ik = a js, so i k N s and j N s β j t ik,j = max j Ns β j. Thus the following linear map is an isometry S : K Ns K Ns, (β j ) j Ns ( j N s β j t i,j ) i Ns. By Proposition A we get max (i,j) Ns N s t i,j = 1 and det[t i,j ] (i,j) Ns N s = 1. ( ) Let x = (β j ) A p (a, t) and k N. Clearly, T x k = lim m T ( m j=1 β je j ) k and x k = lim m m j=1 β je j k. Thus to prove that T x k = x k it is enough to show that T ( m j=1 β je j ) k = m j=1 β je j k for all m N. Let m N. We have T ( m β j e j ) = j=1 m j=1 β j t i,j e i = m ( β j t i,j )e i, so L := T ( m j=1 β je j ) k = max i m j=1 β jt i,j e t ka i ; clearly P := m j=1 β je j k = max 1 j m β j e t ka j. We shall prove that L = P. By (1) and (2) we have t i,j e t k(a j a i ) for all i, j N. Hence for i N we get m j=1 j=1 β j t i,j e t ka i max 1 j m β j e t ka j = P ; so L P. If P = 0, then L = P. Assume that P > 0. Put j 0 = max{1 j m : β j e t ka j = P } and β j = 0 for j > m. Let q, s N with m N q, j 0 N s. Put W s = {N l : 1 l < s} and M s = {N l : s < l q}. Then β j e t ka j β j0 e t ka j0 for j W s, β j e t ka j < β j0 e t ka j0 for j M s and max j Ns β j = β j0 > 0. By (2) and Proposition A, the linear map S : K Ns K Ns, (x j ) j Ns ( j N s t i,j x j ) i Ns 7
8 is an isometry, so max i Ns j N s t i,j β j = max j Ns β j = β j0. i 0 N s, we have j N s t i0,jβ j = β j0 ; clearly a i0 = a j0. If j W s, then β j t i0,j β j0 e t k(a j0 a j ) e (a j a j0 ) ln p = β j0 e (a j a j0 )(ln p t k ) < β j0, so j W s β j t i0,j < β j0. If j M s, then β j t i0,j < β j0 e t k(a j0 a j ) e t 1(a j a j0 ) = β j0 e (a j a j0 )(t 1 t k ) β j0, so j M s β j t i0,j < β j0. Thus m β j t i0,j = β j t i0,j + β j t i0,j + β j t i0,j = β j0, j=1 j W s j N s j M s so m j=1 β jt i0,j e t ka i0 = β j0 e t ka j0 = P. Hence P L. Thus L = P. By the proof of Theorem 5 we get the following. Thus for some Corollary 6. Let p (0, ], t = (t k ) Λ p and a = (a n ) Γ. Let T L(A p (a, t)) and T e j = t i,je i for j N. Then T is a contraction if and only if t i,j e (a j a i )t 1 when a i a j and t i,j e (a j a i ) ln p when a i > a j. Proposition 7. Let p (0, ], t = (t k ) Λ p and a = (a n ) Γ. Let (t i,j ) K with (1) t i,j e (a j a i )t 1 when a i < a j, and t i,j e (a j a i ) ln p when a i > a j ; (2) max (i,j) Ns N s t i,j = 1 and det[t i,j ] (i,j) Ns N s = 1 for all s N. Then there exists a linear isometry T on A p (a, t) such that T e j = t i,je i, j N. Proof. Let j N and k N. For i N with a i > a j we have t i,j e t ka i e (a j a i ) ln p+t k a i = e a j ln p+a i (t k ln p) if p (0, ), and t i,j e t ka i = 0, if p =. Thus lim i t i,j e i k = 0 for k N; so lim i t i,j e i = 0. Therefore the series t i,je i is convergent in A p (a, t) to some element T e j. Let x = (x j ) A p (a, t). We shall prove that lim j x j T e j = 0 in A p (a, t). By (1) and (2) we have t i,j e t k(a j a i ) for all i, j, k N. Let k N and j N. Then x j e t k+1a j x k+1 ; moreover T e j k = max i t i,j e t ka i j, k N; so lim j x j T e j = 0. e t ka j. Hence x j T e j k e (t k t k+1 )a j x k+1 for Thus the series j=1 x jt e j is convergent in A p (a, t) to some T x for every x A p (a, t). Clearly T x = lim n T n x, where T n : A p (a, t) A p (a, t), T n x = n j=1 x jt e j. The linear operators T n, n N, are continuous, so using the BanachSteinhaus theorem we infer that the operator T : A p (a, t) A p (a, t), x T x is linear and continuous. By Theorem 5, T is an isometry. By Proposition 7 and the proof of Theorem 5 we get the following. 8
9 Corollary 8. Let p (0, ], t Λ p and a Γ. Then a linear map T : A p (a, t) A p (a, t) is an isometry if and only if T e j k = e j k for all j, k N. Finally we shall show that every linear isometry on the space A p (a, t) is a surjection. For p = it follows from Theorem 5 and our next proposition. For p (0, ) the proof is much more complicated. Let p (0, ], t = (t k ) Λ p and a = (a n ) Γ. Put W k = k N i, M k = i=k N i for k N and N k,m = N k N m for all k, m N. For every m N there is v(m) N with m N v(m). Proposition 9. Let p (0, ], t = (t k ) Λ p and a = (a n ) Γ. Let D L(A p (a, t)) with De j = d i,je i for j N. Assume that (1) d i,j e t 1(a j a i ) when a i < a j, and d i,j = 0 when a i > a j ; (2) max (i,j) Ns,s d i,j = 1 and det[d i,j ] (i,j) Ns,s = 1 for all s N. Then D is surjective. Proof. We have lin{de j : j W k } lin{e i : i W k } for k N, since De j = i W k d i,j e i for j N k, k N. By Theorem 5 the operator D is a linear isometry, so D(A p (a, t)) is a closed subspace of A p (a, t) and the sequence (De j ) j Wk is linearly independent for every k N. Thus lin{de j : j W k } = lin{e i : i W k }, k N; so D(A p (a, t)) lin{e i : i N}. It follows that D is surjective. Corollary 10. Let t = (t k ) Λ and a = (a n ) Γ. Every linear isometry on A (a, t) is surjective. Proposition 11. Let p (0, ], t = (t k ) Λ p and a = (a n ) Γ. Let S L(A p (a, t)) with Se j = s i,je i for j N. Assume that (1) s i,j = 0 when a i < a j, and s i,j e (a j a i ) ln p when a i > a j ; (2) max (i,j) Nk,k s i,j = 1 and det[s i,j ] (i,j) Nk,k = 1 for k N. Then S is surjective. Proof. For x = (x j ) A p (a, t) we have Sx = x j Se j = x j s i,j e i = j=1 j=1 j=1 ( s i,j x j )e i = ( j W v(i) s i,j x j )e i. Let y = (y i ) A p (a, t). By (2) and Proposition A, there exists (x i ) i N1 K with max i N1 x i = max i N1 y i such that j N 1 s i,j x j = y i for i N 1. Assume that for some l N with l > 1 we have chosen (x j ) j Ns K for 1 s < l. 9
10 By (2) and Proposition A, there exists (x j ) j Nl K with max x i = max y i s i,j x j i N l i N l j W l 1 such that j N l s i,j x j = y i j W l 1 s i,j x j for i N l. Thus by induction we get x = (x j ) K N such that j W l s i,j x j = y i for all i N l, l N and max x i = max y i, and max x i = max y i s i,j x j for l > 1. i N 1 i N 1 i N l i N l j W l 1 Let k N. Clearly, max i W1 x i e t ka i = max i W1 y i e t ka i. For l > 1, i N l, j W l 1 we have s i,j x j e t ka i e (a j a i ) ln p+t k a i x j = e (a j a i )(ln p t k ) x j e t ka j x j e t ka j. Thus by induction we get max i Wl x i e t ka i max i Wl y i e t ka i for all l N. It follows that x A p (a, t). We have Sx = ( s i,j x j )e i = i N l j W l l=1 l=1 i N l y i e i = y i e i = y. Thus S is a surjection. Theorem 12. Let p (0, ), t = (t k ) Λ p and a = (a n ) Γ. Every linear isometry T on A p (a, t) is surjective. Proof. Let k, m N. Denote by M k,m the family of all matrixes B = [β i,j ] (i,j) Nk,m with (β i,j ) K such that a) β i,j e (a j a i ) ln p for (i, j) N k,m, if k > m; b) β i,j e t 1(a j a i ) for (i, j) N k,m, if k < m; c) β i,j 1 for (i, j) N k,m and det[β i,j ] (i,j) Nk,m = 1, if k = m. By Proposition A, for every k N and B M k,k we have B 1 M k,k. Let T e j = t i,je i for j N. Put T k,m = [t i,j ] (i,j) Nk,m and I k,m = [δ i,j ] (i,j) Nk,m for all k, m N. We define matrixes D k,m, S k,m M k,m for k N and m = 1, 2, 3,.... Put D k,1 = I k,1 and S k,1 = T k,1 for k N; clearly D k,1, S k,1 M k,1 for k N. Assume that for some m N with m > 1 we have D k,j, S k,j M k,j for k N and 1 j < m. Let D 1,m = S 1 1,1T 1,m. It is easy to see that D 1,m M 1,m, since S 1 1,1 M 1,1 and T 1,m M 1,m. 10
11 Let C k,m = k 1 v=1 S k,vd v,m and D k,m = S 1 k,k [T k,m C k,m ] for k = 2, 3,..., m 1. Let 1 < k < m. Let [s i,n ] (i,n) Nk,v = S k,v and [d n,j ] (n,j) Nv,m = D v,m for 1 v < k. Put [c i,j ] (i,j) Nk,m = C k,m. Then k 1 c i,j = s i,n d n,j max s i,n d n,j n W k 1 v=1 n N v for (i, j) N k,m. For i N k, j N m and n W k 1 we have s i,n d n,j e (an a i) ln p+t 1 (a j a n) = e (an a i)(ln p t 1 )+t 1 (a j a i ) e t 1(a j a i ) ; hence C k,m M k,m. Since S 1 k,k M k,k and T k,m M k,m, we infer that D k,m M k,m for k = 2,..., m 1. Let D k,m = I k,m for k m; clearly D k,m M k,m. Let S k,m = I k,m for 1 k < m; then S k,m M k,m. Let C k,m = m 1 v=1 S k,vd v,m and S k,m = T k,m C k,m for k m. Let k m. Let [s i,n ] (i,n) Nk,v = S k,v and [d n,j ] (n,j) Nv,m = D v,m for 1 v < m. Put [c i,j ] (i,j) Nk,m = C k,m. Then m 1 c i,j = v=1 n N v s i,n d n,j max s i,n d n,j n W m 1 for (i, j) N k,m. For i N k, j N m and n W m 1 we have s i,n d n,j e (an a i) ln p+t 1 (a j a n) = e (an a j)(ln p t 1 )+ln p(a j a i ) < e (a j a i ) ln p ; hence C k,m M k,m. Since t i,j e (a j a i ) ln p for (i, j) N k,m, we get S k,m M k,m for k > m and c i,j < 1 for all (i, j) N m,m. Thus for some (ϕ σ ) σ S(Nm) {α K : α < 1} we have det S m,m = σ S(N m) sgn σ det(t m,m ) It follows that S m,m M m,m. i N m (t i,σ(i) c i,σ(i) ) = σ S(N m) By definition of D k,m and S k,m we get σ S(N m) sgn σ[( sgn σ ϕ σ = det(t m,m ) = 1. i N m t i,σ(i) ) ϕ σ ] = a) T k,1 = S k,1 = k v=1 S k,vd v,1 for k N; b) S 1,1 D 1,m = T 1,m for m 2 and S k,k D k,m = T k,m k 1 v=1 S k,vd v,m for 2 k < m, so T k,m = k v=1 S k,vd v,m for 1 k < m; c) S k,m D m,m = S k,m = T k,m m 1 v=1 S k,vd v,m for k m > 1, 11
12 so T k,m = m v=1 S k,vd v,m = k v=1 S k,vd v,m for k m > 1. Thus ( ) T k,m = k v=1 S k,vd v,m = v=1 S k,vd v,m for all k, m N. Let [s i,j ] (i,j) N N and [d i,j ] (i,j) N N be matrixes such that [s i,j ] (i,j) Nk,m = S k,m and [d i,j ] (i,j) Nk,m = D k,m for all k, m N. By Theorem 5 and Proposition 7, there exist linear isometries S and D on A p (a, t) such that Se j = s i,je i and De j = d i,je i for all j N; by Propositions 9 and 11, these isometries are surjective. Using ( ) we get t i,j = k v=1 n N v s i,n d n,j = s i,n d n,j v=1 n=1 n N v s i,n d n,j = for (i, j) N k,m and k, m N. Hence for j N we get SDe j = S( d n,j e n ) = d n,j ( s i,n e i ) = n=1 n=1 so T = SD. Thus T is surjective. ( s i,n d n,j )e i = n=1 t i,j e i = T e j ; Let p (0, ], t = (t k ) Λ p and a = (a n ) Γ. For every m N there is v(m) with m N v(m). Denote by D p (a, t), K p (a, t) and S p (a, t) the families of all linear isometries on A p (a, t) such that T e j = i W v(j) t i,j e i, T e j = i N v(j) t i,j e i and T e j = i M v(j) t i,j e i for j N, respectively. We have the following two propositions. Proposition 13. D p (a, t), K p (a, t) and S p (a, t) are subgroups of the group I p (a, t) of all linear isometries on A p (a, t). Moreover D (a, t) = I (a, t) and S (a, t) = K (a, t). For every T I p (a, t) there exist D D p (a, t) and S S p (a, t) such that T = S D. Proof. The last part of the proposition follows by the proof of Theorem 12. Clearly, I p (a, t) is a subgroup of the group of all automorphisms of A p (a, t); moreover D (a, t) = I (a, t) and S (a, t) = K (a, t). Let S, T S p (a, t). Let j N. We have ST e j = S( t i,j e i ) = t i,j ( s k,i e k ) = k=1 ( s k,i t i,j )e k. k=1 12
13 If a k < a j, then for every i N we have a k < a i or a i < a j ; so s k,i = 0 or t i,j = 0 for i N. Thus s k,it i,j = 0 for k N with a k < a j ; so ST S p (a, t). Let k N. For some x k = (x j,k ) A p (a, t) we have Sx k = e k. By the proof of Proposition 11 we have max{ x j,k e t 1a j : a j < a k } = 0, so x j,k = 0 for j N with a j < a k. Hence S 1 (e k ) = j M v(k) x j,k e j, so S 1 S p (a, t). We have shown that S p (a, t) is a subgroup of I p (a, t). Let D, T D p (a, t). Let j N. We have DT e j = k=1 ( d k,it i,j )e k. If a k > a j, then for every i N we have a k > a i or a i > a j ; so d k,i = 0 or t i,j = 0 for i N. Thus d k,it i,j = 0 for every k N with a k > a j, so DT D p (a, t). Let k N. Put F k = lin{e i : a i a k }. We know that D(F k ) = F k. Thus there exists x k = (x j,k ) F k such that Dx k = e k. Then x j,k = 0 for j N with a j > a k and D 1 (e k ) = x k = j W v(k) x j,k e j, so D 1 D p (a, t). Thus D p (a, t) is a subgroup of I p (a, t). Clearly, K p (a, t) = S p (a, t) D p (a, t), so K p (a, t) is subgroup of I p (a, t). Proposition 14. I p (a, t) I p (a, s) if and only if t 1 s 1. In particular, I p (a, t) = I p (a, s) if and only if t 1 = s 1. Proof. If t 1 s 1, then using Theorem 5 we get I p (a, t) I p (a, s). Assume that t 1 > s 1. Then lim j e (t 1 s 1 )(a j a 1 ) =, so there exists j 0 > 1 and β 0 K such that e s 1(a j0 a 1 ) < β 0 e t 1(a j0 a 1 ). Let T L(A p (a, t)) with T e j j N. By Theorem 5, we have T I p (a, t) and T / I p (a, s). = e j + β 0 δ j0,je 1 for In relation with Corollary 10 and Theorem 12 we give the following two examples and state one open problem. Let p (0, ], t = (t k ) Λ p and a = (a n ) Γ. For every isometry F on K the map T F : A p (a, t) A p (a, t), (x n ) (F x n ) is an isometry on A p (a, t). Example 1. Assume that the field K is not spherically complete or the residue class field of K is infinite. Then there exists an isometry on A p (a, t) which is not a surjection. Indeed, by [5], Theorem 2, there is an isometry F on K which is not surjective. Then the map T F is an isometry on A p (a, t) which is not a surjection. Problem. Assume that K is spherically complete with finite residue class. Does every isometry on A p (a, t) is surjective? 13
14 Example 2. On A p (a, t) there exists a nonlinear rotation. Indeed, put S K = {β K : β = 1} and let f : [0, ) S K be a function which is not constant on the set { α : α K with α > 0}. Then the map F : K K, F (x) = f( x )x is a nonlinear surjective isometry with F (0) = 0. In fact, let x, y K. If x = y, then F (x) F (y) = f( x )x f( y )y = f( x ) x y = x y. If x y, then F (x) = x y = F (y), so F (x) F (y) = max{ F (x), F (y) } = max{ x, y } = x y. If α S K, then F (αx) = αf (x), so F (x/f( x )) = (1/f( x ))f( x )x = x for every x K. Let α (K \ {0}) with f( α ) f(1), then F (α1) αf (1). Then T F is an nonlinear surjective isometry on A p (a, t) with T F (0) = 0. References [1] De GrandeDe Kimpe, N. Nonarchimedean Fréchet spaces generalizing spaces of analytic functions, Indag. Mathem., 44 (1982), [2] PerezGarcia, C. and Schikhof, W.H. Locally Convex Spaces over Non Archimedean Valued Fields, Cambridge studies in advanced mathematics, 119, Cambridge University Press, [3] Rooij, A.C.M. van Notes on padic Banach spaces, Report 7633, Department of Mathematics, University of Nijmegen, [4] Rooij, A.C.M. van Nonarchimedean functional analysis, Marcel Dekker, New York (1978). [5] Schikhof, W.H. Isometrical embeddings of ultrametric spaces into nonarchimedean valued fields, Indag. Mathem., 87 (1984), [6] Schikhof, W.H. Locally convex spaces over nonspherically complete valued fields, Bull. Soc. Math. Belg., 38 (1986), [7] Śliwa, W. On the quasi equivalence of orthogonal bases in nonarchimedean metrizable locally convex spaces, Bull. Belg. Math. Soc., 9 (2002),
15 [8] Śliwa, W. On relations between nonarchimedean power series spaces, Indag. Mathem., N.S., 17 (2006), [9] Śliwa, W. and Ziemkowska, A. On complemented subspaces of nonarchimedean power series spaces, Canad. J. Math., to appear. Authors Address: Faculty of Mathematics and Computer Science A. Mickiewicz University ul. Umultowska 87, Poznań, POLAND 15
PROPERTIES OF SOME NEW SEMINORMED SEQUENCE SPACES DEFINED BY A MODULUS FUNCTION
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume L, Number 3, September 2005 PROPERTIES OF SOME NEW SEMINORMED SEQUENCE SPACES DEFINED BY A MODULUS FUNCTION YAVUZ ALTIN AYŞEGÜL GÖKHAN HIFSI ALTINOK Abstract.
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction
ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZPÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by MenGen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationMATH 110 Spring 2015 Homework 6 Solutions
MATH 110 Spring 2015 Homework 6 Solutions Section 2.6 2.6.4 Let α denote the standard basis for V = R 3. Let α = {e 1, e 2, e 3 } denote the dual basis of α for V. We would first like to show that β =
More informationThree observations regarding Schatten p classes
Three observations regarding Schatten p classes Gideon Schechtman Abstract The paper contains three results, the common feature of which is that they deal with the Schatten p class. The first is a presentation
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationTHE BANACH CONTRACTION PRINCIPLE. Contents
THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,
More informationMatrix Norms. Tom Lyche. September 28, Centre of Mathematics for Applications, Department of Informatics, University of Oslo
Matrix Norms Tom Lyche Centre of Mathematics for Applications, Department of Informatics, University of Oslo September 28, 2009 Matrix Norms We consider matrix norms on (C m,n, C). All results holds for
More informationMATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.
MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets. Norm The notion of norm generalizes the notion of length of a vector in R n. Definition. Let V be a vector space. A function α
More information{f 1 (U), U F} is an open cover of A. Since A is compact there is a finite subcover of A, {f 1 (U 1 ),...,f 1 (U n )}, {U 1,...
44 CHAPTER 4. CONTINUOUS FUNCTIONS In Calculus we often use arithmetic operations to generate new continuous functions from old ones. In a general metric space we don t have arithmetic, but much of it
More informationLinear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)
MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of
More information1 Normed vector spaces and convexity
B4a Banach spaces lectured by Dmitry Belyaev based on notes by B. Kirchheim and CJK Batty 1 Normed vector spaces and convexity Mods analysis on the real line derives many of its basic statements (algebra
More informationChapter 1. Metric Spaces. Metric Spaces. Examples. Normed linear spaces
Chapter 1. Metric Spaces Metric Spaces MA222 David Preiss d.preiss@warwick.ac.uk Warwick University, Spring 2008/2009 Definitions. A metric on a set M is a function d : M M R such that for all x, y, z
More informationMikołaj Krupski. Regularity properties of measures on compact spaces. Instytut Matematyczny PAN. Praca semestralna nr 1 (semestr zimowy 2010/11)
Mikołaj Krupski Instytut Matematyczny PAN Regularity properties of measures on compact spaces Praca semestralna nr 1 (semestr zimowy 2010/11) Opiekun pracy: Grzegorz Plebanek Regularity properties of measures
More informationx if x 0, x if x < 0.
Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationOn the greatest and least prime factors of n! + 1, II
Publ. Math. Debrecen Manuscript May 7, 004 On the greatest and least prime factors of n! + 1, II By C.L. Stewart In memory of Béla Brindza Abstract. Let ε be a positive real number. We prove that 145 1
More information16.3 Fredholm Operators
Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this
More informationMatrix Representations of Linear Transformations and Changes of Coordinates
Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under
More informationSection 6.1  Inner Products and Norms
Section 6.1  Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,
More informationNOTES ON LINEAR TRANSFORMATIONS
NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all
More informationMINIMAL GENERATOR SETS FOR FINITELY GENERATED SHIFTINVARIANT SUBSPACES OF L 2 (R n )
MINIMAL GENERATOR SETS FOR FINITELY GENERATED SHIFTINVARIANT SUBSPACES OF L 2 (R n ) MARCIN BOWNIK AND NORBERT KAIBLINGER Abstract. Let S be a shiftinvariant subspace of L 2 (R n ) defined by N generators
More informationInner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
More informationLecture Notes on Measure Theory and Functional Analysis
Lecture Notes on Measure Theory and Functional Analysis P. Cannarsa & T. D Aprile Dipartimento di Matematica Università di Roma Tor Vergata cannarsa@mat.uniroma2.it daprile@mat.uniroma2.it aa 2006/07 Contents
More information4.5 Linear Dependence and Linear Independence
4.5 Linear Dependence and Linear Independence 267 32. {v 1, v 2 }, where v 1, v 2 are collinear vectors in R 3. 33. Prove that if S and S are subsets of a vector space V such that S is a subset of S, then
More informationn k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...
6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence
More informationMATH10212 Linear Algebra. Systems of Linear Equations. Definition. An ndimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0534405967. Systems of Linear Equations Definition. An ndimensional vector is a row or a column
More information6.4 The Infinitely Many Alleles Model
6.4. THE INFINITELY MANY ALLELES MODEL 93 NE µ [F (X N 1 ) F (µ)] = + 1 i
More informationOn fractional parts of powers of real numbers close to 1
On fractional parts of powers of real numbers close to 1 Yann BUGEAUD and Niolay MOSHCHEVITIN Abstract We prove that there exist arbitrarily small positive real numbers ε such that every integral power
More informationALGEBRAIC QUANTUM PERMUTATION GROUPS
ALGEBRAIC QUANTUM PERMUTATION GROUPS JULIEN BICHON Abstract. We discuss some algebraic aspects of quantum permutation groups, working over arbitrary fields. If K is any characteristic zero field, we show
More informationMATH 131 SOLUTION SET, WEEK 12
MATH 131 SOLUTION SET, WEEK 12 ARPON RAKSIT AND ALEKSANDAR MAKELOV 1. Normalisers We first claim H N G (H). Let h H. Since H is a subgroup, for all k H we have hkh 1 H and h 1 kh H. Since h(h 1 kh)h 1
More informationTRIPLE FIXED POINTS IN ORDERED METRIC SPACES
Bulletin of Mathematical Analysis and Applications ISSN: 18211291, URL: http://www.bmathaa.org Volume 4 Issue 1 (2012., Pages 197207 TRIPLE FIXED POINTS IN ORDERED METRIC SPACES (COMMUNICATED BY SIMEON
More informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationGeometrical Characterization of RNoperators between Locally Convex Vector Spaces
Geometrical Characterization of RNoperators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg
More informationSystems of Linear Equations
Systems of Linear Equations Beifang Chen Systems of linear equations Linear systems A linear equation in variables x, x,, x n is an equation of the form a x + a x + + a n x n = b, where a, a,, a n and
More informationGROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.
Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the
More informationVector Spaces II: Finite Dimensional Linear Algebra 1
John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition
More informationIntroduction to MonteCarlo Methods
Introduction to MonteCarlo Methods Bernard Lapeyre Halmstad January 2007 MonteCarlo methods are extensively used in financial institutions to compute European options prices to evaluate sensitivities
More informationThe determinant of a skewsymmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14
4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationARC AND CURVE GRAPHS FOR INFINITETYPE SURFACES
ARC AND CURVE GRAPHS FOR INFINITETYPE SURFACES JAVIER ARAMAYONA, ARIADNA FOSSAS & HUGO PARLIER Abstract. We study arc graphs and curve graphs for surfaces of infinite topological type. First, we define
More informationSumit Chandok and T. D. Narang INVARIANT POINTS OF BEST APPROXIMATION AND BEST SIMULTANEOUS APPROXIMATION
F A S C I C U L I M A T H E M A T I C I Nr 51 2013 Sumit Chandok and T. D. Narang INVARIANT POINTS OF BEST APPROXIMATION AND BEST SIMULTANEOUS APPROXIMATION Abstract. In this paper we generalize and extend
More informationOn Nicely Smooth Banach Spaces
E extracta mathematicae Vol. 16, Núm. 1, 27 45 (2001) On Nicely Smooth Banach Spaces Pradipta Bandyopadhyay, Sudeshna Basu StatMath Unit, Indian Statistical Institute, 203 B.T. Road, Calcutta 700035,
More informationMath 4310 Handout  Quotient Vector Spaces
Math 4310 Handout  Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More informationOrthogonal Diagonalization of Symmetric Matrices
MATH10212 Linear Algebra Brief lecture notes 57 Gram Schmidt Process enables us to find an orthogonal basis of a subspace. Let u 1,..., u k be a basis of a subspace V of R n. We begin the process of finding
More informationINTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES
INTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES FERNANDO BOMBAL AND IGNACIO VILLANUEVA Abstract. We study and characterize the integral multilinear operators on a product of C(K) spaces in terms of the
More informationTRIPLE POSITIVE SOLUTIONS FOR BOUNDARY VALUE PROBLEM OF A NONLINEAR FRACTIONAL DIFFERENTIAL EQUATION. Communicated by Mohammad Asadzadeh
Bulletin of the Iranian Mathematical Society Vol. 33 No. 2 (27), pp . TRIPLE POSITIVE SOLUTIONS FOR BOUNDARY VALUE PROBLEM OF A NONLINEAR FRACTIONAL DIFFERENTIAL EQUATION R. DEHGHANI AND K. GHANBARI*
More informationMATH PROBLEMS, WITH SOLUTIONS
MATH PROBLEMS, WITH SOLUTIONS OVIDIU MUNTEANU These are free online notes that I wrote to assist students that wish to test their math skills with some problems that go beyond the usual curriculum. These
More informationBOUNDED, ASYMPTOTICALLY STABLE, AND L 1 SOLUTIONS OF CAPUTO FRACTIONAL DIFFERENTIAL EQUATIONS. Muhammad N. Islam
Opuscula Math. 35, no. 2 (215), 181 19 http://dx.doi.org/1.7494/opmath.215.35.2.181 Opuscula Mathematica BOUNDED, ASYMPTOTICALLY STABLE, AND L 1 SOLUTIONS OF CAPUTO FRACTIONAL DIFFERENTIAL EQUATIONS Muhammad
More informationNotes on metric spaces
Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationMetric Spaces Joseph Muscat 2003 (Last revised May 2009)
1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of
More informationLinear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:
Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),
More informationPETER G. CASAZZA AND GITTA KUTYNIOK
A GENERALIZATION OF GRAM SCHMIDT ORTHOGONALIZATION GENERATING ALL PARSEVAL FRAMES PETER G. CASAZZA AND GITTA KUTYNIOK Abstract. Given an arbitrary finite sequence of vectors in a finite dimensional Hilbert
More informationPOWER SETS AND RELATIONS
POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. GacovskaBarandovska
Pliska Stud. Math. Bulgar. 22 (2015), STUDIA MATHEMATICA BULGARICA ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION E. I. Pancheva, A. GacovskaBarandovska Smirnov (1949) derived four
More information1 Norms and Vector Spaces
008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)
More informationName: Section Registered In:
Name: Section Registered In: Math 125 Exam 3 Version 1 April 24, 2006 60 total points possible 1. (5pts) Use Cramer s Rule to solve 3x + 4y = 30 x 2y = 8. Be sure to show enough detail that shows you are
More informationGroup Theory. Contents
Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation
More informationM. Abu Hammad 1, R. Khalil 2. University of Jordan
International Journal of Differential Equations and Applications Volume 13 No. 3 014, 177183 ISSN: 131187 url: http://www.ijpam.eu doi: http://dx.doi.org/10.173/ijdea.v13i3.1753 PA acadpubl.eu ABEL S
More informationON A GLOBALIZATION PROPERTY
APPLICATIONES MATHEMATICAE 22,1 (1993), pp. 69 73 S. ROLEWICZ (Warszawa) ON A GLOBALIZATION PROPERTY Abstract. Let (X, τ) be a topological space. Let Φ be a class of realvalued functions defined on X.
More informationLegendre fractional differential equation and Legender fractional polynomials
International Journal of Applied Mathematical Research, 3 (3) (2014) 214219 c Science Publishing Corporation www.sciencepubco.com/index.php/ijamr doi: 10.14419/ijamr.v3i3.2747 Research Paper Legendre
More informationMATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix.
MATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix. Nullspace Let A = (a ij ) be an m n matrix. Definition. The nullspace of the matrix A, denoted N(A), is the set of all ndimensional column
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationMonotone maps of R n are quasiconformal
Monotone maps of R n are quasiconformal K. Astala, T. Iwaniec and G. Martin For Neil Trudinger Abstract We give a new and completely elementary proof showing that a δ monotone mapping of R n, n is K quasiconformal
More informationFinite dimensional C algebras
Finite dimensional C algebras S. Sundar September 14, 2012 Throughout H, K stand for finite dimensional Hilbert spaces. 1 Spectral theorem for selfadjoint opertors Let A B(H) and let {ξ 1, ξ 2,, ξ n
More informationThe HenstockKurzweilStieltjes type integral for real functions on a fractal subset of the real line
The HenstockKurzweilStieltjes type integral for real functions on a fractal subset of the real line D. Bongiorno, G. Corrao Dipartimento di Ingegneria lettrica, lettronica e delle Telecomunicazioni,
More information1. Let X and Y be normed spaces and let T B(X, Y ).
Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: NVP, Frist. 20050314 Skrivtid: 9 11.30 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More informationMA106 Linear Algebra lecture notes
MA106 Linear Algebra lecture notes Lecturers: Martin Bright and Daan Krammer Warwick, January 2011 Contents 1 Number systems and fields 3 1.1 Axioms for number systems......................... 3 2 Vector
More information0 <β 1 let u(x) u(y) kuk u := sup u(x) and [u] β := sup
456 BRUCE K. DRIVER 24. Hölder Spaces Notation 24.1. Let Ω be an open subset of R d,bc(ω) and BC( Ω) be the bounded continuous functions on Ω and Ω respectively. By identifying f BC( Ω) with f Ω BC(Ω),
More informationA PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of RouHuai Wang
A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS XAVIER CABRÉ, MANEL SANCHÓN, AND JOEL SPRUCK In memory of RouHuai Wang 1. Introduction In this note we consider semistable
More informationCongruent Numbers, the Rank of Elliptic Curves and the Birch and SwinnertonDyer Conjecture. Brad Groff
Congruent Numbers, the Rank of Elliptic Curves and the Birch and SwinnertonDyer Conjecture Brad Groff Contents 1 Congruent Numbers... 1.1 Basic Facts............................... and Elliptic Curves.1
More informationPART I. THE REAL NUMBERS
PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS
More informationand s n (x) f(x) for all x and s.t. s n is measurable if f is. REAL ANALYSIS Measures. A (positive) measure on a measurable space
RAL ANALYSIS A survey of MA 641643, UAB 19992000 M. Griesemer Throughout these notes m denotes Lebesgue measure. 1. Abstract Integration σalgebras. A σalgebra in X is a nonempty collection of subsets
More information2 Complex Functions and the CauchyRiemann Equations
2 Complex Functions and the CauchyRiemann Equations 2.1 Complex functions In onevariable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)
More informationClassification of Cartan matrices
Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms
More informationQuasi Contraction and Fixed Points
Available online at www.ispacs.com/jnaa Volume 2012, Year 2012 Article ID jnaa00168, 6 Pages doi:10.5899/2012/jnaa00168 Research Article Quasi Contraction and Fixed Points Mehdi Roohi 1, Mohsen Alimohammady
More informationDynamics for the solutions of the waterhammer equations
Dynamics for the solutions of the waterhammer equations J. Alberto Conejero (IUMPAUniversitat Politècnica de València). Joint work with C. Lizama (Universidad Santiado de Chile) and F. Ródenas (IUMPAUniversitat
More informationAN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION. Abstract
AN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION T. M. Atanackovic 1 and B. Stankovic 2 Dedicated to Professor Ivan H. Dimovski on the occasion of his 7th birthday Abstract An expansion
More informationMath 497C Sep 9, Curves and Surfaces Fall 2004, PSU
Math 497C Sep 9, 2004 1 Curves and Surfaces Fall 2004, PSU Lecture Notes 2 15 sometries of the Euclidean Space Let M 1 and M 2 be a pair of metric space and d 1 and d 2 be their respective metrics We say
More informationFurther Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1
Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1 J. Zhang Institute of Applied Mathematics, Chongqing University of Posts and Telecommunications, Chongqing
More informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More informationSec 4.1 Vector Spaces and Subspaces
Sec 4. Vector Spaces and Subspaces Motivation Let S be the set of all solutions to the differential equation y + y =. Let T be the set of all 2 3 matrices with real entries. These two sets share many common
More informationWHICH LINEARFRACTIONAL TRANSFORMATIONS INDUCE ROTATIONS OF THE SPHERE?
WHICH LINEARFRACTIONAL TRANSFORMATIONS INDUCE ROTATIONS OF THE SPHERE? JOEL H. SHAPIRO Abstract. These notes supplement the discussion of linear fractional mappings presented in a beginning graduate course
More informationAppendix A. Appendix. A.1 Algebra. Fields and Rings
Appendix A Appendix A.1 Algebra Algebra is the foundation of algebraic geometry; here we collect some of the basic algebra on which we rely. We develop some algebraic background that is needed in the text.
More information1 Valuations of the field of rational numbers
1 Valuations of the field of rational numbers We will begin by reviewing the construction of real numbers from rational numbers. Recall that the field of rational numbers Q is a totally ordered field by
More informationMath 231b Lecture 35. G. Quick
Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the Jhomomorphism could be defined by
More informationEXTENSIONS OF MAPS IN SPACES WITH PERIODIC HOMEOMORPHISMS
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 78, Number 4, July 1972 EXTENSIONS OF MAPS IN SPACES WITH PERIODIC HOMEOMORPHISMS BY JAN W. JAWOROWSKI Communicated by Victor Klee, November 29, 1971
More informationTheta Functions. Lukas Lewark. Seminar on Modular Forms, 31. Januar 2007
Theta Functions Lukas Lewark Seminar on Modular Forms, 31. Januar 007 Abstract Theta functions are introduced, associated to lattices or quadratic forms. Their transformation property is proven and the
More informationELECE8104 Stochastics models and estimation, Lecture 3b: Linear Estimation in Static Systems
Stochastics models and estimation, Lecture 3b: Linear Estimation in Static Systems Minimum Mean Square Error (MMSE) MMSE estimation of Gaussian random vectors Linear MMSE estimator for arbitrarily distributed
More informationQuadratic Functions, Optimization, and Quadratic Forms
Quadratic Functions, Optimization, and Quadratic Forms Robert M. Freund February, 2004 2004 Massachusetts Institute of echnology. 1 2 1 Quadratic Optimization A quadratic optimization problem is an optimization
More informationNilpotent Lie and Leibniz Algebras
This article was downloaded by: [North Carolina State University] On: 03 March 2014, At: 08:05 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered
More information