Convexity Properties of The Cone of Nonnegative Polynomials

Size: px
Start display at page:

Download "Convexity Properties of The Cone of Nonnegative Polynomials"

Transcription

1 Convexity Properties of The Cone of Nonnegative Polynomials Grigoriy Blekherman November 00 Abstract We study metric properties of the cone of homogeneous non-negative multivariate polynomials and the cone of sums of powers of linear forms, and the relationship between the two cones. We compute the maximum volume ellipsoid of the natural base of the cone of nonnegative polynomials and the minimum volume ellipsoid of the natural base of the cone of powers of linear forms and compute the coefficients of symmetry of the bases. The multiplication by (x x n) m induces an isometric embedding of the space of polynomials of degree k into the space of polynomials of degree (k + m), which allows us to compare the cone of non-negative polynomials of degree k and the cone of sums of (k + m)-powers of linear forms. We estimate the volume ratio of the bases of the two cones and the rate at which it approaches as m grows. Introduction and Results. Introduction Let P n,d denote the vector space of real homogeneous polynomials (forms) of degree d in n real variables. For even d = k there are three interesting closed convex cones in P n,k : The cone of nonnegative polynomials, C(= C n,k ) C = { f P n,k f(x) 0 for all x R n}.

2 The cone of sums of squares, Sq(= Sq n,k ) { Sq = f P n,k f = fi i for some f i P n,k }. The cone of sums of k-th powers of linear forms, Lf(= Lf n,k ) { Lf = f P n,k f = li k for some linear forms l i P n, }. i The study of algebraic properties of these cones goes back to Hilbert, who described explicitly all the cases when C n,k = Sq n,k,[4]. Hilbert s 7th problem, solved in affirmative by Artin and Schreier in the 90 s, asked whether every nonnegative polynomial is a sum of squares of rational functions [3]. Constructive aspects of Hilbert s problem still draw attention today [3],[7]. For a discussion of some algebraic properties of the cone of sums of powers of linear forms we refer to [8]. To our knowledge, however, these cones have not been studied as general convex objects, possessing invariants based on convexity. In this paper we look at some convex properties of these cones. Let M(= M n,k ) denote the hyperplane of all forms in P n,k with integral on the unit sphere S n : } M = {f P n,k f dσ =, S n where σ denotes the rotation invariant probability measure on S n. We define compact convex bodies C, Sq and Lf by intersecting the respective cones with M: C = C M, Sq = Sq M, and Lf = Lf M. The compact convex bodies C, Sq and Lf are natural bases of the respective cones and they have full dimension in M. Their naturality becomes apparent if we consider the following action of the special orthogonal group SO(n) on P n,d : A SO(n) sends f(x) P n,d to Af = f(a x). All three cones C, Sq and Lf are fixed by the action of SO(n), and M is the only hyperplane in P n,k fixed by this action. Therefore C, Sq and Lf are

3 also fixed by the action of SO(n), and they are the only hyperplane sections of their respective cones with this property. This action of SO(n) naturally gives a homomorphism φ n,d : SO(n) GL(P n,d ), and therefore we have a representation of SO(n) on P n,d. There is a natural inner product on P n,d : f, g = fg dσ. S n The metric induced by this inner product makes φ n,d an orthogonal representation, since the inner product is invariant under the action of SO(n). Let K(m) be the cone in P n,k of forms whose restrictions to the sphere are linear combinations of m-th powers of linear forms on S n. Equivalently K(m) is the cone of forms in P n,k that multiplied by (x +...+x n) m k become sums of powers of linear forms K(m) = {f P n,k (x x n) } m k f Lf n,m. We define K(m) by intersecting K with the hyperplane of forms of integral on S n. From general convexity we know that every compact convex body K contains a unique ellipsoid of maximum volume, known as John s ellipsoid of K. Also, K is contained in a unique ellipsoid of minimum volume, known as the Loewner ellipsoid of K, []. A crude, yet interesting, measure of symmetry of K is its coefficient of symmetry about a point v in the interior of K. The coefficient of symmetry of K about v is defined as the largest α R such that α(k v) is contained in K v. We will compute coefficients of symmetry of C and Lf with respect to v = (x x n) k.. Convexity Results We prove the following properties: 3

4 . Let α = dimp n,k. Then ( ) /α vol K(m) vol C m!γ( m+n ) (m k)!γ( m+k+n ). It follows that if for an ɛ > 0 we let m = (k + kn)/ɛ then ( ) /α vol K(m) ɛ. vol C (cf Theorem 7.8). Thus the volume ratio approaches as m goes to infinity. Therefore all strictly positive polynomials lie in some K(m). (cf [7]). We show that, in the above metric, John s ellipsoid of C n,k is a ball centered at (x x n) k of radius (cf Theorem 5.3). (n+k k ). 3. We explicitly compute the Loewner Ellipsoid of Lf n,k. (cf Theorem 7.6). 4. We calculate the coefficient of symmetry of C n,k and Lf n,k with respect to (x x n) k, which in both cases turns out to be ( n+k k (cf Theorem 6.5 and Theorem 7.6). ). 5. Combining () and (3) we show that Lf n,k contains a ball of radius k!γ(k + n) Γ(k + n) (n+k ), centered at (x x n) k. (cf Corollary 7.7). 4 k

5 6. A crucial tool for the above calculations is computation of the Loewner ellipsoid of a convex hull of the orbit of an arbitrary point under a continuous, multiplicity free group action of a compact group. We apply this to the case of SO(n). (cf Theorem 3.). The case of continuous representation with no restriction on mulitiplicities will be discussed elsewhere. Note that the invariants computed in ()-(4) are independent of Euclidean structure on P n,d, e.g. the maximal volume ellipsoid is unique and is the same regardless of the choice of an inner product, although it will not always be a ball. In many cases we reduce our calculations to polynomials symmetric with respect to an axis. These are the polynomials fixed by J(n, v), where J(n, v) is the subgroup of SO(n) consisting of orthogonal transformations that fix a particular vector v R n : J(n, v) = {A SO(n) Av = v for some fixed v R n }. We show that every nonnegative polynomial symmetric with respect to an axis is a sum of squares, which proves to be quite useful, and we think interesting in itself..3 Integral Inequalities A byproduct of our work is a number of integral inequalities for homogeneous polynomials on S n. We use the usual notation for L p and L norms: ( f p = f p dσ S n ) p and f = max f(x). x Sn We list some of our results roughly in order of appearance in the paper:. For nonnegative f P n,k, ( ) n + k f f. k (cf Theorem 6.3) 5

6 . Equivalently to (), let M f denote the maximum of f on S n and m f denote the minimum of f on S n. Also let α =. Then for all ( n+k k ) f P n,k αm f + ( α)m f f dσ ( α)m f + αm f. S n (cf Corollary 6.6) 3. For f as in (), (cf Corollary 6.7) (n ) + k f f. k 4. From () we easily derive that for f P n,k ( n + kl f kl ) for all positive integers l. (cf Corollary 6.4) l f l, Estimates () and () above are sharp and we also provide all extreme polynomials for them. For a different proof of (4) by Barvinok and a discussion of applications see []. Sogge in [0], and Duoandikoetxea in [4] derive some related interesting inequalities. The rest of the article is structured as follows: Section contains the known results necessary for the rest of the paper. In Section 3 we compute the Loewner ellipsoid of an orbit of a point under the action of a compact group. In Section 4 we prove some results about polarity in the space of forms with respect to our inner product,. In Section 5 we compute John s ellipsoid for the cone of nonnegative polynomials. In Section 6 we compute the coefficient of symmetry of the cone of nonnegative polynomials. Section 7 is devoted to the cone of sums of powers of linear forms. We derive the equation of its Loewner ellipsoid and compute its coefficient of symmetry, and we show the volume ratio result. 6

7 Preliminaries. Representation of SO(n) in P n,d There is a natural action of SO(n) on P n,d which sends f(x) to f(a x) for A SO(n). We will denote the action of A SO(n) on f by Af. Note that this leads naturally to a representation φ n,d of SO(n). We introduce an inner product on P n,d : f, g = f(x)g(x) dσ S n where σ denotes the rotation invariant probability measure on S n. Under our inner product the norm of f coincides with the usual L norm and we will often use f instead of f. The metric induced by the inner product makes φ n,d into an orthogonal representation as Af, Ag = f(a x)g(a x)dσ = S n f(x)g(x)dσ = f, g, S n by rotational invariance of σ. We use to denote the Laplace differential operator: Definition. If f P n,d and = + +. x x n f = 0, then f is called a homogeneous harmonic. The restriction of a homogeneous harmonic to the sphere S n is called a spherical harmonic. By linearity of, homogeneous harmonics form a vector subspace of P n,d, which we denote by H n,d : Let H n,d = {f P n,d f = 0}. r(x) = (x x n) /. The inclusion i : H n,d l P n,d given by i(f) = r l f 7

8 is an isometry since i(f) = r l f is the same function as f on the sphere S n. We denote the image subspace of P n,d by H n,d l : H n,d l = {f P n,d f = r l g for some g H n,d l } We need some facts about the representations φ n,d, see [6] and []. Theorem. H n,d is an irreducible SO(n)-module, and, therefore, Hn,d is an irreducible submodule of P n,d. Furthermore, P n,d splits into irreducible submodules as follows: P n,d = d/ i=0 r i H n,d i = d/ i=0 H n,d i. Let D(n, d) be the dimension of P (n, d) and let N(n, d) be the dimension of H n,d. Then ( ) n + d D(n, d) = d and N(n, d) = (d + n )(d + n 3)!. d!(n )! Remark. The restriction of f P n,d to the sphere S n can be uniquely written as a sum of spherical harmonics of degrees having the same parity as d. Definition. Let J(n, v) denote the subgroup of SO(n) that keeps a particular v S n fixed: J(n, v) = {A SO(n) Av = v}. We denote the standard basis of R n by e... e n. We will use the following theorem on restricting φ n,d to J(n, v): Theorem.3 There exists unique polynomial L v n,d (x) with the following properties:. L v n,d (x) H n,d,. L v n,d (Ax) = Lv n,d (x) for all A J(n, v), 3. L v n,d (v) =. 8

9 We will call L v n,d (x) the Legendre harmonic with axis v. (also called axial and zonal polynomial). We will denote L e n n,d simply by L n,d. We now state some facts about Legendre harmonics that will be used later on: Theorem.4. The norm of the Legendre harmonic is given by: L v n,d = (L v n,d) dσ = S N(n, d) n. L v n,d =. The maximum absolute value of L v n,d is achieved only at v, v, and L v n,k(v) = L v n,k( v) = while L v n,k (v) = L v n,k ( v) =. Since L n,d is fixed by J(n, e n ), by applying rotations of S n fixing e n, we see that L n,d is constant on slices of the sphere with hyperplanes T a perpendicular to e n : T a = { ζ R n ζ, e n = a }, a. Hence the Legendre harmonics L n,d restricted to the sphere S n are functions of essentially only one variable, namely, the last coordinate. Therefore we can define a polynomial in t, which we will denote Q n,d (t), such that L n,d (ξ) = Q n,d ( ξ, e n ) for all ξ S n. The family of polynomials Q n,d (t) are known as the Legendre polynomials and are special cases of ultraspherical (or Gegenbauer) polynomials. For many identities satisfied by these polynomials see [] and []. 9

10 . Loewner and John Ellipsoids Let K be a convex body in a finite dimensional real vector space V. There exists a unique ellipsoid of maximal volume contained in K, known as John s ellipsoid of K; we will denote it by D K. Moreover, there is a criterion for determining whether a given ellipsoid E contained in K is John s ellipsoid of K based solely on the points in the intersection of boundaries E K. Recall that a non-singular linear transformation does not affect ratios of volumes. Therefore, after translating the center of D K to the origin and then applying a linear transformation A GL(V ), we know that John s Ellipsoid of A(K) is the unit ball B n. Therefore we will assume that John s ellipsoid of K is a ball and we state the theorem for this case: Theorem.5 Each convex body K contains unique ellipsoid of maximal volume. This ellipsoid is B n if and only if the following conditions are satisfied: B n K and (for some m) there exist unit vectors (u i ) m in the boundary K of K and positive numbers (c i ) m satisfying: ci u i = 0 and ci x, u i = x for all x R n. For the proof and discussion see []. There also exists a unique ellipsoid of minimal volume containing K, known as the Loewner ellipsoid of K; we will denote it by L K. It was shown by John in [5] that if B n contains K, then the same condition on points in the intersection of boundaries is necessary and sufficient for a unit ball B n to be the Loewner ellipsoid of K. Definition. For a convex body K in V we will use K to denote the polar of K, K = {x R n x, y for all y K}. The following proposition relating John and Loewner Ellipsoids of polar bodies will be useful later on. Proposition.6 Let L K be the Loewner ellipsoid of K and suppose that the center of L K is the origin. Then John s ellipsoid of K is L K 0

11 Now we assume that the center of the Loewner ellipsoid of K is the origin and let α be the coefficient of symmetry of K with respect to 0, i.e. let α be the largest positive real number such that αk K. Proposition.7 Let K be a convex body and let α be the coefficient of symmetry of K with respect to the center of the Loewner ellipsoid L K. Then α dim V L K K L K. Similarly, if β is the coefficient of symmetry of K with respect to the center of John s ellipsoid D K, then dim V D K K D K. β Proof. We will show the proposition only for the case of Loewner ellipsoid. The other case follows by polarity. Without loss of generality we may assume that L K is a unit ball centered at the origin. John in [5] has also shown the following: For a unit vector v R n let d(v) be the distance from the origin of the supporting hyperplane of K in the direction of v: d(v) = max x, v. x K Then d(v)d( v) dim V. Now let w K be such that v, w = d(v). Since the coefficient of symmetry of K is α, it follows that αw K and αw, v = αd(v). Therefore we see that αd(v) d( v),

12 and thus d ( v) d(v)d( v) α dim V. Hence it follows that for all unit vectors v R n α d(v) dim V, and therefore K contains a ball of radius α. dim V 3 Loewner Ellipsoid of an Orbit Let V be a finite-dimensional real vector space. Let G be a compact topological group and let φ : G GL(V ) be a continuous representation of G. There exists a G-invariant probability measure µ on G, called the Haar measure. From existence of Haar measure it easily follows that there exists a G-invariant scalar product, that makes φ into an orthogonal representation [9]. We will use the shorthand notation of g(v) to denote the action of φ(g) on a vector v V. Let v V and let O v be the orbit of v, O v = { g(v) g G }. Let W denote the affine span of O v, { W = λi g i (v) g i G and λ i R such that } λi =, and let K v be the convex hull of O v, { K v = λi g i (v) g i G, λ i R such that } λi = and λ i 0. Since G is compact, it follows that O v is compact. Therefore K v is a fulldimensional compact convex set in W. Let v denote the projection of v into the isotypic component of V corresponding to the trivial representation: v = g(v) dµ. G

13 Since µ is normalized to, it follows that v W. Now consider the linear subspace W which is obtained by subtracting v from W : Notice that W is a G-module. Since W = { w v w W }. g(v v) = g(v) g( v) = g(v) v, it follows that W is an affine span of O v v, and K v v is K v v. Thus instead of K v we can consider K v v, inside W. Therefore we have reduced our problem to computing the Loewner ellipsoid for a point whose orbit spans the entire space affinely. Let v V and, without loss of generality, assume that V = Aff{O v }. In this case G does not fix any vector in V except for the origin. For suppose not, and let w V be fixed by G. Then Therefore g(v), w = g g(v), g w = v, w for all g G. x, w = v, w = const for all x Aff(O v )=V. Thus w = 0. We now assume that the representation φ is multiplicity free, i.e. isomorphic irreducible submodules occur with multiplicity in the decomposition of V ; the case of an arbitrary representation will be discussed elsewhere. We let V = k i= be the unique orthogonal decomposition of V into irreducible submodules, and let D i be the dimension of V i, with D denoting the dimension of V. For x V we use l i (x) to denote orthogonal projection of x into V i. Now we prove the main theorem of this section: Theorem 3. The Loewner ellipsoid L of K v is given by the inequality: k i= V i D i l i (v) l i(x) D. 3

14 Proof. Since K v is the convex hull of the orbit of v it follows that K v is fixed by the action of G. By uniqueness of the Loewner ellipsoid, it follows that L is also fixed under the action of G. Now let E be an ellipsoid in V such that E is fixed under the action of G and v E. From invariance of E under G it follows that and hence O v E, K v E. We will minimize the volume of E, and then we will obtain the Loewner ellipsoid L. Let w be the center of E. Since G fixes E, it follows that G also fixes w. But the only vector fixed by G in V is the origin, and thus w = 0. Also, from the invariance of E under the action of G, it follows that the defining inequality of E must have the form k λ i l i (x), for some λ i R with λ i 0. i= To minimize volume of E we may assume that v E, or in other words Also, k λ i l i (v) =. i= vol (E) = vol (B D ) k i= λ D i i. where B D denotes the D-dimensional unit ball. Thus we need to minimize k i= λ D i i subject to k λ i l i (v) =. () i= 4

15 We apply the method of Lagrange multipliers and it follows that cd i vol (E) λ i = l i (v), for some c R, and for all i k. () Therefore λ i l i (v) = cd i vol (E). We substitute this into () and it follows that c = vol (E) k i= D i = vol (E)D. This we substitute into () and we see that λ i = D i l i (v) D. Now the theorem follows. 4 Duality In this section we explicitly compute the dual cone of the cone C of nonnegative polynomials and describe some of its properties. Definition. For f P n,d let l d i (f) denote the projection of f into H n,d i. Theorem 4. For v S n let p v P n,d be as follows, p v = d/ i=0 N(n, d i)r i L v n,d i. Then for all f P n,d, p v, f = f(v). Proof. We observe that k k p v, f = l d i (p v ), l d i (f) = i=0 i=0 k N(n, d i)r i L v n,d i, l d i (f). i=0 5

16 Therefore it would suffice to show that for all f H n,d i, N(n, d i)r i L v n,d i, f = f(v). Let T v denote the hyperplane of all polynomials in H n,d i with zero at v, T v = {f H n,d i f(v) = 0}. Since T v is a hyperplane, its orthogonal complement in H n,d i is a line. Let g Tv. We observe that T v is fixed by the action of J(n, v). Therefore Tv is also fixed by J(n, v), and from Theorem.3 it follows that g = cr i L v n,d i for some constant c R. Let g = N(n, d i)r i L v n,d i. Since g T v it follows that for all f Hn,d i, f, g = cf(v) for some constant c R. To compute c, we use f = r i L v n,d i and observe that r i L v n,d i, g = N(n, d i) L v n,d i, L v n,d i. Now from Theorem.4, we know that L v n,d i, L v n,d i = Thus it follows that c = as desired. N(n, d i) and L v n,d i =. Remark 4. For even d = k we may rewrite p v as p v = k i=0 Corollary 4.3 Let f P n,d be such that f f g g N(n, i)r k i L v n,i. for all non-zero g P n,d. Then f is a scalar multiple of p en, up to a rotation of R n, and f f = D(n, d). 6

17 Proof. By applying an appropriate rotation and rescaling we may assume that f = f(e n ) =. We observe that f lies in the affine hyperplane T of all polynomials with value at e n and furthermore f is the shortest form on this hyperplane by the assumption that f f g g for all g P n,d. Thus f is perpendicular to T and from Theorem 4. it follows that f is a multiple of p en. Let C denote the dual cone of C, C = {f P n,k f, g 0 for all g C}. Corollary 4.4 C is the conical hull of the orbit of p en, where p en = k i=0 N(n, i)r k i L n,i. Proof. Let K be the conical hull of the points p v for all v S n, { } K = λ i p vi v i S n and λ i R, λ i 0. Consider K, i K = {f P n,k f, g 0 for all g K} = {f P n,k f, p v 0 for all v S n }. From Theorem 4., we know that f, p v = f(v), and therefore K = C. Since C is a closed cone, by the BiPolar Theorem it follows that K = C. Now let A SO(n) be such that Aw = v. Then we note that AL v n,i = L w n,i and therefore Ap v = p w. Thus the set of p v for all v S n is the same as the orbit of p en and we obtain the desired result. 7

18 5 John s Ellipsoid of the Cone of Nonnegative Polynomials In this section we compute John s Ellipsoid of C n,k. Recall that M is the hyperplane of all forms of integral on S n. If we regard the point r k = (x x n) k as the origin in M, then the inner product, induces an inner product in M which we will denote, M, f, g M = f r k, g r k for f, g M. Recall that C is the dual cone of C, and define C by intersecting C with the hyperplane M, C = C M. We now establish a relationship between C and C in terms of, M. Lemma 5. Let C be the polar of C with respect to, M. Then Proof. We observe that C = C + r k. C = {f M f, g M for all g C} = {f M f r k, g r k for all g C}. Since both f and g have integral on S n, it follows that and therefore Thus f, r k = g, r k =, C = {f M f, g for all g C}. C + r k = {f M f, g 0 for all g C} = C. 8

19 Theorem 5. The Loewner Ellipsoid E of C is a ball with center r k and radius (n ) + k D(n, k) = k Proof. From Corollary 4.4 it follows that C is the convex hull of the orbit of p en. We also know from Theorem. that the representation of SO(n) is multiplicity free. Therefore we can apply Theorem 3.. The irreducible subspaces are H n,i for i k. Let l i (f) denote the projection of f into H n,i and then l i (p en ) = N(n, i)l n,i = N(n, i). The result now follows from Theorem 3.. Theorem 5.3 John s ellipsoid D of C is a ball with center r k and radius D(n, k) = Proof. From Lemma 5. we know that (n+k k C = C + r k. ) Therefore the Loewner ellipsoid of C is a ball with center r k and radius D(n, k). By Proposition.6 we know that John s Ellipsoid of C is the polar of the Loewner ellipsoid of C and the theorem follows. 6 Coefficient of Symmetry of The Cone of Nonnegative Polynomials In this section we compute the coefficient of symmetry of C with respect to r k. We begin by showing that all forms symmetric with respect to an axis are sums of squares of forms. Definition. For 0 a, let q a (x) = x n ar = ( a)x n a(x x n ). 9

20 Definition. For f P n,d let V (f) be the vanishing set of f, V (f) = {x R n f(x) = 0}. Lemma 6. Let f(x) P n,k be a nonnegative form and suppose that f is fixed by J(n, v) for some v R n. Then f is a sum of squares of forms. Proof. We induct on k. Base Case: k =. In this case we are dealing with homogeneous quadratics and all nonnegative homogeneous quadratics are sums of squares. Inductive step: k k+. Applying a suitable rotation of R n, we may assume that f is fixed by J(n, e n ). It will suffice to show the lemma for f with a zero, since we can consider the form f αr k, where α is the minimum of f on S n. Since f has a zero, and f is fixed by J(n, e n ) it follows V (f) is a nonempty subset of R n that is fixed by J(n, e n ). Hence V (f) contains V qa for some a [0, ]. We first deal with the two degenerate cases: If a = then q = (x x n ) and V qa = {λe n λ R} Since f(e n ) = 0 we can write f = k i=0 x i ng i. where g i depend only on x,..., x n. Since f is fixed by J(n, e n ), it follows that g i is fixed by J(n, e n ) for all 0 i k. Since g i depends only on x,..., x n, we see that g i is fixed by SO(n ). Then i must be even and g i = λ i (x + + x n ) k i for some λ i R. Thus x + + x n divides f. We write f = (x + + x n )g and g is sum of squares by induction, and then so is f. If a = 0, then q 0 (x) = x n and x n divides f, but since f is nonnegative, it follows that x n divides f and f = x ng. By induction, g is a sum of squares, 0

21 and then f is as well. For 0 < a <, let I = I(V qa ) be the vanishing ideal of V qa : I = {f R[x,..., x n ] f(x) = 0 for all x V qa }, where R[x,..., x n ] is the ring of real polynomials in n variables. We will show that I is a principal ideal generated by q a. Let g I. By reducing modulo q a we may write g = bq a + x n c + d, where c and d are polynomials that depend only on x,..., x n. Let h = g bp a = x n c + d. We observe that h I and also h(x,..., x n, x n ) I, since V (q a ) is fixed by reflection about the e,..., e n hyperplane. Thus x n c+d I, and then x n c and d are in I. But since a > 0, the vanishing set of q a intersects the hyperplane x n = 0 only at the origin. Thus we see that c I. Also, c and d only depend on the first n variables. Therefore, since a <, we see that c and d vanish on the entire hyperplane spanned by e,..., e n. Hence, c = d 0. Thus I = (q a ). Since I is a principal ideal generated by q a and f I it follows that q a divides f, and we can write f = q a g. Now we note that q a (x) 0 for x S n with x n a, and q a (x) < 0 for x S n with x n < a. Since q a g 0, it follows that g(x) = 0 for all x V (p a ), otherwise the sign of g does not change in the neighborhood of some x V (q a ), which yields a contradiction since a <. Thus g I and therefore q a divides g. Hence qa divides f. We write f = qah and h is a sum of squares by induction. Remark 6. From the proof of Lemma 6. it follows that if V (q a ) V (f) with 0 a < for some nonnegative f P n,k, not necessarily symmetric with respect to J(n, e n ), then q a divides f for 0 < a < and x n divides f if a = 0.

22 Our goal is to compute the coefficient of symmetry of C. We begin with the crucial integral inequality. Definition. Let Max denote the maximal L norm for the functions in C, Max = max f. f C Theorem 6.3 Let f C be such that f = Max. Then k/ f = N(n, k l)r l L n,k l, D(n, k) up to a rotation of R n, and l=0 Max = f = D(n, k). Proof. Let f C be such that f = Max. Applying a rotation of R n, if necessary, we may assume that f(e n ) = Max. Now let p be the average of f over J(n, e n ), p = Af dµ, A J(n,e n) where µ is the normalized Haar measure on J(n, e n ). Clearly, p is a nonnegative form and S n p dσ =. Thus p C. Also, p = f = Max, since p(e n ) = f(e n ). Since p is the average of f over J(n, e n ), it follows that p is fixed by J(n, e n ). Then from Lemma 6. we see that p is a sum of squares. Since p Sq, it is a convex combination of extreme points of Sq, and an extreme point of Sq must be a square. Thus we see that p = λ i h i with λ i > 0, λi =, where h i P n,k. Therefore, Max = p(e n ) = λ i h i (e n ). (3) But Max h i h i (e n ) and therefore h i = h i (e n ) = Max.

23 Thus there exists h P n,k such that h Sq and Then we observe that h = Max. h h g g for all g P n,k. Then from Corollary 4.3 it follows that h = k/ N(n, k i)r i L n,k i, D(n, k) i=0 up to a rotation of R n. Also from Corollary 4.3 we know that Max = h = D(n, k). Now we will show that up to a rotation of R n, the only form in C with maximal L norm is h. We know that all Legendre harmonics are fixed by J(n, e n ). Therefore it follows that h is also fixed by J(n, e n ). Now we observe that from the proof of Lemma 4.3 it is clear that h (e n ) = h ( e n ) = h = Max, and e n, e n are the only points where the maximum occurs. Thus, if A SO(n) acts on h, then it either fixes h, or the maximum of Ah occurs not at ±e n. Therefore h is the only square, and thus the only extreme point of Sq, which takes on the value Max at e n. Now going back to (3) we see that p = h, since p is a convex linear combination of extreme points of Sq with value Max at e n. Therefore h = Af dµ. A J(n,ɛ n ) Now h is lies in the boundary of C, and thus it must have a zero. But h is also the average of f over J(n, e n ) and we know that f is nonnegative. Therefore we see that V (f) contains V (q ). Since q is fixed by J(n, e n ), it follows that V (q a ) V (h ), for some a [0, ], and since h(e n ) 0 it follows 3

24 that 0 a <. Then it follows from Remark 6. that we can factor out a square of a form fixed by J(n, e n ) from h and f. Call it m, and let h = h m and f = f m. Again, h generates an extreme ray of a cone of sums of squares, now of a lesser degree, otherwise h would not lie on an extreme ray. Since m is fixed by J(n, e n ), we still have h = A fdµ, A J(n,ɛ n ) because averaging over J(n, e n ) is the same as taking the average over slices of the sphere with hyperplanes perpendicular to e n. Thus, again by proof of Lemma 6. we can factor out the same square from both h and f and we can continue with this process, and in the end f = h. Corollary 6.4 For all f P n,k ( n + kl f kl ) l f l. Proof. We apply Theorem 6.3 to f l. Since f l is nonnegative, and f l P n,kl, from Theorem 6.3 we know that f l D(n, kl) f l. Since f l = f l and f l = f l l, by taking l-th root of both sides we obtain the desired inequality. Theorem 6.5 The coefficient of symmetry of C with respect to r k is D(n, k) = ( n+k ). k 4

25 Proof. Let f C, and denote by f the polynomial in C that is opposite to f with respect to r k, f = α(r k f) + r k for some α R such that α > 0. Since f C, it is a nonnegative form with a zero. Then it follows that Thus α = max x S n f(x) = f. f = and, since the minimum of f on S n is zero, Also using (4) we see that: f (rk f) + r k, (4) f = α + = f f. f r k f r k = f r k f (rk f) = f. Therefore it follows that the coefficient of symmetry of C with respect to r k is. From Theorem 6.3, we know that Max = D(n, k), and the result Max follows. Corollary 6.6 Let M f denote the maximum of f on S n and let m f denote the minimum of f on S n. Let α = ( n+k k ). Then, αm f + ( α)m f f dσ ( α)m f + αm f, S n and both inequalities are sharp. Proof. Consider the set W obtained from C by subtracting r k from all forms in C, W = C r k. We observe that W is the set of all forms of integral zero with minimum at most on S n. 5

26 From the definition of W it follows that the coefficient of symmetry of W around 0 is the same as the coefficient of symmetry of C around r k. Thus the coefficient of symmetry of W around 0 is, But since ( n+k k ) = α α. M f = m f and m f = M f, it follows that for all f P n,k of integral 0, For f P n,k consider We have shown above that Thus α α M f m f α α. ( ) ˆf = f f dσ r k. S n (M f S n f dσ) m f S n f dσ f dσ M f + α S n = M ˆf m ˆf α α. ( ) α m f, and one side of the desired inequality follows. The other half is done in the same way. Corollary 6.7 C is contained in ball of radius (n ) + k D(n, k) =, k or, equivalently, for all nonnegative f P n,k (n ) + k f f. k 6

27 Proof. From Theorem 5.3 we know that John s ellipsoid of C is a ball of radius D(n,k) around r k, and the coefficient of symmetry of C with respect to r k is We apply Proposition.7, and it follows that D(n,k). therefore C is contained in the ball of radius D(n, k) D(n, k) D(n, k) = D(n, k) = (n ) + k, k centered at r k, as desired. 7 Cone of Sums of Powers of Linear Forms In order to study the cone Lf we will need to decompose x k n Legendre harmonics. We begin by recalling the Rodrigues rule. as a sum of Lemma 7. Rodrigues Rule, [6]: Let Q n,d (t) be the Legendre polynomial defined in the Preliminaries. Then + f(t)q n,d (t)( t ) n 3 dt = Rd (n) where R d (n) is the Rodrigues constant: R d (n) = + n Γ( ) n Γ( 4k+n ). f (n) (t)( t ) d+n 3, Since x k n is symmetric is fixed by the action of J(n, e n ) it decomposes as a sum of the Legendre harmonics. The next theorem gives the precise decomposition. Theorem 7. x k n x S k n n dσ = k l=0 k!γ( k+n ) (k l)!γ( k+l+n ) N(n, l)rk l L n,l. 7

28 Proof. We first recall the well-known fact that k+ x k Γ( )Γ( n n dσ = ) S n πγ( n+k). (5) See, for example, []. Since x k n is fixed by J(n, e n ), we know that it decomposes as a sum of Legendre harmonics of even degrees. Therefore it suffices to compute x k n, r l L n,k l = x k n L n,k l dσ. S n On S n both x k n and L n,k l are functions of the last coordinate, and hence this integral translates into S n S n + t k Q n,k l (t)( t ) n 3 dt, where S n denotes the surface area of S n. Now we apply the Rodrigues Rule to + t k Q n,k l (t)( t ) n 3 dt, and get: (k)! (l)! R k l(n) + t l ( t ) 4k 4l+n 3 dt. This we can interpret back as an integral over the sphere of dimension 4k 4l + n and we obtain: (k)! S 4k 4l+n (l)! S 4k 4l+n R k l(n) x l n dσ. S 4k 4l+n Next we substitute in (5) to get, Now, (k)! S 4k 4l+n Γ( l+ π(l)! S 4k 4l+n Γ( 4k l+n ) 4k 4l+n )Γ( ) S n = π n Γ( n ), R k l (n). 8

29 and thus we get, (k)!γ( l+ 4k 4l+n )Γ( (l)!γ( 4k l+n ) ) Substituting in the value of R k l (n) we obtain + Thus we get that R k l (n). t k Q n,k l (t)( t (k)!γ( l+ n )Γ( ) ) n 3 dt = k l (l)!γ( 4k l+n ). n, r l L n,k l = Sn (k)!γ( l+ n )Γ( ) S n k l (l)!γ( 4k l+n ) = x k (k)!γ( l+)γ( n) π k l (l)!γ( 4k l+n ). (6) Now the doubling rule for Gamma function says that ( x ) x Γ Γ ( ) x + = πγ(x). Applying this to x = l + we get ( ) l + Γ = πγ(l + ) l Γ(l + ). (7) Substituting (7) into (6) we have Thus using (5), x k n, r l L n,k l = (k)!γ( n) l! k Γ( 4k l+n ). x k n, r l L n,k l = n dσ S n x k π(k)!γ( k+n) k l!γ( 4k l+n )Γ( k+ ). (8) Now we again apply the doubling rule this time to x = k + to get ( ) k + πγ(k + ) Γ = k Γ(k + ), 9

30 which we substitute into (8): Now recall that x k n, r l L n,k l = dσ x S k n n r l L n,k l = L n,k l = k+n k!γ( ) l!γ( 4k l+n ). N(n, k l), and the desired result follows. We now make a crucial definition. We define a family of linear operators T m,k that averages a form p in P n,k over the m-th powers of linear forms x, v for v in S n and m k. Definition. Let T m,k : P n,k P n,k be a linear operator defined by p(v) x, v m dσ(v) S (T m,k p)(x) = n for x, v S n. dσ x S m n n The fact that the result of the averaging is a polynomial of degree k rather than m follows from the following observation. Since we only look at the unit sphere we can replace p with pr m k and the resulting polynomial will be of degree m but it will be divisible by r m k, and thus on S n it will be the same as a polynomial of degree k. Remark 7.3 It will follow from Lemma 7.4 that the operators T m,k have been defined in a different form by Reznick in [7]. We observe that T m,k maps nonnegative forms to the sums of powers of linear forms. The following lemma shows the precise action of T m,k on P n,k. Lemma 7.4 T m,k (f) = Proof. We rewrite T m,k f as k i=0 (T m,k f)(x) = f, m!γ( m+n ) (m i)!γ( m+i+n ) l i(f). x, v m S n x, v m dσ(v) 30

31 We apply Theorem 7. and it follows that (T m,k f)(x) = f, m i=0 m!γ( m+n ) (m i)!γ( m+i+n ) N(n, i)lv n,i. Now we decompose f as a sum of spherical harmonics and observe that (T m,k f)(x) = k m!γ( m+n ) l i (f), (m i)!γ( m+i+n ) N(n, i)lv n,i. i=0 We recall that by Theorem 4. l i (f), N n,i L v n,i = (l i f)(v). Therefore T m,k (f) = k i=0 m!γ( m+n ) (m i)!γ( m+i+n ) l i(f). Remark 7.5 It follows from Lemma 7.4 that T m,k is a diagonal operator on the harmonic subspaces of P n,k. Thus T m,k commutes with the action of SO(n). Theorem 7.6 The Loewner Ellipsoid of Lf is given by the inequality ( ) k (k i)!γ( k+i+n) l i(f) D k!γ( k+n n,k, ) i= and the coefficient of symmetry of Lf is D(n, k) = ( n+k ). Proof. By Lemma 7.4 and Theorem 7., k T k,k (p en ) = k i=0 k!γ( k+n ) (k i)!γ( k+i+n ) N(n, i)l n,i = x k n x S k n n dσ. 3

32 Since T k,k commutes with the action of SO(n), it follows that T k,k (C ) = Lf. Therefore T k,k maps the Loewner ellipsoid of C to the Loewner ellipsoid of Lf. By Theorem 5. the Loewner ellipsoid of Lf is a ball with center r k and of radius D(n, k). The inequality for the Loewner ellipsoid of Lf follows. By Corollary 5. we know that C and C are after a reflection polar to each other. Therefore the have the same coefficient of symmetry with respect to r k. Since T k,k fixes r k, it follows that the coefficient of symmetry of Lf is the same as the coefficient of symmetry of C, which by Theorem 6.5 is (D(n, k) ). Corollary 7.7 Lf contains a ball of radius centered at r k. Proof. The coefficient k!γ( k+n ) Γ( 4k+n ) D(n, k) (k i)!γ( k+i+n ) k!γ( k+n ) for 0 i k, is clearly maximized when i = k. Thus the Loewner ellipsoid of Lf contains a ball of radius k!γ( k+n ) D(n, k). Γ( 4k+n ) From Proposition.7 and Theorem 7.6 we know that Lf will contain its Loewner ellipsoid shrunk by the factor of (D(n, k) )(D(n, k) ). Now the corollary follows. Definition. Let K(m) be the cone in P n,k of forms whose restrictions to 3

33 the sphere are linear combinations of m-th powers of linear forms on S n. Equivalently K(m) is the cone of forms in P n,k that multiplied by r m k become sums of powers of linear forms K(m) = {f P n,k (x x n) } m k f Lf n,m. We define K(m) by intersecting K with the hyperplane of forms of integral on S n. Theorem 7.8 Let α = dimp n,k. Then ( ) /α vol K(m) vol C m!γ( m+n ) (m k)!γ( m+k+n ). Proof. We observe that from the definition of T m,k it follows that T m,k maps C into K(m). Since T m,k fixes r k, it follows that T m,k maps C into K(m). But from Lemma 7.4 T m,k acts on Hn,i by shrinking it by a factor of m!γ( m+n ) (m i)!γ( m+i+n ). This coefficient is clearly minimized when i = k and then the theorem follows. Corollary 7.9 Let ɛ 0 and let m = (k + kn)/ɛ. Then ( ) /α vol K(m) ɛ. vol C Remark 7.0 The volume ratio ( vol K(m) vol C ) /α approaches as m tends to infinity. Therefore every strictly positive form lies in some K(m). (cf [7]) 33

34 Acknowledgements The author wishes to thank Alexander Barvinok for many discussions and support in writing this paper. References [] K. Ball, An elementary introduction to modern convex geometry, Flavors of Geometry -58, Math. Sci. Res. Inst. Publ., 3, Cambridge Univ. Press, Cambridge, (997). [] A.I. Barvinok, Estimating L norms by L k norms for functions on orbits, Foundations of Computational Mathematics, to appear. [3] J. Bochnak, M. Coste, M-F. Roy, Real Algebraic Geometry, Springer- Verlag, Berlin, (998). [4] J. Duoandikoetxea, Reverse Hölder inequalities for spherical harmonics, Proc. Amer. Math. Soc. 0 (987), no. 3, [4] D. Hilbert, Über die Darstellung definiter Formen als Summe von Formenquadraten, Math. Ann. 3, (888). Ges Abh. vol., Chelsea Publishing Co., New York, (965) [5] F. John, Extremum problems with inequalities as subsidiary conditions, Studies and Essays Presented to R. Courant on his 60th Birthday, Interscience Publishers, Inc., New York, (948). [6] C. Müller, Analysis of Spherical Symmetries in Euclidean Spaces, Springer-Verlag, New York, (998). [7] B. Reznick, Some concrete aspects of Hilbert s 7th Problem, Contemp. Math., 53 (000), 5-7. [8] B. Reznick, Sums of even powers of real linear forms, Mem. Amer. Math. Soc. 96 (99), no [9] B. Simon, Representations of Finite and Compact Groups, Graduate Studies in Math, 0, AMS, Providence, RI (00). 34

35 [0] C. Sogge, Oscillatory integrals and spherical harmonics, Duke Math. J. 53 (986), no., [] G. Szegö, Orthogonal Polynomials, American Mathematical Society Colloquium Publications, v. 3., (939). [] N. Ja. Vilenkin, Special Functions and the Theory of Group Representations,Translations of Mathematical Monographs, Vol., American Mathematical Society (968). 35

On John type ellipsoids

On John type ellipsoids On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

MAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.

MAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1. DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous

More information

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial

More information

Recall that any inner product space V has an associated norm defined by

Recall that any inner product space V has an associated norm defined by Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

More information

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space. Chapter 1 Preliminaries The purpose of this chapter is to provide some basic background information. Linear Space Hilbert Space Basic Principles 1 2 Preliminaries Linear Space The notion of linear space

More information

12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of

More information

Course Summary Math 211

Course Summary Math 211 Course Summary Math 211 table of contents I. Functions of several variables. II. R n. III. Derivatives. IV. Taylor s Theorem. V. Differential Geometry. VI. Applications. 1. Best affine approximations.

More information

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let: Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.

More information

Integral Jensen inequality

Integral Jensen inequality Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a

More information

Another Low-Technology Estimate in Convex Geometry

Another Low-Technology Estimate in Convex Geometry Convex Geometric Analysis MSRI Publications Volume 34, 1998 Another Low-Technology Estimate in Convex Geometry GREG KUPERBERG Abstract. We give a short argument that for some C > 0, every n- dimensional

More information

On polynomially integrable convex bodies

On polynomially integrable convex bodies On polynomially integrable convex bodies A. oldobsky, A. Merkurjev, and V. Yaskin Abstract An infinitely smooth convex body in R n is called polynomially integrable of degree N if its parallel section

More information

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

More information

Some notes on Coxeter groups

Some notes on Coxeter groups Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three

More information

SYMPLECTIC GEOMETRY: LECTURE 5

SYMPLECTIC GEOMETRY: LECTURE 5 SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The

More information

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces. Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,

More information

5 Quiver Representations

5 Quiver Representations 5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )

More information

Chapter 2 Linear Transformations

Chapter 2 Linear Transformations Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more

More information

Math 341: Convex Geometry. Xi Chen

Math 341: Convex Geometry. Xi Chen Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry

More information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC GROUPS J. WARNER ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic

More information

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space 1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization

More information

Functional Analysis I

Functional Analysis I Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker

More information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

Analysis-3 lecture schemes

Analysis-3 lecture schemes Analysis-3 lecture schemes (with Homeworks) 1 Csörgő István November, 2015 1 A jegyzet az ELTE Informatikai Kar 2015. évi Jegyzetpályázatának támogatásával készült Contents 1. Lesson 1 4 1.1. The Space

More information

Math 210C. The representation ring

Math 210C. The representation ring Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let

More information

Lecture 1. Toric Varieties: Basics

Lecture 1. Toric Varieties: Basics Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture

More information

TOPOLOGICAL GROUPS MATH 519

TOPOLOGICAL GROUPS MATH 519 TOPOLOGICAL GROUPS MATH 519 The purpose of these notes is to give a mostly self-contained topological background for the study of the representations of locally compact totally disconnected groups, as

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two

More information

2. Intersection Multiplicities

2. Intersection Multiplicities 2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

Bulletin of the Iranian Mathematical Society

Bulletin of the Iranian Mathematical Society ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:

More information

B. Appendix B. Topological vector spaces

B. Appendix B. Topological vector spaces B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function

More information

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition

More information

LOWER BOUNDS FOR A POLYNOMIAL IN TERMS OF ITS COEFFICIENTS

LOWER BOUNDS FOR A POLYNOMIAL IN TERMS OF ITS COEFFICIENTS LOWER BOUNDS FOR A POLYNOMIAL IN TERMS OF ITS COEFFICIENTS MEHDI GHASEMI AND MURRAY MARSHALL Abstract. Recently Lasserre [6] gave a sufficient condition in terms of the coefficients for a polynomial f

More information

Topics in linear algebra

Topics in linear algebra Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over

More information

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

More information

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

(x, y) = d(x, y) = x y.

(x, y) = d(x, y) = x y. 1 Euclidean geometry 1.1 Euclidean space Our story begins with a geometry which will be familiar to all readers, namely the geometry of Euclidean space. In this first chapter we study the Euclidean distance

More information

Reducibility of generic unipotent standard modules

Reducibility of generic unipotent standard modules Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric

More information

LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday

LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field

More information

On bisectors in Minkowski normed space.

On bisectors in Minkowski normed space. On bisectors in Minkowski normed space. Á.G.Horváth Department of Geometry, Technical University of Budapest, H-1521 Budapest, Hungary November 6, 1997 Abstract In this paper we discuss the concept of

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

Lebesgue Measure on R n

Lebesgue Measure on R n CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

More information

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792 Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

More information

ON SUM OF SQUARES DECOMPOSITION FOR A BIQUADRATIC MATRIX FUNCTION

ON SUM OF SQUARES DECOMPOSITION FOR A BIQUADRATIC MATRIX FUNCTION Annales Univ. Sci. Budapest., Sect. Comp. 33 (2010) 273-284 ON SUM OF SQUARES DECOMPOSITION FOR A BIQUADRATIC MATRIX FUNCTION L. László (Budapest, Hungary) Dedicated to Professor Ferenc Schipp on his 70th

More information

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE MICHAEL LAUZON AND SERGEI TREIL Abstract. In this paper we find a necessary and sufficient condition for two closed subspaces, X and Y, of a Hilbert

More information

Scalar curvature and the Thurston norm

Scalar curvature and the Thurston norm Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x

More information

On the Waring problem for polynomial rings

On the Waring problem for polynomial rings On the Waring problem for polynomial rings Boris Shapiro jointly with Ralf Fröberg, Giorgio Ottaviani Université de Genève, March 21, 2016 Introduction In this lecture we discuss an analog of the classical

More information

REPRESENTATION THEORY OF S n

REPRESENTATION THEORY OF S n REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November

More information

REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

More information

The Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria

The Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Common Homoclinic Points of Commuting Toral Automorphisms Anthony Manning Klaus Schmidt

More information

Ranks of Real Symmetric Tensors

Ranks of Real Symmetric Tensors Ranks of Real Symmetric Tensors Greg Blekherman SIAM AG 2013 Algebraic Geometry of Tensor Decompositions Real Symmetric Tensor Decompositions Let f be a form of degree d in R[x 1,..., x n ]. We would like

More information

Rings With Topologies Induced by Spaces of Functions

Rings With Topologies Induced by Spaces of Functions Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,

More information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

Algebra II. Paulius Drungilas and Jonas Jankauskas

Algebra II. Paulius Drungilas and Jonas Jankauskas Algebra II Paulius Drungilas and Jonas Jankauskas Contents 1. Quadratic forms 3 What is quadratic form? 3 Change of variables. 3 Equivalence of quadratic forms. 4 Canonical form. 4 Normal form. 7 Positive

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

Chapter 1. Preliminaries

Chapter 1. Preliminaries Introduction This dissertation is a reading of chapter 4 in part I of the book : Integer and Combinatorial Optimization by George L. Nemhauser & Laurence A. Wolsey. The chapter elaborates links between

More information

A NICE PROOF OF FARKAS LEMMA

A NICE PROOF OF FARKAS LEMMA A NICE PROOF OF FARKAS LEMMA DANIEL VICTOR TAUSK Abstract. The goal of this short note is to present a nice proof of Farkas Lemma which states that if C is the convex cone spanned by a finite set and if

More information

Gaussian Measure of Sections of convex bodies

Gaussian Measure of Sections of convex bodies Gaussian Measure of Sections of convex bodies A. Zvavitch Department of Mathematics, University of Missouri, Columbia, MO 652, USA Abstract In this paper we study properties of sections of convex bodies

More information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need

More information

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................

More information

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations

More information

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014 Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014 1. Please write your 1- or 2-digit exam number on

More information

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre

More information

In English, this means that if we travel on a straight line between any two points in C, then we never leave C.

In English, this means that if we travel on a straight line between any two points in C, then we never leave C. Convex sets In this section, we will be introduced to some of the mathematical fundamentals of convex sets. In order to motivate some of the definitions, we will look at the closest point problem from

More information

Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN

Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), 313 321 www.emis.de/journals ISSN 1786-0091 DUAL BANACH ALGEBRAS AND CONNES-AMENABILITY FARUK UYGUL Abstract. In this survey, we first

More information

CHAPTER V DUAL SPACES

CHAPTER V DUAL SPACES CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the

More information

On lengths on semisimple groups

On lengths on semisimple groups On lengths on semisimple groups Yves de Cornulier May 21, 2009 Abstract We prove that every length on a simple group over a locally compact field, is either bounded or proper. 1 Introduction Let G be a

More information

The Leech lattice. 1. History.

The Leech lattice. 1. History. The Leech lattice. Proc. R. Soc. Lond. A 398, 365-376 (1985) Richard E. Borcherds, University of Cambridge, Department of Pure Mathematics and Mathematical Statistics, 16 Mill Lane, Cambridge, CB2 1SB,

More information

arxiv: v2 [math.mg] 25 Oct 2015

arxiv: v2 [math.mg] 25 Oct 2015 Strongly transitive actions on Euclidean buildings arxiv:1506.03594v2 [math.mg] 25 Oct 2015 Linus Kramer and Jeroen Schillewaert Abstract We prove a decomposition result for a group G acting strongly transitively

More information

Polynomial Harmonic Decompositions

Polynomial Harmonic Decompositions DOI: 10.1515/auom-2017-0002 An. Şt. Univ. Ovidius Constanţa Vol. 25(1),2017, 25 32 Polynomial Harmonic Decompositions Nicolae Anghel Abstract For real polynomials in two indeterminates a classical polynomial

More information

ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS

ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition

More information

Lebesgue Measure on R n

Lebesgue Measure on R n 8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

More information

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0 4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for

More information

Multi-normed spaces and multi-banach algebras. H. G. Dales. Leeds Semester

Multi-normed spaces and multi-banach algebras. H. G. Dales. Leeds Semester Multi-normed spaces and multi-banach algebras H. G. Dales Leeds Semester Leeds, 2 June 2010 1 Motivating problem Let G be a locally compact group, with group algebra L 1 (G). Theorem - B. E. Johnson, 1972

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

1 Adeles over Q. 1.1 Absolute values

1 Adeles over Q. 1.1 Absolute values 1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if

More information

Topological vectorspaces

Topological vectorspaces (July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological

More information

Tangent spaces, normals and extrema

Tangent spaces, normals and extrema Chapter 3 Tangent spaces, normals and extrema If S is a surface in 3-space, with a point a S where S looks smooth, i.e., without any fold or cusp or self-crossing, we can intuitively define the tangent

More information

A classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger

A classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger Tatsuro Ito Kazumasa Nomura Paul Terwilliger Overview This talk concerns a linear algebraic object called a tridiagonal pair. We will describe its features such as the eigenvalues, dual eigenvalues, shape,

More information

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence

More information

Convex Geometry. Otto-von-Guericke Universität Magdeburg. Applications of the Brascamp-Lieb and Barthe inequalities. Exercise 12.

Convex Geometry. Otto-von-Guericke Universität Magdeburg. Applications of the Brascamp-Lieb and Barthe inequalities. Exercise 12. Applications of the Brascamp-Lieb and Barthe inequalities Exercise 12.1 Show that if m Ker M i {0} then both BL-I) and B-I) hold trivially. Exercise 12.2 Let λ 0, 1) and let f, g, h : R 0 R 0 be measurable

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

Scattered Data Interpolation with Polynomial Precision and Conditionally Positive Definite Functions

Scattered Data Interpolation with Polynomial Precision and Conditionally Positive Definite Functions Chapter 3 Scattered Data Interpolation with Polynomial Precision and Conditionally Positive Definite Functions 3.1 Scattered Data Interpolation with Polynomial Precision Sometimes the assumption on the

More information

On families of anticommuting matrices

On families of anticommuting matrices On families of anticommuting matrices Pavel Hrubeš December 18, 214 Abstract Let e 1,..., e k be complex n n matrices such that e ie j = e je i whenever i j. We conjecture that rk(e 2 1) + rk(e 2 2) +

More information

ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE

ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte

More information

Chapter 2 Metric Spaces

Chapter 2 Metric Spaces Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics

More information

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that

More information

Stochastic Design Criteria in Linear Models

Stochastic Design Criteria in Linear Models AUSTRIAN JOURNAL OF STATISTICS Volume 34 (2005), Number 2, 211 223 Stochastic Design Criteria in Linear Models Alexander Zaigraev N. Copernicus University, Toruń, Poland Abstract: Within the framework

More information

Representations of moderate growth Paul Garrett 1. Constructing norms on groups

Representations of moderate growth Paul Garrett 1. Constructing norms on groups (December 31, 2004) Representations of moderate growth Paul Garrett Representations of reductive real Lie groups on Banach spaces, and on the smooth vectors in Banach space representations,

More information

On the Grassmann modules for the symplectic groups

On the Grassmann modules for the symplectic groups On the Grassmann modules for the symplectic groups Bart De Bruyn Ghent University, Department of Pure Mathematics and Computer Algebra, Krijgslaan 81 (S), B-9000 Gent, Belgium, E-mail: bdb@cage.ugent.be

More information