Q4 Let F denote a countably infinite set of functions such that each f; e F...
Prove that a disjoint union of any finite set and any countably infinite set is countably infinite. Proof: Suppose A is any finite set, B is any countably infinite set, and A and B are disjoint. By definition of disjoint, A ∩ B = ∅ Then h is one-to-one because f and g are one-to one and A ∩ B = 0. Further, h is onto because f and g are onto and given any element x in A ∪...
(17) (20pt) Let F be the set of functions f : R+ → R. Prove that the binary relation "f is 0(g)" on F is: (a) (4pt) Write down the definition for "f is O(g)". (b) (4pt) Prove that the relation is reflexive (c) (6pt) Prove that the relation is not symmetric. (d) (6pt) Prove that the relation is transitive. (17) (20pt) Let F be the set of functions f : R+ → R. Prove that the binary relation "f...
4. Let S be the set of continuous function f: [0;1) ! R. Let R be the relation defined on S by (f; g) 2 Rif(x) is O(g(x)). (a) Is R reflexive? (b) Is R antisymmetric? (c) is R symmetric? (d) is R transitive? Explain your answer in details. Use the definition of big-O to justify your answer if you think R has a certain property or give a counter example if you think R does not have a certain...
B2. (a) Let I denote the interval 0,1 and let C denote the space of continuous functions I-R. Define dsup(f,g)-sup |f(t)-g(t) and di(f.g)f (t)- g(t)ldt (f,g E C) tEI (i) Prove that dsup is a metric on C (ii) Prove that di is a metric on C. (You may use any standard properties of continuous functions and integrals, provided you make your reasoning clear.) 6 i) Let 1 denote the constant function on I with value 1. Give an explicit...
probelms 9.1 9 Modular arithmetic Definition 9.1 Let S be a set. A relation R = R(,y) on S is a statement about pairs (x,y) of elements of S. For r,y ES, I is related to y notation: Ry) if R(x,y) is true. A relation Ris: Reflexive if for any I ES, R. Symmetric if for any ry ES, Ry implies y Rr. Transitive if for any r.y.ES, Ry and yRimply R. An equivalence relation is a reflexive, symmetric and...
(18) Let f and g be functions from R to R that have derivatives of al orders. Let h(k) denote the kth derivative of any function. Prove using the product rule for derivatives, the fact that and induction that k +1 k=0 (19) The Fibonacci numbers are defined recursively by Fn+2 = Fn+1 Prove that the number of subsets of { 1, 2, 3, . . . , n} containing no two successive integers is E, (20) Prove that 7n...
Consider the schema R = (A, B, C, D, E) and let the following set F of functional dependencies holdforR: F = {A -> BC, CD -> E, C -> A, B -> D,} 1) Prove or disprove ADE is in the closure of F. A proof can be made by using inference rules IR1 through IR3. A disproof should be done by showing a relational instance (counter example) that refutes the rule. 2) What are the candidate keys of...
QUESTION 10 The equality relationon any set S is: A total ordering and a function with an inverse. An equivalence relation and also function with an inverse. A function with an inverse, and an equivalence relation with as single equivalence class equal to S An equivalence relation and also a total ordering QUESTION 11 A binary operation on a set S, takes any two elements a,b E S and produces another element c e S. Examples of binary operations include...
(5) Separate N into two disjoint sets: the evens E, and the odds O. Consider the set of Fibonacci ). Prove (n F and En F are infinite sets,6 numbers {1, 1, 2, 3, 5, 8, 13x13 21x21 8x8 Figure 1.10: An interesting geometric proof could use a patterns of the Fibonacci spiral, although there are simpler proofs. the (5) Separate N into two disjoint sets: the evens E, and the odds O. Consider the set of Fibonacci ). Prove...
(11) Let (,A. /) be a measure space. Let g 2 - R* be a measurable function which is integrable on a set A E A. Let f, : O -> R* be a sequence of measurable functions such that g(x) < fn(x) < fn+1(x), for all E A and n E N. Prove that lim fn d lim fn du noo A (11) Let (,A. /) be a measure space. Let g 2 - R* be a measurable function...