Suppose $f_1 \in \Theta(g_1) \land f_2 \in \Theta(g_2)$. Prove $f_1 + f_2 \in \Theta(\max\{g_1, g_2\})$.

503 Views Asked by At

I need to prove that

$f_1 \in \Theta(g_1) \land f_2 \in \Theta(g_2) \implies f_1 + f_2 \in \Theta(\max\{g_1, g_2\})$

This question is relevant, but I have a slightly different case, so I don't know how to translate it into this one, because I need to turn the $f$'s into $g$'s.

Am I allowed to say $\max\{f_1, f_2\} \in \Theta(\max\{g_1, g_2\})$?

Or even $\Theta(\max\{f_1, f_2\}) = \Theta(\max\{g_1, g_2\})$?

1

There are 1 best solutions below

2
On

Just notice that if $$ c_i \le \frac{f_i}{g_i} \le C_i $$ then ($n=2$ is the number of functions you are considering) $$ \frac{\max f_i}{\max g_j} \le \frac{\sum f_i}{\max g_j} = \sum_i \frac{f_i}{\max_j g_j} \le \sum \frac {f_i}{g_i}\le \sum C_i $$ and $$ \frac{\sum f_i}{\max g_j} = \sum_i \frac{f_i}{\max_j g_j} = \sum_i \min_j \frac{f_i}{g_j} \ge \sum_i \min_j \frac{f_j}{g_j} = n \min c_j $$