Homework Solution: Can someone help with number 8?…

    Can someone help with number 8? 7. 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 no. 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 Zt to R (a) Let f(n):Z+→ 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) E O(f(n)). [5 points] (b) Let f(n): Z+ → R+ and g(n) : Z+ → 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) E O(g(n)) and g(n) O(f(n)), then f(n) - g(n). [5 points] Let e(n): Z+ → R+, f(n) : Z+ → R+ and g(n) : Z+ → 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) E O(f(n)) and f(n) O(g(n)), then e(n) O(g(n)). [5 points] (c) (d) Is is big-O of a partial order on F? [5 points] DEFINITION 4. A relation is a partial order on a set if it is reflexive, antisymmetric and transitive 8. Given an infinite series s = Σ f(n), where f(n) is a continuous positive monotonically de- creasing function that converges and n EZ+, s can be bounded, using improper integrals, as follows k+1 Using the inequality in (1) and 5, prove that Σ E Θ(1). [10 points]
    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_0. 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^+. A relation on a set is reflexive if each element is related to itself. 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^+. 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. 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^+. 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. The relation "is big-O of" is transitive over F. In other words, if e(n) elementof O(f(n)) and f(n) elementof O(g(n)), then e(n) elementof O(g(n)). (d) Is "is big-O of" a partial order on F? 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^k_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/n^3 elementof theta (1).

    Expert Answer

     
    $$int_{5}^{infty} frac{1}{n^3} dn$$ converges to a con

    Can someone acceleration with number 8? 7. Control each assumption in 7(a)-(c), test the assumption quickly from the determination of the big-O asymptotic notation if it is gentleman by tally values control the perpetuals c and no. On the other laborer, if the assumption is sophistical, concede a counter-example. Then tally the inquiry in 7(d) F denotes the determined of whole discharges from Zt to R (a) Suffer f(n):Z+→ R+. DEFINITION 1. A aspect on a determined is alternate if each part is akin to itself Assumption: The aspect is big-O of is alternate aggravate F, In other tone, f(n) E O(f(n)). [5 points] (b) Suffer f(n): Z+ → R+ and g(n) : Z+ → R+. DEFINITION 2. A aspect on a determined is antisymmetric if whenever an part X is akin to an part Y and Y is akin X, then X = Y. Assumption: The aspect is big-O of is antisymmetric aggravate F. In other tone, if f(n) E O(g(n)) and g(n) O(f(n)), then f(n) - g(n). [5 points] Suffer e(n): Z+ → R+, f(n) : Z+ → R+ and g(n) : Z+ → R+. DEFINITION 3. A aspect on a determined is projective if whenever an part X is akin to Y and Y is akin Z, then X is akin to Z Assumption: The aspect is big-O of is projective aggravate F. In other tone, if e(n) E O(f(n)) and f(n) O(g(n)), then e(n) O(g(n)). [5 points] (c) (d) Is is big-O of a particular enjoin on F? [5 points] DEFINITION 4. A aspect is a particular enjoin on a determined if it is alternate, antisymmetric and projective 8. Conceden an unterminable succession s = Σ f(n), where f(n) is a penny assured monotonically finished creasing discharge that converges and n EZ+, s can be limited, using inexpedient perfects, as follows k+1 Using the imparity in (1) and 5, test that Σ E Θ(1). [10 points]

    Control each assumption in 7(a)-(c), test the assumption quickly from the determination of the big-O asymptotic notation if it is gentleman by tally values control the perpetuals c and n_0. On the other laborer, if the assumption is sophistical, concede a counter-example. Then tally the inquiry in 7(d). F denotes the determined of whole discharges from Z^+ to R^+. (a) Suffer f(n): Z^+ rightarrow R^+. A aspect on a determined is alternate if each part is akin to itself. The aspect “is big-O of” is alternate aggravate F, In other tone, f(n) partof O(f(n)). (b) Suffer f(n): Z^+ rightarrow R^+ and g(n): Z^+ rightarrow R^+. A aspect on a determined is antisymmetric if whenever an part X is akin to an part Y and Y is akin X, then X = Y. The aspect “is big-O of” is antisymmetric aggravate F. In other tone, if f(n) partof O(g(n)) and g(n) partof O(f(n)), then f(n) = g(n). (c) Suffer e(n): Z^+ rightarrow R^+, f(n): Z^+ rightarrow R^+ and g(n): Z^+ rightarrow R^+. A aspect on a determined is projective if whenever an part X is akin to Y and Y is akin Z, then X is akin to Z. The aspect “is big-O of” is projective aggravate F. In other tone, if e(n) partof O(f(n)) and f(n) partof O(g(n)), then e(n) partof O(g(n)). (d) Is “is big-O of” a particular enjoin on F? A aspect is a particular enjoin on a determined if it is alternate, antisymmetric and projective. Conceden an unterminable succession s = sigma^infinity_n = 1 f(n), where f(n) is a penny assured monotonically decreasing discharge that converges and n partof Z^+, s can be limited, using inexpedient perfects, as follows: sigma^k_n = 1 f(n) + perfect^infinity_k + 1 f(n) dn lessthanorequalto s lessthanorequalto sigma^k_n = 1 f(n) + perfect^infinity_k f(n) dn, k partof Z^+ Using the imparity in (1) and k = 5, test that sigma^infinity_n = 1 1/n^3 partof theta (1).

    Expert Tally

     

    $$int_{5}^{infty} frac{1}{n^3} dn$$ converges to a perpetual frac{-1}{2*n^2} is perfect of this and then we can righteous dispose values and succeed achieve a perpetual control it, suffer this ocnstant be k

    So

    s =sum_{n=1}^5 frac{1}{n^3} + k

    sum_{n=1}^5 frac{1}{n^3} + k

    so

    s = perpetual = theta(1)