An Algorithmist s Toolkit October 20, Lecture 11
|
|
- Ruby Allen
- 6 years ago
- Views:
Transcription
1 A Algorithist s Toolkit October 20, 2009 Lecture 11 Lecturer: Joatha Keler Scribe: Chaithaya Badi 1 Outlie Today we ll itroduce ad discuss Polar of a covex body. Correspodece betwee or fuctios ad origi-syetric bodies (ad see how covex geoetry ca be a powerful tool for fuctioal aalysis). Fritz-Joh s Theore 2 The Polar of a Polytope Give a bouded polytope C R that cotais the origi i its iterior, we ca represet C as C = {x a i x b i, i = 1,..., k}, where b i > 0. Without loss of geerality, by appropriately scalig each costrait, we ca assue b i = 1, i = 1,..., k. Now the polar of C is give by C = cov(a 1,..., a k ). 2.1 Exaples Let C be the square with corers at (1, 1), (1, 1), ( 1, 1), ( 1, 1). The {a i } = {(1, 0), (0, 1), ( 1, 0), (0, 1)}. The polar has corers at (1, 0), (0, 1), ( 1, 0), (0, 1). Note that the polar is a square rotated ad shruk ito a diaod. This polytope is also referred to as the cross polytope. Note that the facets of C becoe the vertices of C ad vice versa. For exaple, the three diesioal cube s polar is the octahedro. Six facets ad eight vertices correspod to eight facets ad six vertices. The size ad shape of a polar teds to be the reverse of that of the origial set. For exaple, a short bulgig rectagle with corers at (100, 3), (100, 3), ( 100, 3), ( 100, 3) would have a tall copressed polar with corers at (±1/100, 0), (0, ±1/3). Also ote that polars of siplices are siplices. 2.2 Properties of a polar Soe of the useful properties of a polar is suarised here. The properties will be illustrated usig pictures. (C ) = C (proof later). If C is origi-syetric, the so is C. If A B the B A. If A is scaled up, the A is scaled dow. If the polar is low-diesioal, that would ea the origial polytope had to be ubouded i soe directios. 11-1
2 Traslatio has a very drastic effect o the polar. It ca becoe ubouded just by traslatig the polytope. All these properties ca be illustrated usig the pictures below. 3 Polars of Geeral Covex Bodies Ay covex body ca be thought of as the itersectio of a (possibly ifiite) set of half spaces. These are called suportig hyperplaes. Therefore, the polar of a covex body ca be see as the covex hull of a (possibly ifiite) set of poits, coig fro all of the supportig hyperplaes. With this ituitio oe ca guess about the followig : Polar of a sphere is a sphere. Polar of a sphere of radius r is a sphere of radius 1/r. Polar of a ellipse is a ellipse with axes reversed. Defiitio 1 The polar of a covex body C is give by C = {x R x c 1 c C} We observe that this defiitio is equivalet to the previous defiitio. Propositio 2 For a polytope C give by C = {x a i x b i, i = 1,..., k}, the sets C 1 = C 2 where C 1 = {x R x c 1 c C} ad C 2 == cov(a 1,..., a k ). We skip the proof as it is easy to verify that if x C 1 the x C 2 ad vice versa. We will ow prove that (C ) = C. We would be eedig the cocept of a separatig hyperplae for the proof which we itroduce ow. 3.1 Separatig Hyperplaes Give a covex body K R ad a poit p, a separatig hyperplae for K ad p is a hyperplae that has K o oe side of it ad p o the other. More forally, for a vector ν, the hyperplae H = {x ν x = 1} is a separatig hyperplae for K ad p if 1. ν x 1 for all x K, ad 2. ν p 1. Note that if we replace the right had side of both the above coditios by 0 or ay other costat, we get a equivalet forulatio. We call a separatig hyperplae H a strogly separatig hyperplae if the secod iequality is strict. Theore 3 Separatig Hyperplae Theore: If K is a covex body ad p is a poit ot cotaied i K, the there exists a hyperplae that strogly separates the. Proof We ll sketch a outlie of the proof. It ca be ade rigorous. Cosider a poit x K that is the closest to p i l 2 distace. Cosider the plae H that is perpedicular to the lie joiig x to p ad is passig through the idpoit of x ad p. H ust separate K fro p because if there is soe poit of K, say y, that is o the sae side of H as p, the we ca use the covexity of K to coclude that the poit x which is the itersectio of the hyperplae with the lie joiig x ad y is also i K. x is closer to p that x sice px fors the side of a right agled triagle of which xp is the hypoteuse. This cotradicts the assuptio that x is the poit closest to p. 11-2
3 3.2 Polar of a Polar We ll use the above result to show why the polar of the polar of a covex body is the body itself. Recall that for a covex body K, we had defied its polar K to be {p k p 1 k K}. Theore 4 Let K be a covex body. The K = K. Proof We kow that K = {p k p 1 k K}. Siilarly K = {y p y 1 p k }. Let y be ay poit i K. The, by the defiitio of the polar, for all p K we have that p y 1. The defiitio of the polar of K iplies that y k. Sice this is true for every y K, we coclude that K K. The other directio of the proof is the otrivial oe ad we ll have to use the covexity of the body ad the separatig hyperplae theore. If possible, let y be such that y K ad y K. Sice y K, we have that P y 1 p K. Sice y K, there exists a strogly separatig hyperplae for y ad K. Let it be H = {x v x = 1}. By the defiitio of separatig hyperplae, we have v k 1 k K. Hece, v K. Also, v y > 1 (sice H is a separatig hyperplae), ad we just showed that v K. This cotradicts our assuptio that y K. Hece K K. 4 Nors ad Syetric Covex Bodies We will show how ors ad syetric covex bodies co-exist. This provides us a way to use the results of Covex Geoetry i Fuctioal Aalysis ad vice versa. Recall that a or o R is a ap q : R R such that: 1. q(ax) = aq(x) for a R (hoogeeity) 2. q(x + y) q(x) + q(y) (triagle iequality) 3. q(x) 0 for all x (oegativity) (actually iplied by 1 ad 2) 4. q(x) = 0 if ad oly if x = 0 (positivity) (without this coditios, q is a seior ) Note that give a or, oe ca costruct a covex body. The siplest beig the uit ball B q = {x R q(x) 1}. It is a easy exercise to verify the covexity of B q. Also as we will show ow, give a covex body C, we ca coe up with a or uder which C is the uit ball. Note that C has to be origi syetric. Defiitio 5 The Mikowski fuctioal of a origi syetric covex body C is the ap p C : R defied by p C (x) = if {x λc} λ>0 (We will soeties deote this by x C, because it is a or.) R To prove that this is a or, oe eeds to verify the properties of hoogeeity, triagle iequality etc. These follow fro the covexity of the body. 4.1 Nors, Duals, ad the Polar For ay or q, we ca defie its dual by q (x) = sup v=0 ( v). It is a exercise to see that the uit ball with respect to the dual or of q is the polar of the uit ball with respect to q. This provides us a direct relatio betwee covex geoetry ad fuctioal aalysis. v x q 11-3
4 The followig pictures allow us to have a geoetric ituitio of the ors ad their duals. 11-4
5 11-5
6 5 Baach Mazur Distace Recall fro last tie the defiitio of the Baach Mazur distace betwee two covex bodies: Defiitio 6 Let K ad L be two covex bodies. The Baach Mazur distace d(k, L) is the least positive d R for which theres a liear iage L of L such that L K dl, where dl is the covex body obtaied by ultiplyig every vector i L by the scalar d. Observe that the above defiitio takes ito cosideratio oly the itrisic shape of the body, ad it is idepedet of ay particular choice of coordiate syste. Also observe that the Baach Mazur distace is syetric i it s iput arguets. If L K dl, the by scalig everythig by d, we get that dl dk. Hece K dl dk, which iplies the syetry property. 6 Fritz Joh s Theore Let B 2 deote the -diesioal uit ball. For ay two covex bodies K ad K, let d(k, K ) deote the Baach Mazur distace betwee the. I the rest of this lecture, we ll state ad prove the Fritz Joh s theore. Theore 7 For ay -diesioal, origi-syetric covex body K, d(k, B )
7 I other words, the theore states that for every origi-syetric covex body K, there exists soe ellipsoid E such that E K E. We ll prove that the ellipsoid of axial volue that is cotaied i K will satisfy the above cotaiet. Iforally, the theore says that up to a factor of, every covex body looks like a ball. The above boud of is tight for the cube. If we did t require the coditio that K is origi syetric, the the boud would be, which would be tight for a siplex. The theore ca also be rephrased as the followig: There exists a chage of the coordiate basis for which B K 2 B 2. Theore 8 Let K be a origi-syetric covex body. The K cotais a uique ellipsoid of axial volue. Moreover, this largest ellipsoid is B 2 if ad oly if the followig coditios hold: B2 K There are uit vectors u 1, u 2,..., u o the boudary of K ad positive real ubers c 1, c 2,..., c such that 1. i=1 c iu i = 0, ad for all vectors x, i=1 c i x, u i = x. Sice the u i are uit vectors, they are poits o the covex body K that also belog to the sphere B 2 Also, the first idetity, i.e. i=1 c iu i = 0, is actually redudat, sice for origi syetric bodies it ca be derived fro the secod idetity. This is because for every u i, it s reflectio i the origi is also cotaied i K B 2. The secod idetity says that the cotact poits (of the sphere with K) act soewhat like a orthooral basis. They ca be weighted so that they are copletely isotropic. I other words, the poits are ot cocetrated ear soe proper subspace, but are pretty evely spread out i all directios. Together they ea that the u i ca be weighted so that their ceter of ass is the origi ad their iertia tesor is the idetity. Also, a siple rak arguet shows that there eed to be at least such cotact poits, sice the secod idetity ca oly hold for x i the spa of the u i. 6.1 Proof of Joh s Theore Proof As part of the proof of Joh s Theore, we ll prove the followig thigs: 1. If there exist cotact poits {u i } as required i the stateet of Theore 8, the B is the uique 2 ellipsoid of axial volue that is cotaied i K. 2. If B is the uique ellipsoid of axial volue that is cotaied i K, the there exist poits {u i } 2 such that they satisfy the two idetities i Theore 8. Proof of 1: We are give uit vectors u 1, u 2,..., u o the boudary of K ad positive real ubers c 1, c 2,..., c such that i=1 c iu i = 0, ad for all vectors x, i=1 c i x, u i 2 = x 2. We wish to show that B 2 is the uique ellipsoid of axial volue that is cotaied i K. Observe that it suffices to show that aog all axis-aliged ellipsoids cotaied i K, B 2 is the uique ellipsoid of axial volue. This is because what we are tryig to prove does t etio ay basis ad is oly i ters of dot-products. Hece, sice the stateet will reai true uder rotatios, provig it for axis-aliged ellipsoids is eough. For each u i we have that for all k K, u i k 1. Hece u i K. Let E be ay axis-aliged ellipsoid such that E K. The K E. Hece {u 1, u 2,..., u } E. Sice E is axis-aliged, it is of the for 2 x i {x i=1 α 2 1}. i V ol(e)/v ol(b 2 ) = i=1 α i. Therefore, to show that V ol(e) < V ol(b 2 ), we ust show that i=1 α i < 1 for ay such E which is ot B
8 Observe that E = i=1 α i 2 2 {Y y i 1}. Also, coditio 2 of Theore 8 is equivalet to the follow T ig: i=1 c iu i u i = Id, where Id is the idetity atrix of size. Now, sice u i u i = 1, we have Trace( i=1 c iu i u T i ) = i=1 c i. Sice Trace(Id ) =, this iplies that i=1 c i =. Let e j deote the vector which has a 1 i the i th coordiate ad 0 i the other coordiates. Clearly u i, e j is the j th coordiate of u i. For i i, sice u i E, we get that j=1 α 2 i u i, e j 2 1. Suig it over all i, we get αi 2 u i, e j 2 c i =. i=1 j=1 i=1 2 However, sice by coditio 2 of Theore 8, i=1 u i, e j = e 2 j, we get α 2 By the AM-GM P i=1 i. i=1 α2 i α 2 ) 1/ iequality, we get that ( i=1 i 1, which iplies that i=1 α i 1. Equality oly holds if all the α i are equal. This shows that i=1 α i < 1 for ay such E which is ot B2, copletig the first part of the proof. Proof of 2: Assue that we are give that B 2 is the uique ellipsoid of axial volue that is cotaied i K. We wat to show that for soe, there exist c i ad u i for 1 i (as i the stateet of Theore 2 2 8), such that for all vectors x, i=1 c i x, u i = x. This is equivalet to showig that c i u i u T i = Id. i=1 Also, takig trace of both sides, we get that i=1 c i =. We already observed that for origi-syetric bodies, the coditio that i=1 c iu i = 0, is iplied by the previous coditio. T Let U i = u. Also, observe that we ca view the space of atrices as a vector of 2 i u i real ubers. 2 Hece we ca paraetrize the space of atrices by R T. Hece i=1 c iu i u i = Id eas that Id / is i the covex hull of the U i (recall that the c i are positive ad su to 1). T If possible, let there be o c i, u i such that i=1 c iu i u i = Id. This eas that Id / is ot i the covex hull of the U i. Hece, there ust be a separatig hyperplae H i the space of atrices that separates Id / fro the covex hull of the U i. 2 For two atrices A ad B, let A B deote their dot product i R, i.e. A B = i,j A ij B ij. Thus, the separatig hyperplae is a atrix H such that A cov(u i ), A H 1, ad Id / H < 1. Let t = Trace(H) = H Id. Let H = H t/(id ). The Id / H = Id / (H t/id ) = t/ (Id / t/id ) = 0. Siilarly, sice A cov(u i ), Trace(A) = 1, we get that A H > 0. Hece, H is such that: 1. Trace(H ) = 0, ad 2. H (u i u i T ) > 0 for all i. Now, let E δ = {x R x T (Id +δh T )x 1. For all i, we have u i (Id +δh T )u i = 1+δu i H u i > 1, sice H (u i u T i ) > 0 u T i H u i > 0. Hece u i E δ. Also, sice H (u i u T i ) > 0 for all i, by copactess, there exists ɛ > 0 such that for all atrices w i the ɛ-eighborhood of the set of all u i satisfy H (ww T ) > 0. Hece, by the previous arguet, ay such w is ot cotaied i E δ. Note that whe δ = 0, we get the uit ball B 2. For every δ > 0 we have that for all w i the ɛ eighborhood of the cotact poits of B 2, w E δ. Hece, as we icrease δ cotiuously startig fro 0, the cotiuity of the trasforatio of E δ iplies that for sufficietly sall δ, boudary(k) E δ = φ. Hece ɛ > 0 such that (1 + ɛ )E δ K. Therefore, to coclude the proof, it suffices to show that V ol(e δ V ol(b2 ). Let λ 1, λ 2,..., λ be the eigevalues of Id + δh. Sice V ol(e δ = ( i=1 λ i ) 1, to show that V ol(e δ V ol(b 2 ), we eed to show that i=1 λ i 1. However we kow that i=1 λ i = Trace(Id + δh ) = Trace(Id ) =. By the AM-GM iequality, ( i=1 λ i) 1/ ( i=1 λ i)/ = 1. Hece i=1 λ i 1. This cocludes the proof of part 2. To wrap up the proof of Joh s Theore, assue without loss of geerality that B 2 is the ellipsoid of axial volue cotaied i K. We ca ake this assuptio sice the particular choice of basis is ot 11-8
9 iportat for the proof. We eed to show that B K 2 B2. Now, for all x K, we have x u i 1 for 2 all i. Hece, x = c u i ) 2 i (x c i =. This shows that x, ad hece K B 2. Thus, we have prove the existece of a ellipse E such that E K E. 11-9
10 MIT OpeCourseWare Topics i Theoretical Coputer Sciece: A Algorithist's Toolkit Fall 2009 For iforatio about citig these aterials or our Ters of Use, visit:
Lecture Outline. 2 Separating Hyperplanes. 3 Banach Mazur Distance An Algorithmist s Toolkit October 22, 2009
18.409 A Algorithist s Toolkit October, 009 Lecture 1 Lecturer: Joatha Keler Scribes: Alex Levi (009) 1 Outlie Today we ll go over soe of the details fro last class ad ake precise ay details that were
More informationLecture 10: Bounded Linear Operators and Orthogonality in Hilbert Spaces
Lecture : Bouded Liear Operators ad Orthogoality i Hilbert Spaces 34 Bouded Liear Operator Let ( X, ), ( Y, ) i i be ored liear vector spaces ad { } X Y The, T is said to be bouded if a real uber c such
More informationJacobi symbols. p 1. Note: The Jacobi symbol does not necessarily distinguish between quadratic residues and nonresidues. That is, we could have ( a
Jacobi sybols efiitio Let be a odd positive iteger If 1, the Jacobi sybol : Z C is the costat fuctio 1 1 If > 1, it has a decopositio ( as ) a product of (ot ecessarily distict) pries p 1 p r The Jacobi
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More information42 Dependence and Bases
42 Depedece ad Bases The spa s(a) of a subset A i vector space V is a subspace of V. This spa ay be the whole vector space V (we say the A spas V). I this paragraph we study subsets A of V which spa V
More informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More informationMath Solutions to homework 6
Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there
More informationOn Some Properties of Tensor Product of Operators
Global Joural of Pure ad Applied Matheatics. ISSN 0973-1768 Volue 12, Nuber 6 (2016), pp. 5139-5147 Research Idia Publicatios http://www.ripublicatio.co/gjpa.ht O Soe Properties of Tesor Product of Operators
More information) is a square matrix with the property that for any m n matrix A, the product AI equals A. The identity matrix has a ii
square atrix is oe that has the sae uber of rows as colus; that is, a atrix. he idetity atrix (deoted by I, I, or [] I ) is a square atrix with the property that for ay atrix, the product I equals. he
More informationSome remarks on the paper Some elementary inequalities of G. Bennett
Soe rears o the paper Soe eleetary iequalities of G. Beett Dag Ah Tua ad Luu Quag Bay Vieta Natioal Uiversity - Haoi Uiversity of Sciece Abstract We give soe couterexaples ad soe rears of soe of the corollaries
More informationECE 901 Lecture 4: Estimation of Lipschitz smooth functions
ECE 9 Lecture 4: Estiatio of Lipschitz sooth fuctios R. Nowak 5/7/29 Cosider the followig settig. Let Y f (X) + W, where X is a rado variable (r.v.) o X [, ], W is a r.v. o Y R, idepedet of X ad satisfyig
More informationDefinitions and Theorems. where x are the decision variables. c, b, and a are constant coefficients.
Defiitios ad Theorems Remember the scalar form of the liear programmig problem, Miimize, Subject to, f(x) = c i x i a 1i x i = b 1 a mi x i = b m x i 0 i = 1,2,, where x are the decisio variables. c, b,
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationMath 4707 Spring 2018 (Darij Grinberg): midterm 2 page 1. Math 4707 Spring 2018 (Darij Grinberg): midterm 2 with solutions [preliminary version]
Math 4707 Sprig 08 Darij Griberg: idter page Math 4707 Sprig 08 Darij Griberg: idter with solutios [preliiary versio] Cotets 0.. Coutig first-eve tuples......................... 3 0.. Coutig legal paths
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More informationBertrand s postulate Chapter 2
Bertrad s postulate Chapter We have see that the sequece of prie ubers, 3, 5, 7,... is ifiite. To see that the size of its gaps is ot bouded, let N := 3 5 p deote the product of all prie ubers that are
More informationINEQUALITIES BJORN POONEN
INEQUALITIES BJORN POONEN 1 The AM-GM iequality The most basic arithmetic mea-geometric mea (AM-GM) iequality states simply that if x ad y are oegative real umbers, the (x + y)/2 xy, with equality if ad
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More information2 Banach spaces and Hilbert spaces
2 Baach spaces ad Hilbert spaces Tryig to do aalysis i the ratioal umbers is difficult for example cosider the set {x Q : x 2 2}. This set is o-empty ad bouded above but does ot have a least upper boud
More informationComplex Analysis Spring 2001 Homework I Solution
Complex Aalysis Sprig 2001 Homework I Solutio 1. Coway, Chapter 1, sectio 3, problem 3. Describe the set of poits satisfyig the equatio z a z + a = 2c, where c > 0 ad a R. To begi, we see from the triagle
More informationLecture 20. Brief Review of Gram-Schmidt and Gauss s Algorithm
8.409 A Algorithmist s Toolkit Nov. 9, 2009 Lecturer: Joatha Keler Lecture 20 Brief Review of Gram-Schmidt ad Gauss s Algorithm Our mai task of this lecture is to show a polyomial time algorithm which
More informationStatistics and Data Analysis in MATLAB Kendrick Kay, February 28, Lecture 4: Model fitting
Statistics ad Data Aalysis i MATLAB Kedrick Kay, kedrick.kay@wustl.edu February 28, 2014 Lecture 4: Model fittig 1. The basics - Suppose that we have a set of data ad suppose that we have selected the
More informationACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory
1. Graph Theory Prove that there exist o simple plaar triagulatio T ad two distict adjacet vertices x, y V (T ) such that x ad y are the oly vertices of T of odd degree. Do ot use the Four-Color Theorem.
More informationProblem Cosider the curve give parametrically as x = si t ad y = + cos t for» t» ß: (a) Describe the path this traverses: Where does it start (whe t =
Mathematics Summer Wilso Fial Exam August 8, ANSWERS Problem 1 (a) Fid the solutio to y +x y = e x x that satisfies y() = 5 : This is already i the form we used for a first order liear differetial equatio,
More informationFundamental Concepts: Surfaces and Curves
UNDAMENTAL CONCEPTS: SURACES AND CURVES CHAPTER udametal Cocepts: Surfaces ad Curves. INTRODUCTION This chapter describes two geometrical objects, vi., surfaces ad curves because the pla a ver importat
More informationMinimal surface area position of a convex body is not always an M-position
Miimal surface area positio of a covex body is ot always a M-positio Christos Saroglou Abstract Milma proved that there exists a absolute costat C > 0 such that, for every covex body i R there exists a
More informationVISUALIZING THE UNIT BALL OF THE AGY NORM
VISUALIZING THE UNIT BALL OF THE AGY NORM ALEX WRIGHT 1. Abstract Avila-Gouëzel-Yoccoz defied a orm o the relative cohomology H 1 (X, Σ) of a traslatio surface (X, ω), i [AGY06, Sectio 2] ad also [AG13,
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationOrthogonal transformations
Orthogoal trasformatios October 12, 2014 1 Defiig property The squared legth of a vector is give by takig the dot product of a vector with itself, v 2 v v g ij v i v j A orthogoal trasformatio is a liear
More informationChapter 2. Asymptotic Notation
Asyptotic Notatio 3 Chapter Asyptotic Notatio Goal : To siplify the aalysis of ruig tie by gettig rid of details which ay be affected by specific ipleetatio ad hardware. [1] The Big Oh (O-Notatio) : It
More informationThe Hypergeometric Coupon Collection Problem and its Dual
Joural of Idustrial ad Systes Egieerig Vol., o., pp -7 Sprig 7 The Hypergeoetric Coupo Collectio Proble ad its Dual Sheldo M. Ross Epstei Departet of Idustrial ad Systes Egieerig, Uiversity of Souther
More informationMATH : Matrices & Linear Algebra Spring Final Review
MATH 3330-00: Matrices & Liear Algebra Sprig 009 Fial Review Hua Sha Gauss-Jorda Eliiatio [.] Reduced row-echelo for (rref Rak [.3] rak(a = uber of leadig s i rref(a di(i A = rak( A Liear Trasforatio i
More informationChapter 1. Complex Numbers. Dr. Pulak Sahoo
Chapter 1 Complex Numbers BY Dr. Pulak Sahoo Assistat Professor Departmet of Mathematics Uiversity Of Kalyai West Begal, Idia E-mail : sahoopulak1@gmail.com 1 Module-2: Stereographic Projectio 1 Euler
More informationDefine a Markov chain on {1,..., 6} with transition probability matrix P =
Pla Group Work 0. The title says it all Next Tie: MCMC ad Geeral-state Markov Chais Midter Exa: Tuesday 8 March i class Hoework 4 due Thursday Uless otherwise oted, let X be a irreducible, aperiodic Markov
More informationAVERAGE MARKS SCALING
TERTIARY INSTITUTIONS SERVICE CENTRE Level 1, 100 Royal Street East Perth, Wester Australia 6004 Telephoe (08) 9318 8000 Facsiile (08) 95 7050 http://wwwtisceduau/ 1 Itroductio AVERAGE MARKS SCALING I
More informationThe Brunn-Minkowski Theorem and Influences of Boolean Variables
Lecture 7 The Bru-Mikowski Theorem ad Iflueces of Boolea Variables Friday 5, 005 Lecturer: Nati Liial Notes: Mukud Narasimha Theorem 7.1 Bru-Mikowski). If A, B R satisfy some mild assumptios i particular,
More informationand then substitute this into the second equation to get 5(11 4 y) 3y
Math E-b Lecture # Notes The priary focus of this week s lecture is a systeatic way of solvig ad uderstadig systes of liear equatios algebraically, geoetrically, ad logically. Eaple #: Solve the syste
More informationOn Modeling On Minimum Description Length Modeling. M-closed
O Modelig O Miiu Descriptio Legth Modelig M M-closed M-ope Do you believe that the data geeratig echais really is i your odel class M? 7 73 Miiu Descriptio Legth Priciple o-m-closed predictive iferece
More informationMathematical Foundations -1- Sets and Sequences. Sets and Sequences
Mathematical Foudatios -1- Sets ad Sequeces Sets ad Sequeces Methods of proof 2 Sets ad vectors 13 Plaes ad hyperplaes 18 Liearly idepedet vectors, vector spaces 2 Covex combiatios of vectors 21 eighborhoods,
More informationName Period ALGEBRA II Chapter 1B and 2A Notes Solving Inequalities and Absolute Value / Numbers and Functions
Nae Period ALGEBRA II Chapter B ad A Notes Solvig Iequalities ad Absolute Value / Nubers ad Fuctios SECTION.6 Itroductio to Solvig Equatios Objectives: Write ad solve a liear equatio i oe variable. Solve
More informationAvailable online at J. Math. Comput. Sci. 4 (2014), No. 3, ISSN:
Available olie at http://scik.org J. Math. Coput. Sci. (1, No. 3, 9-5 ISSN: 197-537 ON SYMMETRICAL FUNCTIONS WITH BOUNDED BOUNDARY ROTATION FUAD. S. M. AL SARARI 1,, S. LATHA 1 Departet of Studies i Matheatics,
More informationOrthogonal Functions
Royal Holloway Uiversity of odo Departet of Physics Orthogoal Fuctios Motivatio Aalogy with vectors You are probably failiar with the cocept of orthogoality fro vectors; two vectors are orthogoal whe they
More informationSupplementary Material
Suppleetary Material Wezhuo Ya a0096049@us.edu.s Departet of Mechaical Eieeri, Natioal Uiversity of Siapore, Siapore 117576 Hua Xu pexuh@us.edu.s Departet of Mechaical Eieeri, Natioal Uiversity of Siapore,
More informationAPPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS
APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS 1. Itroductio Let C be a bouded, covex subset of. Thus, by defiitio, with every two poits i the set, the lie segmet coectig these two poits is
More informationReal Numbers R ) - LUB(B) may or may not belong to B. (Ex; B= { y: y = 1 x, - Note that A B LUB( A) LUB( B)
Real Numbers The least upper boud - Let B be ay subset of R B is bouded above if there is a k R such that x k for all x B - A real umber, k R is a uique least upper boud of B, ie k = LUB(B), if () k is
More informationRefinements of Jensen s Inequality for Convex Functions on the Co-Ordinates in a Rectangle from the Plane
Filoat 30:3 (206, 803 84 DOI 0.2298/FIL603803A Published by Faculty of Scieces ad Matheatics, Uiversity of Niš, Serbia Available at: http://www.pf.i.ac.rs/filoat Refieets of Jese s Iequality for Covex
More informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationSeveral properties of new ellipsoids
Appl. Math. Mech. -Egl. Ed. 008 9(7):967 973 DOI 10.1007/s10483-008-0716-y c Shaghai Uiversity ad Spriger-Verlag 008 Applied Mathematics ad Mechaics (Eglish Editio) Several properties of ew ellipsoids
More informationIntegrals of Functions of Several Variables
Itegrals of Fuctios of Several Variables We ofte resort to itegratios i order to deterie the exact value I of soe quatity which we are uable to evaluate by perforig a fiite uber of additio or ultiplicatio
More informationX. Perturbation Theory
X. Perturbatio Theory I perturbatio theory, oe deals with a ailtoia that is coposed Ĥ that is typically exactly solvable of two pieces: a referece part ad a perturbatio ( Ĥ ) that is assued to be sall.
More informationR is a scalar defined as follows:
Math 8. Notes o Dot Product, Cross Product, Plaes, Area, ad Volumes This lecture focuses primarily o the dot product ad its may applicatios, especially i the measuremet of agles ad scalar projectio ad
More information(s)h(s) = K( s + 8 ) = 5 and one finite zero is located at z 1
ROOT LOCUS TECHNIQUE 93 should be desiged differetly to eet differet specificatios depedig o its area of applicatio. We have observed i Sectio 6.4 of Chapter 6, how the variatio of a sigle paraeter like
More informationSimple Polygons of Maximum Perimeter Contained in a Unit Disk
Discrete Comput Geom (009) 1: 08 15 DOI 10.1007/s005-008-9093-7 Simple Polygos of Maximum Perimeter Cotaied i a Uit Disk Charles Audet Pierre Hase Frédéric Messie Received: 18 September 007 / Revised:
More informationAl Lehnen Madison Area Technical College 10/5/2014
The Correlatio of Two Rado Variables Page Preliiary: The Cauchy-Schwarz-Buyakovsky Iequality For ay two sequeces of real ubers { a } ad = { b } =, the followig iequality is always true. Furtherore, equality
More informationCALCULUS BASIC SUMMER REVIEW
CALCULUS BASIC SUMMER REVIEW NAME rise y y y Slope of a o vertical lie: m ru Poit Slope Equatio: y y m( ) The slope is m ad a poit o your lie is, ). ( y Slope-Itercept Equatio: y m b slope= m y-itercept=
More informationMath 451: Euclidean and Non-Euclidean Geometry MWF 3pm, Gasson 204 Homework 3 Solutions
Math 451: Euclidea ad No-Euclidea Geometry MWF 3pm, Gasso 204 Homework 3 Solutios Exercises from 1.4 ad 1.5 of the otes: 4.3, 4.10, 4.12, 4.14, 4.15, 5.3, 5.4, 5.5 Exercise 4.3. Explai why Hp, q) = {x
More informationFuzzy n-normed Space and Fuzzy n-inner Product Space
Global Joural o Pure ad Applied Matheatics. ISSN 0973-768 Volue 3, Nuber 9 (07), pp. 4795-48 Research Idia Publicatios http://www.ripublicatio.co Fuzzy -Nored Space ad Fuzzy -Ier Product Space Mashadi
More informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationBrief Review of Functions of Several Variables
Brief Review of Fuctios of Several Variables Differetiatio Differetiatio Recall, a fuctio f : R R is differetiable at x R if ( ) ( ) lim f x f x 0 exists df ( x) Whe this limit exists we call it or f(
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationMetric Space Properties
Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All
More informationSolutions to home assignments (sketches)
Matematiska Istitutioe Peter Kumli 26th May 2004 TMA401 Fuctioal Aalysis MAN670 Applied Fuctioal Aalysis 4th quarter 2003/2004 All documet cocerig the course ca be foud o the course home page: http://www.math.chalmers.se/math/grudutb/cth/tma401/
More informationb i u x i U a i j u x i u x j
M ath 5 2 7 Fall 2 0 0 9 L ecture 1 9 N ov. 1 6, 2 0 0 9 ) S ecod- Order Elliptic Equatios: Weak S olutios 1. Defiitios. I this ad the followig two lectures we will study the boudary value problem Here
More informationRecitation 4: Lagrange Multipliers and Integration
Math 1c TA: Padraic Bartlett Recitatio 4: Lagrage Multipliers ad Itegratio Week 4 Caltech 211 1 Radom Questio Hey! So, this radom questio is pretty tightly tied to today s lecture ad the cocept of cotet
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS
MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak
More informationEllipsoid Method for Linear Programming made simple
Ellipsoid Method for Liear Programmig made simple Sajeev Saxea Dept. of Computer Sciece ad Egieerig, Idia Istitute of Techology, Kapur, INDIA-08 06 December 3, 07 Abstract I this paper, ellipsoid method
More informationSOME SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS
ARCHIVU ATHEATICU BRNO Tomus 40 2004, 33 40 SOE SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS E. SAVAŞ AND R. SAVAŞ Abstract. I this paper we itroduce a ew cocept of λ-strog covergece with respect to a Orlicz
More informationStatistics for Applications Fall Problem Set 7
18.650. Statistics for Applicatios Fall 016. Proble Set 7 Due Friday, Oct. 8 at 1 oo Proble 1 QQ-plots Recall that the Laplace distributio with paraeter λ > 0 is the cotiuous probaλ bility easure with
More informationPAPER : IIT-JAM 2010
MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure
More informationLecture 19. sup y 1,..., yn B d n
STAT 06A: Polyomials of adom Variables Lecture date: Nov Lecture 19 Grothedieck s Iequality Scribe: Be Hough The scribes are based o a guest lecture by ya O Doell. I this lecture we prove Grothedieck s
More informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
More information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
More informationLecture 20 - Wave Propagation Response
.09/.093 Fiite Eleet Aalysis of Solids & Fluids I Fall 09 Lecture 0 - Wave Propagatio Respose Prof. K. J. Bathe MIT OpeCourseWare Quiz #: Closed book, 6 pages of otes, o calculators. Covers all aterials
More informationHomework Set #3 - Solutions
EE 15 - Applicatios of Covex Optimizatio i Sigal Processig ad Commuicatios Dr. Adre Tkaceko JPL Third Term 11-1 Homework Set #3 - Solutios 1. a) Note that x is closer to x tha to x l i the Euclidea orm
More information18.S34 (FALL, 2007) GREATEST INTEGER PROBLEMS. n + n + 1 = 4n + 2.
18.S34 (FALL, 007) GREATEST INTEGER PROBLEMS Note: We use the otatio x for the greatest iteger x, eve if the origial source used the older otatio [x]. 1. (48P) If is a positive iteger, prove that + + 1
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationSOME FINITE SIMPLE GROUPS OF LIE TYPE C n ( q) ARE UNIQUELY DETERMINED BY THEIR ELEMENT ORDERS AND THEIR ORDER
Joural of Algebra, Nuber Theory: Advaces ad Applicatios Volue, Nuber, 010, Pages 57-69 SOME FINITE SIMPLE GROUPS OF LIE TYPE C ( q) ARE UNIQUELY DETERMINED BY THEIR ELEMENT ORDERS AND THEIR ORDER School
More information18th Bay Area Mathematical Olympiad. Problems and Solutions. February 23, 2016
18th Bay Area Mathematical Olympiad February 3, 016 Problems ad Solutios BAMO-8 ad BAMO-1 are each 5-questio essay-proof exams, for middle- ad high-school studets, respectively. The problems i each exam
More informationLinear Regression Demystified
Liear Regressio Demystified Liear regressio is a importat subject i statistics. I elemetary statistics courses, formulae related to liear regressio are ofte stated without derivatio. This ote iteds to
More information1 The Primal and Dual of an Optimization Problem
CS 189 Itroductio to Machie Learig Fall 2017 Note 18 Previously, i our ivestigatio of SVMs, we forulated a costraied optiizatio proble that we ca solve to fid the optial paraeters for our hyperplae decisio
More information5.6 Binomial Multi-section Matching Transformer
4/14/21 5_6 Bioial Multisectio Matchig Trasforers 1/1 5.6 Bioial Multi-sectio Matchig Trasforer Readig Assiget: pp. 246-25 Oe way to axiize badwidth is to costruct a ultisectio Γ f that is axially flat.
More informationMA131 - Analysis 1. Workbook 2 Sequences I
MA3 - Aalysis Workbook 2 Sequeces I Autum 203 Cotets 2 Sequeces I 2. Itroductio.............................. 2.2 Icreasig ad Decreasig Sequeces................ 2 2.3 Bouded Sequeces..........................
More informationHomework 2. Show that if h is a bounded sesquilinear form on the Hilbert spaces X and Y, then h has the representation
omework 2 1 Let X ad Y be ilbert spaces over C The a sesquiliear form h o X Y is a mappig h : X Y C such that for all x 1, x 2, x X, y 1, y 2, y Y ad all scalars α, β C we have (a) h(x 1 + x 2, y) h(x
More informationAnalytic Continuation
Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for
More informationf(1), and so, if f is continuous, f(x) = f(1)x.
2.2.35: Let f be a additive fuctio. i Clearly fx = fx ad therefore f x = fx for all Z+ ad x R. Hece, for ay, Z +, f = f, ad so, if f is cotiuous, fx = fx. ii Suppose that f is bouded o soe o-epty ope set.
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More informationMath 203A, Solution Set 8.
Math 20A, Solutio Set 8 Problem 1 Give four geeral lies i P, show that there are exactly 2 lies which itersect all four of them Aswer: Recall that the space of lies i P is parametrized by the Grassmaia
More informationMachine Learning Theory Tübingen University, WS 2016/2017 Lecture 12
Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract I this lecture we derive risk bouds for kerel methods. We will start by showig that Soft Margi kerel SVM correspods to miimizig
More informationLecture 10 October Minimaxity and least favorable prior sequences
STATS 300A: Theory of Statistics Fall 205 Lecture 0 October 22 Lecturer: Lester Mackey Scribe: Brya He, Rahul Makhijai Warig: These otes may cotai factual ad/or typographic errors. 0. Miimaxity ad least
More informationANSWERS TO MIDTERM EXAM # 2
MATH 03, FALL 003 ANSWERS TO MIDTERM EXAM # PENN STATE UNIVERSITY Problem 1 (18 pts). State ad prove the Itermediate Value Theorem. Solutio See class otes or Theorem 5.6.1 from our textbook. Problem (18
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More information7.1 Convergence of sequences of random variables
Chapter 7 Limit Theorems Throughout this sectio we will assume a probability space (, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite
More informationFACTORS OF SUMS OF POWERS OF BINOMIAL COEFFICIENTS. Dedicated to the memory of Paul Erdős. 1. Introduction. n k. f n,a =
FACTORS OF SUMS OF POWERS OF BINOMIAL COEFFICIENTS NEIL J. CALKIN Abstract. We prove divisibility properties for sus of powers of bioial coefficiets ad of -bioial coefficiets. Dedicated to the eory of
More informationA string of not-so-obvious statements about correlation in the data. (This refers to the mechanical calculation of correlation in the data.
STAT-UB.003 NOTES for Wedesday 0.MAY.0 We will use the file JulieApartet.tw. We ll give the regressio of Price o SqFt, show residual versus fitted plot, save residuals ad fitted. Give plot of (Resid, Price,
More information1 Introduction. 1.1 Notation and Terminology
1 Itroductio You have already leared some cocepts of calculus such as limit of a sequece, limit, cotiuity, derivative, ad itegral of a fuctio etc. Real Aalysis studies them more rigorously usig a laguage
More informationProbability Theory. Exercise Sheet 4. ETH Zurich HS 2017
ETH Zurich HS 2017 D-MATH, D-PHYS Prof. A.-S. Szita Coordiator Yili Wag Probability Theory Exercise Sheet 4 Exercise 4.1 Let X ) N be a sequece of i.i.d. rado variables i a probability space Ω, A, P ).
More information19.1 The dictionary problem
CS125 Lecture 19 Fall 2016 19.1 The dictioary proble Cosider the followig data structural proble, usually called the dictioary proble. We have a set of ites. Each ite is a (key, value pair. Keys are i
More informationRay-triangle intersection
Ray-triagle itersectio ria urless October 2006 I this hadout, we explore the steps eeded to compute the itersectio of a ray with a triagle, ad the to compute the barycetric coordiates of that itersectio.
More information1 Approximating Integrals using Taylor Polynomials
Seughee Ye Ma 8: Week 7 Nov Week 7 Summary This week, we will lear how we ca approximate itegrals usig Taylor series ad umerical methods. Topics Page Approximatig Itegrals usig Taylor Polyomials. Defiitios................................................
More informationLecture 8: October 20, Applications of SVD: least squares approximation
Mathematical Toolkit Autum 2016 Lecturer: Madhur Tulsiai Lecture 8: October 20, 2016 1 Applicatios of SVD: least squares approximatio We discuss aother applicatio of sigular value decompositio (SVD) of
More information