On an isomorphic Banach-Mazur rotation problem and maximal norms in Banach spaces

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "On an isomorphic Banach-Mazur rotation problem and maximal norms in Banach spaces"

Transcription

1 On an isomorphic Banach-Mazur rotation problem and maximal norms in Banach spaces B. Randrianantoanina (joint work with Stephen Dilworth) Department of Mathematics Miami University Ohio, USA Conference on Geometric Functional Analysis and its Applications Besançon, France October 27-31, 2014

2 Banach-Mazur Rotation Problem 1932 Problem Is every separable Banach space with a transitive group of isometries isometrically isomorphic to a Hilbert space? Definition A norm on X is called transitive if the orbit under the group of isometries of any element x in the unit sphere of X is equal to the unit sphere of X. i.e. x, y S X, T Isom(X) : Tx = y. Throughout this talk isometry will mean linear surjective isometry.

3 Theorem (Mazur) If a finite dimensional Banach space X is transitive then it is isometric to a Hilbert space.

4 Theorem (Mazur) If a finite dimensional Banach space X is transitive then it is isometric to a Hilbert space. Theorem (Pełczyński-Rolewicz) There exist non-separable transitive Banach spaces which are not isomorphic to a Hilbert space.

5 Theorem (Mazur) If a finite dimensional Banach space X is transitive then it is isometric to a Hilbert space. Theorem (Pełczyński-Rolewicz) There exist non-separable transitive Banach spaces which are not isomorphic to a Hilbert space. Theorem (Lusky 1979) Every separable Banach space (X, ) is complemented in a separable almost transitive space (Y, ). Definition A norm on X is called almost transitive if the orbit under the group of isometries of any element x in the unit sphere of X is norm dense in the unit sphere of X. i.e. x, y S X, ε > 0 T Isom(X) : Tx y < ε.

6 Problem of Deville, Godefroy and Zizler 1993 Problem Does every super-reflexive space admit an equivalent almost transitive norm?

7 Problem of Deville, Godefroy and Zizler 1993 Problem Does every super-reflexive space admit an equivalent almost transitive norm? The study of isometry groups of renormings of X is equivalent to the study of bounded subgroups of the group GL(X) of all isomorphisms from X onto X. Indeed, if G is a bounded subgroup of GL(X) (i.e. sup g G g < ) we can define an equivalent norm G on X by x G = sup gx. g G Then G is a subgroup of Isom(X, G ), and Isom(X, G ) is a bounded subgroup of GL(X).

8 Problem of Deville, Godefroy and Zizler 1993 Problem Does every super-reflexive space admit an equivalent almost transitive norm? The study of isometry groups of renormings of X is equivalent to the study of bounded subgroups of the group GL(X) of all isomorphisms from X onto X. Indeed, if G is a bounded subgroup of GL(X) (i.e. sup g G g < ) we can define an equivalent norm G on X by x G = sup gx. g G Then G is a subgroup of Isom(X, G ), and Isom(X, G ) is a bounded subgroup of GL(X). Theorem (Ferenczi and Rosendal 2013) No.

9 Problem of Deville, Godefroy and Zizler 1993 Problem Does every super-reflexive space admit an equivalent almost transitive norm? The study of isometry groups of renormings of X is equivalent to the study of bounded subgroups of the group GL(X) of all isomorphisms from X onto X. Indeed, if G is a bounded subgroup of GL(X) (i.e. sup g G g < ) we can define an equivalent norm G on X by x G = sup gx. g G Then G is a subgroup of Isom(X, G ), and Isom(X, G ) is a bounded subgroup of GL(X). Theorem (Ferenczi and Rosendal 2013) No. There exists a complex super-reflexive HI space which does not admit an equivalent almost transitive renorming.

10 Theorem The spaces l p, 1 < p <, p 2, and all infinite-dimensional subspaces of their quotient spaces do not admit equivalent almost transitive renormings.

11 Theorem The spaces l p, 1 < p <, p 2, and all infinite-dimensional subspaces of their quotient spaces do not admit equivalent almost transitive renormings. Key Lemma Suppose that a Banach space X with a Schauder basis contains an almost transitive subspace Y. Then, given δ > 0, y 0 Y, and N N, there exists y Y, with PN X (y) < δ, such that for all scalars a, b, we have ( (1 δ) a 2 y b 2) 1 2 ( ay 0 + by (1+δ) a 2 y b 2) 1 2.

12 Proof of Key Lemma By compactness n := n(n, δ) such that if (y i ) n i=1 B Y then 1 i < j n such that P X N (y j y i ) < δ.

13 Proof of Key Lemma By compactness n := n(n, δ) such that if (y i ) n i=1 B Y then 1 i < j n such that P X N (y j y i ) < δ. By Dvoretzky s theorem and almost transitivity of Y, (y i ) n i=1 S Y such that for all scalars a, b 1,..., b n, we have (1 δ) ( a 2 y ) 1/2 n b i 2 ay 0 + i=1 (1 + δ) n b i y i i=1 ( a 2 y ) 1/2 n b i 2 i=1

14 Proof of Key Lemma By compactness n := n(n, δ) such that if (y i ) n i=1 B Y then 1 i < j n such that P X N (y j y i ) < δ. By Dvoretzky s theorem and almost transitivity of Y, (y i ) n i=1 S Y such that for all scalars a, b 1,..., b n, we have (1 δ) ( a 2 y ) 1/2 n b i 2 ay 0 + i=1 (1 + δ) n b i y i i=1 ( a 2 y Choose 1 i < j n such that P X N (y j y i ) < δ and set y = (1/ 2)(y j y i ). ) 1/2 n b i 2 i=1

15 Theorem Suppose that a Banach space X with a Schauder basis contains an almost transitive subspace Y. Let r FR(Y ) := {1 r : l r is finitely representable in Y }. Then, given ε > 0 and any sequence (a i ) of nonzero scalars, there exists a normalized block basis (x i ) in X such that, for all m 1 and all scalars b, we have ( m ) 1/r (1 ε) a k r + b r m a k x k + bx m+1 k=1 k=1 ( m ) 1/r (1 + ε) a k r + b r. k=1

16 Theorem No subspace of l p, 1 p <, p 2, or of c 0, admits an almost transitive renorming.

17 Theorem No subspace of l p, 1 p <, p 2, or of c 0, admits an almost transitive renorming. Proof: By previous theorem for all n N and any ε > 0 there exists a normalized block basis (x k ) n k=1 in X such that, (1 ε)n 1/2 n x k (1 + ε)n 1/2. k=1

18 Theorem No subspace of l p, 1 p <, p 2, or of c 0, admits an almost transitive renorming. Proof: By previous theorem for all n N and any ε > 0 there exists a normalized block basis (x k ) n k=1 in X such that, (1 ε)n 1/2 n x k (1 + ε)n 1/2. k=1 But in X = l p, 1 p <, every block basis is isometrically equivalent to the standard basis of l p,

19 The same argument also works in asymptotic-l p spaces.

20 The same argument also works in asymptotic-l p spaces. Recall: X is an asymptotic-l p space if there exists C > 0 such that for all n x 1 < < x n, we have ( n ) 1/p ( 1 x k p n n ) 1/p x C k C x k p. k=1 k=1 k=1

21 The same argument also works in asymptotic-l p spaces. Recall: X is an asymptotic-l p space if there exists C > 0 such that for all n x 1 < < x n, we have ( n ) 1/p ( 1 x k p n n ) 1/p x C k C x k p. k=1 k=1 k=1 In the previous theorem we can start the block basis after n and we get that for all n N and any ε > 0 there exists a normalized block basis n < (x k ) n k=1 in X such that, (1 ε)n 1/2 n x k (1 + ε)n 1/2. k=1 and the resulting contradiction proves the following corollary.

22 Corollary No subspace of any asymptotic-l p space, 1 p <, p 2, admits an almost transitive renorming.

23 Corollary No subspace of any asymptotic-l p space, 1 p <, p 2, admits an almost transitive renorming. For 1 < p <, let C p denote the class of Banach spaces which are isomorphic to a subspace of an l p -sum of finite-dimensional normed spaces.

24 Corollary No subspace of any asymptotic-l p space, 1 p <, p 2, admits an almost transitive renorming. For 1 < p <, let C p denote the class of Banach spaces which are isomorphic to a subspace of an l p -sum of finite-dimensional normed spaces. Corollary Let 1 < p <, p 2. If X C p then X does not admit an equivalent almost transitive norm.

25 Corollary No subspace of any asymptotic-l p space, 1 p <, p 2, admits an almost transitive renorming. For 1 < p <, let C p denote the class of Banach spaces which are isomorphic to a subspace of an l p -sum of finite-dimensional normed spaces. Corollary Let 1 < p <, p 2. If X C p then X does not admit an equivalent almost transitive norm. It is known that C p contains every infinite-dimensional subspace of a quotient space of l p [Johnson, Zippin 1974].

26 Corollary No subspace of any asymptotic-l p space, 1 p <, p 2, admits an almost transitive renorming. For 1 < p <, let C p denote the class of Banach spaces which are isomorphic to a subspace of an l p -sum of finite-dimensional normed spaces. Corollary Let 1 < p <, p 2. If X C p then X does not admit an equivalent almost transitive norm. It is known that C p contains every infinite-dimensional subspace of a quotient space of l p [Johnson, Zippin 1974]. Thus no infinite-dimensional subspace of a quotient space of l p admits an equivalent almost transitive norm.

27 Recall the notion of asymptotic structure introduced by Maurey, Milman, and Tomczak-Jaegermann (1992): A basis (b i ) n i=1 of unit vectors for an n-dimensional normed space belongs to {X, (e i )} n if

28 Recall the notion of asymptotic structure introduced by Maurey, Milman, and Tomczak-Jaegermann (1992): A basis (b i ) n i=1 of unit vectors for an n-dimensional normed space belongs to {X, (e i )} n if ε > 0 m 1 x 1 > m 1 s.t. m 2 x 2 > m 2 s.t.... m n x n > m n such that there exist c and C, with 0 < c C and C/c < 1 + ε, such that for all scalars (a i ) n i=1, we have n n n c a i b i a i x i C a i b i. i=1 i=1 i=1

29 Recall the notion of asymptotic structure introduced by Maurey, Milman, and Tomczak-Jaegermann (1992): A basis (b i ) n i=1 of unit vectors for an n-dimensional normed space belongs to {X, (e i )} n if ε > 0 m 1 x 1 > m 1 s.t. m 2 x 2 > m 2 s.t.... m n x n > m n such that there exist c and C, with 0 < c C and C/c < 1 + ε, such that for all scalars (a i ) n i=1, we have n n n c a i b i a i x i C a i b i. i=1 i=1 i=1 In this language our result states that if X has a Schauder basis (e i ) and contains an almost transitive subspace Y then for all r FR(Y ), the unit vector basis of l 2 r belongs to {X, (e i )} 2.

30 In case when X has an unconditional basis (instead of just a Schauder basis) we can strengthen the main theorem to the following version of Krivine s Theorem:

31 In case when X has an unconditional basis (instead of just a Schauder basis) we can strengthen the main theorem to the following version of Krivine s Theorem: Theorem Suppose that X has an unconditional basis (e i ). If X contains an almost transitive subspace Y, then there exist p [p X, p Y ] and q [q Y, q X ] such that, for r = p and r = q and for all n 1 and ε > 0, there exist disjointly supported vectors (x i ) n i=1 X such that (x i ) n i=1 is (1 + ε)-equivalent to the unit vector basis of l n r. In particular, if Y = X, then p = p X and q = q X.

32 In case when X has an unconditional basis (instead of just a Schauder basis) we can strengthen the main theorem to the following version of Krivine s Theorem: Theorem Suppose that X has an unconditional basis (e i ). If X contains an almost transitive subspace Y, then there exist p [p X, p Y ] and q [q Y, q X ] such that, for r = p and r = q and for all n 1 and ε > 0, there exist disjointly supported vectors (x i ) n i=1 X such that (x i ) n i=1 is (1 + ε)-equivalent to the unit vector basis of l n r. In particular, if Y = X, then p = p X and q = q X. Proof relies on a result of Sari (2004) about disjoint envelope functions.

33 In case when X has an unconditional basis (instead of just a Schauder basis) we can strengthen the main theorem to the following version of Krivine s Theorem: Theorem Suppose that X has an unconditional basis (e i ). If X contains an almost transitive subspace Y, then there exist p [p X, p Y ] and q [q Y, q X ] such that, for r = p and r = q and for all n 1 and ε > 0, there exist disjointly supported vectors (x i ) n i=1 X such that (x i ) n i=1 is (1 + ε)-equivalent to the unit vector basis of l n r. In particular, if Y = X, then p = p X and q = q X. Proof relies on a result of Sari (2004) about disjoint envelope functions. Question Fix m N, ε > 0. Let X have an uncoditional basis such that ({x i } m i=1 ) is (1 + ε)-equivalent to the standard unit basis of l m r, with r 2. Can X be transitive?

34 Recall that a basis satisfies (p, q)-estimates, where 1 < q p <, if there exists C > 0 such that ( n ) 1/p ( 1 x k p n n ) 1/q x C k C x k q, k=1 k=1 k=1 whenever x 1 < x 2 < < x n.

35 Recall that a basis satisfies (p, q)-estimates, where 1 < q p <, if there exists C > 0 such that ( n ) 1/p ( 1 x k p n n ) 1/q x C k C x k q, k=1 k=1 k=1 whenever x 1 < x 2 < < x n. Corollary Suppose that a Banach space X with a Schauder basis (e i ) contains a subspace Y which admits an equivalent almost transitive norm. If (e i ) satisfies (p, q)-estimates, then q 2 p.

36 Recall that a basis satisfies (p, q)-estimates, where 1 < q p <, if there exists C > 0 such that ( n ) 1/p ( 1 x k p n n ) 1/q x C k C x k q, k=1 k=1 k=1 whenever x 1 < x 2 < < x n. Corollary Suppose that a Banach space X with a Schauder basis (e i ) contains a subspace Y which admits an equivalent almost transitive norm. If (e i ) satisfies (p, q)-estimates, then q 2 p. Proof. Let be the equivalent almost transitive norm on Y. Then extends to an equivalent norm on X. Thus the Main Theorem gives the desired conclusion.

37 Corollary Suppose that X is an Orlicz sequence space l M (where M is an Orlicz function). Then X contains a subspace Y which admits an almost transitive norm if and only if X contains a subspace isomorphic to l 2.

38 Corollary Suppose that X is an Orlicz sequence space l M (where M is an Orlicz function). Then X contains a subspace Y which admits an almost transitive norm if and only if X contains a subspace isomorphic to l 2. Proof. Previous Corollary implies that the Matuszewska-Orlicz indices of M satisfy α M 2 β M, which in turn implies by a theorem of Lindenstrauss and Tzafriri that l M contains a subspace isomorphic to l 2.

39 Corollary Suppose that X is an Orlicz sequence space l M (where M is an Orlicz function). Then X contains a subspace Y which admits an almost transitive norm if and only if X contains a subspace isomorphic to l 2. Proof. Previous Corollary implies that the Matuszewska-Orlicz indices of M satisfy α M 2 β M, which in turn implies by a theorem of Lindenstrauss and Tzafriri that l M contains a subspace isomorphic to l 2. Conversely, if X contains a subspace Y isomorphic to l 2 then Y admits an equivalent transitive norm.

40 We combine our results with known results about the structure of subspaces of L p, 2 < p <, and we obtain that if X is a subspace of L p, 2 < p <, such that every subspace of X admits an equivalent almost transitive norm, then X is isomorphic to a Hilbert space (this also is true in the non-commutative case).

41 We combine our results with known results about the structure of subspaces of L p, 2 < p <, and we obtain that if X is a subspace of L p, 2 < p <, such that every subspace of X admits an equivalent almost transitive norm, then X is isomorphic to a Hilbert space (this also is true in the non-commutative case). This suggests the following question. Problem Suppose that every subspace of a Banach space X admits an equivalent almost transitive (or transitive) renorming. Is X isomorphic to a Hilbert space?

42 We combine our results with known results about the structure of subspaces of L p, 2 < p <, and we obtain that if X is a subspace of L p, 2 < p <, such that every subspace of X admits an equivalent almost transitive norm, then X is isomorphic to a Hilbert space (this also is true in the non-commutative case). This suggests the following question. Problem Suppose that every subspace of a Banach space X admits an equivalent almost transitive (or transitive) renorming. Is X isomorphic to a Hilbert space? YES, if such a space X is a stable and admits a C 2 -bump.

43 Maximal and non-maximal norms Definition (Pełczyński and Rolewicz 1962) A Banach space (X, ) is called maximal if whenever is an equivalent norm on X so that Isom(X, ) Isom(X, ), then Isom(X, ) = Isom(X, ).

44 Maximal and non-maximal norms Definition (Pełczyński and Rolewicz 1962) A Banach space (X, ) is called maximal if whenever is an equivalent norm on X so that Isom(X, ) Isom(X, ), then Isom(X, ) = Isom(X, ). A maximal isometry group of a renorming of X is the same as a maximal bounded subgroup of GL(X) (where GL(X) denotes the group of linear surjective isomorphisms on X). Any bounded subgroup G of GL(X) is a subgroup of the isometry group of (X,. ) where x = sup gx. g G

45 Rolewicz 1984 proved that all non-hilbertian 1-symmetric spaces are maximal.

46 Rolewicz 1984 proved that all non-hilbertian 1-symmetric spaces are maximal. In 1982 Wood posed a problem whether every Banach space admits an equivalent maximal norm, that is whether GL(X) always has maximal bounded subgroups.

47 Rolewicz 1984 proved that all non-hilbertian 1-symmetric spaces are maximal. In 1982 Wood posed a problem whether every Banach space admits an equivalent maximal norm, that is whether GL(X) always has maximal bounded subgroups. In 2013 Ferenczi and Rosendal answered this problem negatively by constructing a complex super-reflexive space and a real reflexive space, both without an equivalent maximal renorming.

48 In 2006 Wood asked, what he called a more natural question, whether for every Banach space there exists an equivalent maximal renorming whose isometry group contains the original isometry group, that is, whether every bounded subgroup of GL(X) is contained in a maximal bounded subgroup of GL(X).

49 In 2006 Wood asked, what he called a more natural question, whether for every Banach space there exists an equivalent maximal renorming whose isometry group contains the original isometry group, that is, whether every bounded subgroup of GL(X) is contained in a maximal bounded subgroup of GL(X). We show that even in Banach spaces which admit an equivalent maximal norm there can also exist equivalent norms with isometry groups which are not contained in any maximal isometry group.

50 Theorem Spaces l p, 1 < p <, p 2, have a continuum of renormings none of whose isometry groups is contained in any maximal isometry group of an equivalent renorming.

51 Theorem Spaces l p, 1 < p <, p 2, have a continuum of renormings none of whose isometry groups is contained in any maximal isometry group of an equivalent renorming. Consider renormings of the form ( ) Z = l kn 2 n=1 where k n is a sequence of natural numbers, so that n N, n 1 k j < k n. j=1 l p

52 Theorem Spaces l p, 1 < p <, p 2, have a continuum of renormings none of whose isometry groups is contained in any maximal isometry group of an equivalent renorming. Consider renormings of the form ( ) Z = l kn 2 n=1 where k n is a sequence of natural numbers, so that n N, n 1 k j < k n. j=1 It is well known that Z is isomorphic to l p. l p

53 Theorem Spaces l p, 1 < p <, p 2, have a continuum of renormings none of whose isometry groups is contained in any maximal isometry group of an equivalent renorming. Consider renormings of the form ( ) Z = l kn 2 n=1 where k n is a sequence of natural numbers, so that n N, n 1 k j < k n. j=1 It is well known that Z is isomorphic to l p. Isometries of this kind of spaces were described by H. Rosenthal. l p

54 Theorem (Rosenthal 1986) X a pure space with a 1-unconditional basis E = {e γ } γ Γ (i.e. γ 1 γ 2, span{e γ1, e γ2 } is not cannonically isometric to l 2 2 ) (H γ ) γ Γ Hilbert spaces all of dimension at least 2, Z = ( γ Γ H γ) E is called a functional hilbertian sum.

55 Theorem (Rosenthal 1986) X a pure space with a 1-unconditional basis E = {e γ } γ Γ (i.e. γ 1 γ 2, span{e γ1, e γ2 } is not cannonically isometric to l 2 2 ) (H γ ) γ Γ Hilbert spaces all of dimension at least 2, Z = ( γ Γ H γ) E is called a functional hilbertian sum. Let P(Z ) be the set of all bijections σ : Γ Γ so that (a) {e σ(γ) } γ Γ is isometrically equivalent to {e γ } γ Γ, and (b) H σ(γ) is isometric to H γ for all γ Γ.

56 Theorem (Rosenthal 1986) X a pure space with a 1-unconditional basis E = {e γ } γ Γ (i.e. γ 1 γ 2, span{e γ1, e γ2 } is not cannonically isometric to l 2 2 ) (H γ ) γ Γ Hilbert spaces all of dimension at least 2, Z = ( γ Γ H γ) E is called a functional hilbertian sum. Let P(Z ) be the set of all bijections σ : Γ Γ so that (a) {e σ(γ) } γ Γ is isometrically equivalent to {e γ } γ Γ, and (b) H σ(γ) is isometric to H γ for all γ Γ. Then T : Z Z is a surjective isometry if and only if σ P(Z ) and surjective isometries T γ : H γ H σ(γ) (γ Γ), so that for all z = (z γ ) γ Γ in Z, and for all γ Γ, (Tz) σ(γ) = T γ (z γ ).

57 Let p 2 and Z = ( n=1 l kn 2 where k n N are such that k 1 2 and n N, n 1 j=1 k j < k n. ) l p,

58 Let p 2 and Z = ( n=1 l kn 2 where k n N are such that k 1 2 and n N, n 1 j=1 k j < k n. Then Rosenthal s theorem applies and the set P(Z ) consists of the identity map only. ) l p,

59 Let p 2 and Z = ( n=1 l kn 2 where k n N are such that k 1 2 and n N, n 1 j=1 k j < k n. Then Rosenthal s theorem applies and the set P(Z ) consists of the identity map only. Thus m N ( ) Z m = (l d 2 ) p l kn 2 n=m where d = m j=1 k j, is isomorphic to Z, P(Z m ) also consists of the identity only, and ) l p, l p, Isom(Z m ) Isom(Z m+1 ).

60 Using the same method we obtain Theorem The following spaces have a continuum of renormings none of whose isometry groups is contained in any maximal isometry group of an equivalent renorming. Spaces l p, 1 < p <, p 2,

61 Using the same method we obtain Theorem The following spaces have a continuum of renormings none of whose isometry groups is contained in any maximal isometry group of an equivalent renorming. Spaces l p, 1 < p <, p 2, the 2-convexified Tsierelson space T (2),

62 Using the same method we obtain Theorem The following spaces have a continuum of renormings none of whose isometry groups is contained in any maximal isometry group of an equivalent renorming. Spaces l p, 1 < p <, p 2, the 2-convexified Tsierelson space T (2), and the space U with a universal unconditional basis,

63 Using the same method we obtain Theorem The following spaces have a continuum of renormings none of whose isometry groups is contained in any maximal isometry group of an equivalent renorming. Spaces l p, 1 < p <, p 2, the 2-convexified Tsierelson space T (2), and the space U with a universal unconditional basis,

64 Using the same method we obtain Theorem The following spaces have a continuum of renormings none of whose isometry groups is contained in any maximal isometry group of an equivalent renorming. Spaces l p, 1 < p <, p 2, the 2-convexified Tsierelson space T (2), and the space U with a universal unconditional basis, Question: Does X = T (2), or X a general weak Hilbert space, other than l 2, have a maximal bounded subgroup of GL(X)?

65 Maximal renormings Theorem For 1 < p <, p 2, l p admits a continuum of renormings whose isometry groups are maximal and are not pairwise conjugate in the isomorphism group of l p.

66 Maximal renormings Theorem For 1 < p <, p 2, l p admits a continuum of renormings whose isometry groups are maximal and are not pairwise conjugate in the isomorphism group of l p. Take Z m = where k n = m for all n N. ( n=1 l kn 2 ) l p,

67 Maximal renormings Theorem For 1 < p <, p 2, l p admits a continuum of renormings whose isometry groups are maximal and are not pairwise conjugate in the isomorphism group of l p. Take Z m = ( n=1 l kn 2 where k n = m for all n N. Then P(Z m ) consists of all permutations, and the group Isom(Z m ) is maximal ) l p,

68 To get continuum mutually noncojugate renormings let J N, with min J 2, and let N = j J A j, where A j are disjoint infinite subsets of N. For k A j, let H k = l j 2, and ( ) Z J = Z J (E) = H k. k=1 E

69 To get continuum mutually noncojugate renormings let J N, with min J 2, and let N = j J A j, where A j are disjoint infinite subsets of N. For k A j, let H k = l j 2, and ( ) Z J = Z J (E) = H k This works for any space k=1 Z = ( l k 2 ) E, k=1 where E = {e k } k=1 is a pure 1-symmetric basis for some X which is not isomorphic to l 2. E.

70 To get continuum mutually noncojugate renormings let J N, with min J 2, and let N = j J A j, where A j are disjoint infinite subsets of N. For k A j, let H k = l j 2, and ( ) Z J = Z J (E) = H k This works for any space k=1 Z = ( l k 2 ) E, k=1 where E = {e k } k=1 is a pure 1-symmetric basis for some X which is not isomorphic to l 2. It is well-known that if (k j ) j=1 N is any unbounded sequence then ( j=1 lk j 2 ) E is 4-isomorphic to Z. Thus Z J is 4-isomorphic to Z for all J. E.

71 Proposition Let X be a space with a non-hilbertian symmetric pure basis E such that X(X) (i.e., the E-sum of infinitely many copies of X) is isomorphic to X, and X contains uniformly complemented and uniformly isomorphic copies of l n 2. Then X is isomorphic to Z = ( k=1 lk 2 ) E and hence X has a continuum of renormings whose isometry groups are maximal and are not pairwise conjugate in the isomorphism group of X.

72 Proposition Let X be a space with a non-hilbertian symmetric pure basis E such that X(X) (i.e., the E-sum of infinitely many copies of X) is isomorphic to X, and X contains uniformly complemented and uniformly isomorphic copies of l n 2. Then X is isomorphic to Z = ( k=1 lk 2 ) E and hence X has a continuum of renormings whose isometry groups are maximal and are not pairwise conjugate in the isomorphism group of X. Question Does there exist a separable Banach space X with a unique, up to conjugacy, maximal bounded subgroup of GL(X)?

73 Proposition Let X be a space with a non-hilbertian symmetric pure basis E such that X(X) (i.e., the E-sum of infinitely many copies of X) is isomorphic to X, and X contains uniformly complemented and uniformly isomorphic copies of l n 2. Then X is isomorphic to Z = ( k=1 lk 2 ) E and hence X has a continuum of renormings whose isometry groups are maximal and are not pairwise conjugate in the isomorphism group of X. Question Does there exist a separable Banach space X with a unique, up to conjugacy, maximal bounded subgroup of GL(X)? If yes, does X have to be isomorphic to a Hilbert space?

74 Thank you.

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL 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 information

BANACH AND HILBERT SPACE REVIEW

BANACH 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 information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction

ON 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ÁNCHEZ-PÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that

More information

Matrix Representations of Linear Transformations and Changes of Coordinates

Matrix 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 information

POWER SETS AND RELATIONS

POWER 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 information

The Banach-Tarski Paradox

The Banach-Tarski Paradox University of Oslo MAT2 Project The Banach-Tarski Paradox Author: Fredrik Meyer Supervisor: Nadia S. Larsen Abstract In its weak form, the Banach-Tarski paradox states that for any ball in R, it is possible

More information

16.3 Fredholm Operators

16.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 information

Duality of linear conic problems

Duality 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 information

Finite dimensional topological vector spaces

Finite dimensional topological vector spaces Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the

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,...

{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 information

On Nicely Smooth Banach Spaces

On Nicely Smooth Banach Spaces E extracta mathematicae Vol. 16, Núm. 1, 27 45 (2001) On Nicely Smooth Banach Spaces Pradipta Bandyopadhyay, Sudeshna Basu Stat-Math Unit, Indian Statistical Institute, 203 B.T. Road, Calcutta 700035,

More information

Chapter 5. Banach Spaces

Chapter 5. Banach Spaces 9 Chapter 5 Banach Spaces Many linear equations may be formulated in terms of a suitable linear operator acting on a Banach space. In this chapter, we study Banach spaces and linear operators acting on

More information

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE 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 information

THE DIMENSION OF A VECTOR SPACE

THE DIMENSION OF A VECTOR SPACE THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field

More information

LEARNING OBJECTIVES FOR THIS CHAPTER

LEARNING OBJECTIVES FOR THIS CHAPTER CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional

More information

The determinant of a skew-symmetric 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

The determinant of a skew-symmetric 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 information

GROUPS ACTING ON A SET

GROUPS ACTING ON A SET GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

More information

Group Theory. Contents

Group 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 information

Let H and J be as in the above lemma. The result of the lemma shows that the integral

Let 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 information

MATH 110 Spring 2015 Homework 6 Solutions

MATH 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 information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. 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 information

Mathematical Methods of Engineering Analysis

Mathematical Methods of Engineering Analysis Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................

More information

Metric Spaces. Chapter 7. 7.1. Metrics

Metric 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 information

The Dirichlet Unit Theorem

The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

1. Let P be the space of all polynomials (of one real variable and with real coefficients) with the norm

1. Let P be the space of all polynomials (of one real variable and with real coefficients) with the norm Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 005-06-15 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

More information

Linear Codes. In the V[n,q] setting, the terms word and vector are interchangeable.

Linear Codes. In the V[n,q] setting, the terms word and vector are interchangeable. Linear Codes Linear Codes In the V[n,q] setting, an important class of codes are the linear codes, these codes are the ones whose code words form a sub-vector space of V[n,q]. If the subspace of V[n,q]

More information

Inner Product Spaces and Orthogonality

Inner Product Spaces and Orthogonality Inner Product Spaces and Orthogonality week 3-4 Fall 2006 Dot product of R n The inner product or dot product of R n is a function, defined by u, v a b + a 2 b 2 + + a n b n for u a, a 2,, a n T, v b,

More information

9 More on differentiation

9 More on differentiation Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......

More information

GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

More information

WHICH LINEAR-FRACTIONAL TRANSFORMATIONS INDUCE ROTATIONS OF THE SPHERE?

WHICH LINEAR-FRACTIONAL TRANSFORMATIONS INDUCE ROTATIONS OF THE SPHERE? WHICH LINEAR-FRACTIONAL 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 information

Chapter 1. Metric Spaces. Metric Spaces. Examples. Normed linear spaces

Chapter 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 information

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

Linear 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 information

The cover SU(2) SO(3) and related topics

The cover SU(2) SO(3) and related topics The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of

More information

Tensor product of vector spaces

Tensor product of vector spaces Tensor product of vector spaces Construction Let V,W be vector spaces over K = R or C. Let F denote the vector space freely generated by the set V W and let N F denote the subspace spanned by the elements

More information

NOTES ON LINEAR TRANSFORMATIONS

NOTES 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 information

EDWARD W. ODELL BIOGRAPHICAL DATA. EDUCATION Ph.D. Massachusetts Institute of Technology 1975 B.A. SUNY at Binghamton 1969

EDWARD W. ODELL BIOGRAPHICAL DATA. EDUCATION Ph.D. Massachusetts Institute of Technology 1975 B.A. SUNY at Binghamton 1969 EDWARD W. ODELL BIOGRAPHICAL DATA EDUCATION Ph.D. Massachusetts Institute of Technology 1975 B.A. SUNY at Binghamton 1969 PROFESSIONAL EXPERIENCE 2005- John T. Stuart III Centennial Professor of Mathematics

More information

Deriving character tables: Where do all the numbers come from?

Deriving character tables: Where do all the numbers come from? 3.4. Characters and Character Tables 3.4.1. Deriving character tables: Where do all the numbers come from? A general and rigorous method for deriving character tables is based on five theorems which in

More information

Lecture 18 - Clifford Algebras and Spin groups

Lecture 18 - Clifford Algebras and Spin groups Lecture 18 - Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning

More information

Cardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set.

Cardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set. Section 2.5 Cardinality (another) Definition: The cardinality of a set A is equal to the cardinality of a set B, denoted A = B, if and only if there is a bijection from A to B. If there is an injection

More information

T ( a i x i ) = a i T (x i ).

T ( a i x i ) = a i T (x i ). Chapter 2 Defn 1. (p. 65) Let V and W be vector spaces (over F ). We call a function T : V W a linear transformation form V to W if, for all x, y V and c F, we have (a) T (x + y) = T (x) + T (y) and (b)

More information

1 Norms and Vector Spaces

1 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 information

G = G 0 > G 1 > > G k = {e}

G = G 0 > G 1 > > G k = {e} Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same

More information

Math212a1010 Lebesgue measure.

Math212a1010 Lebesgue measure. Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.

More information

Logic, Combinatorics and Topological Dynamics, II

Logic, Combinatorics and Topological Dynamics, II Logic, Combinatorics and Topological Dynamics, II Alexander S. Kechris January 9, 2009 Part II. Generic symmetries Generic properties Let X be a topological space and P X a subset of X viewed as a property

More information

CONVERGENCE OF SEQUENCES OF ITERATES OF RANDOM-VALUED VECTOR FUNCTIONS

CONVERGENCE OF SEQUENCES OF ITERATES OF RANDOM-VALUED VECTOR FUNCTIONS C O L L O Q U I U M M A T H E M A T I C U M VOL. 97 2003 NO. 1 CONVERGENCE OF SEQUENCES OF ITERATES OF RANDOM-VALUED VECTOR FUNCTIONS BY RAFAŁ KAPICA (Katowice) Abstract. Given a probability space (Ω,

More information

Section 6.1 - Inner Products and Norms

Section 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 information

On the structure of C -algebra generated by a family of partial isometries and multipliers

On the structure of C -algebra generated by a family of partial isometries and multipliers Armenian Journal of Mathematics Volume 7, Number 1, 2015, 50 58 On the structure of C -algebra generated by a family of partial isometries and multipliers A. Yu. Kuznetsova and Ye. V. Patrin Kazan Federal

More information

FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 2. OPERATORS ON HILBERT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 2. OPERATORS ON HILBERT SPACES FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 2. OPERATORS ON HILBERT SPACES CHRISTOPHER HEIL 1. Elementary Properties and Examples First recall the basic definitions regarding operators. Definition 1.1 (Continuous

More information

1. Let X and Y be normed spaces and let T B(X, Y ).

1. 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. 2005-03-14 Skrivtid: 9 11.30 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

More information

ZORN S LEMMA AND SOME APPLICATIONS

ZORN S LEMMA AND SOME APPLICATIONS ZORN S LEMMA AND SOME APPLICATIONS KEITH CONRAD 1. Introduction Zorn s lemma is a result in set theory that appears in proofs of some non-constructive existence theorems throughout mathematics. We will

More information

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

SMALL SKEW FIELDS CÉDRIC MILLIET

SMALL SKEW FIELDS CÉDRIC MILLIET SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite

More information

ON A GLOBALIZATION PROPERTY

ON 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 information

Three observations regarding Schatten p classes

Three 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 information

Matrix Norms. Tom Lyche. September 28, Centre of Mathematics for Applications, Department of Informatics, University of Oslo

Matrix 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 information

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

Metric 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 information

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional 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 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

More information

Introduction to finite fields

Introduction to finite fields Introduction to finite fields Topics in Finite Fields (Fall 2013) Rutgers University Swastik Kopparty Last modified: Monday 16 th September, 2013 Welcome to the course on finite fields! This is aimed at

More information

REPRESENTATION THEORY WEEK 12

REPRESENTATION THEORY WEEK 12 REPRESENTATION THEORY WEEK 12 1. Reflection functors Let Q be a quiver. We say a vertex i Q 0 is +-admissible if all arrows containing i have i as a target. If all arrows containing i have i as a source,

More information

Vector and Matrix Norms

Vector and Matrix Norms Chapter 1 Vector and Matrix Norms 11 Vector Spaces Let F be a field (such as the real numbers, R, or complex numbers, C) with elements called scalars A Vector Space, V, over the field F is a non-empty

More information

Mikołaj Krupski. Regularity properties of measures on compact spaces. Instytut Matematyczny PAN. Praca semestralna nr 1 (semestr zimowy 2010/11)

Mikoł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 information

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

More information

A Problem With The Rational Numbers

A Problem With The Rational Numbers Solvability of Equations Solvability of Equations 1. In fields, linear equations ax + b = 0 are solvable. Solvability of Equations 1. In fields, linear equations ax + b = 0 are solvable. 2. Quadratic equations

More information

4.5 Linear Dependence and Linear Independence

4.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 information

Finite Fields and Error-Correcting Codes

Finite Fields and Error-Correcting Codes Lecture Notes in Mathematics Finite Fields and Error-Correcting Codes Karl-Gustav Andersson (Lund University) (version 1.013-16 September 2015) Translated from Swedish by Sigmundur Gudmundsson Contents

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 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 information

THE KADISON-SINGER PROBLEM IN MATHEMATICS AND ENGINEERING: A DETAILED ACCOUNT

THE KADISON-SINGER PROBLEM IN MATHEMATICS AND ENGINEERING: A DETAILED ACCOUNT THE ADISON-SINGER PROBLEM IN MATHEMATICS AND ENGINEERING: A DETAILED ACCOUNT PETER G. CASAZZA, MATTHEW FICUS, JANET C. TREMAIN, ERIC WEBER Abstract. We will show that the famous, intractible 1959 adison-singer

More information

AN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION. Abstract

AN 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 information

INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

More information

ABSTRACT ALGEBRA. Romyar Sharifi

ABSTRACT ALGEBRA. Romyar Sharifi ABSTRACT ALGEBRA Romyar Sharifi Contents Introduction 7 Part 1. A First Course 11 Chapter 1. Set theory 13 1.1. Sets and functions 13 1.2. Relations 15 1.3. Binary operations 19 Chapter 2. Group theory

More information

Notes on metric spaces

Notes 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 information

Separation Properties for Locally Convex Cones

Separation Properties for Locally Convex Cones Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

More information

P (A) = lim P (A) = N(A)/N,

P (A) = lim P (A) = N(A)/N, 1.1 Probability, Relative Frequency and Classical Definition. Probability is the study of random or non-deterministic experiments. Suppose an experiment can be repeated any number of times, so that we

More information

GROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.

GROUPS 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 information

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for

More information

SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS. Abdelaziz Tajmouati Mohammed El berrag. 1. Introduction

SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS. Abdelaziz Tajmouati Mohammed El berrag. 1. Introduction italian journal of pure and applied mathematics n. 35 2015 (487 492) 487 SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS Abdelaziz Tajmouati Mohammed El berrag Sidi Mohamed Ben Abdellah University

More information

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

More information

SOLUTIONS TO ASSIGNMENT 1 MATH 576

SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts

More information

Ideal Class Group and Units

Ideal Class Group and Units Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

More information

INTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES

INTEGRAL 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 information

Comments on Quotient Spaces and Quotient Maps

Comments on Quotient Spaces and Quotient Maps 22M:132 Fall 07 J. Simon Comments on Quotient Spaces and Quotient Maps There are many situations in topology where we build a topological space by starting with some (often simpler) space[s] and doing

More information

CHAPTER 1 BASIC TOPOLOGY

CHAPTER 1 BASIC TOPOLOGY CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is

More information

1 Sets and Set Notation.

1 Sets and Set Notation. LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

More information

Theta Functions. Lukas Lewark. Seminar on Modular Forms, 31. Januar 2007

Theta 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 information

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. Vector space A vector space is a set V equipped with two operations, addition V V (x,y) x + y V and scalar

More information

The Ideal Class Group

The Ideal Class Group Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

More information

3. INNER PRODUCT SPACES

3. INNER PRODUCT SPACES . INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.

More information

PART I. THE REAL NUMBERS

PART 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 information

Ri and. i=1. S i N. and. R R i

Ri and. i=1. S i N. and. R R i The subset R of R n is a closed rectangle if there are n non-empty closed intervals {[a 1, b 1 ], [a 2, b 2 ],..., [a n, b n ]} so that R = [a 1, b 1 ] [a 2, b 2 ] [a n, b n ]. The subset R of R n is an

More information

n 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 +...

n 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 information

6.254 : Game Theory with Engineering Applications Lecture 5: Existence of a Nash Equilibrium

6.254 : Game Theory with Engineering Applications Lecture 5: Existence of a Nash Equilibrium 6.254 : Game Theory with Engineering Applications Lecture 5: Existence of a Nash Equilibrium Asu Ozdaglar MIT February 18, 2010 1 Introduction Outline Pricing-Congestion Game Example Existence of a Mixed

More information

1. Prove that the empty set is a subset of every set.

1. 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 Men-Gen 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 information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

More information

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

More information

4: EIGENVALUES, EIGENVECTORS, DIAGONALIZATION

4: EIGENVALUES, EIGENVECTORS, DIAGONALIZATION 4: EIGENVALUES, EIGENVECTORS, DIAGONALIZATION STEVEN HEILMAN Contents 1. Review 1 2. Diagonal Matrices 1 3. Eigenvectors and Eigenvalues 2 4. Characteristic Polynomial 4 5. Diagonalizability 6 6. Appendix:

More information

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces

More information

Section 4.4 Inner Product Spaces

Section 4.4 Inner Product Spaces Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer

More information

Inner Product Spaces

Inner 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 information

ON FIBER DIAMETERS OF CONTINUOUS MAPS

ON FIBER DIAMETERS OF CONTINUOUS MAPS ON FIBER DIAMETERS OF CONTINUOUS MAPS PETER S. LANDWEBER, EMANUEL A. LAZAR, AND NEEL PATEL Abstract. We present a surprisingly short proof that for any continuous map f : R n R m, if n > m, then there

More information