REAL ANALYSIS I HOMEWORK 1
|
|
- Ezra Patterson
- 6 years ago
- Views:
Transcription
1 REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse If (x α ) α A s a collecton of numbers x α [0, + ] such that x α <, show that x α = 0 for all but at most countably many α A, even f α A A tself s uncountable. We want to show that the subset A 0 = {α A : x α > 0} of A s countable f the sum s fnte. For every n N, let Then clearly A 0 = A n = {α A : x α > /n}. A n. Now argung contrapostvely, suppose A 0 s uncountable. Then at least one of the A n s should be uncountable, as countable unons of countable sets s countable. Fx such an n. Then for every M, A n has a fnte subset F M of sze M; hence x α x α x α > /n = M/n α A α A n α F M α F M for every M (the frst two nequaltes hold snce x α s are nonnegatve). But by varyng M we can make M/n arbtrarly large (note that n does not depend on M). Hence x α can t be fnte. α A Exercse (Tonell s theorem for seres over arbtrary sets). Let A, B be sets (possbly nfnte or uncountable), and ( ) n A,m B be a doubly nfnte sequence of extended non-negatve reals [0, + ] ndexed by A and B. Show that = =. (n,m) A B n A m B m B n A (Hnt: although not strctly necessary, you may fnd t convenent to frst establsh the fact that f n A x n s fnte, then x n s non-zero for at most countably many n.) Frst, assume that the left hand sde s nfnte. Then for every postve real number R, there s a fnte subset F A B such that (n,m) F > R. Note that the proof of ths nnocent asserton uses the axom of (countable) choce! Ths fact s usually swept under the rug.
2 REAL ANALYSIS I HOMEWORK 2 Note that A has a fnte subset G and B has a fnte subset H such that F G H. Now observe that R < =. (n,m) G H n G m H (n,m) F Note that, for fxed n G, the sum of the collecton ( ) m B s defned as sup. H B s fnte m H Thus for every n G we have and hence m H m B R < n G m B n A m B Snce R > 0 was arbtrary, we conclude that the mddle term n the asserted equalty s also nfnte. In a smlar fashon, the rght hand sde s nfnte. We handled the nfnte case. So now assume that the left hand sde s fnte. Then by Exercse 0.0., the set S = {(n, m) A B : > 0} s countable. Let π A : A B A and π B : A B B to be the projecton maps. Wrte A 0 = π A (S) and B 0 = π B (S) and note that A 0 A and B 0 B are countable sets. Snce S A 0 B 0 and = 0 f (n, m) / S, we get = = (n,m) A B (n,m) S (n,m) A 0 B 0 = n A 0 m B 0 where we used Tonell s theorem for seres n the last equalty. Snce = 0 f m / B, we have = for every n A 0. And A 0 has a smlar property, so m B 0 m B = =. m B 0 m B n A m B n A 0 n A 0 Ths establshes the frst equalty n the fnte sum case. The second equalty s smlar. Exercse.2.4. Let E, F R d be dsjont closed sets, wth at least one of E, F beng compact. Show that dst(e, F ) > 0. Gve a counterexample to show that ths clam fals when the compactness hypothess s dropped. The statement to prove s actually true n the settng of an arbtrary metrc space. Lemma. Let (X, d) be a metrc space and A X. Then A = {x X : dst(x, A) = 0}.
3 REAL ANALYSIS I HOMEWORK 3 Proof. Suppose x X such that dst(x, A) = 0. Then for every ɛ > 0, there exsts a A such that d(x, a) < ɛ, hence B(x, ɛ) A. Snce the collecton {B(x, ɛ) : ɛ > 0} forms a bass of open neghborhoods around x, we conclude that x A. Conversely f x A, then for every ɛ > 0 we have B(x, ɛ) A. Hence there exsts a A (a depends on ɛ) such that d(x, a) < ɛ. Thus by the defnton of nfmum, dst(x, A) < ɛ. As ɛ > 0 was arbtrary, we conclude that dst(x, A) = 0. Proposton 2. Let (X, d) be a metrc space and E, F X be dsjont sets such that E s compact and F s closed. Then dst(e, F ) > 0. Proof. For every x E, snce x / F = F, by Lemma we have dst(x, F ) > 0. In other words, the contnuous functon f : E R x dst(x, F ) satsfes f(e) (0, + ). But E s compact, so f attans a mnmum, say ɛ > 0. Hence for every x E, dst(x, F ) ɛ. Therefore dst(e, F ) ɛ > 0. For a counter-example n the non-compact stuaton, let E = N and F = {n+/n : n N} as subsets of R. Note that for every a, b F a b > /2. So the only convergent sequences n F are eventually constant ones; thus F s closed. Smlarly E s closed. However, for every n N we have n E and n + /n F and hence Thus dst(e, F ) = 0. /n = n (n + /n) = d(n, n + /n) dst(e, F ). Exercse.2.6 Gve an example to show that the reverse statement s false. m (E) = sup m (U) U E,U open Note that For every open set U contaned n E, we have m (U) m (E), that s, m (E) s an upper bound for the set S E = {m (U) : E U-open } of real numbers. Thus by the defnton of sup we obtan sup S E m (E). So a counterexample to the clam must yeld sup S E < m (E). Consder the Lebesgue outer measure for R. Let E = R Q. Snce every nterval contans a ratonal number, the only open set contaned n E s the empty set! So we have S E = {0} whose supremum s (surprsngly) 0. However by subaddtvty we have whch gves m (E) =. = m (R) m (Q) + m (E) = m (E) Exercse.2.7 (Crtera for measurablty) Let E R d. Show that the followng are equvalent: () E s Lebesgue measurable.
4 REAL ANALYSIS I HOMEWORK 4 () (Outer approxmaton by open) For every ε > 0, one can contan E n an open set U wth m (U E) ε. () (Almost open) For every ε > 0, one can fnd an open set U such that m (U E) ε. (v) (Inner approxmaton by closed) For every ε > 0, one can fnd a closed set F contaned n E wth m (E F ) ε. (v) (Almost closed) For every ε > 0, one can fnd a closed set F such that m (F E) ε. (v) (Almost measurable) For every ε > 0, one can fnd a Lebesgue measurable set E ε such that m (E ε E) ε. () was our defnton of measurablty, so () and () are the same statement n our setup. () () s trval because f U contans E then U E = U E. For () (), let ε > 0. Then there exsts an open set V such that m (V E) ε/3. In partcular m (E V ) ε/3 < 2ε/3 by monotoncty. Then by the outer regularty of m, there exsts an open set W contanng E U such that m (W ) < 2ε/3. So U = V W s an open set contanng E and m (U E) = m ((V E) (W E)) m (V E) + m (W E) m (V E) + m (W ) ε/3 + 2ε/3 = ε. For () (v), let ε > 0. Snce E s measurable, so s E c. Therefore by assumpton there exsts an open set U contanng E c such that m (U E c ) ε. Note that F := U c s contaned n E and m (E F ) = m (U E) = m (U E c ) ε. (v) (v) s trval, smlar to () (). (v) (v) holds because closed sets are measurable. For (v) (), let ε > 0. Then there exsts a measurable set D such that m (D E) ɛ/2. And there exsts an open set U contanng D such that m (U D) ɛ/2. Now U E = (U E) (E U) = (D E) ((U D) E) (E U) (D E) (U D) (E D) = (D E) (U D) and hence by subaddtvty and monotoncty we have m (U E) m (D E) + m (U D) ɛ. Exercse.2.9 (Mddle thrds Cantor set). Let I 0 := [0, ] be the unt nterval, let I = [0, /3] [2/3, ] be I 0 wth the nteror of the mddle thrd nterval removed, let I 2 := [0, /9] [2/9, /3] [2/3, 7/9] [8/9, ] be I wth the nteror of the mddle thrd of each of the two ntervals of I removed, and so forth. More formally, wrte I n := a,..., {0,2} [ n 3, n 3 + ].
5 REAL ANALYSIS I HOMEWORK 5 Let C := n= I n be the ntersecton of all the elementary sets I n. Show that C s compact, uncountable, and ull set. By defnton, each I n s the unon of fntely many closed ntervals, so s closed. And snce for any choce of a,... {0, 2} we have n 0 3 n 2 n Ç å 3 = 2 Ç (/3) n+ å = 2 3 /3 Ç = 3 å 2 + = hence I n [0, ]. So beng an ntersecton of closed and bounded sets, C s closed and bounded; hence compact. Let s observe that the famly (I n ) s decreasng. Indeed, gven x I n there exsts a,..., {0, 2} such that Snce we have so x I n. n n 3 x n n 3 n 3, n n 3 x 3 + Consder the set P = {0, 2} N, that s the set of sequences n {0, 2}. Defne a map λ : P C ( ) To see that ths map s well-defned, gven ( ) wth {0, 2} wrte S n = n For every m N we clam that S n I m. We may assume m n. Let b = for n and b = 0 for > m, then we have m b S n = I m. 3 And snce I m s closed, the lmt 3. lm S n = n (whch defntely exsts by comparson wth geometrc seres) les n I m for every m. Hence s n C. 3n
6 REAL ANALYSIS I HOMEWORK 6 Next, we show that λ s njectve. So suppose ( ) and (b n ) are two sequences where, b n {0, 2} such that 3 = b n n 3. n Suppose that the sequences do not concde. So let k be the frst number such that a k b k. WLOG we may assume a k = 2 and b k = 0. 0 = 3 b n n Hence = 2 3 k = b n = 2 3 k + n=k+ n=k+ b n b n n=k+ 2. Cancellng 2 3 k yelds n= 3 = n 3 = 2 whch s nonsense. Thus λ must be njectve and as a result we conclude that C s uncountable as P = {0, 2} N s uncountable. Fnally we deal wth the outer measure of C. We frst show that[ gven two dstnct n n-tuples a,..., and b,..., b n wth, b n {0, 2}, the ntervals 3, n 3 + ] 3 [ n n b and 3, n b 3 + ] are dsjont. Smlar to above, let k be the frst number among,..., n where a k b k and then we may assume a k = 2 and b k = 0. Then n 3 n b 3 = n k =k+ b k + n =k+ = 2 3 k 2 n =k = 2 3 k 2 ( + 3 = k+ + k 2 3 = 2 Ç 3 3 k 3 å k+ + = 3 k + > ) 3 k+ 3
7 thus REAL ANALYSIS I HOMEWORK 7 n 3 > n b n We establshed that the defnng ntervals of I n are dsjont closed ntervals of length. And the number of these ntervals s the number of n-tuples takng values n {0, 2}, 3n whch s 2 n. Thus by countable addtvty of Lebesgue measure, we conclude that m(i n ) = 2n 3. n Fnally, for every n N we have C I n therefore Ç 2 m(c) 3 for every n N. Thus m(c) = 0. Exercse.2.0. Show that the half-open nterval [0, ) cannot be expressed as the countable unon of dsjont closed ntervals. For an addtonal challenge, show that [0, ) cannot be expressed as the countable unon of dsjont closed sets. å n
Exercise Solutions to Real Analysis
xercse Solutons to Real Analyss Note: References refer to H. L. Royden, Real Analyss xersze 1. Gven any set A any ɛ > 0, there s an open set O such that A O m O m A + ɛ. Soluton 1. If m A =, then there
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationMath 702 Midterm Exam Solutions
Math 702 Mdterm xam Solutons The terms measurable, measure, ntegrable, and almost everywhere (a.e.) n a ucldean space always refer to Lebesgue measure m. Problem. [6 pts] In each case, prove the statement
More informationLinear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
More informationMath 205A Homework #2 Edward Burkard. Assume each composition with a projection is continuous. Let U Y Y be an open set.
Math 205A Homework #2 Edward Burkard Problem - Determne whether the topology T = fx;?; fcg ; fa; bg ; fa; b; cg ; fa; b; c; dgg s Hausdor. Choose the two ponts a; b 2 X. Snce there s no two dsjont open
More informationMATH 5707 HOMEWORK 4 SOLUTIONS 2. 2 i 2p i E(X i ) + E(Xi 2 ) ä i=1. i=1
MATH 5707 HOMEWORK 4 SOLUTIONS CİHAN BAHRAN 1. Let v 1,..., v n R m, all lengths v are not larger than 1. Let p 1,..., p n [0, 1] be arbtrary and set w = p 1 v 1 + + p n v n. Then there exst ε 1,..., ε
More informationAppendix B. Criterion of Riemann-Stieltjes Integrability
Appendx B. Crteron of Remann-Steltes Integrablty Ths note s complementary to [R, Ch. 6] and [T, Sec. 3.5]. The man result of ths note s Theorem B.3, whch provdes the necessary and suffcent condtons for
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationSome basic inequalities. Definition. Let V be a vector space over the complex numbers. An inner product is given by a function, V V C
Some basc nequaltes Defnton. Let V be a vector space over the complex numbers. An nner product s gven by a functon, V V C (x, y) x, y satsfyng the followng propertes (for all x V, y V and c C) (1) x +
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
More informationMath 426: Probability MWF 1pm, Gasson 310 Homework 4 Selected Solutions
Exercses from Ross, 3, : Math 26: Probablty MWF pm, Gasson 30 Homework Selected Solutons 3, p. 05 Problems 76, 86 3, p. 06 Theoretcal exercses 3, 6, p. 63 Problems 5, 0, 20, p. 69 Theoretcal exercses 2,
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationSTEINHAUS PROPERTY IN BANACH LATTICES
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT STEINHAUS PROPERTY IN BANACH LATTICES DAMIAN KUBIAK AND DAVID TIDWELL SPRING 2015 No. 2015-1 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookevlle, TN 38505 STEINHAUS
More informationGenericity of Critical Types
Genercty of Crtcal Types Y-Chun Chen Alfredo D Tllo Eduardo Fangold Syang Xong September 2008 Abstract Ely and Pesk 2008 offers an nsghtful characterzaton of crtcal types: a type s crtcal f and only f
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationSpectral Graph Theory and its Applications September 16, Lecture 5
Spectral Graph Theory and ts Applcatons September 16, 2004 Lecturer: Danel A. Spelman Lecture 5 5.1 Introducton In ths lecture, we wll prove the followng theorem: Theorem 5.1.1. Let G be a planar graph
More informationprinceton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
More informationIntroductory Cardinality Theory Alan Kaylor Cline
Introductory Cardnalty Theory lan Kaylor Clne lthough by name the theory of set cardnalty may seem to be an offshoot of combnatorcs, the central nterest s actually nfnte sets. Combnatorcs deals wth fnte
More informationCSCE 790S Background Results
CSCE 790S Background Results Stephen A. Fenner September 8, 011 Abstract These results are background to the course CSCE 790S/CSCE 790B, Quantum Computaton and Informaton (Sprng 007 and Fall 011). Each
More informationOn the Operation A in Analysis Situs. by Kazimierz Kuratowski
v1.3 10/17 On the Operaton A n Analyss Stus by Kazmerz Kuratowsk Author s note. Ths paper s the frst part slghtly modfed of my thess presented May 12, 1920 at the Unversty of Warsaw for the degree of Doctor
More informationOn the set of natural numbers
On the set of natural numbers by Jalton C. Ferrera Copyrght 2001 Jalton da Costa Ferrera Introducton The natural numbers have been understood as fnte numbers, ths wor tres to show that the natural numbers
More informationBOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS
BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all
More informationNUMERICAL DIFFERENTIATION
NUMERICAL DIFFERENTIATION 1 Introducton Dfferentaton s a method to compute the rate at whch a dependent output y changes wth respect to the change n the ndependent nput x. Ths rate of change s called the
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationWeek 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
More informationand problem sheet 2
-8 and 5-5 problem sheet Solutons to the followng seven exercses and optonal bonus problem are to be submtted through gradescope by :0PM on Wednesday th September 08. There are also some practce problems,
More informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
More informationEXPANSIVE MAPPINGS. by W. R. Utz
Volume 3, 978 Pages 6 http://topology.auburn.edu/tp/ EXPANSIVE MAPPINGS by W. R. Utz Topology Proceedngs Web: http://topology.auburn.edu/tp/ Mal: Topology Proceedngs Department of Mathematcs & Statstcs
More information42. Mon, Dec. 8 Last time, we were discussing CW complexes, and we considered two di erent CW structures on S n. We continue with more examples.
42. Mon, Dec. 8 Last tme, we were dscussng CW complexes, and we consdered two d erent CW structures on S n. We contnue wth more examples. (2) RP n. Let s start wth RP 2. Recall that one model for ths space
More informationTHE WEIGHTED WEAK TYPE INEQUALITY FOR THE STRONG MAXIMAL FUNCTION
THE WEIGHTED WEAK TYPE INEQUALITY FO THE STONG MAXIMAL FUNCTION THEMIS MITSIS Abstract. We prove the natural Fefferman-Sten weak type nequalty for the strong maxmal functon n the plane, under the assumpton
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationarxiv: v1 [math.co] 1 Mar 2014
Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest
More informationEdge Isoperimetric Inequalities
November 7, 2005 Ross M. Rchardson Edge Isopermetrc Inequaltes 1 Four Questons Recall that n the last lecture we looked at the problem of sopermetrc nequaltes n the hypercube, Q n. Our noton of boundary
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationfind (x): given element x, return the canonical element of the set containing x;
COS 43 Sprng, 009 Dsjont Set Unon Problem: Mantan a collecton of dsjont sets. Two operatons: fnd the set contanng a gven element; unte two sets nto one (destructvely). Approach: Canoncal element method:
More informationCONVERGENCE OF A GENERALIZED MIDPOINT ITERATION
CONVERGENCE OF A GENERALIZED MIDPOINT ITERATION JARED ABLE, DANIEL BRADLEY, ALVIN MOON, AND XINGPING SUN Abstract. We gve an analytc proof for the Hausdorff convergence of the mdpont or derved polygon
More information10-801: Advanced Optimization and Randomized Methods Lecture 2: Convex functions (Jan 15, 2014)
0-80: Advanced Optmzaton and Randomzed Methods Lecture : Convex functons (Jan 5, 04) Lecturer: Suvrt Sra Addr: Carnege Mellon Unversty, Sprng 04 Scrbes: Avnava Dubey, Ahmed Hefny Dsclamer: These notes
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More informationGeneral viscosity iterative method for a sequence of quasi-nonexpansive mappings
Avalable onlne at www.tjnsa.com J. Nonlnear Sc. Appl. 9 (2016), 5672 5682 Research Artcle General vscosty teratve method for a sequence of quas-nonexpansve mappngs Cuje Zhang, Ynan Wang College of Scence,
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationPolynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
More informationExpected Value and Variance
MATH 38 Expected Value and Varance Dr. Neal, WKU We now shall dscuss how to fnd the average and standard devaton of a random varable X. Expected Value Defnton. The expected value (or average value, or
More informationGeometry of Müntz Spaces
WDS'12 Proceedngs of Contrbuted Papers, Part I, 31 35, 212. ISBN 978-8-7378-224-5 MATFYZPRESS Geometry of Müntz Spaces P. Petráček Charles Unversty, Faculty of Mathematcs and Physcs, Prague, Czech Republc.
More informationComplete subgraphs in multipartite graphs
Complete subgraphs n multpartte graphs FLORIAN PFENDER Unverstät Rostock, Insttut für Mathematk D-18057 Rostock, Germany Floran.Pfender@un-rostock.de Abstract Turán s Theorem states that every graph G
More informationMAT 578 Functional Analysis
MAT 578 Functonal Analyss John Qugg Fall 2008 Locally convex spaces revsed September 6, 2008 Ths secton establshes the fundamental propertes of locally convex spaces. Acknowledgment: although I wrote these
More informationWe call V a Banach space if it is complete, that is to say every Cauchy sequences in V converges to an element of V. (a (k) a (l) n ) (a (l)
Queston 1 Part () Suppose (a n ) =. Then sup{ a N} =. But a for all, so t follows that a = for all, that s to say (a n ) =. Let (a n ) c and α C. Then αa = α α for each, so α(a n ) = (αa n ) = sup{ α a
More informationAnother converse of Jensen s inequality
Another converse of Jensen s nequalty Slavko Smc Abstract. We gve the best possble global bounds for a form of dscrete Jensen s nequalty. By some examples ts frutfulness s shown. 1. Introducton Throughout
More informationU.C. Berkeley CS294: Spectral Methods and Expanders Handout 8 Luca Trevisan February 17, 2016
U.C. Berkeley CS94: Spectral Methods and Expanders Handout 8 Luca Trevsan February 7, 06 Lecture 8: Spectral Algorthms Wrap-up In whch we talk about even more generalzatons of Cheeger s nequaltes, and
More informationREDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1].
REDUCTION MODULO p. IAN KIMING We wll prove the reducton modulo p theorem n the general form as gven by exercse 4.12, p. 143, of [1]. We consder an ellptc curve E defned over Q and gven by a Weerstraß
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationRepresentation theory and quantum mechanics tutorial Representation theory and quantum conservation laws
Representaton theory and quantum mechancs tutoral Representaton theory and quantum conservaton laws Justn Campbell August 1, 2017 1 Generaltes on representaton theory 1.1 Let G GL m (R) be a real algebrac
More informationTHE ORNSTEIN-WEISS LEMMA FOR DISCRETE AMENABLE GROUPS.
THE ORNSTEIN-WEISS LEMMA FOR DISCRETE AMENABLE GROUPS FABRICE KRIEGER Abstract In ths note we prove a convergence theorem for nvarant subaddtve functons defned on the fnte subsets of a dscrete amenable
More informationSolutions to Homework 7, Mathematics 1. 1 x. (arccos x) (arccos x) 1
Solutons to Homework 7, Mathematcs 1 Problem 1: a Prove that arccos 1 1 for 1, 1. b* Startng from the defnton of the dervatve, prove that arccos + 1, arccos 1. Hnt: For arccos arccos π + 1, the defnton
More informationHomework Notes Week 7
Homework Notes Week 7 Math 4 Sprng 4 #4 (a Complete the proof n example 5 that s an nner product (the Frobenus nner product on M n n (F In the example propertes (a and (d have already been verfed so we
More informationBernoulli Numbers and Polynomials
Bernoull Numbers and Polynomals T. Muthukumar tmk@tk.ac.n 17 Jun 2014 The sum of frst n natural numbers 1, 2, 3,..., n s n n(n + 1 S 1 (n := m = = n2 2 2 + n 2. Ths formula can be derved by notng that
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationLecture 20: Lift and Project, SDP Duality. Today we will study the Lift and Project method. Then we will prove the SDP duality theorem.
prnceton u. sp 02 cos 598B: algorthms and complexty Lecture 20: Lft and Project, SDP Dualty Lecturer: Sanjeev Arora Scrbe:Yury Makarychev Today we wll study the Lft and Project method. Then we wll prove
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction
ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES TAKASHI ITOH AND MASARU NAGISA Abstract We descrbe the Haagerup tensor product l h l and the extended Haagerup tensor product l eh l n terms of
More informationThe Second Eigenvalue of Planar Graphs
Spectral Graph Theory Lecture 20 The Second Egenvalue of Planar Graphs Danel A. Spelman November 11, 2015 Dsclamer These notes are not necessarly an accurate representaton of what happened n class. The
More informationALGEBRA HW 7 CLAY SHONKWILER
ALGEBRA HW 7 CLAY SHONKWILER 1 Whch of the followng rngs R are dscrete valuaton rngs? For those that are, fnd the fracton feld K = frac R, the resdue feld k = R/m (where m) s the maxmal deal), and a unformzer
More informationMath1110 (Spring 2009) Prelim 3 - Solutions
Math 1110 (Sprng 2009) Solutons to Prelm 3 (04/21/2009) 1 Queston 1. (16 ponts) Short answer. Math1110 (Sprng 2009) Prelm 3 - Solutons x a 1 (a) (4 ponts) Please evaluate lm, where a and b are postve numbers.
More informationGoogle PageRank with Stochastic Matrix
Google PageRank wth Stochastc Matrx Md. Sharq, Puranjt Sanyal, Samk Mtra (M.Sc. Applcatons of Mathematcs) Dscrete Tme Markov Chan Let S be a countable set (usually S s a subset of Z or Z d or R or R d
More informationProblem Solving in Math (Math 43900) Fall 2013
Problem Solvng n Math (Math 43900) Fall 2013 Week four (September 17) solutons Instructor: Davd Galvn 1. Let a and b be two nteger for whch a b s dvsble by 3. Prove that a 3 b 3 s dvsble by 9. Soluton:
More information763622S ADVANCED QUANTUM MECHANICS Solution Set 1 Spring c n a n. c n 2 = 1.
7636S ADVANCED QUANTUM MECHANICS Soluton Set 1 Sprng 013 1 Warm-up Show that the egenvalues of a Hermtan operator  are real and that the egenkets correspondng to dfferent egenvalues are orthogonal (b)
More informationTHE STRUCTURED DISTANCE TO ILL-POSEDNESS FOR CONIC SYSTEMS. A.S. Lewis. April 18, 2003
THE STRUCTURED DISTANCE TO ILL-POSEDNESS FOR CONIC SYSTEMS A.S. Lews Aprl 18, 2003 Key words: condton number, conc system, dstance to nfeasblty, structured sngular values, sublnear maps, surjectvty AMS
More informationLearning Theory: Lecture Notes
Learnng Theory: Lecture Notes Lecturer: Kamalka Chaudhur Scrbe: Qush Wang October 27, 2012 1 The Agnostc PAC Model Recall that one of the constrants of the PAC model s that the data dstrbuton has to be
More informationOn the smoothness and the totally strong properties for nearness frames
Int. Sc. Technol. J. Namba Vol 1, Issue 1, 2013 On the smoothness and the totally strong propertes for nearness frames Martn. M. Mugoch Department of Mathematcs, Unversty of Namba 340 Mandume Ndemufayo
More informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More informationCourse Notes for Greedy Approximations Math Th. Schlumprecht
Course Notes for Greedy Approxmatons Math 663-601 Th. Schlumprecht March 10, 2015 2 Contents 1 The Threshold Algorthm 5 1.1 Greedy and Quas Greedy Bases.................. 5 1.2 The Haar bass s greedy n
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationSelf-similar and self-affine sets; measure of the intersection of two copies
Self-smlar and self-affne sets; measure of the ntersecton of two copes Márton Elekes, Tamás Kelet and András Máthé Alfréd Rény Insttute of Mathematcs, Hungaran Academy of Scences, P.O. Box 127, H-1364,
More information28 Finitely Generated Abelian Groups
8 Fntely Generated Abelan Groups In ths last paragraph of Chapter, we determne the structure of fntely generated abelan groups A complete classfcaton of such groups s gven Complete classfcaton theorems
More informationSUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) M(B) := # ( B Z N)
SUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) S.BOUCKSOM Abstract. The goal of ths note s to present a remarably smple proof, due to Hen, of a result prevously obtaned by Gllet-Soulé,
More informationSolutions HW #2. minimize. Ax = b. Give the dual problem, and make the implicit equality constraints explicit. Solution.
Solutons HW #2 Dual of general LP. Fnd the dual functon of the LP mnmze subject to c T x Gx h Ax = b. Gve the dual problem, and make the mplct equalty constrants explct. Soluton. 1. The Lagrangan s L(x,
More informationA new construction of 3-separable matrices via an improved decoding of Macula s construction
Dscrete Optmzaton 5 008 700 704 Contents lsts avalable at ScenceDrect Dscrete Optmzaton journal homepage: wwwelsevercom/locate/dsopt A new constructon of 3-separable matrces va an mproved decodng of Macula
More informationLecture 3: Probability Distributions
Lecture 3: Probablty Dstrbutons Random Varables Let us begn by defnng a sample space as a set of outcomes from an experment. We denote ths by S. A random varable s a functon whch maps outcomes nto the
More informationAli Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen
Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN 5493644 00 Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout
More informationHMMT February 2016 February 20, 2016
HMMT February 016 February 0, 016 Combnatorcs 1. For postve ntegers n, let S n be the set of ntegers x such that n dstnct lnes, no three concurrent, can dvde a plane nto x regons (for example, S = {3,
More information6.854J / J Advanced Algorithms Fall 2008
MIT OpenCourseWare http://ocw.mt.edu 6.854J / 18.415J Advanced Algorthms Fall 2008 For nformaton about ctng these materals or our Terms of Use, vst: http://ocw.mt.edu/terms. 18.415/6.854 Advanced Algorthms
More informationTHE MCSHANE INTEGRAL IN WEAKLY COMPACTLY GENERATED SPACES. 1. Introduction
THE MCSHANE INTEGRAL IN WEAKLY COMPACTLY GENERATED SPACES A. AVILÉS, G. PLEBANEK, AND J. RODRÍGUEZ Abstract. D Pazza and Press asked whether every Petts ntegrable functon defned on [0, 1] and takng values
More informationMin Cut, Fast Cut, Polynomial Identities
Randomzed Algorthms, Summer 016 Mn Cut, Fast Cut, Polynomal Identtes Instructor: Thomas Kesselhem and Kurt Mehlhorn 1 Mn Cuts n Graphs Lecture (5 pages) Throughout ths secton, G = (V, E) s a mult-graph.
More informationDifferential Polynomials
JASS 07 - Polynomals: Ther Power and How to Use Them Dfferental Polynomals Stephan Rtscher March 18, 2007 Abstract Ths artcle gves an bref ntroducton nto dfferental polynomals, deals and manfolds and ther
More information8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars
More informationEvery planar graph is 4-colourable a proof without computer
Peter Dörre Department of Informatcs and Natural Scences Fachhochschule Südwestfalen (Unversty of Appled Scences) Frauenstuhlweg 31, D-58644 Iserlohn, Germany Emal: doerre(at)fh-swf.de Mathematcs Subject
More informationLECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.
LECTURE V EDWIN SPARK 1. More on the Chnese Remander Theorem We begn by recallng ths theorem, proven n the preceedng lecture. Theorem 1.1 (Chnese Remander Theorem). Let R be a rng wth deals I 1, I 2,...,
More informationREGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction
REGULAR POSITIVE TERNARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. A postve defnte quadratc form f s sad to be regular f t globally represents all ntegers that are represented by the genus of f. In 997
More information8 Baire Category Theorem and Uniform Boundedness
8 Bae Categoy Theoem and Unfom Boundedness Pncple 8.1 Bae s Categoy Theoem Valdty of many esults n analyss depends on the completeness popety. Ths popety addesses the nadequacy of the system of atonal
More informationSubset Topological Spaces and Kakutani s Theorem
MOD Natural Neutrosophc Subset Topologcal Spaces and Kakutan s Theorem W. B. Vasantha Kandasamy lanthenral K Florentn Smarandache 1 Copyrght 1 by EuropaNova ASBL and the Authors Ths book can be ordered
More informationFUNCTIONAL ANALYSIS DR. RITU AGARWAL MALAVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR
FUNCTIONAL ANALYSIS DR. RITU AGARWAL MALAVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR Contents 1. About 1 2. Syllabus 1 References 1 2.1. Orgn 2 3. Abstract space 2 4. Metrc Space 2 5. Sem-Metrc 6 6. Separable
More informationarxiv: v1 [math.ca] 31 Jul 2018
LOWE ASSOUAD TYPE DIMENSIONS OF UNIFOMLY PEFECT SETS IN DOUBLING METIC SPACE HAIPENG CHEN, MIN WU, AND YUANYANG CHANG arxv:80769v [mathca] 3 Jul 08 Abstract In ths paper, we are concerned wth the relatonshps
More informationReview of metric spaces. 1. Metric spaces, continuous maps, completeness
(March 14, 2014) Revew of metrc spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [Ths document s http://www.math.umn.edu/ garrett/m/mfms/notes 2013-14/12a metrc spaces.pdf] We
More informationIntegration and Expectation
Chapter 9 Integraton and Expectaton fter Lebesgue s nvestgatons, the analogy between the measure of a set and the probablty of an event, as well as between the ntegral of a functon and the mathematcal
More informationP exp(tx) = 1 + t 2k M 2k. k N
1. Subgaussan tals Defnton. Say that a random varable X has a subgaussan dstrbuton wth scale factor σ< f P exp(tx) exp(σ 2 t 2 /2) for all real t. For example, f X s dstrbuted N(,σ 2 ) then t s subgaussan.
More informationn ). This is tight for all admissible values of t, k and n. k t + + n t
MAXIMIZING THE NUMBER OF NONNEGATIVE SUBSETS NOGA ALON, HAROUT AYDINIAN, AND HAO HUANG Abstract. Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what
More informationCurvature and isoperimetric inequality
urvature and sopermetrc nequalty Julà ufí, Agustí Reventós, arlos J Rodríguez Abstract We prove an nequalty nvolvng the length of a plane curve and the ntegral of ts radus of curvature, that has as a consequence
More information