11!Hí MATHEMATICS : ERDŐS AND ULAM PROC. N. A. S. of decomposiion, properly speaking) conradics he possibiliy of defining a counably addiive real-valu
|
|
- Erik Ferdinand Jordan
- 5 years ago
- Views:
Transcription
1 ON EQUATIONS WITH SETS AS UNKNOWNS BY PAUL ERDŐS AND S. ULAM DEPARTMENT OF MATHEMATICS, UNIVERSITY OF COLORADO, BOULDER Communicaed May 27, 1968 We shall presen here a number of resuls in se heory concerning he decomposiion of a se E in various ways as sum (union) of is subses. These resuls have connecion wih problems on counably addiive measure funcions in absrac ses, bu hey may also bear on he problems of he axiomaics of se heory and generally on foundaions of se heory iself. Some of hese resuls employ he coninuum hypohesis or he generalized coninuum hypohesis. The several _problems which will be presened also pu hese hypoheses in a cerain limeligh. The impossibiliy of defining a counably addiive measure for all subses of a se of power of coninuum (a measure which would vanish for subses consising of any single poin) was firs esablished wih he use of he coninuum hypohesis by Banach and Kuraowski.l Very shorly aferwards, one of us showed he impossibiliy of such a measure for subses of a se of power NI wihou he use of any hypohesis.' The same resul was shown here o hold for ses of higher powers, in fac, for all he accessible alephs. More recenly, hese resuls have been exended o a large class of inaccessibles as well. These resuls show ha his "problem of measure" is closely relaed o fundamenal problems concerning he role of axioms of se heory. Recen developmens have furher clarified hese relaions. Imporan resuls have been obained by Sco, Solovay, Marin, and ohers. The proofs of hese relaions make use of he mehods inroduced by Paul Cohen in proving he independence of he coninuum hypohesis. Boh he resuls of Banach and Kuraowski and he sronger resul of Ulam are obained by exhibiing purely combinaorial schemaa of decomposiion of absrac ses wih cerain properies : B and K show a counable sequence of decomposiions of a se of power of he coninuum, each ino counably many disjoin subses so ha, no maer how one akes a finie number of ses from each of hese decomposiions, he inersecion of all hese finie unions conains, a mos, counably many poins. Sierpinski3 generalized he B and K schema in he following way. There exiss a sequence of decomposiions ino aleph disjoin ses, each so ha if one is seleced from any counably many of hese (no necessarily all), he union of he seleced ses gives he whole of he space, excep perhaps for counably many poins. Decomposiion given by U show, wihou he use of he coninuum hypohesis, he following phenomenon. A se E of power NI can be decomposed counably many imes ino NI disjoin ses in he following way : A "marix" of ses cam be consruced such ha we have counably many rows and noncounably many columns. Ses in each row are disjoin. The anion of ses in any column gives he whole se E excep for possibly counably many poins. As is easy o see, he exisence of such a decomposiion (a sequence 1189
2 11!Hí MATHEMATICS : ERDŐS AND ULAM PROC. N. A. S. of decomposiion, properly speaking) conradics he possibiliy of defining a counably addiive real-valued measure funcion. In his paper we shall show various modificaions of such consrucions. In paricular, we srenghen he resul of Sierpinski. One can decompose E in he nh row ino 2"+ 1 disjoin ses wih he above propery. I is clear ha he impossibiliy of a measure funcion follows because if he measure for hese ses exised, we could selec a se of power less han 1 /s" and heir union would have o measure less han 1. This is a conradicion, since he complemen is counable. This consrucion uses he coninuum hypohesis. Wheher one can do i by using a weaker hypohesis remains an open problem. Should he number of ses in each row be finie and fixed, we show ha one does no need he coninuum hypohesis for his propery o hold (bu of course one does no ge he impossibiliy of a measure funcion from such a "marix"). We shall inroduce a special symbol for decomposiion of ses in such "marix" paerns. Finally, we would like o say ha all he resuls and problems in his paper form only a special aspec of a more general problem which we formulae raher vaguely here : Given a class of Boolean relaionships o be saisfied by unknown ses, all subses of a given se, one wans o find or "consruc" ses saisfying such relaions, which may be counable or noncounable in number. We hope o aack his more general quesion in a paper o be published in he fuure. THEOREM 1. The real line (and in fac every se of power e) can be decomposed in infiniely many ways as he union of k disjoin ses so ha k S = Al (), n = 1,2, m IS- U A 1,(")J < k (1) "~1 for every choice of he ses A,,( "), 1 < l" < k. We prove Theorem 1 wihou he axion of choice. Consider all ses of k - 1 disjoin raional inervals and wrie hem in a sequence {I"0k-1)}, n = 1,2.... The firs k - 1 ses A,0 0, 1 < l < k - 1, of he nh row of our decomposiion marix are he k - 1 inervals of I"<k-1>. A k (" ) is he complemen of he union of he inervals in Now le m U A I.W = F "-1 be a ypical family of ses, one from each row. To prove (1) i suffices o show ha if xl, xz,... xk are any k real numbers, we mus have x, E F for a leas one i, 1 < i < k. To see his, observe ha here is a se of k - 1 raional inervals, say I"1k_1,, which separaes x ir xs,... xk. Bu hen every A, 00, 1 < l < k conains exacly one of he x, or x i E F for a leas one i, as saed. This complees he proof of Theorem 1. I is easy o see ha (1) fails o hold wih k - 1 insead of k, bu we leave his o he reader.
3 VOL. 60, 1968 MATHEMATICS : ERDŐS AND ULAM 1191 THEOREM 2. Le I SI >_ No,, 2 < k, < k.2 :5,..., k. and le k. S= U A <*>, 1-1 n= 1,2,... be a decomposiion of S ino k, disjoin ses. Then here is always an 1,,, 1 < In < k n = 1,2,... so ha IS - U A >_ No. (2) n-1 To prove Theorem 2 we will define elemens x *, 1 < u < - of S (he x*'s are no necessarily all differen, bu here are infiniely many differen ones among hem) and ses A,.(*) so ha x*iza,.(*), 1<u<-,1<n<-,1<1.<k (3) (3) will clearly imply Theorem 2. We consruc he x * and he ses A1,(*) by inducion wih respec o n. Assume firs ha 2 = kl =,... = k, < k,+,. Consider he 2' ses f1á 1<*> U-1 i = 1 or 2. The union of hese ses is S, hus a leas one of hem is infinie, say 2A.,(*)1 n1 = No, (en = 1 or 2). Le x be an arbirary elemen of f1a. (*), pu x = x, _... = x, and A,<*> _ i-1.. m A -,,(*) for n = 1,2,.... Clearly he complemen of UAI.W = UA '-,,(*) a-1 *-1 (which equals f1a..w) is infinie. *-1 Now assume ha we have already succeeded in choosing elemens x,, x=, and ses A,.("), 1 < n < u having he following properies : * * 1S - UA,, ( *)1 > No, S* = S - UA,* ( *) n-1 n-1 (4) x,«a,* ( * ), 1<a<u;1<n<u and finally here are a mos k* - 2 disinc elemens among he x, 1 < i < u. Now we consruc x*+, and A,,+,(*+ 1) so ha (4) and (5) remain saisfied and so ha here are a mos k * - 2 disinc elemens among he x,... X., x*},. Assume firs ha kn+, = k *. Then here are a leas wo ses A,,(*+' ) and Ay*+1> which do no conain any of he elemens x,,...x* (his follows from he fac ha here are a mos k* - 2 disinc x's and he A,(*+' ) 's are disjoin). A leas one of hese, say A,,(*+ 1), has an infinie complemen in S* (i.e., infiniely many elemens of S* do no belong o Pu A,,c*+u A 1*+1<*+u and clearly (4) and (5) are saisfied. Assume nex ha k*+, > k Then here are a leas hree ses A,,(*+' ), (5)
4 1 192 MATHEMATICS: ERDÖS AND ULAM PROC. N. A. S. A,,("+' ), A,, ( "+') which do no conain any of he x i, 1 < i < u. A leas one of he ses, say A,,("+'), has an infinie complemen in S" ; we choose an arbirary elemen x"+1 from his complemen and pu Al,("'" = A.+,c"+u. x"+1 is clearly differen from x l, xg,... x", and (4) and (5) are again saisfied. Thus we have consruced he infinie sequence xl, xs,... and he ses A,,("). (3) is clearly saisfied and i is clear from our consrucion ha here are infiniely many disinc elemens among he x's, hus (2) is saisfied and Theorem 2 is proved. Now we would like o sae he following quesion which we canno solve. PROBLEM I. Le No < ISI < e. Le 2 < kl < ks <..., k" be any sequence of inegers. Does here exis for every n a decomposiion k S = U A,( "~ 1-1 ino disjoin ses so ha for every 1 < l" < k" 1S -- U A,"(") < No? n-1 If c = N1, we will see ha he answer o our problem is affirmaive ; in fac very much more is rue. Bu if we do no assume ha c = Nl, we canno solve his quesion even if we assume ha f S1 = Nl and le our sequence k end o infiniy very slowly. If 181 = c and k" > 2" as saed in he inroducion, we canno expec a posiive soluion wihou some assumpion on he power of he coninuum since his would imply ha here is no real-valued compleely addiive measure on he subses of he eals where poins measure Q. I seems very likely ha if we do no make some assumpion abou he power of he coninuum, hen we canno obain a soluion o Problem I. I may even be possible o show ha if Problem I has a soluion for a fixed sequence k hen a soluion exiss for every such sequence. I will be convenien o inroduce he symbol m --a. (p, q, r, s), which means ha a se S of power m can be decomposed ino he union of p disjoin ses in q ways : S = U A (s), 1 < f < w, 1 <a <~ so ha if we choose any one of he ses A.("') for r differen o, hen S - U A Q, (s' ) 1 < s, (6) m -/ > (p, q, r, s) means ha such a decomposiion is impassible. Sierpinski proved3 ha c (N1, No, No, N1) (7) is equivalen o he coninuum hypohesis. Sierpinski's resul implies ha if we assume c = Ni, he answer o Problem I is affirmaive. We generalized his and proved oher resuls on our symbol, bu do no give hese proofs since Hajnal observed ha all our resuls follow from previous resuls of Erdős,
5 VOL. 60, 1968 MATHEMATICS : ERDŐS AND ULAM 1193 Hajnal, and Milner,4 and Erdös, Hajnal, and Rado.5 We sudied he following symbol exensively : \ q) -' (r r) (8) The meaning of (8) is as follows : Le 181 I = m, I S21 = q ; we spli he pairs (x,y), x E S,, y E Ss ino wo classes. Then here is always a U C S,, V C SR, i u I = s,! V I = r so ha all he pairs (x,y), x E U, y E V are in he same class. (q) -/> (r r) means ha here is a division of he pairs ino wo classes for which such ses U and V do no exis. I is easy o see ha 8 8 (q)-(r r) (9) is equivalen o m -/ > (2, q, r, s). (10) Firs we show ha (9) implies (10). Le IS, i = m, I S21 = q. Le x E S,, 0 E $,, 1 < 0 < w a. The pair (x,,6) is in class I if x E A, (s) and in class II if x E A2(0). (9)implies ha (6) is no always saisfied, hence (10) is proved. Nex we show ha (10) implies (9). In fac we show ha if (9) does no hold, hen m-+ (2,q,r,s). Consider hen a spliing of he pairs (x,p) ino wo classes so ha if U C S,, V C Ss, I UI = s, (V) = s, hen here is always a pair (x,,y,) in class I and a pair (xs,yz) in class II where x, E U, x, E U; y, E V, ys E V. Now we pu x in A, (") if (x,,b) is in class I, and in A= (s) if (x,,6) is in class II. Now we show ha (6) is saisfied. Since p = 2 in (6), a, = 1 or = 2. Wihou loss of generaliy we can assume ha for r values of i, a, = 1. Bu hen if (6) is no saisfied, we would have IS - UA, (I" ) I >- s, (11) i where S runs hrough a se of ordinals V of power r. (11) means ha here is a se U C S,, I UI >- s so ha all he pairs (x,#,), 0, E V are in class II, which conradics our assumpion ha (9) is false ; hence (6) and hus m - (2,q,r,s) is proved. Hence (10) implies (9) and hus he proof of he equivalence of (9) and (10) is complee. Theorem 48 of Erdős-Rado saes ha hus clearly Wi W1 W1 (No) --. (No No), Wi (No) --~ W0 No ( No No)'
6 1194 MATHEMATICS : ERDÖS AND -ULAM PROC. N. A. S. which by he equivalence of (9) and (1U) implies Perhaps N1 -- (2, No, No, No). (12) Na -> (2, N., N,, Ni), bu his is undoubedly very difficul since i is equivalen o one of he mos difficul unsolved problems of Erdös-Hajnal-Rado (problem 12), Na --i N1 Nl (N1) (Wi N1)~ Perhaps N, -o- (2, N1, No, N1), bu his is also very difficul, since (see problem 12) N1 Na (13) --~ N1 N1 (14) No No is also unsolved ; (13) would imply (14), bu (14) also seems very hard. On he oher hand, i follows from Theorem 33 of Erdös-Hajnal-Rado ha Na (2, Ni, No, N~ We will no discuss m -+ (2&r,s) furher, bu refer o reference 5. We sae anoher resul which generalizes Sierpinski's resul : Assume ha 2N1 = N.+,, hen N.+1 -i (N.+,1 N.+,1 N., N.+1). (15) (15) follows from Lemma 14.1 of Erdös-Hajnal-Milner.' A slighly weakened form of his lemma is saed as follows : Assume ha 2"' = N.+,, I Si j _ I Sa 1 = N.+,. The pairs (x,y), x E S, y E Sa can be spli ino N.+1 classes so ha whenever U C S1, V C Sa, I U1 _ N.+,, I V ( = N., here is an x E V so ha every class is represened by he pairs (x,y), y E U. Now we deduce (15) from his lemma. The elemens of S, are denoed by { x,,1, 1 < y < w, +11 hose of Sa by,61 1 < < w,+11 and he classes ino which he pairs are spli are denoed by i al, 1 < a < w.+1 We pu x,. E A,.«1 if he pair (x,,#) is in class a. A simple argumen using Lemma 14.1 shows ha (6) is saisfied wih r = N s = N.+11 which proves (15). Perhaps N.+, i (N,+1, N.+2, N., N.+,) also holds, bu as we already saed we could no even prove Ni --*- (2, Na, No, Ni) Finally we sae a rivial resul. Le m < N, and assume 2m < N,+, Then N, +1 i ( 2, m, m, N, +,). In fac, he following sronger resul holds. Le 181 _ N,+1. Pu S = A 1(0) U Aa (a), 1 < B Then for some ~1 = 1 or 2, U A,%(O) has a complemen of power N,+1. We a leave he simple proof o he reader.
7 VOL. 60, 1968 MATHEMATICS : ERDŐS AND ULAM Banach and Kuraowski, Fund. Mah., 15 (1935). s Ulam, S., "Uber die Massheorie in der Allgemeinen Mengenlehre," Fund. Mah., 16 (1936). $ Sierpinski, W., Hypohése du Coninu (New York : Chelsea Publishing Company, 1956), 2d ed., pp Erdős, P., A. Hajnal, and E. Milner, "On he complee subgraphs of graphs defined by sysems of ses," Aca Mah. Acad. Sci. Hung., 17, (1965). 1 Erdős, P., A. Hajnal, and R. Rado, "Pariion relaions for cardinal numbers," Aca Mah. Acad. Sci. Hung., 16, (1965) ; see also he earlier paper by Erdős, P., and R. Rado, "A pariion calculus in se heory," Bull. Am. Mah. Soc., 62, (1956).
Monochromatic Infinite Sumsets
Monochromaic Infinie Sumses Imre Leader Paul A. Russell July 25, 2017 Absrac WeshowhahereisaraionalvecorspaceV suchha,whenever V is finiely coloured, here is an infinie se X whose sumse X+X is monochromaic.
More information23.2. Representing Periodic Functions by Fourier Series. Introduction. Prerequisites. Learning Outcomes
Represening Periodic Funcions by Fourier Series 3. Inroducion In his Secion we show how a periodic funcion can be expressed as a series of sines and cosines. We begin by obaining some sandard inegrals
More informationFamilies with no matchings of size s
Families wih no machings of size s Peer Franl Andrey Kupavsii Absrac Le 2, s 2 be posiive inegers. Le be an n-elemen se, n s. Subses of 2 are called families. If F ( ), hen i is called - uniform. Wha is
More informationLecture 2-1 Kinematics in One Dimension Displacement, Velocity and Acceleration Everything in the world is moving. Nothing stays still.
Lecure - Kinemaics in One Dimension Displacemen, Velociy and Acceleraion Everyhing in he world is moving. Nohing says sill. Moion occurs a all scales of he universe, saring from he moion of elecrons in
More informationAn Excursion into Set Theory using a Constructivist Approach
An Excursion ino Se Theory using a Consrucivis Approach Miderm Repor Nihil Pail under supervision of Ksenija Simic Fall 2005 Absrac Consrucive logic is an alernaive o he heory of classical logic ha draws
More informationMatrix Versions of Some Refinements of the Arithmetic-Geometric Mean Inequality
Marix Versions of Some Refinemens of he Arihmeic-Geomeric Mean Inequaliy Bao Qi Feng and Andrew Tonge Absrac. We esablish marix versions of refinemens due o Alzer ], Carwrigh and Field 4], and Mercer 5]
More informationT L. t=1. Proof of Lemma 1. Using the marginal cost accounting in Equation(4) and standard arguments. t )+Π RB. t )+K 1(Q RB
Elecronic Companion EC.1. Proofs of Technical Lemmas and Theorems LEMMA 1. Le C(RB) be he oal cos incurred by he RB policy. Then we have, T L E[C(RB)] 3 E[Z RB ]. (EC.1) Proof of Lemma 1. Using he marginal
More information1 Solutions to selected problems
1 Soluions o seleced problems 1. Le A B R n. Show ha in A in B bu in general bd A bd B. Soluion. Le x in A. Then here is ɛ > 0 such ha B ɛ (x) A B. This shows x in B. If A = [0, 1] and B = [0, 2], hen
More informationOn the Infinitude of Covering Systems with Least Modulus Equal to 2
Annals of Pure and Applied Mahemaics Vol. 4, No. 2, 207, 307-32 ISSN: 2279-087X (P), 2279-0888(online) Published on 23 Sepember 207 www.researchmahsci.org DOI: hp://dx.doi.org/0.22457/apam.v4n2a3 Annals
More informationOn a problem of Graham By E. ERDŐS and E. SZEMERÉDI (Budapest) GRAHAM stated the following conjecture : Let p be a prime and a 1,..., ap p non-zero re
On a roblem of Graham By E. ERDŐS and E. SZEMERÉDI (Budaes) GRAHAM saed he following conjecure : Le be a rime and a 1,..., a non-zero residues (mod ). Assume ha if ' a i a i, ei=0 or 1 (no all e i=0) is
More informationSOME MORE APPLICATIONS OF THE HAHN-BANACH THEOREM
SOME MORE APPLICATIONS OF THE HAHN-BANACH THEOREM FRANCISCO JAVIER GARCÍA-PACHECO, DANIELE PUGLISI, AND GUSTI VAN ZYL Absrac We give a new proof of he fac ha equivalen norms on subspaces can be exended
More informationWe just finished the Erdős-Stone Theorem, and ex(n, F ) (1 1/(χ(F ) 1)) ( n
Lecure 3 - Kövari-Sós-Turán Theorem Jacques Versraëe jacques@ucsd.edu We jus finished he Erdős-Sone Theorem, and ex(n, F ) ( /(χ(f ) )) ( n 2). So we have asympoics when χ(f ) 3 bu no when χ(f ) = 2 i.e.
More informationHamilton- J acobi Equation: Weak S olution We continue the study of the Hamilton-Jacobi equation:
M ah 5 7 Fall 9 L ecure O c. 4, 9 ) Hamilon- J acobi Equaion: Weak S oluion We coninue he sudy of he Hamilon-Jacobi equaion: We have shown ha u + H D u) = R n, ) ; u = g R n { = }. ). In general we canno
More informationarxiv: v1 [math.fa] 9 Dec 2018
AN INVERSE FUNCTION THEOREM CONVERSE arxiv:1812.03561v1 [mah.fa] 9 Dec 2018 JIMMIE LAWSON Absrac. We esablish he following converse of he well-known inverse funcion heorem. Le g : U V and f : V U be inverse
More informationThe Asymptotic Behavior of Nonoscillatory Solutions of Some Nonlinear Dynamic Equations on Time Scales
Advances in Dynamical Sysems and Applicaions. ISSN 0973-5321 Volume 1 Number 1 (2006, pp. 103 112 c Research India Publicaions hp://www.ripublicaion.com/adsa.hm The Asympoic Behavior of Nonoscillaory Soluions
More informationSome Ramsey results for the n-cube
Some Ramsey resuls for he n-cube Ron Graham Universiy of California, San Diego Jozsef Solymosi Universiy of Briish Columbia, Vancouver, Canada Absrac In his noe we esablish a Ramsey-ype resul for cerain
More informationMatlab and Python programming: how to get started
Malab and Pyhon programming: how o ge sared Equipping readers he skills o wrie programs o explore complex sysems and discover ineresing paerns from big daa is one of he main goals of his book. In his chaper,
More informationINDEPENDENT SETS IN GRAPHS WITH GIVEN MINIMUM DEGREE
INDEPENDENT SETS IN GRAPHS WITH GIVEN MINIMUM DEGREE JAMES ALEXANDER, JONATHAN CUTLER, AND TIM MINK Absrac The enumeraion of independen ses in graphs wih various resricions has been a opic of much ineres
More informationSUBSPACES OF MATRICES WITH SPECIAL RANK PROPERTIES
SUBSPACES OF MATRICES WITH SPECIAL RANK PROPERTIES JEAN-GUILLAUME DUMAS, ROD GOW, GARY MCGUIRE, AND JOHN SHEEKEY Absrac. Le K be a field and le V be a vecor space of finie dimension n over K. We invesigae
More informationBernoulli numbers. Francesco Chiatti, Matteo Pintonello. December 5, 2016
UNIVERSITÁ DEGLI STUDI DI PADOVA, DIPARTIMENTO DI MATEMATICA TULLIO LEVI-CIVITA Bernoulli numbers Francesco Chiai, Maeo Pinonello December 5, 206 During las lessons we have proved he Las Ferma Theorem
More informationOptimality Conditions for Unconstrained Problems
62 CHAPTER 6 Opimaliy Condiions for Unconsrained Problems 1 Unconsrained Opimizaion 11 Exisence Consider he problem of minimizing he funcion f : R n R where f is coninuous on all of R n : P min f(x) x
More informationTHE GENERALIZED PASCAL MATRIX VIA THE GENERALIZED FIBONACCI MATRIX AND THE GENERALIZED PELL MATRIX
J Korean Mah Soc 45 008, No, pp 479 49 THE GENERALIZED PASCAL MATRIX VIA THE GENERALIZED FIBONACCI MATRIX AND THE GENERALIZED PELL MATRIX Gwang-yeon Lee and Seong-Hoon Cho Reprined from he Journal of he
More information10. State Space Methods
. Sae Space Mehods. Inroducion Sae space modelling was briefly inroduced in chaper. Here more coverage is provided of sae space mehods before some of heir uses in conrol sysem design are covered in he
More informationA New Perturbative Approach in Nonlinear Singularity Analysis
Journal of Mahemaics and Saisics 7 (: 49-54, ISSN 549-644 Science Publicaions A New Perurbaive Approach in Nonlinear Singulariy Analysis Ta-Leung Yee Deparmen of Mahemaics and Informaion Technology, The
More informationLanguages That Are and Are Not Context-Free
Languages Tha re and re No Conex-Free Read K & S 3.5, 3.6, 3.7. Read Supplemenary Maerials: Conex-Free Languages and Pushdown uomaa: Closure Properies of Conex-Free Languages Read Supplemenary Maerials:
More informationChapter 2. First Order Scalar Equations
Chaper. Firs Order Scalar Equaions We sar our sudy of differenial equaions in he same way he pioneers in his field did. We show paricular echniques o solve paricular ypes of firs order differenial equaions.
More informationODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004
ODEs II, Lecure : Homogeneous Linear Sysems - I Mike Raugh March 8, 4 Inroducion. In he firs lecure we discussed a sysem of linear ODEs for modeling he excreion of lead from he human body, saw how o ransform
More informationAn Introduction to Malliavin calculus and its applications
An Inroducion o Malliavin calculus and is applicaions Lecure 5: Smoohness of he densiy and Hörmander s heorem David Nualar Deparmen of Mahemaics Kansas Universiy Universiy of Wyoming Summer School 214
More informationPredator - Prey Model Trajectories and the nonlinear conservation law
Predaor - Prey Model Trajecories and he nonlinear conservaion law James K. Peerson Deparmen of Biological Sciences and Deparmen of Mahemaical Sciences Clemson Universiy Ocober 28, 213 Ouline Drawing Trajecories
More informationEXERCISES FOR SECTION 1.5
1.5 Exisence and Uniqueness of Soluions 43 20. 1 v c 21. 1 v c 1 2 4 6 8 10 1 2 2 4 6 8 10 Graph of approximae soluion obained using Euler s mehod wih = 0.1. Graph of approximae soluion obained using Euler
More information4 Sequences of measurable functions
4 Sequences of measurable funcions 1. Le (Ω, A, µ) be a measure space (complee, afer a possible applicaion of he compleion heorem). In his chaper we invesigae relaions beween various (nonequivalen) convergences
More informationDesigning Information Devices and Systems I Spring 2019 Lecture Notes Note 17
EES 16A Designing Informaion Devices and Sysems I Spring 019 Lecure Noes Noe 17 17.1 apaciive ouchscreen In he las noe, we saw ha a capacior consiss of wo pieces on conducive maerial separaed by a nonconducive
More informationMath-Net.Ru All Russian mathematical portal
Mah-NeRu All Russian mahemaical poral Roman Popovych, On elemens of high order in general finie fields, Algebra Discree Mah, 204, Volume 8, Issue 2, 295 300 Use of he all-russian mahemaical poral Mah-NeRu
More informationSections 2.2 & 2.3 Limit of a Function and Limit Laws
Mah 80 www.imeodare.com Secions. &. Limi of a Funcion and Limi Laws In secion. we saw how is arise when we wan o find he angen o a curve or he velociy of an objec. Now we urn our aenion o is in general
More information2. Nonlinear Conservation Law Equations
. Nonlinear Conservaion Law Equaions One of he clear lessons learned over recen years in sudying nonlinear parial differenial equaions is ha i is generally no wise o ry o aack a general class of nonlinear
More informationLet us start with a two dimensional case. We consider a vector ( x,
Roaion marices We consider now roaion marices in wo and hree dimensions. We sar wih wo dimensions since wo dimensions are easier han hree o undersand, and one dimension is a lile oo simple. However, our
More informationExpert Advice for Amateurs
Exper Advice for Amaeurs Ernes K. Lai Online Appendix - Exisence of Equilibria The analysis in his secion is performed under more general payoff funcions. Wihou aking an explici form, he payoffs of he
More informationFinish reading Chapter 2 of Spivak, rereading earlier sections as necessary. handout and fill in some missing details!
MAT 257, Handou 6: Ocober 7-2, 20. I. Assignmen. Finish reading Chaper 2 of Spiva, rereading earlier secions as necessary. handou and fill in some missing deails! II. Higher derivaives. Also, read his
More information23.5. Half-Range Series. Introduction. Prerequisites. Learning Outcomes
Half-Range Series 2.5 Inroducion In his Secion we address he following problem: Can we find a Fourier series expansion of a funcion defined over a finie inerval? Of course we recognise ha such a funcion
More informationQuestion 1: Question 2: Topology Exercise Sheet 3
Topology Exercise Shee 3 Prof. Dr. Alessandro Siso Due o 14 March Quesions 1 and 6 are more concepual and should have prioriy. Quesions 4 and 5 admi a relaively shor soluion. Quesion 7 is harder, and you
More informationChapter 3 Boundary Value Problem
Chaper 3 Boundary Value Problem A boundary value problem (BVP) is a problem, ypically an ODE or a PDE, which has values assigned on he physical boundary of he domain in which he problem is specified. Le
More informationThe Arcsine Distribution
The Arcsine Disribuion Chris H. Rycrof Ocober 6, 006 A common heme of he class has been ha he saisics of single walker are ofen very differen from hose of an ensemble of walkers. On he firs homework, we
More informationSPECTRAL EVOLUTION OF A ONE PARAMETER EXTENSION OF A REAL SYMMETRIC TOEPLITZ MATRIX* William F. Trench. SIAM J. Matrix Anal. Appl. 11 (1990),
SPECTRAL EVOLUTION OF A ONE PARAMETER EXTENSION OF A REAL SYMMETRIC TOEPLITZ MATRIX* William F Trench SIAM J Marix Anal Appl 11 (1990), 601-611 Absrac Le T n = ( i j ) n i,j=1 (n 3) be a real symmeric
More informationMonotonic Solutions of a Class of Quadratic Singular Integral Equations of Volterra type
In. J. Conemp. Mah. Sci., Vol. 2, 27, no. 2, 89-2 Monoonic Soluions of a Class of Quadraic Singular Inegral Equaions of Volerra ype Mahmoud M. El Borai Deparmen of Mahemaics, Faculy of Science, Alexandria
More informationElectrical and current self-induction
Elecrical and curren self-inducion F. F. Mende hp://fmnauka.narod.ru/works.hml mende_fedor@mail.ru Absrac The aricle considers he self-inducance of reacive elemens. Elecrical self-inducion To he laws of
More informationON THE DEGREES OF RATIONAL KNOTS
ON THE DEGREES OF RATIONAL KNOTS DONOVAN MCFERON, ALEXANDRA ZUSER Absrac. In his paper, we explore he issue of minimizing he degrees on raional knos. We se a bound on hese degrees using Bézou s heorem,
More informationProperties Of Solutions To A Generalized Liénard Equation With Forcing Term
Applied Mahemaics E-Noes, 8(28), 4-44 c ISSN 67-25 Available free a mirror sies of hp://www.mah.nhu.edu.w/ amen/ Properies Of Soluions To A Generalized Liénard Equaion Wih Forcing Term Allan Kroopnick
More informationConvergence of the Neumann series in higher norms
Convergence of he Neumann series in higher norms Charles L. Epsein Deparmen of Mahemaics, Universiy of Pennsylvania Version 1.0 Augus 1, 003 Absrac Naural condiions on an operaor A are given so ha he Neumann
More informationt is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t...
Mah 228- Fri Mar 24 5.6 Marix exponenials and linear sysems: The analogy beween firs order sysems of linear differenial equaions (Chaper 5) and scalar linear differenial equaions (Chaper ) is much sronger
More informationComments on Window-Constrained Scheduling
Commens on Window-Consrained Scheduling Richard Wes Member, IEEE and Yuing Zhang Absrac This shor repor clarifies he behavior of DWCS wih respec o Theorem 3 in our previously published paper [1], and describes
More informationMath 2142 Exam 1 Review Problems. x 2 + f (0) 3! for the 3rd Taylor polynomial at x = 0. To calculate the various quantities:
Mah 4 Eam Review Problems Problem. Calculae he 3rd Taylor polynomial for arcsin a =. Soluion. Le f() = arcsin. For his problem, we use he formula f() + f () + f ()! + f () 3! for he 3rd Taylor polynomial
More informationA NOTE ON THE STRUCTURE OF BILATTICES. A. Avron. School of Mathematical Sciences. Sackler Faculty of Exact Sciences. Tel Aviv University
A NOTE ON THE STRUCTURE OF BILATTICES A. Avron School of Mahemaical Sciences Sacler Faculy of Exac Sciences Tel Aviv Universiy Tel Aviv 69978, Israel The noion of a bilaice was rs inroduced by Ginsburg
More informationWHEN LINEAR AND WEAK DISCREPANCY ARE EQUAL
WHEN LINEAR AND WEAK DISCREPANCY ARE EQUAL DAVID M. HOWARD AND STEPHEN J. YOUNG Absrac. The linear discrepancy of a pose P is he leas k such ha here is a linear exension L of P such ha if x and y are incomparable,
More information2.7. Some common engineering functions. Introduction. Prerequisites. Learning Outcomes
Some common engineering funcions 2.7 Inroducion This secion provides a caalogue of some common funcions ofen used in Science and Engineering. These include polynomials, raional funcions, he modulus funcion
More informationMATH 4330/5330, Fourier Analysis Section 6, Proof of Fourier s Theorem for Pointwise Convergence
MATH 433/533, Fourier Analysis Secion 6, Proof of Fourier s Theorem for Poinwise Convergence Firs, some commens abou inegraing periodic funcions. If g is a periodic funcion, g(x + ) g(x) for all real x,
More informationInventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions
Muli-Period Sochasic Models: Opimali of (s, S) Polic for -Convex Objecive Funcions Consider a seing similar o he N-sage newsvendor problem excep ha now here is a fixed re-ordering cos (> 0) for each (re-)order.
More informationLecture Notes 2. The Hilbert Space Approach to Time Series
Time Series Seven N. Durlauf Universiy of Wisconsin. Basic ideas Lecure Noes. The Hilber Space Approach o Time Series The Hilber space framework provides a very powerful language for discussing he relaionship
More informationt 2 B F x,t n dsdt t u x,t dxdt
Evoluion Equaions For 0, fixed, le U U0, where U denoes a bounded open se in R n.suppose ha U is filled wih a maerial in which a conaminan is being ranspored by various means including diffusion and convecion.
More information18 Biological models with discrete time
8 Biological models wih discree ime The mos imporan applicaions, however, may be pedagogical. The elegan body of mahemaical heory peraining o linear sysems (Fourier analysis, orhogonal funcions, and so
More informationLogic in computer science
Logic in compuer science Logic plays an imporan role in compuer science Logic is ofen called he calculus of compuer science Logic plays a similar role in compuer science o ha played by calculus in he physical
More informationLecture 20: Riccati Equations and Least Squares Feedback Control
34-5 LINEAR SYSTEMS Lecure : Riccai Equaions and Leas Squares Feedback Conrol 5.6.4 Sae Feedback via Riccai Equaions A recursive approach in generaing he marix-valued funcion W ( ) equaion for i for he
More informationPhysics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle
Chaper 2 Newonian Mechanics Single Paricle In his Chaper we will review wha Newon s laws of mechanics ell us abou he moion of a single paricle. Newon s laws are only valid in suiable reference frames,
More informationSOLUTIONS TO ECE 3084
SOLUTIONS TO ECE 384 PROBLEM 2.. For each sysem below, specify wheher or no i is: (i) memoryless; (ii) causal; (iii) inverible; (iv) linear; (v) ime invarian; Explain your reasoning. If he propery is no
More informationNotes for Lecture 17-18
U.C. Berkeley CS278: Compuaional Complexiy Handou N7-8 Professor Luca Trevisan April 3-8, 2008 Noes for Lecure 7-8 In hese wo lecures we prove he firs half of he PCP Theorem, he Amplificaion Lemma, up
More informationGuest Lectures for Dr. MacFarlane s EE3350 Part Deux
Gues Lecures for Dr. MacFarlane s EE3350 Par Deux Michael Plane Mon., 08-30-2010 Wrie name in corner. Poin ou his is a review, so I will go faser. Remind hem o go lisen o online lecure abou geing an A
More informationCONTRIBUTION TO IMPULSIVE EQUATIONS
European Scienific Journal Sepember 214 /SPECIAL/ ediion Vol.3 ISSN: 1857 7881 (Prin) e - ISSN 1857-7431 CONTRIBUTION TO IMPULSIVE EQUATIONS Berrabah Faima Zohra, MA Universiy of sidi bel abbes/ Algeria
More informationMath 315: Linear Algebra Solutions to Assignment 6
Mah 35: Linear Algebra s o Assignmen 6 # Which of he following ses of vecors are bases for R 2? {2,, 3, }, {4,, 7, 8}, {,,, 3}, {3, 9, 4, 2}. Explain your answer. To generae he whole R 2, wo linearly independen
More informationTHE GEOMETRY MONOID OF AN IDENTITY
THE GEOMETRY MONOID OF AN IDENTITY Parick DEHORNOY Universié decaen Main idea: For each algebraic ideniy I, (more generally, for each family of algebraic ideniy, acually for each equaional variey), here
More information5. Stochastic processes (1)
Lec05.pp S-38.45 - Inroducion o Teleraffic Theory Spring 2005 Conens Basic conceps Poisson process 2 Sochasic processes () Consider some quaniy in a eleraffic (or any) sysem I ypically evolves in ime randomly
More informationLogarithmic limit sets of real semi-algebraic sets
Ahead of Prin DOI 10.1515 / advgeom-2012-0020 Advances in Geomery c de Gruyer 20xx Logarihmic limi ses of real semi-algebraic ses Daniele Alessandrini (Communicaed by C. Scheiderer) Absrac. This paper
More informationEchocardiography Project and Finite Fourier Series
Echocardiography Projec and Finie Fourier Series 1 U M An echocardiagram is a plo of how a porion of he hear moves as he funcion of ime over he one or more hearbea cycles If he hearbea repeas iself every
More informationLongest Common Prefixes
Longes Common Prefixes The sandard ordering for srings is he lexicographical order. I is induced by an order over he alphabe. We will use he same symbols (,
More informationHedgehogs are not colour blind
Hedgehogs are no colour blind David Conlon Jacob Fox Vojěch Rödl Absrac We exhibi a family of 3-uniform hypergraphs wih he propery ha heir 2-colour Ramsey numbers grow polynomially in he number of verices,
More informationOverview. COMP14112: Artificial Intelligence Fundamentals. Lecture 0 Very Brief Overview. Structure of this course
OMP: Arificial Inelligence Fundamenals Lecure 0 Very Brief Overview Lecurer: Email: Xiao-Jun Zeng x.zeng@mancheser.ac.uk Overview This course will focus mainly on probabilisic mehods in AI We shall presen
More informationClass Meeting # 10: Introduction to the Wave Equation
MATH 8.5 COURSE NOTES - CLASS MEETING # 0 8.5 Inroducion o PDEs, Fall 0 Professor: Jared Speck Class Meeing # 0: Inroducion o he Wave Equaion. Wha is he wave equaion? The sandard wave equaion for a funcion
More informationChapter 6. Systems of First Order Linear Differential Equations
Chaper 6 Sysems of Firs Order Linear Differenial Equaions We will only discuss firs order sysems However higher order sysems may be made ino firs order sysems by a rick shown below We will have a sligh
More informationAnn. Funct. Anal. 2 (2011), no. 2, A nnals of F unctional A nalysis ISSN: (electronic) URL:
Ann. Func. Anal. 2 2011, no. 2, 34 41 A nnals of F uncional A nalysis ISSN: 2008-8752 elecronic URL: www.emis.de/journals/afa/ CLASSIFICAION OF POSIIVE SOLUIONS OF NONLINEAR SYSEMS OF VOLERRA INEGRAL EQUAIONS
More informationarxiv: v1 [math.pr] 6 Oct 2008
MEASURIN THE NON-STOPPIN TIMENESS OF ENDS OF PREVISIBLE SETS arxiv:8.59v [mah.pr] 6 Oc 8 JU-YI YEN ),) AND MARC YOR 3),4) Absrac. In his paper, we propose several measuremens of he nonsopping imeness of
More informationu(x) = e x 2 y + 2 ) Integrate and solve for x (1 + x)y + y = cos x Answer: Divide both sides by 1 + x and solve for y. y = x y + cos x
. 1 Mah 211 Homework #3 February 2, 2001 2.4.3. y + (2/x)y = (cos x)/x 2 Answer: Compare y + (2/x) y = (cos x)/x 2 wih y = a(x)x + f(x)and noe ha a(x) = 2/x. Consequenly, an inegraing facor is found wih
More informationThe Zarankiewicz problem in 3-partite graphs
The Zarankiewicz problem in 3-parie graphs Michael Tai Craig Timmons Absrac Le F be a graph, k 2 be an ineger, and wrie ex χ k (n, F ) for he maximum number of edges in an n-verex graph ha is k-parie and
More informationCERTAIN CLASSES OF SOLUTIONS OF LAGERSTROM EQUATIONS
SARAJEVO JOURNAL OF MATHEMATICS Vol.10 (22 (2014, 67 76 DOI: 10.5644/SJM.10.1.09 CERTAIN CLASSES OF SOLUTIONS OF LAGERSTROM EQUATIONS ALMA OMERSPAHIĆ AND VAHIDIN HADŽIABDIĆ Absrac. This paper presens sufficien
More informationAsymptotic instability of nonlinear differential equations
Elecronic Journal of Differenial Equaions, Vol. 1997(1997), No. 16, pp. 1 7. ISSN: 172-6691. URL: hp://ejde.mah.sw.edu or hp://ejde.mah.un.edu fp (login: fp) 147.26.13.11 or 129.12.3.113 Asympoic insabiliy
More informationThe minimum number of nonnegative edges in hypergraphs
The minimum number of nonnegaive edges in hypergraphs Hao Huang DIMACS Rugers Universiy New Brunswic, USA huanghao@mahiasedu Benny Sudaov Deparmen of Mahemaics ETH 8092 Zurich, Swizerland benjaminsudaov@mahehzch
More informationTO our knowledge, most exciting results on the existence
IAENG Inernaional Journal of Applied Mahemaics, 42:, IJAM_42 2 Exisence and Uniqueness of a Periodic Soluion for hird-order Delay Differenial Equaion wih wo Deviaing Argumens A. M. A. Abou-El-Ela, A. I.
More informationA problem related to Bárány Grünbaum conjecture
Filoma 27:1 (2013), 109 113 DOI 10.2298/FIL1301109B Published by Faculy of Sciences and Mahemaics, Universiy of Niš, Serbia Available a: hp://www.pmf.ni.ac.rs/filoma A problem relaed o Bárány Grünbaum
More informationResearch Article Existence and Uniqueness of Periodic Solution for Nonlinear Second-Order Ordinary Differential Equations
Hindawi Publishing Corporaion Boundary Value Problems Volume 11, Aricle ID 19156, 11 pages doi:1.1155/11/19156 Research Aricle Exisence and Uniqueness of Periodic Soluion for Nonlinear Second-Order Ordinary
More informationGCD AND LCM-LIKE IDENTITIES FOR IDEALS IN COMMUTATIVE RINGS
GCD AND LCM-LIKE IDENTITIES FOR IDEALS IN COMMUTATIVE RINGS D. D. ANDERSON, SHUZO IZUMI, YASUO OHNO, AND MANABU OZAKI Absrac. Le A 1,..., A n n 2 be ideals of a commuaive ring R. Le Gk resp., Lk denoe
More informationA remark on the H -calculus
A remark on he H -calculus Nigel J. Kalon Absrac If A, B are secorial operaors on a Hilber space wih he same domain range, if Ax Bx A 1 x B 1 x, hen i is a resul of Auscher, McInosh Nahmod ha if A has
More informationWhen Linear and Weak Discrepancy are Equal
When Linear and Weak Discrepancy are Equal David M. Howard b,2, Sephen J. Young b,1, a School of Mahemaics, Georgia Insiue of Technology, Alana, GA 30332-0160 Absrac The linear discrepancy of a pose P
More informationOrthogonal Rational Functions, Associated Rational Functions And Functions Of The Second Kind
Proceedings of he World Congress on Engineering 2008 Vol II Orhogonal Raional Funcions, Associaed Raional Funcions And Funcions Of The Second Kind Karl Deckers and Adhemar Bulheel Absrac Consider he sequence
More informationRepresentation of Stochastic Process by Means of Stochastic Integrals
Inernaional Journal of Mahemaics Research. ISSN 0976-5840 Volume 5, Number 4 (2013), pp. 385-397 Inernaional Research Publicaion House hp://www.irphouse.com Represenaion of Sochasic Process by Means of
More informationMODULE 3 FUNCTION OF A RANDOM VARIABLE AND ITS DISTRIBUTION LECTURES PROBABILITY DISTRIBUTION OF A FUNCTION OF A RANDOM VARIABLE
Topics MODULE 3 FUNCTION OF A RANDOM VARIABLE AND ITS DISTRIBUTION LECTURES 2-6 3. FUNCTION OF A RANDOM VARIABLE 3.2 PROBABILITY DISTRIBUTION OF A FUNCTION OF A RANDOM VARIABLE 3.3 EXPECTATION AND MOMENTS
More informationLearning a Class from Examples. Training set X. Class C 1. Class C of a family car. Output: Input representation: x 1 : price, x 2 : engine power
Alpaydin Chaper, Michell Chaper 7 Alpaydin slides are in urquoise. Ehem Alpaydin, copyrigh: The MIT Press, 010. alpaydin@boun.edu.r hp://www.cmpe.boun.edu.r/ ehem/imle All oher slides are based on Michell.
More informationExercises: Similarity Transformation
Exercises: Similariy Transformaion Problem. Diagonalize he following marix: A [ 2 4 Soluion. Marix A has wo eigenvalues λ 3 and λ 2 2. Since (i) A is a 2 2 marix and (ii) i has 2 disinc eigenvalues, we
More informationPositive continuous solution of a quadratic integral equation of fractional orders
Mah. Sci. Le., No., 9-7 (3) 9 Mahemaical Sciences Leers An Inernaional Journal @ 3 NSP Naural Sciences Publishing Cor. Posiive coninuous soluion of a quadraic inegral equaion of fracional orders A. M.
More informationStability and Bifurcation in a Neural Network Model with Two Delays
Inernaional Mahemaical Forum, Vol. 6, 11, no. 35, 175-1731 Sabiliy and Bifurcaion in a Neural Nework Model wih Two Delays GuangPing Hu and XiaoLing Li School of Mahemaics and Physics, Nanjing Universiy
More informationHamilton- J acobi Equation: Explicit Formulas In this lecture we try to apply the method of characteristics to the Hamilton-Jacobi equation: u t
M ah 5 2 7 Fall 2 0 0 9 L ecure 1 0 O c. 7, 2 0 0 9 Hamilon- J acobi Equaion: Explici Formulas In his lecure we ry o apply he mehod of characerisics o he Hamilon-Jacobi equaion: u + H D u, x = 0 in R n
More informationPOSITIVE SOLUTIONS OF NEUTRAL DELAY DIFFERENTIAL EQUATION
Novi Sad J. Mah. Vol. 32, No. 2, 2002, 95-108 95 POSITIVE SOLUTIONS OF NEUTRAL DELAY DIFFERENTIAL EQUATION Hajnalka Péics 1, János Karsai 2 Absrac. We consider he scalar nonauonomous neural delay differenial
More informationMath 334 Fall 2011 Homework 11 Solutions
Dec. 2, 2 Mah 334 Fall 2 Homework Soluions Basic Problem. Transform he following iniial value problem ino an iniial value problem for a sysem: u + p()u + q() u g(), u() u, u () v. () Soluion. Le v u. Then
More informationHomework sheet Exercises done during the lecture of March 12, 2014
EXERCISE SESSION 2A FOR THE COURSE GÉOMÉTRIE EUCLIDIENNE, NON EUCLIDIENNE ET PROJECTIVE MATTEO TOMMASINI Homework shee 3-4 - Exercises done during he lecure of March 2, 204 Exercise 2 Is i rue ha he parameerized
More information