MASTERS EXAMINATION IN MATHEMATICS

Similar documents
MASTERS EXAMINATION IN MATHEMATICS

MASTERS EXAMINATION IN MATHEMATICS

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

2.2 Lowenheim-Skolem-Tarski theorems

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Problem Set 2: Solutions Math 201A: Fall 2016

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

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

Analysis Qualifying Exam

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Chapter 2 Metric Spaces

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

ASSIGNMENT-1 M.Sc. (Previous) DEGREE EXAMINATION, DEC First Year MATHEMATICS. Algebra. MAXIMUM MARKS:30 Answer ALL Questions

Solutions to Tutorial 8 (Week 9)

Homework in Topology, Spring 2009.

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

VAUGHT S THEOREM: THE FINITE SPECTRUM OF COMPLETE THEORIES IN ℵ 0. Contents

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

Chapter 8. P-adic numbers. 8.1 Absolute values

Determine for which real numbers s the series n>1 (log n)s /n converges, giving reasons for your answer.

Axioms of separation

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

REVIEW OF ESSENTIAL MATH 346 TOPICS

Principle of Mathematical Induction

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

Problem 1A. Suppose that f is a continuous real function on [0, 1]. Prove that

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

Mathematical Methods for Physics and Engineering

Immerse Metric Space Homework

MAT1000 ASSIGNMENT 1. a k 3 k. x =

Metric Spaces and Topology

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Real Analysis Problems

Metric Spaces Math 413 Honors Project

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

Solutions to Unique Readability Homework Set 30 August 2011

REAL AND COMPLEX ANALYSIS

Qualifying Exams I, 2014 Spring

MAT 544 Problem Set 2 Solutions

MATS113 ADVANCED MEASURE THEORY SPRING 2016

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

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

118 PU Ph D Mathematics

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

Qualifying Exam Logic August 2005

Real Analysis. Joe Patten August 12, 2018

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

Part II. Logic and Set Theory. Year

Real Analysis. Jesse Peterson

= F (b) F (a) F (x i ) F (x i+1 ). a x 0 x 1 x n b i

ANALYSIS WORKSHEET II: METRIC SPACES

MATH 3300 Test 1. Name: Student Id:

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

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

Homework 5. Solutions

11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4)

4th Preparation Sheet - Solutions

Topological properties

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

Some Background Material

THIRD SEMESTER M. Sc. DEGREE (MATHEMATICS) EXAMINATION (CUSS PG 2010) MODEL QUESTION PAPER MT3C11: COMPLEX ANALYSIS

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Set, functions and Euclidean space. Seungjin Han

4 Countability axioms

Problem 1A. Use residues to compute. dx x

An uncountably categorical theory whose only computably presentable model is saturated

Real Analysis Prelim Questions Day 1 August 27, 2013

Part IB. Further Analysis. Year

7 Complete metric spaces and function spaces

Notes on ordinals and cardinals

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

Problem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A.

MIDTERM REVIEW FOR MATH The limit

MATH 310 Course Objectives

5 Set Operations, Functions, and Counting

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

SOLUTIONS TO THE FINAL EXAM

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Spring Semester 2015

Chapter 1 : The language of mathematics.

MORE ON CONTINUOUS FUNCTIONS AND SETS

Problem 1A. Calculus. Problem 3A. Real analysis. f(x) = 0 x = 0.

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

Chapter 1. Sets and Mappings

MATH 117 LECTURE NOTES

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

TEST CODE: PMB SYLLABUS

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)

Real Analysis Notes. Thomas Goller

Commutative Banach algebras 79

Fusing o-minimal structures

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Part IA Numbers and Sets

1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

Introduction to Real Analysis

NOTES ON DIOPHANTINE APPROXIMATION

Transcription:

MASTERS EXAMINATION IN MATHEMATICS PURE MATH OPTION, Spring 018 Full points can be obtained for correct answers to 8 questions. Each numbered question (which may have several parts) is worth 0 points. All answers will be graded, but the score for the examination will be the sum of the scores of your best 8 solutions. Use separate answer sheets for each question. DO NOT PUT YOUR NAME ON YOUR ANSWER SHEETS. When you have finished, insert all your answer sheets into the envelope provided, then seal it. Any student whose answers need clarification may be required to submit to an oral examination. Algebra A1. Let G be a finite Abelian group of order n m, where m is odd. If the subgroup of order n is not cyclic, show that the product of all elements in G is the identity. Hint: evaluate separately the product of elements of order two. Solution. Let g G be an element of order g >. Then we have g g 1, so both g and its inverse g 1 appear in the product and they cancel each other. By the fundamental theorem of finite abelian groups, it is enough to consider groups G of the form Z/Z Z/Z in which the number of factors is at least two (by hypothesis). For such groups one easily concludes (e.g. by induction). A. Express both 13 and 5 + i as a product of irreducible elements of Z[i]. Solution. We have 13 = (3 + i)(3 i) and 5 + i = (3 i)(1 + i). Each of the factors is irreducible in Z[i] since the corresponding norm is a prime integer. A3. Prove the following assertions. (i) We have the equality Q[ 3, 5] = Q[ 3 + 5]. (ii) Let a and b be two rational numbers, such that a 0. The fields Q[ a] and Q[ b] are equal if and only if there exists c Q such that a = bc. Solution (i) The inclusion Q[ 3, 5] Q[ 3 + 5] is absolutely immediate. reverse inclusion, we notice that we have ( 3 + 5) 3 = 18 3 + 14 5 1 For the

by a quick computation. Since 14 3 14 5 equally belongs to Q[ 3 + 5]. Their sum will equally be an element of Q[ 3 + 5]. However, the sum in question equals 4 3 and we are done. Solution (ii) By hypothesis we have a = r1 + r b for some rational numbers r 1 and r. This gives a = r1 + br + r 1 r b. If r1 0 and r 0, we conclude that b Q and it follows that a Q in which case we are done. If r 1 = 0, then we define c := r and we have equally finished. If r = 0, then a Q and so Q[ a] = Q. Since Q[ a] = Q[ b], we infer that b is equally a rational number, and again the conclusion follows. Complex Analysis C1. Using residues, evaluate the following integral. Solution. x 1 + x 4 dx The degree of the denominator exceeds the degree of the numerator by, so the residue theorem implies that this integral is equal to ( ) z πi Res 1 + z ; z 4 k z k : 1+z 4 k =0, Im(z k)>0} The denominator z 4 + 1 is zero when z 4 = 1 = e πi, so z = e π 4, e 3π 4, e 5π 4, e 7π 4. The first two are in the upper half-plane so the integral will equal ( ( ) ( )) z πi Res 1 + z ; e π z 4 4 + Res 1 + z ; e 3π 4 4 For simple poles, the residue of p(z)/q(z) at z k is given by p(z k )/q (z k ), so in the case at hand 1 it will equal 4z k. Hence the integral is equal to πi (e iπ 4 + e 3iπ 4 ) = πi( 1 i 1 1 i 1 ) = πi ( i 1 ) = π = π. C. Find the number of zeroes the function f(z) = e z + 5z + z has in z C : z 1}, counted according to multiplicity. Solution. On z = 1, one has e z + z e z + z = e Rez + 1 e + 1 5 = 5z. Thus by Rouche s theorem, e z + z + 5z and 5z have the same number of zeroes inside z < 1, counted according to multiplicity, namely.

C3. Evaluate the following integral, where C is the circle z C : z = 10} oriented positively. C sin z dz (z + π) 10 Solution. By the extended Cauchy s integral formula, since the pole at z = π is inside the circle, the integral will equal d 9 πi 1 9! dz sin(z) 9 z= π Since d9 sin(z) = cos(z), the answer is therefore πi 1 π cos( π) = i dz 9 9! 9! Number Theory N1. Suppose F n = n + 1. Show that for all m > n, F n F m. N. Determine all n with φ(n) n. N3. State the definition of the µ-function. Prove that 1 n = 1; µ(d) = 0 n > 1. Find an asymptotic formula for d n as X. You may use the identity µ(d) d d X a,b X gcd(a,b)=1 ab = 6 ( ) 1 π + O. X Real Analysis R1. For the following sequence of functions f n (x) = arctan (nx) find its pointwise limit on the real line R. Is this limit uniform on R? Is this limit uniform on [1, )? Explain your answer. 3

Solution. First note that as y, arctan(y) π, and as y, arctan(y) π, and arctan(0) = 0. So, π, x > 0 lim arctan(nx) = h(x) = 0, x = 0 n π, x < 0 Since h is discontinuous at x = 0, the limit cannot be uniform on any interval containing 0, hence on R. However on [1, ) we can use the fact that arctan(y) is a monotonically increasing function. So, if x 1, then arctan(n) f n (x) < π and the sequence arctan(n) converges to π as n. So, for any ε > 0 there exists an N > 0 such that for all n > N and for all x 1 we have f n (x) π arctan(n) π < ε. This proves that the sequence converges uniformly to the constant function π on [1, ). R. State the definition of convergent series and of absolutely convergent series. Prove that that if n=1 a n is an absolutely convergent series then the series n=1 a n converges. Give an example of a convergent series n=1 b n such that n=1 b n diverges. Solution. Since a n absolutely converges, we have a n < +. We also have a n 0. Thus there exists N so that for all n > N we have a n < 1 and therefore a n a n. Hence we can compare positive series a n = n=1 N a n + n=1 a n N+1 N a n + n=1 n=n+1 a n < +. For the counter example, consider b n = ( 1) n n 1/. This is an alternating series with terms monotonically decreasing to zero in absolute value. Such series converge by Leibnitz criterion. But b n = 1 n=1 1 n = +. R3. Let f : (0, ) (0, ) be a twice differentiable function and assume that f (x) < 0 for all x (0, ). Prove that f(x) is nondecreasing on (0, ). Prove that f(x) is uniformly continuous on (0, ). 4

Solution. Since f (x) < 0 it follows that f (x) is decreasing on (0, ). Fix arbitrary 0 < x 0 < x. By MVT there exists z (x 0, x) so that f(x) = f(x 0 ) + f (z)(x x 0 ) < f(x 0 ) + f (x 0 )(x x 0 ) In particular f (x 0 ) 1/(x x 0 ) and sending x we deduce f (x 0 ) 0. This applies to any x 0 (0, ). So f(x) is non-decreasing. But it cannot be constant on any interval (a, b), because f would vanish on (a, b) contradicting f < 0. Therefore f(x) is increasing. Let ɛ > 0 be given. Let m = inff(x) x > 0}. There exists a (0, ) so that m f(a) < m + ɛ/. Let k = f (a) and let δ = ɛ/k. For any x 1 < x in (0, a] we have m f(x 1 ) < f(x ) f(a) < m + ɛ/. So f(x ) f(x 1 ) < ɛ/. For any x 1 < x with x x 1 < δ and a x 1 by MVT we have for some z (x 1, x ) f(x ) f(x 1 ) = f (z)(x x 1 ) k(x x 1 ) < kδ < ɛ/. Finally for any x 1 < a < x with x x 1 < δ we combine the two estimates f(x ) f(x 1 ) = f(x ) f(a) + f(a) f(x 1 ) < ɛ/ + ɛ/ = ɛ. Topology T1. Suppose X is a compact metric space, and f : X X an isometric embedding. Show that f is surjective. Solution. Suppose for contradiction that f is not surjective. Let x X f(x). Since x is not in the compact set f(x), the distance δ = d(x, f(x)) is positive. Define a sequence (x n ) recursively by x 0 = x and x n = f(x n 1 ). Since f(x k ) f(x) for all k > 0, we have d(x 0, x k ) δ for all k > 0. Since f is an isometric embedding, it follows by applying this map i times to x 0 and x k that d(x i, x i+k ) = d(x 0, x k ) δ. Therefore, no subsequence of (x n ) is Cauchy. However, a compact metric space is sequentially compact, and so (x n ) has a convergent subsequence, which is therefore Cauchy. This is the desired contradiction. T. Let X and Y be topological spaces, and let A i } be a finite collection of closed subsets that cover X. Show that f : X Y is continuous if f Ai is continuous for each i. Give an example to show the finiteness assumption is necessary. Solution. Recall that continuity is equivalent to the condition that the preimage of each closed set is closed. Let f Ai be continuous for all i. Suppose the collection A i } contains n sets. Then for a closed set C Y we have n n f 1 (C) = f 1 (C) A i = (f Ai ) 1 (C) i=1 In the first equality above, we have used that the sets A i cover X. By continuity of f Ai, each set (f Ai ) 1 (C) is closed in the subspace topology of A i. However, since A i is closed in 5 i=1

X, we have that (f Ai ) 1 (C) is closed in X. Thus the formula above describes f 1 (C) as a finite union of closed sets in X, which is therefore closed. This shows f is continuous. The restriction to a finite collection A i } is essential: Consider X = [0, 1], Y = R, and the function 0 if x = 0 f(x) = 1 otherwise. This function is not continuous because the preimage of the open set ( 1, 1) is 0}, which is not open. Consider the collection of closed sets A 0 = 0} and A n = [ 1, 1] for n Z with n > 0. Then n the collection A n } n Z 0 covers [0, 1], and for each n the restriction of f to A n is constant and therefore continuous. T3. If X and Y are topological spaces, say X Y if there exists a continuous surjection from X to Y. Let Y be the set a, b}. Let X be a nonempty topological space. Prove: (1) If Y has the trivial topology then X Y iff X has at least two points. () If Y has the discrete topology then X Y iff X is disconnected. (3) If Y has the topology, a}, Y } then X Y iff X has a non-trivial topology. Solution (1). Suppose X Y. Let f : X Y be a continuous surjection. Then the subsets of X given by f 1 (a) and f 1 (b) are disjoint and nonempty. Thus X has at least two points. Suppose X has at least two points. Choose a point x a X. Define f : X Y by a if x = x a f(x) = b otherwise Since X has at least two points, there exists x b x a with f(x b ) = b, and f is surjective. Since Y has the trivial topology, every function X Y is continuous. Hence X Y. Solution (): Suppose X Y. Let f : X Y be a continuous surjection. Define U = f 1 (a) and V = f 1 (b). Since a}, b}} is a cover of Y by disjoint open sets, and f is continuous, the sets U, V are disjoint, open, and cover X. By surjectivity of f, both U and V are nonempty. Thus U, V give a separation of X, and X is not connected. Suppose X is not connected. Let U, V be a separation of X. Define a function f : X Y by a if x U f(x) = b otherwise The respective preimages under f of the open sets, a}, b}, Y are, U, V, X. All of the latter sets are open, so f is continuous. Since U and V are nonempty, f is surjective. Thus X Y. Solution (3): Suppose X Y. Let f : X Y be a continuous surjection. Define U = f 1 (a). Since a} is open in Y, we have that U is open in X. Since f is surjective, the 6

sets U and f 1 (b) are nonempty and disjoint, and in particular U X. Thus the topology of X includes the nonempty open set U X, and the topology is non-trivial. Suppose X has a non-trivial topology. Let U be a open set in X that is not or X. Define a function f : X Y by a if x U f(x) = b otherwise The respective preimages under f of the open sets, a}, Y are, U, X. All of the latter sets are open, so f is continuous. Since U is nonempty and U X, the function f is surjective. Thus X Y. Logic L1. Recall that for a structure M with universe M, a set A M n is definable in M if there is a parameter p M k for some k and n + k-ary formula φ, so that Let N = (N; 0, 1, +, ). A = a A n M = φ[ p, a]}. (a) Show the following are definable in N. 7} n n is a perfect square} (m, n) m < n} (m, n) m divides n} n n is prime} (b) Show there is a subset of N which is not definable in N. Solution.Part (a): 7} is definable by x = y and the parameter 7 (it also definable without parameters by x = 1 + 1... + 1 seven times). n n is a perfect square} is definable by y(x = y y). (m, n) m < n} is definable by z(x + z = y z 0). (m, n) m divides n} is definable by φ div (x, y) := z(x z = y) n n is prime} is definable by φ(y) := y 1 x(φ div (x, y) (x = 1 x = y)). Part (b): For any definable X N, let φ X, k = k X, and p X N k witness that it is definable. Note that X (φ X, k X, p X ) is an injection into a countable set. So there are only countably many definable subsets of N. Since the powerset of N is uncountable, there are subsets which are not definable. L. Recall a graph is a structure G = (V ; E) such that E is a symmetric and irreflexive binary relation. Solution. Part (a). The following are the axioms: symmetric: x y(xry yrx); 7

irreflexivity: x (xrx); For every even k, λ k := ( x 1 )( x )...( x k )( x k+1 ) 1 i k x irx i+1 x 1 x k+1. For part (b), suppose for contradiction that the class of bipartite graphs is finitely axiomatizable. Then there is some sentence φ, such that A = φ iff A is a bipartite graph. Let Σ be the axiomatization defined in part (a). Then Σ = φ. By compactness it follows that there is some finite subset of Σ, such that = φ. Let n be large enough such that if λ k, then k < n. Let A be a graph with an odd-length cycle of size at least n. Then A =, and so A = φ. Contradiction with the assumptions that φ axiomatizes bipartite graphs. A cycle of length n is a sequence v 1,..., v n+1 V so that for all 1 i n, v i, v i+1 E; v 1 = v n+1 ; and for 1 i < j n, v i v j. A theorem of graph theory states that a graph is bipartite if and only if it contains no cycles of odd length. (a) Give a theory in the language L = R}, R a binary relation symbol, that axiomatizes the class of bipartite graphs. (b) Show the class of bipartite graphs is not finitely axiomatizable. L3. Let A = (A; A ) and B = (B; B ) be countable dense linear orders without endpoints. (a) Show A and B are isomorphic. (b) Show the theory of dense linear orders without endpoints is complete. Solution. (a) Enumerate A = a n n < ω} and B = b n n < ω}. Define an order preserving function f : A B as follows. Let f(a 0 ) be any element in B At even stages, n: if f(a n ) is already defined, do nothing. Otherwise, let D be the set of elements a, such that f(a) has been defined, and set B < := f(a) a D, a < a n } and B > := f(a) a D, a > a n }. By the inductive assumption for all b 1 B < and b B >, we have b 1 < b. Since B is a dense linear order, pick b B, such that for all b B <, b < b and for all b B >, b < b. Set f(a n ) = b. At odd stages, n + 1: if b n is in the range of the partial function defined so far, go to the next stage. Otherwise, let D be the set of elements a, such that f(a) has been defined and let R be the range, and let A < := a D f(a) < b n } and A > := a D b n < f(a)}. By the inductive assumption for all a 1 A <, a A >, a 1 < a. Since A is a dense linear order let a A be such that for all a A <, a < a and for all a A >, a < a. Set f(a ) = b n. Then by the even stages in the construction, dom(f) = A, and the odd stages ensure that ran(f) = B. Inductively we maintained that f is order preserving, and so it is an isomorphism. (b). The theory of dense linear orders without endpoints has no finite models, and by part (a) it is ℵ 0 -categorical. So, by the Los-Vaught Test test, it is complete 8