Answered step by step
Verified Expert Solution
Question
1 Approved Answer
Can someone please show me how I would go about doing these? Thanks. For each assertion in 7(a)-(c), prove the assertion directly from the definition
Can someone please show me how I would go about doing these?
Thanks.
For each assertion in 7(a)-(c), prove the assertion directly from the definition of the big-O asymptotic notation if it is true by finding values for the constants c and n_o. On the other hand, if the assertion is false, give a counter-example. Then answer the question in 7(d). F denotes the set of all functions from Z^+ to R^+. (a) Let f(n): Z^+ rightarrow R^+. DEFINITION 1. A relation on a set is reflexive if each element is related to itself. Assertion: The relation "is big-O of" is reflexive over F, In other words, f(n) elementof O(f(n)). (b) Let f(n): Z^+ rightarrow R^+ and g(n): Z^+ rightarrow R^+. DEFINITION 2. A relation on a set is antisymmetric if whenever an element X is related to an element Y and Y is related X, then X = Y. Assertion: The relation "is big-O of" is antisymmetric over F. In other words, if f(n) elementof O(g(n)) and g(n) elementof O(f(n)), then f(n) = g(n). (c) Let e(n): Z^+ rightarrow R^+, f(n): Z^+ rightarrow R^+ and g(n): Z^+ rightarrow R^+. DEFINITION 3. A relation on a set is transitive if whenever an element X is related to Y and Y is related Z, then X is related to Z. Assertion: The relation "is big-O of" is transitive over F. In other words, if e(n) elementof O(f(n)) and f(n) O(g(n)), then e(n) elementof O(g(n)). (d) Is "is big-O of" a partial order on F? DEFINITION 4. A relation is a partial order on a set if it is reflexive, antisymmetric and transitive. Given an infinite series s = sigma^infinity_n = 1 f(n), where f(n) is a continuous positive monotonically decreasing function that converges and n elementof Z^+, s can be bounded, using improper integrals, as follows: sigma^infinity_n = 1 f(n) + integral^infinity_k + 1 f(n) dn lessthanorequalto s lessthanorequalto sigma^k_n = 1 f(n) + integral^infinity_k f(n) dn, k elementof Z^+ Using the inequality in (1) and k = 5, prove that sigma^infinity_n = 1 1^3 elementof Theta (1)Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started