INTEGRAL ORTHOGONAL BASES OF SMALL HEIGHT FOR REAL POLYNOMIAL SPACES
|
|
- Arabella Thomas
- 5 years ago
- Views:
Transcription
1 INTEGRAL ORTHOGONAL BASES OF SMALL HEIGHT FOR REAL POLYNOMIAL SPACES LENNY FUKSHANSKY Abstract. Let P N (R be the space of all real polynomials in N variables with the usual inner product, on it, given by integrating over the unit sphere. We start by deriving an explicit combinatorial formula for the bilinear form representing this inner product on the space of coefficient vectors of all polynomials in P N (R of degree M. We exhibit two applications of this formula. First, given a finite dimensional subspace V of P N (R defined over Q, we prove the existence of an orthogonal basis for (V,,, consisting of polynomials of small height with integer coefficients, providing an explicit bound on the height; this can be viewed as a version of Siegel s lemma for real polynomial inner product spaces. Secondly, we derive a criterion for a finite set of points on the unit sphere in R N to be a spherical M-design. 1. Introduction and notation Siegel s lemma originated as an important combinatorial principle that a system of homogeneous linear equations with integer coefficients should have a nontrivial integral solution vector whose entries are comparable in size to the coefficients of the system. Although this observation was already made by Thue [15] in 199, the first formal proof of such a result by an application of the pigeonhole principle appeared in the paper [1] of Siegel in 199. In its modern formulation, Siegel s lemma is a statement about the existence of a short basis for a vector space over a global field, where the size of the vectors is measured with respect to a height function, a standard tool of Diophantine geometry which generalizes the naive sup-norm over integers. A general result like this was first proved over number fields by Bombieri and Vaaler [] in 1983 with further extensions by a variety of authors following in the consequent years. In particular, given a symmetric bilinear space one may ask for a short orthogonal basis over a fixed field or ring. Results of this nature were recently obtained in [5] and [6], where the height of basis vectors in question were bounded in terms of the heights of the vector space and the coefficient vector of the bilinear form. One goal of the present note is to produce a similar result for real polynomial spaces. We start by setting up some notation. Let N be an integer, and let us consider the algebra of all polynomials in N variables with real coefficients P N (R := R[X 1,..., X N ] 1991 Mathematics Subject Classification. Primary 11C8, 11G5, 5B3. Key words and phrases. polynomials, Siegel s lemma, heights, spherical designs. 1
2 LENNY FUKSHANSKY as an infinite-dimensional real vector space with the standard inner product on it (see, for instance Chapter IV of [13], given by (1 F, G = 1 F (xg(xdx, α N Σ N 1 for each F, G P N (R, where Σ N 1 is the unit sphere in R N, we integrate with respect to the usual Lebesgue measure on R N, and α N is the generalized surface area of Σ N 1 : (π N/ if N is even ( α N = Let M 1 be an integer, and write { (3 M(M, N = 4 (N (π (N 1/ 1 3 (N m Z N : w(m := if N is odd. } N m i M for a set of multi-indexes, arranged in lexicographic order; we call w(m the weight of the index vector m. Define PN M (R to be the space of all polynomials in P N(R of degree M, then each polynomial F (X 1,..., X N PN M (R can be written as (4 F (X = c F (mx m, m M(M,N where X m = X m1 1...X m N N, c F (m R for each m M(M, N; here and for the rest of the paper we adopt the convention that Xi = 1, even when X i =. We also write c F = (c F (m m M(M,N R L(M,N for the vector of coefficients of F, where (5 L(M, N := M(M, N = dim R P M N (R = M ( N + k 1. k An important tool we need is an explicit combinatorial formula for F, G in terms of the coefficients of polynomials F (X and G(X. Let us fix M 1, and let L = L(M, N as given by (5. Let us also define the double factorial m!! for any integer m 1 to be m(m (m if m > 1 is odd (6 m!! = m(m (m if m > 1 is even 1 if m = 1,, 1. k= For each m = (m 1,..., m N M(M, N, define N (7 P (m = (m i 1!! w(m k=1 (N + k, where an empty product k=1 is interpreted as equal to 1. For each a RL, we write a = (a(m m M(M,N. Let and let M(M, N = {m : m M(M, N}, E(M, N = {(m 1, m M(M, N M(M, N : m 1 + m M(M, N}.
3 ORTHOGONAL SIEGEL S LEMMA FOR REAL POLYNOMIAL SPACES 3 Define a bilinear form L M,N (8 L M,N (a, b = : R L R L R by ( m1 + m P a(m 1 b(m, (m 1,m E(M,N for each (a, b R L R L, and let L M,N (a := L M,N (a, a be the corresponding quadratic form. Notice in particular that if (m 1, m M(M, N \ E(M, N, then the coefficient of L M,N (a, b corresponding to the monomial a(m 1 b(m is equal to zero. Then we have the following result. Theorem 1.1. For each F (X, G(X P M N (R, (9 F, G = L M,N (c F, c G, where c F, c G are coefficient vectors of F and G, respectively. Remark 1.1. An immediate implication of (9 is that the quadratic form L M,N (a must be positive definite, since it is a norm form. We prove Theorem 1.1 in section. Next, let V be a n-dimensional subspace of P N (R defined over Q, n 1, and define degree of V to be d = deg(v := min { M Z : V P M N (R }. Then (V,, is a finite-dimensional Q-inner product space, so there must exist an orthogonal basis for V consisting of polynomials with integer coefficients. We will prove the existence of a basis like this with each polynomial having relatively small height, which is a version of Siegel s lemma for polynomial spaces with additional orthogonality conditions. For each polynomial F (x P N (R, define the height of F by (1 H(F = c F := max m M(M,N c F (m, where M = deg(f. Let L = M(d, N, and define an injective linear map ϕ : V R L by ϕ(f = c F. Let f 1,..., f k be a basis for V, and let C = (c f1... c fk be the corresponding L k basis matrix for ϕ(v. Then define the height of V by H(V = D 1 det(c t C, where D is the greatest common divisor of the determinants of all k k minors of C; H(V is well-defined, i.e. this definition does not depend on the choice of a basis for V. With this notation, we can now state our main result. Theorem 1.. Let V be as above. Then there exists an orthogonal basis g 1,..., g n for (V,, consisting of polynomials with integer coefficients so that n (11 H(g i L 3n(n+1 H(V n. We prove Theorem 1. in section 3. Our main tools are Theorem 1.1 and a version of Siegel s lemma due to Bombieri and Vaaler []. In fact, we prove a more general statement than Theorem 1., Theorem 3.6, where, is replaced by an arbitrary bilinear form defined on V. Finally, in section 4 we derive an application of Theorem 1.1 to spherical designs, presenting a necessary and sufficient criterion for a finite set of points on the unit sphere in R N to be a spherical M-design (see Theorem 4.1.
4 4 LENNY FUKSHANSKY. Proof of Theorem 1.1 Let us write M for M(M, N, E for E(M, N, and L for L M,N. First notice that (1 F, G = c F (m 1 c G (m S(m 1, m, where (13 S(m 1, m = 1 α N m 1 M m M Σ N 1 x m1+m dx = 1 α N N Σ N 1 x εi i dx, where the weight w(m 1 + m = N ε i M, ε i Z for all 1 i N. Consider a change to spherical coordinates (see, for instance, page 181 of [4] θ i π for all 1 i N, θ N 1 π, given by i 1 (14 x i = cos θ i sin θ j, for all 1 i N 1, and x N = N 1 j=1 sin θ j. The Jacobian of this coordinate change is (15 J = Then (16 S(m 1, m = 1 α N π N ( N j=1 sin N 1 i θ i. π cos εi θ i sin βi θ i dθ i cos ε N 1 θ N 1 sin β N 1 θ N 1 dθ N 1, where β i = N 1 i + N j=i+1 ε i, for all 1 i N 1; in particular, β N 1 = ε N. For each 1 i N, (17 π cos εi θ i sin βi θ i dθ i = (1 + ( 1 εi unless ε i is even. Similarly, (18 π cos ε N 1 θ N 1 sin ε N θ N 1 dθ N 1 π π/ π = ( 1 ε N 1+ε N cos ε N 1 θ N 1 sin ε N θ N 1 dθ N 1 = ( 1 ε N 1 (1 + ( 1 ε N π = ( 1 ε N 1+ε N (1 + ( 1 ε N cos ε N 1 θ N 1 π/ π/ sin ε N 1 θ N 1 = (1 + ( 1 ε N 1 + ( 1 ε N + (1 ε N 1+ε N π/ sin ε N 1 θ N 1 cos ε N θ N 1 dθ N 1 =, sin εi θ i cos βi θ i dθ i =, sin ε N θ N 1 dθ N 1 cos ε N θ N 1 dθ N 1
5 ORTHOGONAL SIEGEL S LEMMA FOR REAL POLYNOMIAL SPACES 5 unless ε N 1 and ε N are both even. So assume that for each 1 i N, ε i = t i for some t i Z + ; notice that in this case the weight w(m 1 + m = N t i, we will just call it w until further notice. Then β i = N 1 i + N j=i+1 t j, and so ( 1 βi = ( 1 N 1 i. Putting things together, we see that S(m 1, m = unless (m 1, m E, in which case combining (16, (17, (18 and using the standard integral formulas, as for instance (5-41 and (5-4 on page 18 of [4], produces ( N 1 π/ α N S(m 1, m = sin ti θ i cos βi θ i dθ i (19 where ti+1+βi = βi+1 ( = N 1 =, and so = N 1 Γ ( ( t i+1 Γ βi+1 ( Γ ti+β i + 1 ( π(ti 1!!Γ βi+1 (, ti Γ ti+β i + 1 ( βn 1 +1 Γ α N S(m 1, m = ( Γ t1+β = π N N (t i 1!! w/ Γ ( N+w π N Q N (ti 1!! = α N π N w/ k=1 π N 1 w/ ( N +w! Q N (ti 1!! w/ Γ( N+w N (ε i 1!! (N + k. N 1 (t i 1!! ti if N is even if N is odd The result of Theorem 1.1 now follows by combining (1 and (. Remark.1. Let K be a number field, and let M(K be its set of places. For each v M(K, write K v for the completion of K at v; in particular, if v is archimedean, then K v = R or C. Write Σ v N 1 for the unit sphere centered at in KN v. A standard norm on the space of homogeneous polynomials of degree M in N variables over K v is usually defined by { ( 1/ (1 F v = F (x Σ vdx if v is archimedean v N 1 sup { F (x v : x ΣN 1} v if v is non-archimedean, where the measure dx in the archimedean case is normalized so that dx = 1 Σ v N 1 (see, for instance, [1] and [9] for details. In case K v = C, a well-known identity (see [11], pp provides ( 1 N + M ( 1 M ( F v = c F (m N m v, m M(M,N
6 6 LENNY FUKSHANSKY where ( M m = M! identity m 1!...m N!. If, on the other hand, v then we have (see [1] an (3 F v = max m M(M,N c F (m v. Our Theorem 1.1 can be viewed as a counterpart of these formulas when K v = R. 3. Proof of Theorem 1. Unless stated otherwise, the notation in this section is as in the statement of Theorem 1.. Our argument is similar to the proof of Theorem.4 of [5]. First we recall a version of Siegel s lemma, which is essentially Theorem of []. Theorem 3.1. Let V be as in Theorem 1.. Then there exists a basis f 1,..., f k for V consisting of polynomials with integer coefficients so that (4 k H(f i H(V. We will also need a few height-comparison lemmas. The first one is an immediate corollary of Theorem 1 of [14]. Lemma 3.. Let U 1 and U be finite-dimensional subspaces of P N (R. Then H(U 1 U H(U 1 H(U. Next let M = M(d, N, E = E(d, N, and L = L(d, N = M. Let us also write L for the bilinear form L d,n and let L = (l ij 1 i,j L be the coefficient matrix of L, so L(x, y = x t Ly, for each x, y R L. Then diagonal entries of L are equal to the corresponding coefficients of L while the off-diagonal entries are the corresponding coefficients of L multiplied by 1/. Let height of L, denoted by H(L, be the maximum of absolute values of entries of L, and let H(L be defined in the same way as height of a polynomial is defined in (1. Then we have the following simple bound. Lemma 3.3. Let the notation be as above, then ( (5 H(L H(L = max P m1 + m (m 1,m E Proof. Notice that H(L H(L = max (m 1,m E P which proves the lemma. = max m M = max m M max P (m 1. m M ( m1 + m max P (m m M N (m i 1!! w(m k=1 (N + k max P (w(m,,..., m M (w(m 1!! w(m k=1 (N + k 1,
7 ORTHOGONAL SIEGEL S LEMMA FOR REAL POLYNOMIAL SPACES 7 Let us write for the usual Euclidean norm on vectors. Let us also write H(A = max 1 i,j L a ij for every L L matrix A = (a ij 1 i,j L with real coefficients. Lemma 3.4. Let f P d N (R, and let A = (a ij 1 i,j L be an L L real matrix. Then c t f A L 3 H(fH(A. In particular, (6 c t f L L 3 H(fH(L L 3 H(f, where the second inequality follows by (5. Proof. Recall that our indexing set M = {m 1,..., m L } is lexicographically ordered, and hence ( L L c t f A = c f (m i a i1,..., c f (m i a il. Then, by Cauchy-Schwarz inequality L c t f A L = c f (m i a ij j=1 ( L L ( L a ij c f (m i j=1 = A c f L 6 H(A H(f, where A = L L j=1 a ij, and so (6 follows. The next lemma is a simple version of the well known Brill-Gordan duality principle [7] (also see Theorem 1 on p. 94 of [8]. Lemma 3.5. Let f PN d (R be a polynomial with integer coefficients, and let U = {t P d N (R : c t f Ac t = }, where A is as in Lemma 3.4 above. Let γ(f be the greatest common divisor of the coordinates of the vector c t f A. Then (7 H(U = γ(f 1 c t f A. We will now state and prove a generalization of Theorem 1.. Theorem 3.6. Let V be as in Theorem 1., and let B be a symmetric bilinear form on PN d (R with L L coefficient matrix B, meaning that B(f, g = c t f Bc g, f, g P d N (R. Then there exists an orthogonal basis g 1,..., g n for (V, B consisting of polynomials with relatively prime integer coefficients so that n (8 H(g i ( L 3 H(B n(n+1 H(V n.
8 8 LENNY FUKSHANSKY Proof. We argue by induction on n. First suppose that n = 1, then pick any nonzero polynomial g 1 V with relatively prime integer coefficients, and observe that H(g 1 = c g1 c g1 = H(V, where is Euclidean norm. Next assume that n > 1 and the theorem is true for all 1 j < n. Let f 1 V be a vector guaranteed by Theorem 3.1 so that (9 H(f 1 H(V 1/n. First assume that f 1 is a non-singular point in (V, B. Then has dimension n 1; here V 1 = {t V : B(t, f 1 = } = {f 1 } V {f 1 } = {t P d N (R : B(t, f 1 = } = {t P d N(R : c t f 1 Bc t = }. By Lemma 3.5, Lemma 3.4, and (9 (3 H ( {f 1 } L 3 H(BH(V 1/n. Then by Lemma 3. and (3 we obtain (31 H(V 1 H ( {f 1 } H(V L 3 H(BH(V n+1 n. Since dim R (V 1 = n 1, the induction hypothesis implies that there exists a basis f,..., f n for V 1 of polynomials with relatively prime integer coefficients such that B(f i, f j = for all i j n, and (3 n i= H(f i ( L 3 H(B n(n 1 H(V 1 n 1 ( L 3 H(B n +n H(V n 1 n, where the last inequality follows by (31. Combining (9 and (3, we see that f 1,..., f n is a basis for V satisfying (8 so that B(f i, f j = for all 1 i j n. Now assume that f 1 is a singular point in (V, B. Since f 1,, it must be true that c f1 (m j for some m j M = {m 1,... m L }. Let T j = {t P d N(R : c t (m j = }, and define V 1 = V T j, then f 1 / V 1, B(f 1, t = for every t V 1, and (33 H(V 1 H(V H(T j = H(V, by Lemma 3., since H(T j = 1 by Lemma 3.5. Since dim R (V 1 = n 1, we can apply induction hypothesis to V 1, and proceed the same way as in the non-singular case above. Since the upper bound of (33 is smaller than that of (31, the result follows. Proof of Theorem 1.. Apply Theorem 3.6 with B = L and use Lemma 3.3.
9 ORTHOGONAL SIEGEL S LEMMA FOR REAL POLYNOMIAL SPACES 9 4. Spherical designs In this section we apply Theorem 1.1 to obtain a criterion for spherical designs. Let M, N, M(M, N, and PN M (R be as in section 1. A finite subset S of the unit sphere Σ N 1 is called a spherical M-design if for every F (X PN M (R, 1 (34 F (x dx = 1 F (y. α N Σ N 1 S Spherical designs have been extensively studied, in particular in the recent years in connection with lattices, the sphere packing problem, and minimization of Epstein zeta function (see [1] and [3] for details. For instance, recent results of B. Venkov on criteria for spherical designs and their applications are summarized in Chapter 16 of [1]. We use our Theorem 1.1 to give another criterion for a set to be a spherical design in the general spirit of Proposition and Theorem of [1]. Theorem 4.1. Let S Σ N 1 be a finite set, write S = {x 1,..., x k }, where S = k. Let M (M, N = M(M, N M(M, N. Then S is a spherical M-design if and only if for every m M(M, N, k { ( (35 x m kp m j = if m M (M, N if m M(M, N \ M (M, N. j=1 Proof. Let us write 1 PN M (R for the constant polynomial equal to 1, i.e. Then for each we have 1 (36 α N y S c 1 ( = 1, c 1 (m = m M(M, N. F (X = m M(M,N c F (mx m P M N (R, Σ N 1 F (x dx = F, 1 = L M,N (c F, c 1 = m M (M,N ( m P c F (m. On the other hand, (34 implies that S is a spherical M-design if and only if 1 F (x dx = 1 k c F (mx m j α N Σ N 1 k j=1 m M(M,N = 1 k (37 x m j c F (m. k Hence we must have (38 m M (M,N ( m P c F (m = m M(M,N m M(M,N 1 k j=1 k j=1 x m j c F (m, for all F (X PN M (R, which means that the linear forms in the variables c F on the right and left hand sides of (38 must be equal identically, i.e. their respective coefficients must be equal. Then (35 follows.
10 1 LENNY FUKSHANSKY References [1] E. Bombieri, A. J. Van Der Poorten, and J. D. Vaaler. Effective measures of irrationality for cubic extensions of number fields. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4, 3(:11 48, [] E. Bombieri and J. D. Vaaler. On Siegel s lemma. Invent. Math., 73(1:11 3, [3] R. Coulangeon. Spherical designs and zeta functions of lattices. Int. Math. Res. Not., Art. ID 496:16 pp., 6. [4] W. H. Fleming. Functions of several variables. Addison-Wesley, [5] L. Fukshansky. On effective Witt decomposition and Cartan-Dieudonné theorem. Canad. J. Math., 59(6:184 13, 7. [6] L. Fukshansky. Small zeros of quadratic forms over Q. Int. J. Number Theory, 4(3:53 53, 8. [7] P. Gordan. Uber den grossten gemeinsamen Factor. Math. Ann., 7: , [8] W. V. D. Hodge and D. Pedoe. Methods of Algebraic Geometry, Volume 1. Cambridge Univ. Press, [9] M. Laurent and D. Roy. Criteria of algebraic independence with multiplicities and approximation by hypersurfaces. J. Reine Angew. Math., 538:65 114, 1. [1] J. Martinet. Perfect lattices in Euclidean spaces. Springer-Verlag, 3. [11] W. Rudin. Function theory in the unit ball of C N. Springer-Verlag, 198. [1] C. L. Siegel. Uber einige Anwendungen diophantischer Approximationen. Abh. der Preuss. Akad. der Wissenschaften Phys.-math Kl., Nr. 1:9 66, 199. [13] E. Stein and G. Weiss. Introduction to Fourier analysis on Euclidean spaces. Princeton University Press, [14] T. Struppeck and J. D. Vaaler. Inequalities for heights of algebraic subspaces and the Thue- Siegel principle. Analytic number theory (Allerton Park, IL, 1989, Progr. Math., 85:493 58, 199. [15] A. Thue. Uber Annaherungswerte algebraischer Zahlen. J. Reine Angew. Math., 135:84 35, 199. Department of Mathematics, 85 Columbia Avenue, Claremont McKenna College, Claremont, CA address: lenny@cmc.edu
TOTALLY ISOTROPIC SUBSPACES OF SMALL HEIGHT IN QUADRATIC SPACES
TOTALLY ISOTROPIC SUBSPACES OF SMALL HEIGHT IN QUADRATIC SPACES WAI KIU CHAN, LENNY FUKSHANSKY, AND GLENN R. HENSHAW Abstract. Let K be a global field or Q, F a nonzero quadratic form on K N, N 2, and
More informationALGEBRAIC POINTS OF SMALL HEIGHT MISSING A UNION OF VARIETIES
ALGEBRAIC POINTS OF SMALL HEIGHT MISSING A UNION OF VARIETIES LENNY FUKSHANSKY Abstract. Let K be a number field, Q, or the field of rational functions on a smooth projective curve over a perfect field,
More informationOn Siegel s lemma outside of a union of varieties. Lenny Fukshansky Claremont McKenna College & IHES
On Siegel s lemma outside of a union of varieties Lenny Fukshansky Claremont McKenna College & IHES Universität Magdeburg November 9, 2010 1 Thue and Siegel Let Ax = 0 (1) be an M N linear system of rank
More informationSMALL REPRESENTATIONS OF INTEGERS BY INTEGRAL QUADRATIC FORMS arxiv: v1 [math.nt] 12 Mar 2019
SMALL REPRESENTATIONS OF INTEGERS BY INTEGRAL QUADRATIC FORMS arxiv:1903.05123v1 [math.nt] 12 Mar 2019 WAI KIU CHAN AND LENNY FUKSHANSKY Abstract. Given an isotropic quadratic form over a number field
More informationSMALL ZEROS OF QUADRATIC FORMS WITH LINEAR CONDITIONS. Lenny Fukshansky. f ij X i Y j
SALL ZEROS OF QUADRATIC FORS WITH LINEAR CONDITIONS Lenny Fukshansky Abstract. Given a quadratic form and linear forms in N + 1 variables with coefficients in a number field K, suppose that there exists
More informationNUMBER FIELDS WITHOUT SMALL GENERATORS
NUMBER FIELDS WITHOUT SMALL GENERATORS JEFFREY D. VAALER AND MARTIN WIDMER Abstract. Let D > be an integer, and let b = b(d) > be its smallest divisor. We show that there are infinitely many number fields
More informationA NOTE ON THE SIMULTANEOUS PELL EQUATIONS x 2 ay 2 = 1 AND z 2 by 2 = 1. Maohua Le Zhanjiang Normal College, P.R. China
GLASNIK MATEMATIČKI Vol. 47(67)(2012), 53 59 A NOTE ON THE SIMULTANEOUS PELL EQUATIONS x 2 ay 2 = 1 AND z 2 by 2 = 1 Maohua Le Zhanjiang Normal College, P.R. China Abstract. Let m,n be positive integers
More informationHarmonic Polynomials and Dirichlet-Type Problems. 1. Derivatives of x 2 n
Harmonic Polynomials and Dirichlet-Type Problems Sheldon Axler and Wade Ramey 30 May 1995 Abstract. We take a new approach to harmonic polynomials via differentiation. Surprisingly powerful results about
More informationBOUNDS FOR SOLID ANGLES OF LATTICES OF RANK THREE
BOUNDS FOR SOLID ANGLES OF LATTICES OF RANK THREE LENNY FUKSHANSKY AND SINAI ROBINS Abstract. We find sharp absolute consts C and C with the following property: every well-rounded lattice of rank 3 in
More informationSmall zeros of hermitian forms over quaternion algebras. Lenny Fukshansky Claremont McKenna College & IHES (joint work with W. K.
Small zeros of hermitian forms over quaternion algebras Lenny Fukshansky Claremont McKenna College & IHES (joint work with W. K. Chan) Institut de Mathématiques de Jussieu October 21, 2010 1 Cassels Theorem
More informationAn algebraic perspective on integer sparse recovery
An algebraic perspective on integer sparse recovery Lenny Fukshansky Claremont McKenna College (joint work with Deanna Needell and Benny Sudakov) Combinatorics Seminar USC October 31, 2018 From Wikipedia:
More informationLOWER 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 informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationDIAGONAL TOEPLITZ OPERATORS ON WEIGHTED BERGMAN SPACES
DIAGONAL TOEPLITZ OPERATORS ON WEIGHTED BERGMAN SPACES TRIEU LE Abstract. In this paper we discuss some algebraic properties of diagonal Toeplitz operators on weighted Bergman spaces of the unit ball in
More informationRATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS
RATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS TODD COCHRANE, CRAIG V. SPENCER, AND HEE-SUNG YANG Abstract. Let k = F q (t) be the rational function field over F q and f(x)
More informationOn a Theorem of Dedekind
On a Theorem of Dedekind Sudesh K. Khanduja, Munish Kumar Department of Mathematics, Panjab University, Chandigarh-160014, India. E-mail: skhand@pu.ac.in, msingla79@yahoo.com Abstract Let K = Q(θ) be an
More informationSMALL ZEROS OF HERMITIAN FORMS OVER A QUATERNION ALGEBRA
SMALL ZEROS OF HERMITIAN FORMS OVER A QUATERNION ALGEBRA WAI KIU CHAN AND LENNY FUKSHANSKY Abstract. Let D be a positive definite quaternion algebra over a totally real number field K, F (X, Y ) a hermitian
More informationON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS. Yann Bugeaud Université de Strasbourg, France
GLASNIK MATEMATIČKI Vol. 44(64)(2009), 323 331 ON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS Yann Bugeaud Université de Strasbourg, France Abstract. Let n be a positive integer. Let ξ
More informationLINEAR EQUATIONS IN VARIABLES WHICH LIE IN A MULTIPLICATIVE GROUP
LINEAR EQUATIONS IN VARIABLES WHICH LIE IN A MULTIPLICATIVE GROUP J.-H. Evertse, H.P. Schlickewei, W.M. Schmidt Abstract Let K be a field of characteristic 0 and let n be a natural number. Let Γ be a subgroup
More informationWRONSKIANS AND LINEAR INDEPENDENCE... f (n 1)
WRONSKIANS AND LINEAR INDEPENDENCE ALIN BOSTAN AND PHILIPPE DUMAS Abstract We give a new and simple proof of the fact that a finite family of analytic functions has a zero Wronskian only if it is linearly
More informationMath 413/513 Chapter 6 (from Friedberg, Insel, & Spence)
Math 413/513 Chapter 6 (from Friedberg, Insel, & Spence) David Glickenstein December 7, 2015 1 Inner product spaces In this chapter, we will only consider the elds R and C. De nition 1 Let V be a vector
More informationSHABNAM AKHTARI AND JEFFREY D. VAALER
ON THE HEIGHT OF SOLUTIONS TO NORM FORM EQUATIONS arxiv:1709.02485v2 [math.nt] 18 Feb 2018 SHABNAM AKHTARI AND JEFFREY D. VAALER Abstract. Let k be a number field. We consider norm form equations associated
More informationAlgebra 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 informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05
More informationChapter 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 informationTHE DIOPHANTINE EQUATION f(x) = g(y)
proceedings of the american mathematical society Volume 109. Number 3. July 1990 THE DIOPHANTINE EQUATION f(x) = g(y) TODD COCHRANE (Communicated by William Adams) Abstract. Let f(x),g(y) be polynomials
More informationLinear Algebra. Session 12
Linear Algebra. Session 12 Dr. Marco A Roque Sol 08/01/2017 Example 12.1 Find the constant function that is the least squares fit to the following data x 0 1 2 3 f(x) 1 0 1 2 Solution c = 1 c = 0 f (x)
More informationA family of quartic Thue inequalities
A family of quartic Thue inequalities Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the only primitive solutions of the Thue inequality x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3
More informationVOJTA S CONJECTURE IMPLIES THE BATYREV-MANIN CONJECTURE FOR K3 SURFACES
VOJTA S CONJECTURE IMPLIES THE BATYREV-MANIN CONJECTURE FOR K3 SURFACES DAVID MCKINNON Abstract. Vojta s Conjectures are well known to imply a wide range of results, known and unknown, in arithmetic geometry.
More informationPolynomial mappings into a Stiefel manifold and immersions
Polynomial mappings into a Stiefel manifold and immersions Iwona Krzyżanowska Zbigniew Szafraniec November 2011 Abstract For a polynomial mapping from S n k to the Stiefel manifold Ṽk(R n ), where n k
More informationVectors in Function Spaces
Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2
Solutions to odd-numbered exercises Peter J Cameron, Introduction to Algebra, Chapter 1 The answers are a No; b No; c Yes; d Yes; e No; f Yes; g Yes; h No; i Yes; j No a No: The inverse law for addition
More informationQuintic Functional Equations in Non-Archimedean Normed Spaces
Journal of Mathematical Extension Vol. 9, No., (205), 5-63 ISSN: 735-8299 URL: http://www.ijmex.com Quintic Functional Equations in Non-Archimedean Normed Spaces A. Bodaghi Garmsar Branch, Islamic Azad
More informationDIOPHANTINE EQUATIONS AND DIOPHANTINE APPROXIMATION
DIOPHANTINE EQUATIONS AND DIOPHANTINE APPROXIMATION JAN-HENDRIK EVERTSE 1. Introduction Originally, Diophantine approximation is the branch of number theory dealing with problems such as whether a given
More informationWe simply compute: for v = x i e i, bilinearity of B implies that Q B (v) = B(v, v) is given by xi x j B(e i, e j ) =
Math 395. Quadratic spaces over R 1. Algebraic preliminaries Let V be a vector space over a field F. Recall that a quadratic form on V is a map Q : V F such that Q(cv) = c 2 Q(v) for all v V and c F, and
More informationOn the Generalised Hermite Constants
On the Generalised Hermite Constants NTU SPMS-MAS Seminar Bertrand MEYER IMB Bordeaux Singapore, July 10th, 2009 B. Meyer (IMB) Hermite constants Jul 10th 2009 1 / 35 Outline 1 Introduction 2 The generalised
More informationDIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS
DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS A. LASJAUNIAS Avec admiration pour Klaus Roth 1. Introduction and Notation 1.1. The Fields of Power Series F(q) or F(K). Let p be
More informationHILBERT l-class FIELD TOWERS OF. Hwanyup Jung
Korean J. Math. 20 (2012), No. 4, pp. 477 483 http://dx.doi.org/10.11568/kjm.2012.20.4.477 HILBERT l-class FIELD TOWERS OF IMAGINARY l-cyclic FUNCTION FIELDS Hwanyup Jung Abstract. In this paper we study
More information1: Introduction to Lattices
CSE 206A: Lattice Algorithms and Applications Winter 2012 Instructor: Daniele Micciancio 1: Introduction to Lattices UCSD CSE Lattices are regular arrangements of points in Euclidean space. The simplest
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationLinear Analysis Lecture 5
Linear Analysis Lecture 5 Inner Products and V Let dim V < with inner product,. Choose a basis B and let v, w V have coordinates in F n given by x 1. x n and y 1. y n, respectively. Let A F n n be the
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationOn the power-free parts of consecutive integers
ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the
More informationRecall 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 informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More information2. Linear algebra. matrices and vectors. linear equations. range and nullspace of matrices. function of vectors, gradient and Hessian
FE661 - Statistical Methods for Financial Engineering 2. Linear algebra Jitkomut Songsiri matrices and vectors linear equations range and nullspace of matrices function of vectors, gradient and Hessian
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationMathematics Department Stanford University Math 61CM/DM Inner products
Mathematics Department Stanford University Math 61CM/DM Inner products Recall the definition of an inner product space; see Appendix A.8 of the textbook. Definition 1 An inner product space V is a vector
More informationSome remarks on diophantine equations and diophantine approximation
Some remarks on diophantine equations and diophantine approximation Claude LEVESQUE and Michel WALDSCHMIDT Dedicated to professor Hà Huy Khoái. Abstract. We first recall the connection, going back to A.
More informationMATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6
MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS PETE L. CLARK Contents 1. Polynomial Functions 1 2. Rational Functions 6 1. Polynomial Functions Using the basic operations of addition, subtraction,
More informationOn Gauss sums and the evaluation of Stechkin s constant
On Gauss sums and the evaluation of Stechkin s constant William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA bankswd@missouri.edu Igor E. Shparlinski Department of Pure
More informationHilbert Spaces. Contents
Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................
More informationSMSTC (2017/18) Geometry and Topology 2.
SMSTC (2017/18) Geometry and Topology 2 Lecture 1: Differentiable Functions and Manifolds in R n Lecturer: Diletta Martinelli (Notes by Bernd Schroers) a wwwsmstcacuk 11 General remarks In this lecture
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationA parametric family of quartic Thue equations
A parametric family of quartic Thue equations Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the Diophantine equation x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3 + y 4 = 1, where c
More informationQuasi-primary submodules satisfying the primeful property II
Hacettepe Journal of Mathematics and Statistics Volume 44 (4) (2015), 801 811 Quasi-primary submodules satisfying the primeful property II Hosein Fazaeli Moghimi and Mahdi Samiei Abstract In this paper
More informationWhere is matrix multiplication locally open?
Linear Algebra and its Applications 517 (2017) 167 176 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Where is matrix multiplication locally open?
More information4.2. ORTHOGONALITY 161
4.2. ORTHOGONALITY 161 Definition 4.2.9 An affine space (E, E ) is a Euclidean affine space iff its underlying vector space E is a Euclidean vector space. Given any two points a, b E, we define the distance
More informationMath Linear Algebra II. 1. Inner Products and Norms
Math 342 - Linear Algebra II Notes 1. Inner Products and Norms One knows from a basic introduction to vectors in R n Math 254 at OSU) that the length of a vector x = x 1 x 2... x n ) T R n, denoted x,
More informationFunctional 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 informationTRIANGLE CENTERS DEFINED BY QUADRATIC POLYNOMIALS
Math. J. Okayama Univ. 53 (2011), 185 216 TRIANGLE CENTERS DEFINED BY QUADRATIC POLYNOMIALS Yoshio Agaoka Abstract. We consider a family of triangle centers whose barycentric coordinates are given by quadratic
More informationLinear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall A: Inner products
Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 6A: Inner products In this chapter, the field F = R or C. We regard F equipped with a conjugation χ : F F. If F =
More informationOn the digital representation of smooth numbers
On the digital representation of smooth numbers Yann BUGEAUD and Haime KANEKO Abstract. Let b 2 be an integer. Among other results, we establish, in a quantitative form, that any sufficiently large integer
More informationRing of the weight enumerators of d + n
Ring of the weight enumerators of Makoto Fujii Manabu Oura Abstract We show that the ring of the weight enumerators of a self-dual doubly even code in arbitrary genus is finitely generated Indeed enough
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationMTH 5102 Linear Algebra Practice Final Exam April 26, 2016
Name (Last name, First name): MTH 5 Linear Algebra Practice Final Exam April 6, 6 Exam Instructions: You have hours to complete the exam. There are a total of 9 problems. You must show your work and write
More informationChapter 5: The Integers
c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition
More informationThroughout these notes we assume V, W are finite dimensional inner product spaces over C.
Math 342 - Linear Algebra II Notes Throughout these notes we assume V, W are finite dimensional inner product spaces over C 1 Upper Triangular Representation Proposition: Let T L(V ) There exists an orthonormal
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationMath 321: Linear Algebra
Math 32: Linear Algebra T. Kapitula Department of Mathematics and Statistics University of New Mexico September 8, 24 Textbook: Linear Algebra,by J. Hefferon E-mail: kapitula@math.unm.edu Prof. Kapitula,
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More information(K + L)(c x) = K(c x) + L(c x) (def of K + L) = K( x) + K( y) + L( x) + L( y) (K, L are linear) = (K L)( x) + (K L)( y).
Exercise 71 We have L( x) = x 1 L( v 1 ) + x 2 L( v 2 ) + + x n L( v n ) n = x i (a 1i w 1 + a 2i w 2 + + a mi w m ) i=1 ( n ) ( n ) ( n ) = x i a 1i w 1 + x i a 2i w 2 + + x i a mi w m i=1 Therefore y
More informationInner product spaces. Layers of structure:
Inner product spaces Layers of structure: vector space normed linear space inner product space The abstract definition of an inner product, which we will see very shortly, is simple (and by itself is pretty
More informationON A THEOREM OF TARTAKOWSKY
ON A THEOREM OF TARTAKOWSKY MICHAEL A. BENNETT Dedicated to the memory of Béla Brindza Abstract. Binomial Thue equations of the shape Aa n Bb n = 1 possess, for A and B positive integers and n 3, at most
More informationHermitian modular forms congruent to 1 modulo p.
Hermitian modular forms congruent to 1 modulo p. arxiv:0810.5310v1 [math.nt] 29 Oct 2008 Michael Hentschel Lehrstuhl A für Mathematik, RWTH Aachen University, 52056 Aachen, Germany, hentschel@matha.rwth-aachen.de
More information#A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS
#A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS Doowon Koh Department of Mathematics, Chungbuk National University, Cheongju city, Chungbuk-Do, Korea koh131@chungbuk.ac.kr
More informationCanonical systems of basic invariants for unitary reflection groups
Canonical systems of basic invariants for unitary reflection groups Norihiro Nakashima, Hiroaki Terao and Shuhei Tsujie Abstract It has been known that there exists a canonical system for every finite
More informationNew Examples of Noncommutative Λ(p) Sets
New Examples of Noncommutative Λ(p) Sets William D. Banks Department of Mathematics, University of Missouri Columbia, MO 6511 USA bbanks@math.missouri.edu Asma Harcharras Department of Mathematics, University
More informationMath 121 Homework 3 Solutions
Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting
More informationCourse 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 informationInjective semigroup-algebras
Injective semigroup-algebras J. J. Green June 5, 2002 Abstract Semigroups S for which the Banach algebra l (S) is injective are investigated and an application to the work of O. Yu. Aristov is described.
More informationINTEGER VALUED POLYNOMIALS AND LUBIN-TATE FORMAL GROUPS
INTEGER VALUED POLYNOMIALS AND LUBIN-TATE FORMAL GROUPS EHUD DE SHALIT AND ERAN ICELAND Abstract. If R is an integral domain and K is its field of fractions, we let Int(R) stand for the subring of K[x]
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationINTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES
INTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES SZ. TENGELY Abstract. In this paper we provide bounds for the size of the integral points on Hessian curves H d : x 3 + y 3
More informationLINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM
LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationRanks of Hadamard Matrices and Equivalence of Sylvester Hadamard and Pseudo-Noise Matrices
Operator Theory: Advances and Applications, Vol 1, 1 13 c 27 Birkhäuser Verlag Basel/Switzerland Ranks of Hadamard Matrices and Equivalence of Sylvester Hadamard and Pseudo-Noise Matrices Tom Bella, Vadim
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
More informationIntroduction 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 informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More informationVariety Evasive Sets
Variety Evasive Sets Zeev Dvir János Kollár Shachar Lovett Abstract We give an explicit construction of a large subset S F n, where F is a finite field, that has small intersection with any affine variety
More informationdiv(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 informationA subspace of l 2 (X) without the approximation property
A subspace of l (X) without the approximation property by Christopher Chlebovec A dissertation submitted in partial fulfillment of the requirements for the degree of Master of Science (Mathematics) Department
More informationIrrationality exponent and rational approximations with prescribed growth
Irrationality exponent and rational approximations with prescribed growth Stéphane Fischler and Tanguy Rivoal June 0, 2009 Introduction In 978, Apéry [2] proved the irrationality of ζ(3) by constructing
More information