Hello all,
I have a question (probably stupid one) about the fact that " A function is convex if and only if it is convex when restricted to any line that intersects its domain".
In Stephen Boyd and Lieven Vandenberghe book ("Convex Optimization") they present the following example:
"For the function $f(X) = \log\text{det}f(X)$ we can verify concavity by considering an arbitrary line, given by $X = Z+tV$ where $Z,V$ are symmetric matrices. We define $g(t) = f(Z+tV)$ and restrict $g$ to the interval of values of $t$ for which $Z+tV\succ0$." Now, without loss of generality, they assume that $t=0$ is inside this interval, i.e. $Z\succ0$. Which is fine!
Using some algebraic manipulation, and the second order condition for concavity, they show that $g$ is concave.
My question : Is it true to assume without loss of generality that $V\succ0$ instead of $Z\succ0$ ? After all, if we do assume that, we allways can find matrices $V$ such that $Z+tV\succ0$. Also, why we can't assume that both $Z\succ0$ and $V\succ0$. Maybe I miss something regard the "restricted to any line that intersects its domain"..
Thank you!