Resolution and the Weak Pigeonhole Principle
|
|
- Tabitha Harper
- 6 years ago
- Views:
Transcription
1 Resolutio ad the Weak Pigeohole Priciple Sam Buss 1 ad Toia Pitassi 2 1 Departmets of Mathematics ad Computer Sciece Uiversity of Califoria, Sa Diego, La Jolla, CA Departmet of Computer Sciece, Uiversity of Arizoa, Tucso, AZ Abstract. We give ew upper bouds for resolutio proofs of the weak pigeohole priciple. We also give lower bouds for tree-like resolutio proofs. We preset a ormal form for resolutio proofs of pigeohole priciples based o a ew mootoe resolutio rule. 1 Itroductio Tautologies expressig versios of the pigeohole priciple have bee importat test cases for obtaiig bouds o the legths of propositioal proofs ad for comparig the proof theoretic stregths of various propositioal proof systems. The semial paper of Cook ad Reckhow [5] showed that pigeohole priciples have polyomial legth exteded Frege systems; later, [3] showed that they also have polyomial legth Frege proofs. O the other had, the first superpolyomial lower boud o the legth of resolutio refutatios was Hake s proof [6], that resolutio proofs of the propositioal pigeohole priciple require expoetial legth. A sigificat stregtheig of Hake s lower boud was obtaied by Ajtai [1] who proved that costat-depth Frege proofs of the pigeohole priciple require superpolyomial size; this was later stregtheed by [2, 10, 7] to show that costat-depth Frege proofs of the pigeohole priciple require expoetial size. I some cases, fier distictios ca be made usig geeralized forms of the pigeohole priciple. Oe such priciple is the m ito geeralizatio which states that there is o oe-to-oe mappig of m objects ito objects, where m >. Tautologies, defied below, expressig this priciple are deoted PHP m. It is kow that the tautologies PHP 2 have quasipolyomial size costat Frege proofs [8, 9]. I additio, Hake s lower boud for resolutio proofs of the pigeohole priciple was geeralized by [4] who proved superpolyomial bouds o resolutio proofs of PHP m for m = o( 2 /log ). These prior upper ad lower bouds o the the size resolutio proofs leave ope the questio of the size of resolutio proofs of PHP m whe 2 /log m 2. It has bee a folklore cojecture that the shortest resolutio proofs of PHP m have the same legth as resolutio proofs of PHP +1 ; i other words, Supported i part by NSF grat DMS ad US-Czech Sciece ad Techology grat Research supported by NSF grat CCR
2 that whe m > + 1, optimal legth resolutio proofs ca be obtaied by igorig all but oe of the domai elemets. We show i this paper, however, that this cojecture is false for m = 2. The results of this paper are as follows. I sectio 3 we preset a ormal form for resolutio proofs of pigeohole priciple tautologies. Normal form resolutio proofs cotai oly positive occurreces of variables; the usual resolutio rule is replaced by a ew mootoe resolutio rule. The sizes of mootoe resolutio proofs are polyomially related to the sizes of resolutio proofs. As a corollary, we prove that resolutio proofs of the oto versio of the pigeohole priciple are ot sigificatly shorter tha resolutio proofs of the o-oto pigeohole priciple. I sectio 4, we give a polyomial upper boud o the size of resolutio proofs of PHP m for m = 2. This improves o the upper boud 2 2 for proofs of PHP +1 ; which shows that havig additioal domai elemets ca make the pigeohole priciple easier to prove. I sectio 5, we prove a expoetial lower boud o the size of tree-like resolutio proofs of PHP m. 2 Defiitios This paper deals exclusively with propositioal logic. A literal is either a propositioal variable or a egated propositioal variable. A clause is defied to be a set of literals ad is idetified with the disjuctio of its member literals. We assume that a clause ever cotais both a variable ad the egatio of that variable. We use capital letters, usually with subscripts, e.g., P i,j, to deote variables; lowercase letters such as x deote literals; ad clauses are deoted by letters A,B,C,... A resolutio iferece ifers A B from two clauses A x ad B x. A cojuctive ormal form (CNF) formula φ is idetified with the set of clauses which appear as cojucts of φ. A resolutio refutatio of φ cosists of a sequece C 1,...,C s of clauses, where each C i is either a cojuct of φ or is iferred from earlier clauses i the refutatio by a resolutio iferece. The size of the refutatio is equal to the umber, s, of clauses i the refutatio. A refutatio proof of a disjuctive ormal form (DNF) formula is defied to be a resolutio refutatio of the egatio of the formula. It is well-kow that resolutio is refutatioally soud ad complete, so a DNF formula has a resolutio proof if ad oly if it is a tautology. Resolutio refutatios are usually viewed as sequeces or directed acyclic graphs. However, they ca also be restricted to be tree-like with each clause i the refutatio beig used as a hypothesis of a iferece at most oce. Note that the same clause may appear multiple times i the tree-like proof; the size of a tree-like refutatio equals the umber of occurreces of clauses i the refutatio. Defiitio 1. Let m >. The tautology PHP m expresses the pigeohole priciple that there is o oe-to-oe mappig from a domai of m objects (called pigeos ) ito a rage of objects (called holes ). This is easily defied 2
3 by a DNF formula, but sice it is more relevat for resolutio, we describe istead the set of clauses which are the cojucts of the CNF formula PHP m. The propositioal variables are P i,j, i m, j, with P i,j havig the ituitive meaig that pigeo i is mapped to hole j. The clauses of PHP m are: (1) P i,1 P i,2 P i,, for each i m; ad (2) P i,k P j,k, for each i,j m, k, i j. Note that the umber of clauses i PHP m is m + ( m 2) < m 2 < m 3. As metioed i the itroductio, Hake proved that resolutio proofs of require expoetial size. The first author ad Turá [4] showed that PHP +1 ) ay resolutio refutatio of PHP m requires size 2( 1 3 m 2. However, whe m 2 /log, this lower boud is oly polyomial, ad i fact there are o otrivial lower bouds kow i this case. To the best of the authors kowledge, prior to the preset paper, the best upper bouds kow for the sizes of resolutio proofs of PHP m was the boud 3 2 of Lemma 1 below. 3 A Normal Form Theorem I this sectio we defie a variatio of the resolutio proof system, called the mootoe resolutio system, which is tailored for proofs of pigeohole priciples. We prove that this system is complete for proofs of pigeohole priciple tautologies, ad that the sizes of mootoe resolutio proofs ad the sizes of resolutio proofs are polyomially related. The motivatio for itroducig the mootoe resolutio proof system is the hope that it will provide a better framework for obtaiig lower bouds o the sizes of resolutio refutatios of pigeohole priciples. We defie a mootoe resolutio proof for PHP m as follows. A mootoe clause is a clause which cotais oly positive variables. We let the m variables P i,j correspod to etries i a a -by-m array, with rows labeled by the holes, ad colums labeled by the m pigeos. Thus the variable P i,j correspods to the etry i the j-th row ad the i-th colum. A mootoe clause is visualized as a -by-m array, with + s i each etry correspodig to the occurreces of variables i the clause ad with array etries correspodig to variables ot occurrig i the clause left blak. For R {1,...,m} we let P R,j be the disjuctio of the variables P i,j for all i R. Let C 1 = A P R,j P S,j ad C 2 = B P R,j P T,j, where R, S ad T are disjoit ad where A ad B are both disjuctios of positive variables ot i row j. The the mootoe resolutio iferece rule allows us to derive C 3 = A B P R,j from C 1 ad C 2. I other words, we ca ifer the clause C 3 from C 1 ad C 2 by the mootoe resolutio rule with respect to hole j, provided C 3 cosists of the uio of all variables i C 1 C 2, mius all variables P i,j, which occur i exactly oe of C 1 ad C 2. Implicit i the mootoe resolutio rule is oe-to-oeess: if pigeo i is mapped to hole j, the o other pigeo i ca be mapped to hole j. 3
4 A mootoe resolutio proof is a sequece of mootoe clauses, where the fial clause is the empty clause; ad where every clause is either a iitial clause of the form j=1 P i,j, or follows from two previous clauses by the mootoe resolutio rule. Strictly speakig, mootoe resolutio is ot a proof system, sice it is ot complete for arbitrary sets of clauses; however, it follows from the ext theorem that mootoe resolutio is sufficiet to prove pigeohole priciple tautologies. Oly such tautologies are cosidered i this paper. Two proof systems are said to be polyomially equivalet for a class Φ of formulas if ad oly if there is a polyomial q(x) such that if φ Φ has a proof of size s i oe of the systems, the it has a proof of size q(s) i the other system. Theorem 1. The resolutio proof system ad the mootoe resolutio proof system are polyomially equivalet for the pigeohole tautologies PHP m. Proof. Let us first show that if we have a mootoe refutatio, the we also have a resolutio refutatio of the usual kid.. For this it suffices to simulate a mootoe resolutio iferece by oly polyomially may ordiary resolutio ifereces. Suppose that C 3 is obtaied from C 1 ad C 2 by the mootoe resolutio rule, where C 1 = A P R,j P S,j ad C 2 = B P R,j P T,j ad C 3 = A B P R,j, ad where R, S ad T are disjoit ad A ad B are sets of variables ot ivolvig hole j. We shall show how to obtai C 3 from C 1, C 2 ad the iitial clauses with oly polyomially may resolutio steps. First, geerate the clauses C1 t = A P R,j P t,j, for all t T. Each clause C1 t is obtaied by S may resolutio ifereces from C 1 ad the iitial clauses ( P t,j P s,j ) for all s S. The from the clauses C1, t where t T, ad from C 2, geerate C 3 = A B P R,j i T additioal ifereces. Sice S, T m, the above costructio shows that a mootoe resolutio iferece ca be simulated with m 2 usual resolutio ifereces. I the other directio we wat to show that if P is a resolutio refutatio of PHP m, the there exists a mootoe resolutio refutatio P of PHP m of size polyomial i the size of P. As a first step, we will trasform every clause i P ito a totally mootoe clause as follows: if C = A B is a clause i P, where A is the disjuctio of positive variables, ad B is the disjuctio of egative variables, the C m = A B m, where B m is obtaied by replacig every egative literal P i,k i B by the (disjuctio of the) set of literals {P l,k l i}. Note that the iitial clauses of the form k=1 P j,k will remai uchaged, ad the iitial clauses of the form ( P i,k P j,k ) will become m l=1 P l,k. Note that i the latter case, the clause is ot a valid iitial clause for a mootoe resolutio refutatio. Now suppose that C 3 is iferred from the clauses C 1 ad C 2 i the origial resolutio refutatio. We wat to show how to derive C3 m from C1 m ad C2 m. Suppose that C 1 cotais P i,k ad C 2 cotais P i,k, where P i,k is the variable resolved upo to obtai C 3. We must show how to derive a subclause of C3 m from C1 m ad C2 m. (It suffices to derive a subclause of C3 m, sice it is obvious that 4
5 the subsumptio priciple applies to mootoe resolutio.) There are two cases to cosider. Firstly, suppose C 2 is a iitial clause of the form ( P i,k P j,k ). I this case, it is easy to check that Cm 1 is a subclause of Cm, 3 so this resolutio refutatio does ot eed to be simulated by ay mootoe resolutio steps. More geerally, if the array represetatio of C2 m has a + i the positio correspodig to P i,k, the it has + s i every positio i row k ad hece C1 m is a subclause of C3 m ad o additioal mootoe resolutio iferece is eeded. Secodly, suppose C2 m does ot have + i the positio for P i,k. Let C3 be the clause obtaied from C1 m ad C2 m by usig the mootoe resolutio iferece with respect to row k. We shall show that C3 is a subclause of C3 m. I this case, we ca write C1 m = A P R,k P i,k where i / R, ad ca write C2 m = B P R,k P T,k where T is the complemet of R {i}. Thus Cm is the clause A B P R,k. Each member P j,k of P R,k is preset i C1 m because it is already i C 1 or because P j,k is i C 1 for some j j. The same literal also appears i C 3 ad therefore P j,k is also i C3 m. This shows that C3 is a subclause of C3 m. Therefore, we have show that a resolutio iferece ca be simulated by (at most) a sigle mootoe resolutio iferece. The oto versio of the pigeohole priciple is obtaied by takig the clauses P 1,k P 2,k P,k as additioal iitial clauses. However, these clauses are just the mootoe traslatio of the iitial clauses P i,k P j,k of the usual pigeohole priciple. Examiatio of the above proof shows that we have proved that ay (ordiary) resolutio refutatio of the oto pigeohole priciple of size ifereces, ca be traslated ito a mootoe resolutio of size. From this, the followig theorem is a immediate corollary of Theorem 1. Theorem 2. The shortest resolutio proofs of PHP m have size polyomially bouded by the size of resolutio proofs of the oto pigeohole priciple with m pigeos ad holes. 4 A Upper Boud Theorem 3. There is a d > 0 such that whe m = 2, the PHP m has a resolutio proof with m d steps. Thus, for m 2, PHP m has a resolutio proof of size polyomially bouded by the umber of variables. Sice Hake [6] proved a size lower boud of 2 ǫ for proofs of PHP +1, where ǫ is a costat, Theorem 3 implies that the size of resolutio proofs of PHP +1 must be superpolyomially loger tha the shortest resolutio proof of PHP m where m = 2. By Theorem 1, it will suffice to prove Theorem 3 for mootoe resolutio proofs istead of ordiary resolutio proofs; ideed, sice there are m pigeos, the legth of the shortest ordiary resolutio refutatio is o more tha m 2 5
6 times the legth of a mootoe resolutio refutatio. First, we eed the followig lemma: Lemma 1. PHP +1 has a mootoe resolutio refutatio of size O(2 ). Note that the lemma ad the proof of Theorem 1 imply that PHP +1 a ordiary resolutio proof of size O( 3 2 ). Proof. Let P S,T deote the disjuctio of the variables P i,j, where i S, j T. Also, P i,t deotes P {i},t. Let [i,j] deote the set {i,i + 1,...,j}. The iitial clauses of the mootoe resolutio refutatio are P i,[1,] for all i [1, + 1]. The mootoe refutatio first derives the clauses P S,[2,], for (2) all sets S (2) [1, + 1] of size 2. Each is obtaied by oe mootoe resolutio step from the iitial clauses. Next, we geerate the clauses P S (3),[3,] for all S (3) [1, + 1] of size 3. Each is obtaied by two mootoe resolutio steps from clauses derived i the previous stage. Cotiuig i this fashio, we evetually derive P S (), for all S () [1, + 1] of size. Fially, we derive the empty clause from this last set of clauses. The total umber of mootoe resolutio ifereces derived is bouded by (( ) + ( ) ( )) = O(2 ). has Proof. We will ow prove Theorem 3 by iductio o. Let a = b log for a fixed b > 1. The base case, = 2, is trivial for d sufficietly large. The iductio step is argued as follows: The mootoe resolutio refutatio we costruct has two stages. The first stage splits the m pigeos ito disjoit blocks of a + 1 pigeos., so as to remove a 1 s (rage elemets) from the colums. That is to say, for each block S of a + 1 colums, we derive the clause C S,T where T is [1, a]. The size aalysis for this part is equal to the umber of blocks times the complexity of provig For each block, we ru a resolutio refutatio of PHP a+1 a PHP a+1 a ; i.e., (m/(a + 1))O((a + 1)2 a ) = O(2 (b+1) ). I the secod stage, we use the iductio hypothesis applied to a holes; we do this by keepig the disjoit blocks of a + 1 colums (pigeos) grouped together; i essece, we have divided the umber of colums by a+1. Therefore, we are provig a istace of PHP m/(a+1) a : the iductio hypothesis tells us that this ca be proved with the umber of mootoe resolutio ifereces bouded by 2 d ( a) log( a) < 2 d( a(1+log )/(2 )) = 2 d 0.5db(1+log ) = o(2 d ) 6
7 (The first iequality is obtaied by lettig f(x) = xlog x ad usig the fact that f( a) < f() af () sice f is cocave dow.) Addig the size bouds from the two stages of the mootoe resolutio refutatio gives the desired upper boud of 2 d, provided d is sufficietly large. It is still left to verify that the use of the iductive hypothesis was valid, i.e., that m/(a + 1) > 2 ( a) log( a). The lefthad side is equal to 2 /(b log + 1). By the calculatio above, the righthad side is less tha or equal to 2 / b/2, sice d > 1. Thus the desired iequality holds sice b > 1. 5 A Lower Boud Theorem 4. For ay m >, ay tree-like resolutio refutatio of PHP m requires 2 steps. Proof. We ll prove the stroger statemet that ay tree-like mootoe resolutio refutatio P of PHP m has at least 2 ifereces. The proof is by iductio o. For = 1, the statemet is easy to verify. Now suppose > 1. Let the last iferece of P ifer the empty clause from two clauses C 1 ad C 2 by a mootoe resolutio iferece. We have C 1 = P S,k ad C 2 = P T,k for disjoit oempty subsets S ad T of [1,]. Let p i,k S ad p j,k T. Let P 1 ad P 2 be the subproofs of P which derive C 1 ad C 2 respectively. We form a ew refutatio from P 1 by restrictig p j,k to be true: this ivolves (1) removig from P 1 every clause which cotais p j,k ad (2) erasig from the clauses of P 1 every occurrece of the variables p j,k with j j. The result is (easily modified to be) a valid resolutio proof of PHP 1 m 1. By the iductio hypothesis, this proof ad hece P 1 must have at least 2 1 ifereces. Similar reasoig shows that P 2 must have at least 2 1 ifereces. Therefore, P has at least ifereces. 6 Further Research Subsequetly to the preset paper, Razborov, Widgerso ad Yao [11] have ivestigated relatioships betwee restricted resolutio refutatios of the pigeohole priciple ad restricted read-oce brachig programs. They idetified several restricted versios of resolutio, icludig a rectagular resolutio calculus, ad they geeralized the upper boud of Theorem 3 to the rectagular calculus ad proved a early matchig lower boud o the size of rectagular refutatios for the weak pigeohole priciple. For the (urestricted) resolutio calculus, the problem of provig expoetial lower bouds for the weak pigeohole priciple, PHP m, where the umber of pigeos, m, is polyomially large (e.g., m = 2 ) remais ope. 7
8 Refereces 1. M. Ajtai, The complexity of the pigeohole priciple, i Proceedigs of the 29-th Aual IEEE Symposium o Foudatios of Computer Sciece, 1988, pp P. Beame, R. Impagliazzo, J. Krajíček, T. Pitassi, P. Pudlák, ad A. Woods, Expoetial lower bouds for the pigeohole priciple, i Proceedigs of the 24th Aual ACM Symposium o Theory of Computig, 1992, pp S. R. Buss, Polyomial size proofs of the propositioal pigeohole priciple, Joural of Symbolic Logic, 52 (1987), pp S. R. Buss ad Győrgy Turá, Resolutio proofs of geeralized pigeohole priciples, Theoretical Computer Sciece, 62 (1988), pp S. A. Cook ad R. A. Reckhow, The relative efficiecy of propositioal proof systems, Joural of Symbolic Logic, 44 (1979), pp A. Hake, The itractability of resolutio, Theoretical Computer Sciece, 39 (1985), pp J. Krajíček, P. Pudlák, ad A. Woods, Expoetial lower boud to the size of bouded depth Frege proofs of the pigeohole priciple, Radom Structures ad Algorithms, 7 (1995), pp J. B. Paris ad A. J. Wilkie, 0 sets ad iductio, i Ope Days i Model Theory ad Set Theory, W. Guzicki, W. Marek, A. Pelc, ad C. Rauszer, eds., 1981, pp J. B. Paris, A. J. Wilkie, ad A. R. Woods, Provability of the pigeohole priciple ad the existece of ifiitely may primes, Joural of Symbolic Logic, 53 (1988), pp T. Pitassi, P. Beame, ad R. Impagliazzo, Expoetial lower bouds for the pigeohole priciple, Computatioal Complexity, 3 (1993), pp A. Razborov, A. Widgerso ad A. Yao, Read-oce brachig programs, rectagular proofs of the pigeo-hole priciple ad the trasversal calculus, i Proceedigs of the 29th Aual ACM Symposium o Theory of Computig, 1997, pp
Resolution and the Weak Pigeonhole Principle
Resolution and the Weak Pigeonhole Principle Sam Buss 1 and Toniann Pitassi 2 1 Departments of Mathematics and Computer Science University of California, San Diego, La Jolla, CA 92093-0112. 2 Department
More informationResolution Proofs of Generalized Pigeonhole Principles
Resolutio Proofs of Geeralized Pigeohole Priciples Samuel R. Buss Departmet of Mathematics Uiversity of Califoria, Berkeley Győrgy Turá Departmet of Mathematics, Statistics, ad Computer Sciece Uiversity
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 informationLecture 2. The Lovász Local Lemma
Staford Uiversity Sprig 208 Math 233A: No-costructive methods i combiatorics Istructor: Ja Vodrák Lecture date: Jauary 0, 208 Origial scribe: Apoorva Khare Lecture 2. The Lovász Local Lemma 2. Itroductio
More informationSOME TRIBONACCI IDENTITIES
Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece
More informationSection 4.3. Boolean functions
Sectio 4.3. Boolea fuctios Let us take aother look at the simplest o-trivial Boolea algebra, ({0}), the power-set algebra based o a oe-elemet set, chose here as {0}. This has two elemets, the empty set,
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 informationAn Introduction to Randomized Algorithms
A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis
More informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
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 informationLecture Notes for CS 313H, Fall 2011
Lecture Notes for CS 313H, Fall 011 August 5. We start by examiig triagular umbers: T () = 1 + + + ( = 0, 1,,...). Triagular umbers ca be also defied recursively: T (0) = 0, T ( + 1) = T () + + 1, or usig
More informationRiesz-Fischer Sequences and Lower Frame Bounds
Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 1 (00), No., 305 314 Riesz-Fischer Sequeces ad Lower Frame Bouds P. Casazza, O. Christese, S. Li ad A. Lider Abstract.
More informationOn Random Line Segments in the Unit Square
O Radom Lie Segmets i the Uit Square Thomas A. Courtade Departmet of Electrical Egieerig Uiversity of Califoria Los Ageles, Califoria 90095 Email: tacourta@ee.ucla.edu I. INTRODUCTION Let Q = [0, 1] [0,
More informationMath 104: Homework 2 solutions
Math 04: Homework solutios. A (0, ): Sice this is a ope iterval, the miimum is udefied, ad sice the set is ot bouded above, the maximum is also udefied. if A 0 ad sup A. B { m + : m, N}: This set does
More informationLONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES
J Lodo Math Soc (2 50, (1994, 465 476 LONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES Jerzy Wojciechowski Abstract I [5] Abbott ad Katchalski ask if there exists a costat c >
More informationLecture 2 Clustering Part II
COMS 4995: Usupervised Learig (Summer 8) May 24, 208 Lecture 2 Clusterig Part II Istructor: Nakul Verma Scribes: Jie Li, Yadi Rozov Today, we will be talkig about the hardess results for k-meas. More specifically,
More information# fixed points of g. Tree to string. Repeatedly select the leaf with the smallest label, write down the label of its neighbour and remove the leaf.
Combiatorics Graph Theory Coutig labelled ad ulabelled graphs There are 2 ( 2) labelled graphs of order. The ulabelled graphs of order correspod to orbits of the actio of S o the set of labelled graphs.
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 informationFLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS. H. W. Gould Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A58 FLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS H. W. Gould Departmet of Mathematics, West Virgiia Uiversity, Morgatow, WV
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 informationA Lower Bound for the Pigeonhole Principle in Tree-like Resolution by Asymmetric Prover-Delayer Games
A Lower Boud for the Pigeohole Priciple i Tree-like Resolutio by Asymmetric Prover-Delayer Games Olaf Beyersdorff Nicola Galesi 2 Massimo Lauria 2 Istitut für Theoretische Iformatik, Leibiz Uiversität
More informationMathematical Induction
Mathematical Iductio Itroductio Mathematical iductio, or just iductio, is a proof techique. Suppose that for every atural umber, P() is a statemet. We wish to show that all statemets P() are true. I a
More informationThe Boolean Ring of Intervals
MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationSequences. Notation. Convergence of a Sequence
Sequeces A sequece is essetially just a list. Defiitio (Sequece of Real Numbers). A sequece of real umbers is a fuctio Z (, ) R for some real umber. Do t let the descriptio of the domai cofuse you; it
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More informationw (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.
2 5. Weighted umber of late jobs 5.1. Release dates ad due dates: maximimizig the weight of o-time jobs Oce we add release dates, miimizig the umber of late jobs becomes a sigificatly harder problem. For
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 informationAxioms of Measure Theory
MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that
More informationInjections, Surjections, and the Pigeonhole Principle
Ijectios, Surjectios, ad the Pigeohole Priciple 1 (10 poits Here we will come up with a sloppy boud o the umber of parethesisestigs (a (5 poits Describe a ijectio from the set of possible ways to est pairs
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
More informationChapter 0. Review of set theory. 0.1 Sets
Chapter 0 Review of set theory Set theory plays a cetral role i the theory of probability. Thus, we will ope this course with a quick review of those otios of set theory which will be used repeatedly.
More informationThe Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.
Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure
More informationCS284A: Representations and Algorithms in Molecular Biology
CS284A: Represetatios ad Algorithms i Molecular Biology Scribe Notes o Lectures 3 & 4: Motif Discovery via Eumeratio & Motif Represetatio Usig Positio Weight Matrix Joshua Gervi Based o presetatios by
More informationOn matchings in hypergraphs
O matchigs i hypergraphs Peter Frakl Tokyo, Japa peter.frakl@gmail.com Tomasz Luczak Adam Mickiewicz Uiversity Faculty of Mathematics ad CS Pozań, Polad ad Emory Uiversity Departmet of Mathematics ad CS
More informationMath 475, Problem Set #12: Answers
Math 475, Problem Set #12: Aswers A. Chapter 8, problem 12, parts (b) ad (d). (b) S # (, 2) = 2 2, sice, from amog the 2 ways of puttig elemets ito 2 distiguishable boxes, exactly 2 of them result i oe
More informationMath 220A Fall 2007 Homework #2. Will Garner A
Math 0A Fall 007 Homewor # Will Garer Pg 3 #: Show that {cis : a o-egative iteger} is dese i T = {z œ : z = }. For which values of q is {cis(q): a o-egative iteger} dese i T? To show that {cis : a o-egative
More informationMa 530 Introduction to Power Series
Ma 530 Itroductio to Power Series Please ote that there is material o power series at Visual Calculus. Some of this material was used as part of the presetatio of the topics that follow. What is a Power
More informationPrinciple Of Superposition
ecture 5: PREIMINRY CONCEP O RUCUR NYI Priciple Of uperpositio Mathematically, the priciple of superpositio is stated as ( a ) G( a ) G( ) G a a or for a liear structural system, the respose at a give
More informationShort Proofs of the Kneser-Lovász Coloring Principle
Short Proofs of the Keser-Lovász Colorig Priciple James Aiseberg 1,, Maria Luisa Boet 2,, Sam Buss 1,, Adria Crãciu 3,, ad Gabriel Istrate 3, 1 Departmet of Mathematics, Uiversity of Califoria, Sa Diego,
More informationMDIV. Multiple divisor functions
MDIV. Multiple divisor fuctios The fuctios τ k For k, defie τ k ( to be the umber of (ordered factorisatios of ito k factors, i other words, the umber of ordered k-tuples (j, j 2,..., j k with j j 2...
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 informationAvailable online at J. Math. Comput. Sci. 2 (2012), No. 3, ISSN:
Available olie at http://scik.org J. Math. Comput. Sci. 2 (202, No. 3, 656-672 ISSN: 927-5307 ON PARAMETER DEPENDENT REFINEMENT OF DISCRETE JENSEN S INEQUALITY FOR OPERATOR CONVEX FUNCTIONS L. HORVÁTH,
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
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 informationLangford s Problem. Moti Ben-Ari. Department of Science Teaching. Weizmann Institute of Science.
Lagford s Problem Moti Be-Ari Departmet of Sciece Teachig Weizma Istitute of Sciece http://www.weizma.ac.il/sci-tea/beari/ c 017 by Moti Be-Ari. This work is licesed uder the Creative Commos Attributio-ShareAlike
More informationA Proof of Birkhoff s Ergodic Theorem
A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed
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 informationPolynomial identity testing and global minimum cut
CHAPTER 6 Polyomial idetity testig ad global miimum cut I this lecture we will cosider two further problems that ca be solved usig probabilistic algorithms. I the first half, we will cosider the problem
More informationRandom Walks on Discrete and Continuous Circles. by Jeffrey S. Rosenthal School of Mathematics, University of Minnesota, Minneapolis, MN, U.S.A.
Radom Walks o Discrete ad Cotiuous Circles by Jeffrey S. Rosethal School of Mathematics, Uiversity of Miesota, Mieapolis, MN, U.S.A. 55455 (Appeared i Joural of Applied Probability 30 (1993), 780 789.)
More informationDe Bruijn Sequences for the Binary Strings with Maximum Specified Density
De Bruij Sequeces for the Biary Strigs with Maximum Specified Desity Joe Sawada 1, Brett Steves 2, ad Aaro Williams 2 1 jsawada@uoguelph.ca School of Computer Sciece, Uiversity of Guelph, CANADA 2 brett@math.carleto.ca
More informationsubcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016
subcaptiofot+=small,labelformat=pares,labelsep=space,skip=6pt,list=0,hypcap=0 subcaptio ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, /6/06. Self-cojugate Partitios Recall that, give a partitio λ, we may
More informationPairs of disjoint q-element subsets far from each other
Pairs of disjoit q-elemet subsets far from each other Hikoe Eomoto Departmet of Mathematics, Keio Uiversity 3-14-1 Hiyoshi, Kohoku-Ku, Yokohama, 223 Japa, eomoto@math.keio.ac.jp Gyula O.H. Katoa Alfréd
More informationAppendix to Quicksort Asymptotics
Appedix to Quicksort Asymptotics James Alle Fill Departmet of Mathematical Scieces The Johs Hopkis Uiversity jimfill@jhu.edu ad http://www.mts.jhu.edu/~fill/ ad Svate Jaso Departmet of Mathematics Uppsala
More informationThe Choquet Integral with Respect to Fuzzy-Valued Set Functions
The Choquet Itegral with Respect to Fuzzy-Valued Set Fuctios Weiwei Zhag Abstract The Choquet itegral with respect to real-valued oadditive set fuctios, such as siged efficiecy measures, has bee used i
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 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 informationRecurrence Relations
Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The
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 informationSequences I. Chapter Introduction
Chapter 2 Sequeces I 2. Itroductio A sequece is a list of umbers i a defiite order so that we kow which umber is i the first place, which umber is i the secod place ad, for ay atural umber, we kow which
More informationDiscrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 22
CS 70 Discrete Mathematics for CS Sprig 2007 Luca Trevisa Lecture 22 Aother Importat Distributio The Geometric Distributio Questio: A biased coi with Heads probability p is tossed repeatedly util the first
More informationMath F215: Induction April 7, 2013
Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here
More informationA Simplified Binet Formula for k-generalized Fibonacci Numbers
A Simplified Biet Formula for k-geeralized Fiboacci Numbers Gregory P. B. Dresde Departmet of Mathematics Washigto ad Lee Uiversity Lexigto, VA 440 dresdeg@wlu.edu Zhaohui Du Shaghai, Chia zhao.hui.du@gmail.com
More informationMath 299 Supplement: Real Analysis Nov 2013
Math 299 Supplemet: Real Aalysis Nov 203 Algebra Axioms. I Real Aalysis, we work withi the axiomatic system of real umbers: the set R alog with the additio ad multiplicatio operatios +,, ad the iequality
More informationSOME GENERALIZATIONS OF OLIVIER S THEOREM
SOME GENERALIZATIONS OF OLIVIER S THEOREM Alai Faisat, Sait-Étiee, Georges Grekos, Sait-Étiee, Ladislav Mišík Ostrava (Received Jauary 27, 2006) Abstract. Let a be a coverget series of positive real umbers.
More informationChapter IV Integration Theory
Chapter IV Itegratio Theory Lectures 32-33 1. Costructio of the itegral I this sectio we costruct the abstract itegral. As a matter of termiology, we defie a measure space as beig a triple (, A, µ), where
More informationThe Random Walk For Dummies
The Radom Walk For Dummies Richard A Mote Abstract We look at the priciples goverig the oe-dimesioal discrete radom walk First we review five basic cocepts of probability theory The we cosider the Beroulli
More information1 Counting and Stirling Numbers
1 Coutig ad Stirlig Numbers Natural Numbers: We let N {0, 1, 2,...} deote the set of atural umbers. []: For N we let [] {1, 2,..., }. Sym: For a set X we let Sym(X) deote the set of bijectios from X to
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
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 informationA Block Cipher Using Linear Congruences
Joural of Computer Sciece 3 (7): 556-560, 2007 ISSN 1549-3636 2007 Sciece Publicatios A Block Cipher Usig Liear Cogrueces 1 V.U.K. Sastry ad 2 V. Jaaki 1 Academic Affairs, Sreeidhi Istitute of Sciece &
More informationA Note on Matrix Rigidity
A Note o Matrix Rigidity Joel Friedma Departmet of Computer Sciece Priceto Uiversity Priceto, NJ 08544 Jue 25, 1990 Revised October 25, 1991 Abstract I this paper we give a explicit costructio of matrices
More informationExercises 1 Sets and functions
Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,
More informationProblem Set 2 Solutions
CS271 Radomess & Computatio, Sprig 2018 Problem Set 2 Solutios Poit totals are i the margi; the maximum total umber of poits was 52. 1. Probabilistic method for domiatig sets 6pts Pick a radom subset S
More informationDisjoint Systems. Abstract
Disjoit Systems Noga Alo ad Bey Sudaov Departmet of Mathematics Raymod ad Beverly Sacler Faculty of Exact Scieces Tel Aviv Uiversity, Tel Aviv, Israel Abstract A disjoit system of type (,,, ) is a collectio
More informationNotes for Lecture 11
U.C. Berkeley CS78: Computatioal Complexity Hadout N Professor Luca Trevisa 3/4/008 Notes for Lecture Eigevalues, Expasio, ad Radom Walks As usual by ow, let G = (V, E) be a udirected d-regular graph with
More informationMath 25 Solutions to practice problems
Math 5: Advaced Calculus UC Davis, Sprig 0 Math 5 Solutios to practice problems Questio For = 0,,, 3,... ad 0 k defie umbers C k C k =! k!( k)! (for k = 0 ad k = we defie C 0 = C = ). by = ( )... ( k +
More informationSequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018
CSE 353 Discrete Computatioal Structures Sprig 08 Sequeces, Mathematical Iductio, ad Recursio (Chapter 5, Epp) Note: some course slides adopted from publisher-provided material Overview May mathematical
More informationSRC Technical Note June 17, Tight Thresholds for The Pure Literal Rule. Michael Mitzenmacher. d i g i t a l
SRC Techical Note 1997-011 Jue 17, 1997 Tight Thresholds for The Pure Literal Rule Michael Mitzemacher d i g i t a l Systems Research Ceter 130 Lytto Aveue Palo Alto, Califoria 94301 http://www.research.digital.com/src/
More informationLinear chord diagrams with long chords
Liear chord diagrams with log chords Everett Sulliva Departmet of Mathematics Dartmouth College Haover New Hampshire, U.S.A. everett..sulliva@dartmouth.edu Submitted: Feb 7, 2017; Accepted: Oct 7, 2017;
More informationINFINITE SEQUENCES AND SERIES
11 INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES 11.4 The Compariso Tests I this sectio, we will lear: How to fid the value of a series by comparig it with a kow series. COMPARISON TESTS
More informationMA131 - Analysis 1. Workbook 3 Sequences II
MA3 - Aalysis Workbook 3 Sequeces II Autum 2004 Cotets 2.8 Coverget Sequeces........................ 2.9 Algebra of Limits......................... 2 2.0 Further Useful Results........................
More informationMAS111 Convergence and Continuity
MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece
More informationFeedback in Iterative Algorithms
Feedback i Iterative Algorithms Charles Byre (Charles Byre@uml.edu), Departmet of Mathematical Scieces, Uiversity of Massachusetts Lowell, Lowell, MA 01854 October 17, 2005 Abstract Whe the oegative system
More informationOn groups of diffeomorphisms of the interval with finitely many fixed points II. Azer Akhmedov
O groups of diffeomorphisms of the iterval with fiitely may fixed poits II Azer Akhmedov Abstract: I [6], it is proved that ay subgroup of Diff ω +(I) (the group of orietatio preservig aalytic diffeomorphisms
More informationA Hadamard-type lower bound for symmetric diagonally dominant positive matrices
A Hadamard-type lower boud for symmetric diagoally domiat positive matrices Christopher J. Hillar, Adre Wibisoo Uiversity of Califoria, Berkeley Jauary 7, 205 Abstract We prove a ew lower-boud form of
More informationNICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) =
AN INTRODUCTION TO SCHRÖDER AND UNKNOWN NUMBERS NICK DUFRESNE Abstract. I this article we will itroduce two types of lattice paths, Schröder paths ad Ukow paths. We will examie differet properties of each,
More informationA class of spectral bounds for Max k-cut
A class of spectral bouds for Max k-cut Miguel F. Ajos, José Neto December 07 Abstract Let G be a udirected ad edge-weighted simple graph. I this paper we itroduce a class of bouds for the maximum k-cut
More informationOn Generalized Fibonacci Numbers
Applied Mathematical Scieces, Vol. 9, 215, o. 73, 3611-3622 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ams.215.5299 O Geeralized Fiboacci Numbers Jerico B. Bacai ad Julius Fergy T. Rabago Departmet
More informationA constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference
MPRA Muich Persoal RePEc Archive A costructive aalysis of covex-valued demad correspodece for weakly uiformly rotud ad mootoic preferece Yasuhito Taaka ad Atsuhiro Satoh. May 04 Olie at http://mpra.ub.ui-mueche.de/55889/
More informationFrequentist Inference
Frequetist Iferece The topics of the ext three sectios are useful applicatios of the Cetral Limit Theorem. Without kowig aythig about the uderlyig distributio of a sequece of radom variables {X i }, for
More information7. Modern Techniques. Data Encryption Standard (DES)
7. Moder Techiques. Data Ecryptio Stadard (DES) The objective of this chapter is to illustrate the priciples of moder covetioal ecryptio. For this purpose, we focus o the most widely used covetioal ecryptio
More informationDiscrete-Time Systems, LTI Systems, and Discrete-Time Convolution
EEL5: Discrete-Time Sigals ad Systems. Itroductio I this set of otes, we begi our mathematical treatmet of discrete-time s. As show i Figure, a discrete-time operates or trasforms some iput sequece x [
More informationA 2nTH ORDER LINEAR DIFFERENCE EQUATION
A 2TH ORDER LINEAR DIFFERENCE EQUATION Doug Aderso Departmet of Mathematics ad Computer Sciece, Cocordia College Moorhead, MN 56562, USA ABSTRACT: We give a formulatio of geeralized zeros ad (, )-discojugacy
More informationInduction: Solutions
Writig Proofs Misha Lavrov Iductio: Solutios Wester PA ARML Practice March 6, 206. Prove that a 2 2 chessboard with ay oe square removed ca always be covered by shaped tiles. Solutio : We iduct o. For
More informationDiscrete Mathematics for CS Spring 2005 Clancy/Wagner Notes 21. Some Important Distributions
CS 70 Discrete Mathematics for CS Sprig 2005 Clacy/Wager Notes 21 Some Importat Distributios Questio: A biased coi with Heads probability p is tossed repeatedly util the first Head appears. What is the
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 informationOn Involutions which Preserve Natural Filtration
Proceedigs of Istitute of Mathematics of NAS of Ukraie 00, Vol. 43, Part, 490 494 O Ivolutios which Preserve Natural Filtratio Alexader V. STRELETS Istitute of Mathematics of the NAS of Ukraie, 3 Tereshchekivska
More informationFall 2013 MTH431/531 Real analysis Section Notes
Fall 013 MTH431/531 Real aalysis Sectio 8.1-8. Notes Yi Su 013.11.1 1. Defiitio of uiform covergece. We look at a sequece of fuctios f (x) ad study the coverget property. Notice we have two parameters
More information